【说明】:死锁部分知识整理,参考书籍《现代操作系统》,题目练习,牛客网:点击打开链接
【死锁的规范定义】:存在一组进程集合,这个集合中的所有进程,都在等待集合中其他进程才能引发的事件,那么这个进程集合就是死锁的;
【死锁发生的4个必要条件】:这4点经常考
1、互斥条件
2、占有和等待
3、不可抢占
4、环路等待
【死锁检测】:有向图建模,用dfs检测环路,有环路的情况下就有死锁;牛客网的题目中称之为:资源分配图简化法;
【处理死锁的4种策略】:这4种策略经常考
1、忽略该问题:鸵鸟算法,即忽略死锁的发生,不管他;
2、检测死锁并恢复:恢复方法有下面几种
2.1、抢占资源
2.2、杀死进程
2.3、回滚恢复
ps:这几种方法都不太好,1 2可能有副作用,3的开销我觉得大;
3、仔细对资源进行分配,动态地避免死锁:
3.1、银行家算法
3.2、银行家算法中的数据结构:
1)可利用资源向量Available
是个含有m个元素的数组,其中的每一个元素代表一类可利用的资源数目。如果Available[j]=K,则表示系统中现有Rj类资源K个。
2)最大需求矩阵Max
这是一个n×m的矩阵,它定义了系统中n个进程中的每一个进程对m类资源的最大需求。如果Max[i,j]=K,则表示进程i需要Rj类资源的最大数目为K。
3)分配矩阵Allocation
这也是一个n×m的矩阵,它定义了系统中每一类资源当前已分配给每一进程的资源数。如果Allocation[i,j]=K,则表示进程i当前已分得Rj类资源的 数目为K。
4)需求矩阵Need。
这也是一个n×m的矩阵,用以表示每一个进程尚需的各类资源数。如果Need[i,j]=K,则表示进程i还需要Rj类资源K个,方能完成其任务。
Need[i,j]=Max[i,j]-Allocation[i,j]
4、预防死锁发生,破坏死锁发生的4个必要条件:
4.1、破坏互斥条件:比如假脱机技术;
4.2、破坏占有和等待:静态资源分配法;
4.3、破坏不可抢占条件:虚拟化;
4.4、破坏环路等待条件:资源编号,按顺序请求分配,不会出现环路;
【其他死锁】:通信死锁,活锁等等;