Assertion: semaphore's state | /r/HasProperty | seen by other threads
Facets:
Source sentences:
text: Even if you can compare a lock as a semaphore that allows only one at a time, the lock exists to avoid that "incomplete" states are seen by other threads.