死锁产生的必要条件（必须都满足)：
- 互斥条件 : 进程对资源的使用是排他性的使用。
- 请求保持条件 ：1. 进程至少保持一个资源， 又提出新的资源请求。 2. 新的资源被占用，请求被阻塞。 3. 被阻塞的资源又不释放自己保持的资源。
- 不可剥夺条件 ：1. 进程获得的资源在未使用完成前不能被剥夺 2. 获得的资源只能由进程自身释放。
- 环路等待条件 ：发生死锁时， 必然存在进程-资源 环形链（比如哲学家进餐问题)。
预防死锁的方法：破坏一个或者多个死锁产生的必要条件。
- 摒弃请求保持条件：系统规定进程运行之前，一次性申请所有需要的资源。
- 摒弃不可剥夺条件： 当一个进程请求新的资源得不到满足时，必须释放占有的资源。
- 摒弃环路等待条件： 可用资源线性排序， 申请必须按照需要递增申请， 线性申请不再形成环路，从而摒弃了环路等待条件。
银行家算法
定义： 是一个著名的可操作的避免死锁的方法。以银行借贷策略为基础的算法。
思想： 1 客户申请的贷款是有限的， 每次申请需声明最大资金量。 2 银行家在能够满足贷款时，都应该给用户贷款。3 客户在使用完贷款之后，能够及时归还贷款。
在计算系统中使用的条件：
已分配资源表：ABCD 代表可申请的共享资源， P1， P2, P3, P4 代表需要申请资源的四个进程。 这个表代表每个进程当前拥有的资源。
比如第一行， P1占有了1个C资源， 4个D资源。
所需资源表： 进程所需要所有资源的表。
可分配资源表： ～
所需资源表减去，已分配资源表，得到还需分配资源表。
之后跟可分配资源表进行对比。
发现P2可以， 所以先将资源给P2， P2执行完毕后归还资源。