Assertion: semaphore's list | /r/MadeOf | process
Facets:
Source sentences:
text: The waiting list of binary semaphore contains the processes that got blocked when trying to enter the critical section.