Assertion: windows kernel semaphore | /r/HasAspect | implementation
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.