G52CON 2008-2009: Exercise 2, Semaphores


  1. devise a semaphore solution to the multiple Producer-multiple Consumer problem using a bounded buffer which ensures that:

  2. does your solution satisfy the properties of Mutual Exclusion, Absence of Deadlock, Absence of Unnecessary Delay and Eventual Entry?
  3. how many classes of critical sections does your solution have?