死锁和银行家算法

死锁概念、产生原因

死锁是指多个进程循环等待彼此占有的资源而僵持的局面。
原因：

• 可用资源太少。
• 程序推进顺序不合理。

死锁产生的必要条件

需要同时具有以下四个条件：

• 互斥条件：资源无法同时共享
• 不可抢占条件：资源无法被使用进程以外对象释放
• 占有且等待条件：进程等待时不释放资源
• 循环等待条件：资源等待条件形成循环

银行家算法概念

当一个进程申请使用资源的时候，银行家算法通过先试探分配给该进程资源，然后通过安全性算法判断分配后的系统是否处于安全状态，若不安全则试探分配作废，让该进程继续等待。