试题详情
简答题资源按序分配法为什么能够预防死锁？
  • 证明：采用反证法来证明。若存在循环等待，设在环路上的一组进程为{P0，P1，P2，„，Pn}，这里Pi等待进程Pi+1占有资源Ri（下角标取模运算，从而，Pn等待p0占有的资源）。由于Pi+1占有资源Ri，又申请资源Ri+1，从而一定存在F（i）F（R0）由传递性得到：
    F（R0）显然，这是不可能的，因而，上述假设不成立，表明不会出现循环等待条件。

  • 关注下方微信公众号，在线模考后查看

热门试题