Assertion: semaphore's implementation | /r/CapableOf | use negative counts
Facets:
Source sentences:
text: Linux kernel semaphores used to have an implementation that tracked waiters using negative counts - this is the implementation that's documented in Bovet & Cesati's "Understanding the Linux Kernel" book.