Assertion: semaphore | /r/CapableOf | receive signal
Facets:
value: from the first thread
type: LOCATION
Source sentences:
text: Once the semaphore receives a signal, it checks if its FIFO queue has threads in it:
text: As you can see, when one thread starts printing the sequence, the other thread must wait until the first one ends, then the semaphore will receive the signal from the first thread and then, only then, the second thread can start printing its own sequence.