死锁概念
多个执行流在对多个锁资源进行争夺操作,但是因为推出顺序不当,而导致互相等待,流程无法继续推进的情况(就是程序卡死这了)。
死锁产生的四个必要条件:
1.互斥条件: 一个锁只能有一个人能加,我加了锁,别人就不能加了。
2.不可剥夺条件:我家的锁,别人不能替我释放
3.请求与保持条件: 我加A锁,然后去请求B锁,但是请求不到B锁,我也不释放A锁。
4.环路等待条件: 我拿着A锁请求B锁,对方拿着B锁请求A锁。
预防死锁
破坏产生死锁的四个必要条件:
- 锁资源按序一次性分配 ;
- 加锁的时候可以使用非阻塞加锁,若无法加锁,则将手中的其它锁释放掉
避免死锁
银行家算法 死锁检测算法
银行家算法 分为安全、非安全 两种状态
打个比方: 现在哪些人已经借了多少钱,当前还有那些人已经借多少钱;
现在都有哪些锁,当前哪些执行流已经获取了哪些锁,当前哪些执行流想要哪些锁。
就是若给一个执行流分配指定的锁有可能会造成环路等待(非安全状态),则不予与分配,并且回溯释放当前执行流已经有的资源。