036 期末考试 (3 / 5)
        【某系统有同类资源m个供n个进程共享，如果每个进程最多申请x个资源（1<=x<=m）且各进程的最大需求量之和小于（m+n），试证明该系统不会发生死锁。】

        这道题，貌似有点意思？

        封启停下了手中的笔，左手肘撑在桌子上，手掌摩挲着下巴，心中仔细的思考着该如何破题。

        这道题，直接证明貌似不太好证.....

        那如果用反证法的思路来想：怎么证明在这种情况下，系统回发生死锁？

        拿起笔来在草稿纸上演算着.....

        若系统会发生死锁，则n(x-1)+1≤m一定不成立，即n(x-1)+1＞m成立。

        经过推导，封启很快就得出了最后的结果，推得nx≥m+n，与题意nx＜m+n矛盾，故系统不会死锁。

        完美！

        将过程整理到答题纸上，封启再次检查了一遍试卷，确定没有遗漏之后，就将桌子收拾干净，直接站了起来，去讲台交卷了。

        而此时此刻，教室里一位一直挠头的同学，瞟见封启离开了考场，顿时眼睛一亮。

        同道中人啊！

        果然放弃治疗的不止我一个！

        这位仁兄顿时来了自信，看了看陌生的题目们，狠了狠心，决定跟封启做个伴，站起身来也交了卷。

        内容未完，下一页继续阅读

更多完整内容阅读登陆

《墨缘文学网，https://wap.mywenxue.org》