Assertion: semaphore's count | /r/AtLocation | critical value
Facets:
Source sentences:
text: But atomicity is a pretty weak threading primitive, in many cases you also have to block code when the count is at a critical value.