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.