Binary Semaphore or Mutex

In counting semaphore, Mutual exclusion was not provided because we has the set of processes which required to execute in the critical section simultaneously.

However, Binary Semaphore strictly provides mutual exclusion. Here, instead of having more than 1 slots available in the critical section, we can only have at most 1 process in the critical section. The semaphore can have only two values, 0 or 1.

Let's see the programming implementation of Binary Semaphore.

StructBsemaphore
{
	enum Value(0,1); //value is enumerated data type which can only have two values 0 or 1.
	Queue type L;
}
/* L contains all PCBs corresponding to process 
Blocked while processing down operation unsuccessfully. 
*/ 
Down (Bsemaphore S) 
{
	if (s.value == 1) // if a slot is available in the 
	//critical section then let the process enter in the queue. 
	{
		S.value = 0; // initialize the value to 0 so that no other process can read it as 1. 
	}
	else
	{
		put the process (PCB) in S.L; //if no slot is available 
		//then let the process wait in the blocked queue. 
		sleep(); 
	}
}
Up (Bsemaphore S) 
{
	if (S.L is empty) //an empty blocked processes list implies that no process 
	//has ever tried to get enter in the critical section. 
	{
		S.Value =1; 
	}
	else
	{
		Select a process from S.L; 
		Wakeup(); // if it is not empty then wake the first process of the blocked queue. 
	} 
}

Next TopicIntroduction Deadlocks

← prev next →

For Videos Join Our Youtube Channel: Join Now

Feedback

Send your Feedback to [email protected]

Help Others, Please Share

Learn Latest Tutorials

Splunk

SPSS

Swagger

Transact-SQL

Tumblr

ReactJS

Regex

Reinforcement Learning

R Programming

RxJS

React Native

Python Design Patterns

Python Pillow

Python Turtle

Keras

Preparation

Aptitude

Reasoning

Verbal Ability

Interview Questions

Company Questions

Trending Technologies

Artificial Intelligence

AWS

Selenium

Cloud Computing

Hadoop

ReactJS

Data Science

Angular 7

Blockchain

Git

Machine Learning

DevOps

B.Tech / MCA

DBMS

Data Structures

DAA

Operating System

Computer Network

Compiler Design

Computer Organization

Discrete Mathematics

Ethical Hacking

Computer Graphics

Software Engineering

Web Technology

Cyber Security

Automata

C Programming

C++

Java

.Net

Python

Programs

Control System

Data Mining

Data Warehouse

Javatpoint Services

JavaTpoint offers too many high quality services. Mail us on h[email protected], to get more information about given services.

Website Designing
Website Development
Java Development
PHP Development
WordPress
Graphic Designing
Logo
Digital Marketing
On Page and Off Page SEO
PPC
Content Development
Corporate Training
Classroom and Online Training
Data Entry

Training For College Campus

JavaTpoint offers college campus training on Core Java, Advance Java, .Net, Android, Hadoop, PHP, Web Technology and Python. Please mail your requirement at [email protected].
Duration: 1 week to 2 week

^{Like/Subscribe us for latest updates or newsletter}