Chapter 7 Deadlocks¶ 7.1 System Model¶ 7.2 Deadlock Characterization¶ 7.2.1 Necessary Conditions¶ 7.2.2 Resource-Allocation Graph¶