Assertion: semaphore | /r/CapableOf | count available emptybuffers
Facets:
Source sentences:
text: A first semaphore (empty_id) counts down the available (empty) buffers, i.e. the producer thread can wait for available buffer slots by acquiring from this one.