Assertion: semaphore | /r/CapableOf | solve the problem
Facets:
Source sentences:
text: So, for semaphores to solve the problem, the implementation of the two functions wait and signal must be atomic: there can be no interruptions while these operations are being implemented.