死锁

死锁

@(并发)[java, 并发, Thinking in Java]

死锁：任务之间相互等待的连续循环，没有哪个线程能继续。
典型：哲学家问题

当同时满足一下4个条件时就会发生死锁：
1. 互斥条件：任务使用的资源中至少有一个是不能共享的，
2. 至少有一个任务它必须持有一个资源且正在等待获取一个当前被别的任务持有的资源
3. 资源不能被抢占，任务必须把资源释放当作普通事件
4. 必须循环等待，这时，一个任务等待其他任务所持有的资源，后者又在等待另一个任务所持有的资源，这样一直下去，知道有一个任务在等待第一个任务所持有的资源，使得大家都被锁住

总结：互斥、请求与保持、不剥夺、环路等待

4个必要条件，只要破坏一个即可解除死锁，在哲学家问题中，每个人都是先左后右拿筷子，所以只需要另某一人先右后左拿筷子即可破坏条件4