3.6死锁解读.pptVIP

此后，再来的生产者进程或消费者进程都将因执行P(mutex);而阻塞 全部生产者和消费者进程都陷入等待状态，进程集合陷入死锁状态 针对如下消费者颠倒了P操作顺序的生产者-消费者进程的一种产生死锁的执行场景建立进程-资源分配图，并用该图验证这种场景表示的状态是死锁状态。 假设有一个生产者进程P和一个消费者进程C在活动，且消费者进程C首先获得调度。资源分配图如下： 作业习题 P219习题必做题3、5、6、8、29、44 可不做题1、18、36、60 四、死锁避免（12） 0 6 5 6 0 0 1 4 P4 0 6 5 2 0 3 3 2 P3 2 3 5 6 1 3 5 4 P2 1 7 5 0 1 0 0 0 P1 1 6 2 2 0 0 1 2 0 0 3 2 P0 A B C D A B C D A B C D AVAILABLE NEED ALLOCATION 进程 四、死锁避免（13） 解：利用银行家算法进行分析 P2可满足（P4也可满足） 2 9 8 6 0 0 1 4 1 3 5 4 0 0 0 0 A B C D T3 P4可满足 3 12 13 10 0 0 1 4 0 0 0 0 A B C D T4 1 9 8 6 1 6 5 4 1 6 2 2 3 12 14 14 可用 P3可满足 0 0 1 4 0 3 3 2 1 3 5 4 1 0 0 0 0 0 0 0 A B C D T1 P0可满足:(0,0,4,4)(0,0,3,2)+(1,6,2,2) 0 0 1 4 0 3 3 2 1 3 5 4 1 0 0 0 0 0 3 2 A B C D T0已分配 P1可满足（P4也可满足） 0 0 1 4 0 0 0 0 1 3 5 4 1 0 0 0 A B C D T2 0 6 6 10 P4 注： 0 9 8 4 P3 3 6 10 10 P2 2 7 5 0 P1 0 0 4 4 P0 A B C D 最大需求 进程 四、死锁避免（14） 续表 P4可满足 3 12 13 10 0 0 1 4 0 0 0 0 A B C D T4 所有进程执行完毕 3 12 14 14 0 0 0 0 A B C D T5 3 12 14 14 可用 0 6 6 10 P4 注： 0 9 8 4 P3 3 6 10 10 P2 2 7 5 0 P1 0 0 4 4 P0 A B C D 最大需求 进程 结果表明，系统处于安全状态，安全序列为P0、P3、P1、P2、P4。 进程P2提出资源请求（1，2，2，2）后，系统进行预分配，这时资源分配情况如下表所示。 四、死锁避免（15） 进程P2提出资源请求（1，2，2，2）并且系统预分配后的资源分配情况表 0 6 5 6 0 0 1 4 P4 0 6 5 2 0 3 3 2 P3 2 3 5 6 2 5 7 6 P2 1 7 5 0 1 0 0 0 P1 0 4 0 0 0 0 1 2 0 0 3 2 P0 A B C D A B C D A B C D AVAILABLE NEED ALLOCATION 进程 四、死锁避免（16） 系统能否分配给进程P2，同样需要分析计算系统在新的资源预分配情况下是否安全，即是否存在一个安全序列。 自行分析。 5、银行家算法的缺点: 很难在进程运行前知道其所需的资源最大量，而且系统中的进程必须是无关的，相互间没有同步要求，进程的个数和分配的资源数目应该是固定的。这些要求事先难以满足，因而银行家算法缺乏实用价值。 五、死锁检测和解除（1）