Assertion: semaphore's state | /r/HasProperty | synchronized
Facets:
Source sentences:
text: The reason is that the semaphore counter is counting the number of blocked threads and the use of mutual exclusion assures that the counter state and the number of sleeping threads is synchronized if pthread_cond_signal() wakes exactly one thread.