互斥和死锁

【说明】：死锁部分知识整理，参考书籍《现代操作系统》，题目练习，牛客网：点击打开链接

【死锁的规范定义】：存在一组进程集合，这个集合中的所有进程，都在等待集合中其他进程才能引发的事件，那么这个进程集合就是死锁的；

【死锁发生的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、破坏环路等待条件：资源编号，按顺序请求分配，不会出现环路；

【其他死锁】：通信死锁，活锁等等；