哲学家进餐问题
N个哲学家坐在圆形餐桌上,桌上一共5根筷子,每个哲学家的左右各一根筷子。
哲学家如果想用餐,必须同时拿起两根筷子。怎样的策略能避免哲学家饿死?
如果将每个哲学家都看作相同的对象,并采用相同的策略,那么这个问题难以解决。
一种简单的尝试:
-
每个哲学家都先拿起左边的筷子
-
再拿右边的筷子
这种尝试会导致死锁,所有哲学家永远无法拿到两根筷子。
锁顺序死锁
如果两个线程以不同的顺序获取锁,那么可能导致顺序死锁问题。
例:线程A先获取锁L1,在获取锁L2。线程B先获取锁L2,在获取锁L1。
如果两个线程都不释放自己拥有的锁,那么两个线程都将陷入循环等待中。
-
动态加锁导致的死锁
锁对象取决于外部调用的情况称为动态加锁
public void doSomething(o1, o2){ synchronized(o1){ synchronized(o2){ method(); } } }
解决方案:固定加锁顺序(基于锁对象哈希值排序、基于加时锁)
-
协作对象间的死锁
对象A在加锁方法AM1中调用对象B的加锁方法BM1。
对象B在加锁方法BM2中调用对象A的加锁方法AM2。
当上述两种情况在两个线程中执行时,将引起协作对象间的死锁。
解决方案:开放调用--不要将整个方法作为同步方法,尽可能缩小synchronzied块的范围。
但某些情况下synchronzied块无法缩小,这种原子性是必要的。
对于这种无法通过开放调用处理的情况,应考虑改造代码并使用并发工具集来实现线程安全。
资源死锁
实质上与锁顺序死锁类似,但这里的“锁”是资源获取。
如果两个线程以不同的顺序获取资源,资源是有限的并且线程会阻塞于资源获取方法,那么可能导致资源死锁问题。
资源死锁的变形:线程饥饿死锁--即单线程的执行服务所执行的任务在等待另一个任务返回结果。
避免和诊断死锁
基本思路
-
尽量避免多个锁的获取
-
如果1场景不允许
-
分析多个锁的使用场景,确保锁的获取顺序一致
-
尽量使用开放调用
-
相关技术
-
使用定时锁
如果锁在限定时间内获取失败,应当释放当前持有的资源。
-
基于thread dump 分析死锁