操作系统死锁问题
1.四个必要条件(环路等待,不可剥夺,请求保持,互斥)
2.相对应四个处理措施(预防,避免,检测,解除)
预防针对四个必要条件进行破坏
避免是安全状态的检测,银行家算法
检测和解除运用死锁定理
死锁定理:资源分配图中的边是否可以被消除干净
银行家算法关键点
1.首先进程需提交一个资源请求requrest,然后假设满足这个request要求,计算是不是有一个安全序列的存在
不同的request要求得到的结果是不一样的
2.如果满足不了,有推迟和拒绝分配选择
哲学家就餐问题
关键点: