Deadlock Modeling (See Fig. 6)

Figure 6: Resource Allocation Graphs, in the right one, either $P_2$ or $P_4$ could relinquish a resource allowing $P_1$ or $P_3$ (which are currently blocked) to continue.
\includegraphics[scale=0.65]{figures/resourceallocation.ps}
Figure 7: An example of how deadlock occurs and how it can be avoided.
\includegraphics[scale=0.25]{figures/3-4.ps}
2004-04-18