Section 18.4

 

Conditions for deadlock to exist

 

SYSTEM POLICIES:

 

1. Exclusive access

a request can be refused

 

2. Hold while waiting

objects are held while more are requested

 

3. No preemption

a process requests, uses and releases an object

 

DYNAMIC BEHAVIOUR:

 

4. Circular wait

a cycle of processes exists such that each holds an object

that is requested by the next process in the cycle

and that request cannot be satisfied