Operating System Tutorial

What is Operating System Evolution of Operating System Types of Operating System Functions of Operating System What is Kernel and Types of Kernel Operating System Properties Operating System Services Components of Operating System Needs of the Operating System Linux Operating System Unix Operating System Ubuntu Operating System What is DOS Operating System Difference Between Multi-programming and Multitasking What is Thread and Types of Thread Process Management Process State What is Process Scheduler and Process Queue What is Context Switching What is CPU Scheduling Scheduling Algorithm FCFS (First-come-First-Serve) Scheduling SJF (Shortest Job First) Scheduling Round-Robin CPU Scheduling Priority Based Scheduling HRRN (Highest Response Ratio Next) Scheduling Process Synchronization Lock Variable Mechanism TSL Mechanism Turn Variable Mechanism Interested Variable Mechanism What is Producer-Consumer Problem What is Semaphore in Operating System Monitors in Operating System What is Deadlock Deadlock Avoidance Strategies for Handling Deadlock Deadlock Prevention Deadlock Detection and Recovery Resource Allocation Graph Banker’s Algorithm in Operating System Fixed Partitioning and Dynamic Partitioning Partitioning Algorithms What is Paging and Segmentation What is Demand Paging What is Virtual Memory Disk Scheduling Algorithms FCFS and SSTF Disk Scheduling Algorithm SCAN and C-SCAN Disk Scheduling Algorithm Look and C-Look Disk Scheduling Algorithm File in Operating System File Access Methods in Operating System File Allocation Method Directory Structure in Operating System Difference between C-LOOK and C-SCAN Difference between Rotational Latency and Disk Assess Time Trap vs Interrupt How to implement Monitors using Semaphores N-Step-SCAN Disk Scheduling Why is it critical for the Scheduler to distinguish between I/O-bound and CPU-bound programs Difference between C-SCAN and SSTF Difference between SCAN and FCFS Difference between Seek Time and Disk Access Time Difference between SSTF and LOOK

Semaphore in Operating System

What is Semaphore in Operating System

Semaphore is defined as an integer variable which is used to solve the problem of the critical section in process synchronization. In semaphore, we use two types of atomic operations, and that operations are wait and signal.

The definitions of wait and signal are as follows:

Wait: - In wait operation, the argument ‘S’ value is decrement by 1 if the value of the ‘S’ variable is positive. If the value of the argument variable ‘S’ is zero or negative, no operation is performed.

Semaphore in Operating System

Signal: - In Signal atomic operation, the value of the argument variable ‘S’ is incremented.

Semaphore in Operating System

Characteristic of Semaphore

There are following characteristics of Semaphore:

  1. Semaphore carries a non-negative integer value always.
  2. We use semaphore mechanism to offer synchronization of tasks.
  3. It is a low-level synchronization mechanism.

Types of Semaphores

We have following two types of Semaphores:

  1. Counting Semaphores
  2. Binary Semaphores
  1. Counting Semaphores: - Counting Semaphore is defined as a semaphore that contains integer values, and these values have an unrestricted value domain. A counting semaphore is helpful to coordinate the resource access, which includes multiple instances.
  2. Binary Semaphores: - Binary Semaphores are also called Mutex lock. There are two values of binary semaphores, which are 0 and 1. The value of binary semaphore is initialized to 1. We use binary semaphore to remove the problem of the critical section with numerous processes.

Advantages of Semaphore

There are following advantages of semaphore:

  1. In the Semaphore, only one process is allowed to enter into the critical section. In this, the principle of mutual exclusion is to be followed strictly. And the semaphore mechanism is a more efficient mechanism than other methods which we use in process synchronization.
  2. It is machine-independent because it is implemented in the microkernel’s machine-independent code.
  3. With the help of the semaphore, the resources are managed flexibly.
  4. In semaphore, there is a busy waiting, so there is no wastage of resources and process time.
  5. In the semaphore, more threads are permitted to enter into the critical section.

Disadvantages of Semaphore

There are following disadvantages of Semaphore:

  1. There is a priority inversion in the semaphore, and this is the biggest drawback of the semaphore.
  2. In the semaphore, due to program error violation of mutual exclusion, deadlock can be happened.
  3. In the semaphore, there are more chances of programmer errors.
  4. For the purpose of large-scale use, the semaphore is not a practical method, and due to this, there may be loss of modularity.
  5. The Programming of the semaphore is tough, so there may be a possibility of not achieving mutual exclusion.
  6. In the semaphore, the OS has to preserve all calls to wait and signal semaphore.

Difference between Counting Semaphore and Binary Semaphore

Counting SemaphoreBinary Semaphore
In counting semaphore, there is no mutual exclusion.In binary semaphore, there is mutual exclusion.
In the counting semaphore, any integer value can be possible.It contains only two integer values that are 1 and 0.
In counting semaphore, there are more than one slots.In the binary semaphore, there is only one slot.
The counting process offers a set of processes.Binary semaphore contains mutual exclusion mechanism.

Difference between Semaphore and Mutex

 Parameter Semaphore Mutex
Data TypeIt is an integer variable.It is an object.
MechanismSemaphore is a signaling mechanism.Mutex is a type of locking mechanism.
TypesThere are two types of semaphore, which are binary semaphore and counting semaphore.There are no types of mutex.
OperationIn semaphore, wait() and signal() operations are performed to modify the value of semaphore.In mutex, locked or unlocked operation is performed.
ThreadIn semaphore, there may be multiple program threads.In mutex, there may also be a multiple program thread but not simultaneously.