Assertion: semaphore's implementation | /r/HasProperty | based on some sort of hw instruction
Facets:
Source sentences:
text: Implementations of semaphores in software, of which there are a few, are all based on some sort of HW instruction that is guaranteed to be atomic.