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