第三章 进程管理（续）.ppt

死锁: 是由多个进程循环等待它方占用的资源而无限期僵持下去的状态。 1 产生死锁的原因 1. 系统资源不足 2. 进程的推进顺序不当 2 产生死锁的必要条件 互斥条件：一个资源只能一次被一个进程所使用。 占用并等待条件：一个进程申请所需要的资源得不到满足是，它并不释放它所占有的资源，同时仍然要求其他资源。 不剥夺条件：（不可抢占条件）一个获得资源的进程不主动释放它所占有的资源时，其他进程不能强行抢占此资源，而只能由获得该资源的进程自己释放。 循环等待条件：存在一种进程循环链，链中每一个进程已获得的资源同时被下一个进程所请求。 3 资源分配图 主要描述进程、资源以及它们之间的关系。 系统由若干类资源构成，一类资源称为一个资源类；每个资源类中包含若干个同种资源，称为资源实例 资源分配图 二元组G=（V，E） V：结点集，分为P，R两部分 P={p1,p2,…,pn}, 每个Pi在资源分配图中用圆圈表示 R={r1,r2,…,rm}，每个Ri在资源分配图中用矩形表示 E：边的集合，其元素为有序二元组: 其中(pi→rj)是请求边，表示进程等待资源rj；(rj→pi)为分配 边，表示进程Pi占有资源rj. 4 死锁定理 死锁定理是判定死锁的基本法则 资源分配图化简 方法如下: 1）从资源分配图中找一个只有分配边，或虽有请求边，但该请求能立即得到满足的非孤立节点Pi, 2) 去掉Pi的全部有向边，将其变为孤立结点 3）假定rj是Pi释放的某个资源节点，则另一进程Pk关于rj的请求边可转换成分配边。如果经一系列转换后，Pk只有分配边，则再使Pk成为孤立节点。 4）在实施一系列化简后，若可消除资源分配图中的全部有向边，使全部进程节点成为孤立点，则该图是可完全化简的。否则，是不可完全化简的。 5 死锁的预防 1. 安全状态与不安全状态 系统中有n个进程，若存在一个序列P1,P2,…,Pn,使得Pi（i=1,2,…,n）以后还需要的资源可以通过系统现有资源加上所有Pj(ji)占有的资源来满足，则称这个系统处于安全状态，序列P1,P2,…,Pn称为安全序列。 1)安全序列 进程是程序的一次执行过程和资源分配的基本单位。即使是同一段程序，在不同的执行时间，应属于不同的进程。那么什么是线程（Thread)?以及为什么引入线程的概念？ 三、引入线程的好处 创建一个新线程花费时间少（结束亦如此） 两个线程的切换花费时间少 （如果机器设有“存储[恢复]所有寄存器”指令，则整个切换过程用几条指令即可完成） 因为同一进程内的线程共享内存和文件，因此它们之间相互通信无须调用内核 适合多处理机系统(SMP) (1) 设置两个向量： ① 工作向量Work: 表示系统可提供给进程继续运行所需的各类资源数目。 它含有m个元素，在执行安全算法开始时，Work∶=Available; ② Finish: 表示系统是否有足够的资源分配给进程，使之运行完成。 开始时先做Finish［i］=false; 当有足够资源分配给进程时， 再令 Finish［i］=true。 3)安全性算法 (2) 从进程集合中找到一个能满足下述条件的进程：  ① Finish［i］=false; ② Need［i,j］≤Work［j］； 若找到， 执行步骤(3)， 否则，执行步骤(4)。 (3) 当进程Pi获得资源后，可顺利执行，直至完成，并释放出分配给它的资 源，故应执行： Work［j］∶=Work［i］+Allocation［i,j］; Finish［i］∶=true; 转（2）; (4) 如果所有进程的Finish［i］=true都满足， 则表示系统处于安全状态； 否则，系统处于不安全状态。 4) 银行家算法之例 假定系统中有五个进程｛P0, P1, P2, P3, P4｝和三类资源｛A, B, C｝，各种资源的数量分别为10、5、7，在T0时刻的资源分配情况如图 8－1 所示。 图 8－1T0时刻的资源分配表 (1) T0时刻的安全性： 图 8－2T0时刻的安全序列 (2) P1请求资源：P1发出请求向量Request1(1，0，2)，系统按银行家算法进行 检查： ① Request1(1, 0, 2)≤Need1(1, 2, 2) ② Request1(1, 0, 2)≤Available1(3, 3, 2)