A binary semaphore is initialized to 1. A process successfully executes wait() and enters its critical section. What is the semaphore value immediately after the wait() operation?

Options

  • B. 1
  • C. -1
  • D. More than one of the above
  • E. None of the above

Detailed Explanation

Explanation: In the conventional semaphore model, the wait() operation decrements the semaphore value. Therefore, when a binary semaphore starts at 1 and a process successfully performs wait(), its value becomes 0.