试题详情
简答题考虑由n个进程共享的具有m个同类资源的系统，证明：如果对i=1，2，…，n，有Need＞0而且所有最大需求量之和小于m+n，那么该系统是死锁无关的。
  • 设每个进程对共享资源的最大需求量为x(0＜x≤m)，由于每个进程最多申请使用x个资源，在最坏的情况下，每个进程都得到了(x-1)个资源i并且都需申请最后一个资源。这时系统剩余资源数为：m-n(x-1)。只要系统还有一个资源可用，就可使其中的一个进程获得所需的全部资源。该进程运行结束后释放出它所占用的资源，其他进程的资源需求也可全部得到满足。因此，当m-m(x-1)≥1时，即x≤(m+n-1)/n时系统不会发生死锁。进而可得系统中所有进程的最大需求量之和n·x≤(m+n-1)时系统不会发生死锁。该题中，所有进程最大需求量之和小于m+n，所以，该系统是死锁无关的。

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

热门试题