您好、欢迎来到现金彩票网!
当前位置:最新捕鱼棋牌 > 系统死锁 >

操作系统证明题关于死锁的

发布时间:2019-07-04 01:22 来源:未知 编辑:admin

  百度知道电脑/网络操作系统/系统故障Windows

  某系统有同类资源m个供n个进程共享,如果每个进程最多申请x个资源(1=x=m)且各进程的最大需求量之和小于(m+n),试证明该系统不会发生死锁。...

  某系统有同类资源m个供n个进程共享,如果每个进程最多申请x个资源(1=x=m)且各进程的最大需求量之和小于(m+n),试证明该系统不会发生死锁。

  可选中1个或多个下面的关键词,搜索相关资料。也可直接点“搜索资料”搜索整个问题。

  1)从互斥考虑,当某个进程在作用某个资源时,该资源就不可以被其它进程作用的。这个条件不能切断。

  2)从环路等待着手。要满足这个必要条件的话,每个进程都处于等待状态下,形成一个环,也就是说 ,至少每个进程占用了一个资源,而且还在等待其它资源释放资源。(这里懂吗?如果不懂,我就无能为力了,就当我没有回答)。假设某个时刻正好处理死锁状态,那么至少需要n个资源(这里最好的情况下,就是n个进程都占用一个资源,恰好,这也是这些进程进程所等待释放的资源)基于这个条件,这里的资源最大需要量m+n是无论如何都不可能满足,具体的数学知识,你就自己证明吧。

  若系统会死锁,则n(x-1)+1≤m一定不成立,即n(x-1)+1>m成立。

http://maayanhaim.com/xitongsisuo/413.html
锟斤拷锟斤拷锟斤拷QQ微锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷微锟斤拷
关于我们|联系我们|版权声明|网站地图|
Copyright © 2002-2019 现金彩票 版权所有