Write about semaphores and what are its types in operating system.

Question

Krishnapriya Rajeev · Answer

Semaphores are integer variables used as synchronization tools in operating systems to manage access to shared resources among concurrent processes or threads. They can be accessed using only two operations: wait () and signal(). It is used to prevent race conditions and also to ensure mutual exclusion.

The wait() function decrements the value of the semaphore when s is positive and moves to wait state when s is negative or zero.

It is defined as follows:

wait(S) {
while (S <= 0)
; // busy wait
S--;
}

The signal() function increments the value of S and is defined as follows:

signal(S) {
S++;
}

There are two fundamental types of semaphores in operating systems. They are:

Binary Semaphore: A binary semaphore is a semaphore that can only take on two values, 0 and 1. It is often used to represent a mutex (mutual exclusion) lock, where only one process or thread can access a shared resource at a time. Binary semaphores are also useful in synchronizing processes or threads that communicate through message passing.
Counting Semaphore: A counting semaphore is a semaphore that can take on any non-negative integer value. It is often used to control access to a resource that has multiple instances, such as a pool of threads or a shared memory region. A process or thread that wants to access the resource waits on the semaphore, and the semaphore value is decremented when a resource is allocated. The semaphore value is incremented when a resource is released.

forum

Write about semaphores and what are its types in operating system.

Can you answer this question?

1 Answers