[理工] os 100交大资联
楼主: joeboy (揪立) 2016-12-01 15:59:13
小弟想问看看为什么a是错的
如果用Banker得到一个unsafe state
Grant resources request的话
不是会直接进入deadlock 吗？
还是我哪里有搞错banker算法呢？
作者: hopward (hopward) 2016-12-01 16:23:00
unsafe state未必会引发deadlock阿
作者: ken52011219 (呱) 2016-12-01 17:42:00
既然已经借由banker algo侦测到为unsafe state它就不会再授权使该Process再要求resurce了Banker algo 就是防止该process在unsafe state中若真的如题目所说 授权给Process 那也不一定会为死结
楼主: joeboy (揪立) 2016-12-01 19:17:00
我就是在思考说如果判断出unsafe的话，还同意process request会不会进入deadlock ，但是似乎找不到什么范例证明不会进入deadlock
作者: ken52011219 (呱) 2016-12-01 19:46:00
会产生死结有四个要素 只要使其中一个条件不满足就不会产生Deadlock , 但若同时有其他的要素 就会落在 unsafe 区,但并不代表会产生死结同理 若判断出unsafe 代表被detect的proceess 拥有四要素的可能 但不是一定会同时拥有四个要素这是Safe code 所做的判断 , 若process进入主要codeAllocation and release , code也会自行选择可行的方法 , 这时这个阶段也可能不会产生Dealock
楼主: joeboy (揪立) 2016-12-01 20:05:00
" target="_blank" rel="nofollow">刚刚看到这个题目发现解决我的困扰了作者: newpuma (还很新) 2016-12-02 02:21:00
unsafe不代表一定会deadlock吧。简单来说就是你在unsafe的时候仍然配置出去，也许下一秒有另一个握有很多资源的程式结束把那些资源还回来，之后依然不会死结@@