Assertion: semaphore | /r/HasAspect | initial value of 1
Facets:
Source sentences:
text: When semaphores are used or mutual exclusion, the semaphore has an initial value of 1, and P() is called before the critical section, and V() is called after the critical section as shown below : semaphore-