Assertion: semaphore | /r/CapableOf | avoid starvation
Facets:
Source sentences:
text: To avoid starvation, a semaphore has an associated queue of processes (usually with FIFO semantics).