2014.8.20日结

操作系统死锁问题

1.四个必要条件（环路等待，不可剥夺，请求保持，互斥）

2.相对应四个处理措施（预防，避免，检测，解除）

预防针对四个必要条件进行破坏

避免是安全状态的检测，银行家算法

检测和解除运用死锁定理

死锁定理：资源分配图中的边是否可以被消除干净

银行家算法关键点

1.首先进程需提交一个资源请求requrest，然后假设满足这个request要求，计算是不是有一个安全序列的存在

不同的request要求得到的结果是不一样的

2.如果满足不了，有推迟和拒绝分配选择

哲学家就餐问题

关键点：