Multiple choice

Which of the following statements is false regarding semaphore?

  1. A semaphore is an abstract data type.

  2. Semaphores do not guarantee prevention of race conditions.

  3. Operation V increments the counting semaphore S.

  4. Semaphore has a concept of an owner.

  5. S denotes the number of units of the resource that are currently available.

Reveal answer Fill a bubble to check yourself
D Correct answer
Explanation

Mutexes have a concept of an owner, which is the process that locked the mutex. Only the process that locked the mutex can unlock it. In contrast, a semaphore has no concept of an owner. Any process can unlock a semaphore.