edited by
2,222 views
7 votes
7 votes

Consider the class of synchronization primitives. Which of the following is false?

  1. Test and set primitives are as powerful as semaphores.
  2. There are various synchronizations that can be implemented using an array of semaphores but not by binary semaphores.
  3. Split binary semaphores and binary semaphores are equivalent.
  4. All statements a - c are false.
  5. Petri nets with and without inhibitor arcs have the same power.
edited by

1 Answer

6 votes
6 votes

(a) True. A test and set primitive can be used in place of a semaphore

(b) True (Example: multiple process synchronization to a critical section access)

(c) False. A split binary semaphore is essentially an array of binary semaphores
(http://bluehawk.monmouth.edu/rclayton/web-pages/u03-598/us.html)
(d) False as (a) and (b) are true
(e) False as seen from the definition of inhibitor arc here
(https://en.wikipedia.org/wiki/Petri_net

Related questions