Operating System《操作系统》ch07-Deadlocks-44.pptVIP

Example (Cont.) The content of the matrix Need is defined to be Max – Allocation. Need A B C P0 7 4 3 P1 1 2 2 P2 6 0 0 P3 0 1 1 P4 4 3 1  The system is in a safe state since the sequence P1, P3, P4, P2, P0 satisfies safety criteria. Example: P1 Request (1,0,2) Check that Request ? Available (that is, (1,0,2) ? (3,3,2) ? true. Allocation Need Available A B C A B C A B C P0 0 1 0 7 4 3 2 3 0 P1 3 0 2 0 2 0 P2 3 0 1 6 0 0 P3 2 1 1 0 1 1 P4 0 0 2 4 3 1 Executing safety algorithm shows that sequence P1, P3, P4, P0, P2 satisfies safety require