Assertion: semaphore's counter | /r/HasProperty | shared
Facets:
Source sentences:
text: One possible solution to this problem is to treat use a single binary semaphore just as in the Critical Section Problem together with a variable COUNTER , which is shared in common (say as a shared memory segment.)