中也不可能存在5个以下哲学家的循环等待链,因为,不相邻的哲学家之间不竞争资源。因此, 不可能产生死锁。 7.假定系统中有五个进程{P0,P1,P2,P3,P4}和三种类型的资源{A,B,C},每一种资源的数 量分别为10、5、7,在To时刻的资源分配情况如表4.3所示。 表4.3To时刻的资源分配表 资源情况 Allocation Need Availabl B52 3|0 07 3|3 (23 023 0010 10 2013 30 (1)To时刻的安全性 利用安全性算法对To时刻的资源分配情况进行分析,可得到如表4.4所示的To时刻的 安全性分析,从表中得知,To时刻存在着一个安全序列{P1、P3、P4、P2、P0}故系统是安全的。 表4.4T0时刻的安全序列 资源分配 Allocation Work+Allocation Finish 进程 AB C A B C P1 200 P3 532 011 211 743 true P4 431 002 745 P2 (2)P1请求资源 PⅠ发出请求向量 Requestl(0,0,2〉,系统按银行家算法进行检查: Requestl(1, 0, 2)<=Needl(1, 2, 2) Request1 (1, 0, 2)<=Available(3, 3, 2) 系统先假定可为P1分配资源,并修改 Available、 Allocation、Need向量,由此形成的 资源变化情况如表3.1中的圆括号所示。 我们再利用安全性算法检查此时系统是否安全,可得到如表4.5所示的安全性分析。 表4.5P1申请资源时的安全性检查 资源分配 Allocation Work+Allocation Finish 进程 ABCABC ABC A B C P1 020302 532 true 431 002 745 743 010 755 105 从进行的安全性检查得知,可以找到一个安全序列{P1、P3、P4、PO、P2}。因此,系统是 安全的,可以立即将P1所申请的资源分配给它 (3)P4请求资源中也不可能存在 5 个以下哲学家的循环等待链,因为,不相邻的哲学家之间不竞争资源。因此, 不可能产生死锁。 7.假定系统中有五个进程{P0,P1,P2,P3,P4}和三种类型的资源{A,B,C},每一种资源的数 量分别为 10、5、7,在 To 时刻的资源分配情况如表 4.3 所示。 表 4.3 To 时刻的资源分配表 资源情况 进程 MAX Allocation Need Available A B C A B C A B C A B C PO P1 P2 P3 P4 7 5 3 3 2 2 9 0 2 2 2 2 4 3 3 0 1 0 2 0 0 (3 0 2) 3 0 2 2 1 1 0 0 2 7 4 3 1 2 2 (0 2 0) 6 0 0 0 1 1 4 3 1 3 3 2 (2 3 0) (1)To 时刻的安全性 利用安全性算法对 To 时刻的资源分配情况进行分析,可得到如表 4.4 所示的 To 时刻的 安全性分析,从表中得知,To 时刻存在着一个安全序列{Pl、P3、P4、P2、PO}故系统是安全的。 表 4.4 T0 时刻的安全序列 资源分配 进程 Work Need Allocation Work+Allocation Finish A B C A B C A B C A B C P1 P3 P4 P2 P0 3 3 2 5 3 2 7 4 2 7 4 5 10 4 7 1 2 2 0 1 1 4 3 1 6 0 0 7 4 3 2 0 0 2 1 1 0 0 2 3 0 2 0 1 0 5 3 2 7 4 3 7 4 5 10 4 7 10 5 7 true true trye true true （2）P1 请求资源 Pl 发出请求向量 Request1（0,0,2〉,系统按银行家算法进行检查： Request1(1,0,2〉<=Need1(1,2,2〉 Request1〈1,0,2〉<=Available (3,3,2) 系统先假定可为 P1 分配资源,并修改 Available、Allocationl、Needl 向量,由此形成的 资源变化情况如表 3.1 中的圆括号所示。 我们再利用安全性算法检查此时系统是否安全,可得到如表 4.5 所示的安全性分析。 表 4.5 P1 申请资源时的安全性检查 资源分配 进程 Work Need Allocation Work+Allocation Finish A B C A B C A B C A B C P1 P3 P4 P0 P2 2 3 0 5 3 2 7 4 3 7 4 5 7 5 5 0 2 0 0 1 1 4 3 1 7 4 3 6 0 0 3 0 2 2 1 1 0 0 2 0 1 0 3 0 2 5 3 2 7 4 3 7 4 5 7 5 5 10 5 7 true true trye true true 从进行的安全性检查得知,可以找到一个安全序列{P1、P3、P4、PO、P2}。因此,系统是 安全的,可以立即将 P1 所申请的资源分配给它。 (3)P4 请求资源