2019年死锁的定义一组进程中,每个进程都无限等待被该组进程中.docVIP

死锁的定义：一组进程中，每个进程都无限等待被该组进程中另一进程所占有的资源，因而永远无法得到的资源，这种现象称为进程死锁，这一组进程就称为死锁进程 死锁产生的原因： 竞争资源，系统提供的资源数量有限，不能满足每个进程的需要 多道程序运行时，进程的推进顺序不合理 有关死锁的结论： 参与死锁的进程最少是两个（两个以上进程才会出现死锁） 参与死锁的进程至少有两个已经占有资源 参与死锁的所有进程都在等待资源 参与死锁的进程是当前系统中所有进程的子集 产生死所得四个必要条件： 不可抢占资源 请求和保持资源 循环等待资源 互斥使用资源 资源分配图：掌握即可(P410) 死锁定理： 没有环路则没有死锁 出现环路可能有死锁 如果环路中的资源类中（方框）只有一个资源实例（黑点），则环路存在以为着死锁。 如果环路中的资源类中（方框）不只有一个资源实例（黑点），有环路不一定有死锁（要区别对待，认真分析一下资源分配图中是否一定会出现死锁）矚慫润厲钐瘗睞枥庑赖賃軔朧碍鳝绢懣硯涛镕頃赎巯驂雞虯从躜鞯烧。 资源分配图化简 ：P412，比较简单 死锁的防止： 破坏不可抢占条件：有资源请求的时候，停止当前进程，撤销当前资源，允许抢占资源。 破环循环等待条件：资源有序分配，从小到大，参见P401实例 破坏请求和保持条件：资源静态分配，释放当前占有的资源 死锁的避免： 安全状态 银行家算法 我觉得两个差不多没啥区别，安全状态好像是银行家算法的一个子集吧，认真看一下书上的例子就可以了，很简单。（P406）聞創沟燴鐺險爱氇谴净祸測樅锯鳗鲮詣鋃陉蛮苎覺藍驳驂签拋敘睑绑。 死锁的检测： 建立当前的资源分配表，然后建立进程等待表，检查是否发生了循环。 死锁的解除： 剥夺资源 撤销进程（跟剥夺资源差不多吧，就是为了抢资源，只不过这个进程不能再运行了） 重新启动？ 进程回退? 3和4没看见，老师的讲义上有。 哲学家就餐问题 ：还需要研究一下