操作系统：7、作业管理之死锁

死锁

什么是死锁：

两个或者两个以上进程在执行过程中，由于竞争资源或者由于彼此通信从而造成的一种阻塞现象。
若无外力作用，它们都将无法推进下去。
此时称系统处于死锁状态或系统产生了死锁，这些永远在互相等待的进程称为死锁进程。

假设上图中的4个箭头是四辆汽车，若没有哪一辆汽车后退，那么他们都将无法前进；就类似哲学家问题中所有哲学家同时拿起右手边的筷子一样。

死锁的产生：
死锁产生主要有两种情况：相互竞争资源、进程调度顺序不当。

相互竞争资源的原因：

• 共享资源数量不满足各个进程需求，各个进程之间发生资源竞争，导致死锁
  

进程调度顺序不当：

死锁的4个必要条件
满足下方4个条件必定会造成死锁，若只满足一个或者两个则不会造成死锁

互斥条件：
	进程对资源的使用是排他性的使用；
	比如某资源只能由一个进程使用，其他进程需要使用只能等待资源释放；
请求保持条件：
	进程在运行时，至少保持一个资源，又提出新的资源请求；
	且新的资源被占用，请求被阻塞；
	被阻塞的进程又不释放自己保持的资源；
不可剥夺条件：
	进程获得的资源在未完成使用前不能被剥夺；
	获得的资源只能由进程自身释放；
环路等待条件：
	发生死锁时，必然存在进程和资源的环形等待链

死锁的处理：

预防死锁的方法：

破坏死锁产生的四个条件中的一个或者两个就可以避免死锁的产生。
破坏请求保持条件：
	系统规定进程运行之前，一次性申请所有需要的资源
	这样进程在运行期间不会提出资源请求，从而摒弃请求保持条件

破坏不可剥夺条件：
	当一个进程请求新资源得不到满足时，必须释放占有的资源；
	进程运行时占有的资源可以被释放，意味着可以被剥夺，因此就破坏了不可剥夺条件；

破坏环路等待条件：
	可用资源线性排序，进程申请资源必须按照需要递增申请；
	线性申请不再形成环路，从而摒弃了环路等待条件；
	比如有资源A、B、C、D四个资源，将四个资源按照线性顺序排列起来，假设某进程需要使用A、D两个资源，那么他必须先申请A，申请下来A之后才能再去申请B，这样子就是线性申请，就会破坏环路等待条件。

银行家算法：

银行家算法是一个著名的可操作的避免死锁的算法；
以银行借贷系统分配策略为基础的算法；

银行家算法内容：
	假设客户申请的贷款是有限的，每次申请需声明最大资金量
	银行家在能够满足贷款时，都应该给客户贷款
	同时，客户在使用贷款后，能够及时归还贷款

当具备已分配资源表、所需资源表、可分配资源表三个条件之后，再根据下图流程来执行程序。

上方两张图片叙述的就是银行家算法执行的过程。