Lecture Notes for Concurrent Programming

14 August 2003 - Polychordal Concurrency Control Mechanisms


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.