操作系统第3章 进程同步与死锁.pptVIP

3.3.3 死锁的避免 3. 安全状态检查算法 设Work为临时工作向量。初始时Work＝Available。令N={1，2，…，n}。 (1) 寻求j∈N使其满足：Need[j]≤Work，若不存在这样的j则转(4)。 (2) 修改参数： Work ＝ Work ＋ Allocation[j]; N ＝ N－{j}; (3) 如果N不为空集，则转(1); (4) 如果N不为空集则返回-1（系统不安全），否则，返回0（系统安全）。 3.3.3 死锁的避免 4. 银行家算法举例 例定系统中有4个进程P0、P1、P2和P3和4类资源R0、R1、R2和R3。在T0时刻的资源分配情况见下表。 3.3.3 死锁的避免 4. 银行家算法举例 检查T0时刻系统的安全性。 用信号量实现这三个进程的同步。 semaphore S1=0;/*表示进程P1是否执行完*/ semaphore S2=0;/*表示进程P2是否执行完*/ P1( ) { …… V(S1); } P2( ) { …… V(S2); } 3.2.2 进程同步的实现 P3( ) { P(S1); /*等待P1执行完*/ P(S2); /*等待P2执行完*/