12.21.  Prevention

• Necessary conditions for deadlock

--

Mutual exclusion

--

Hold and wait

--

Circular waiting

--

No preemption

• Ensure that at least one of the necessary conditions is false at all times
• Mutual exclusion must hold at all times (you can fudge things to get around this)

Created by unroff, java2html & & hp-tools. © by csfac. All Rights Reserved (2010).
It is not allowed to print these pages on a CAST printer.
Last modified: 01/April/10 (17:16)