Deadlock a.k.a. “The Deadly Embrace”

• Indiscriminate use of semaphores can lead the system to be stuck in a state from which it never emerges

  • Directed cycle in interprocess dependencies
  • Process P waiting for Q which is waiting for P

P1

P2

holds semaphore B

waiting on A

holds semaphore A

waiting on B

Previous slide

Next slide

Back to first slide

View graphic version