Assertion: semaphore's counter | /r/HasProperty | mutex
Facets:
Source sentences:
text: You can write your own with an atomic counter, a mutex and a condition variable if you need, but most uses of semaphores are better replaced with mutexes and/or condition variables anyway.