• 王道考研——操作系统（第二章 进程管理）（死锁）

    一、死锁的概念

    什么是死锁

    在这里插入图片描述
    在这里插入图片描述

    死锁、饥饿、死循环的区别

    在这里插入图片描述

    死锁产生的必要条件

    在这里插入图片描述

    什么时候会发生死锁

    在这里插入图片描述

    死锁的处理策略

    在这里插入图片描述

    知识回顾与重要考点

    在这里插入图片描述

    二、死锁的处理策略——预防死锁

    知识总览

    在这里插入图片描述

    破坏互斥条件

    在这里插入图片描述

    破坏不剥夺条件

    在这里插入图片描述

    破坏请求和保持条件

    在这里插入图片描述

    破坏循环等待条件

    在这里插入图片描述

    知识回顾与重要考点

    在这里插入图片描述
    与前面哲学家进餐问题中三种解决死锁的方法对应起来

    三、死锁的处理策略——避免死锁

    知识总览

    在这里插入图片描述

    什么是安全序列

    在这里插入图片描述
    在这里插入图片描述
    在这里插入图片描述

    安全序列、不安全状态、死锁的联系

    在这里插入图片描述

    在这里插入图片描述

    如果系统处于安全状态，就一定不会发生死锁。如果系统进入不安全状态，就可能发生死锁（处于不安全状态未必就是发生了死锁，但发生死锁时一定是在不安全状态）
    因此可以在资源分配之前预先判断这次分配是否会导致系统进入不安全状态，以此决定是否答应资源分配请求。这也是“银行家算法”的核心思想。

    银行家算法

    在这里插入图片描述
    在这里插入图片描述
    实际做题（手算）时可用更快速的方法找到一个安全序列：
    在这里插入图片描述

    再看一个找不到安全序列的例子：
    在这里插入图片描述
    接下来看用代码如何实现银行家算法：
    在这里插入图片描述

    知识回顾与重要考点

    在这里插入图片描述

    四、死锁的处理策略——检测和解除

    知识总览

    在这里插入图片描述

    死锁的检测

    在这里插入图片描述
    在这里插入图片描述
    再来看一个不能消除所有边（死锁）的：
    在这里插入图片描述
    最终还连着边的那些进程就是处于死锁状态的进程：此图中，P3进程可以把所有与它相连的边都干掉，所以P3进程不是死锁状态，只有P1和P2是死锁状态的进程

    在这里插入图片描述

    不阻塞：这个进程申请的资源数量足够满足其需求，比如P1进程，P2进程则相反，所以P2进程是一个阻塞的进程

    不是孤点：与这个进程至少有一个边相连，所以P1和P2都不是孤点

    死锁的解除

    在这里插入图片描述

    知识回顾与重要考点

    在这里插入图片描述

  • 相关阅读:
    React常用hooks总结
    js的数组如何根据元素内容删除
    Spring Cloud Gateway 不小心换了个 Web 容器就不能用了，我 TM 人傻了
    c++ unordered_map自定义key
    Windows11安装mysql
    安卓RadioButton设置图片大小
    【Redis学习笔记】第七章 Redis事务
    linux命令——awk
    《SQLi-Labs》04. Less 23~28a
    Linux环境搭建SVN服务器并实现公网访问 - cpolar端口映射
  • 原文地址：https://blog.csdn.net/m0_51448653/article/details/128067232