Assertion: second semaphore | /r/CapableOf | count up used filledbuffers
Facets:
Source sentences:
text: A second semaphore (filled_id) counts up the used (filled) buffers, i.e. the consumer thread can wait for available data by acquiring from this one.