多做题,通过考试没问题!

计算机操作系统

睦霖题库>大学试题(计算机科学)>计算机操作系统

资源按序分配法为什么能够预防死锁?

正确答案: 证明:采用反证法来证明。若存在循环等待,设在环路上的一组进程为{P0,P1,P2,„,Pn},这里Pi等待进程Pi+1占有资源Ri(下角标取模运算,从而,Pn等待p0占有的资源)。由于Pi+1占有资源Ri,又申请资源Ri+1,从而一定存在F(i)F(R0)由传递性得到:
F(R0)显然,这是不可能的,因而,上述假设不成立,表明不会出现循环等待条件。
答案解析:
进入题库查看解析

微信扫一扫手机做题