Assertion: counting semaphore | /r/CapableOf | keep track of are full
Facets:
Source sentences:
text: Instead of just a binary semaphore to keep track of whether the single buffer is full or empty, we need counting semaphores to keep track of how many buffers are full and how many are empty.