Deadlock

  • Operating Systems A Concept-Based Approach, Dhamdhere p.279

A situation involving a set of processes in which each process in satisfies two conditions:

  1. is blocked on some event
  2. Event can be caused only by actions of other processes in

In other word, each process in is blocked for an allocation event to occur and the allocation event can be caused only by actions of some other process in . Since is in , the definition of deadlock apply to too.

Since processes in must wait for each other, there is a circular wait condition. If is blocked because it’s waiting for a resource from , but it also mantains resources needed by ; then the condition is called hold-and-wait.

two other conditions for a deadlock to happens: nonshareable resources and no preemption i.e if need a resource from , must not be able to share it or renounce to resource to give that to .