Assertion: semaphore | /r/CapableOf | release thread
Facets:
Source sentences:
text: This solution can only satisfy the condition that "no thread shall be allowed to starve" if and only if semaphores preserve first-in first-out ordering when blocking and releasing threads.