The path expression
path put() , get()
is an unsatisfactory specification for a binary semaphore because it allows
unrestricted concurrency between put()s and get()s. Arbitrarly many
get()s may stack up in the epxression, waiting for a put() call. Once
the put() call comes, all the put()s are released, which is not how a
binary semaphore is supposed to operate.
This page last modified on 12 August 2003.