java 多线程 死锁 哲学家就餐问题
2016-12-28 14:39
507 查看
现在你理解了,一个对象可以有synchronized方法或其他形式的加锁机制来防止别的任务在互斥还没有释放的时候就访问这个对象。你已经学习过,任务可以变成阻塞状态,所以就可能出现两种情况:某个惹我怒在等待另一个任务,而后者又等待别的任务,这样一直下去,直到这个链条上的任务又在等待第一个任务释放锁。这得到了一个任务之间相互等待的连续循环,没有哪个线程恩给你继续。这被称之为 死锁 。
如果你运行一个程序,而它马上就死锁了,你可以立即跟踪下去。真正的问题在于,程序可能看起来工作良好,但是具有潜在的死锁危险。这时,死锁可能发生,而事先却没有任何征兆,所以缺陷会潜伏在你的程序里,直到客户发现它出乎意料地发生(以一种几乎肯定是很难重现的方式发生)。因此,在编写并发程序的时候,进行仔细的程序设计以防止死锁是关键部分。
由Edsger Dijkstra提出的 哲学家就餐 问题是一个经典的死锁例证。该问题的基本描述中是指定五个哲学家(不过这里的例子中将允许任意数目)。这些哲学家将花费时间思考,花部分时间就餐。当他们思考的时候,就不需要任何共享资源;但当他们就餐时,将使用有限数量的餐具。在问题的原始描述中,餐具是叉子。要吃到桌子中央盘子里的意大利面条需要用两把叉子,不过把餐具看成是筷子更合理;很明显,哲学家要就餐就需要两根筷子。
问题中引入的难点是:作为哲学家,他们很穷,所以他们只能买五根筷子(更一般地讲,筷子和哲学家的数量相同)。他们围坐在一个桌子周围,每人之间放一根筷子。当一个哲学家要就餐的时候,这个哲学家必须同时得到左边和右边的筷子。如果一个哲学家左边或右边已经有人在使用筷子了,那么这个哲学家就必须等待,直到可得到必须的筷子。
第一个可以调整ponder因子,从而影响每个Philosopher花费在思考上的时间长度。如果有许多Philosopher,或者他们花费很多时间去思考,那么尽管存在死锁的可能,但你可能永远也看不到死锁。值为0的ponder倾向于使死锁尽快发生。
注意,Chopstick对象不需要内部标识符,它们是由在数组sticks中的位置来标识的。每个Philosopher构造器都会得到一个对左边和右边Chopstick对象的引用。除了最后一个Philosopher,其他所有的Philosopher都是通过将这个Philosopher定位于下一对Chopstick对象之间而被初始化的,而最后一个Philosopher右边的Chopstick是第0个Chopstick,这样这个循环表也就结束了。因为最后一个Philosopher坐在第一个Philosopher的右边,所以他们会共享第0个Chopstick。现在,所有的Philosopher都有可能希望进餐,从而等待其临近的Philosopher放下他们的Chopstick。这将使程序死锁。
如果Philosopher花费更多的时间去思考而不是进餐(使用非0的ponder值,或者大量的Philosopher),那么他们请求共享资源(chopstick)可能性就会小很多,这样你就会确信该程序不会死锁,尽管他们并非如此。这个示例相当有趣,因为它演示了看起来可以正确运行,但实际上会死锁的程序。
要修正死锁问题,你必须明白,当以下四个条件同时满足时,就会发生死锁:
1.互斥条件。任务使用的资源中至少有一个是不能共享的。这里,一根Chopstick一次就只能被一个Philosopher使用。
2.至少有一个任务它必须持有一个资源且正在等待获取一个当前被别的任务持有的资源。也就是说,要发生死锁,Philosopher必须拿着一根Chopstick并且等待另一根。
3.资源不能被任务抢占,任务必须把资源释放当作普通事件。Philosopher很有礼貌,他们不会从其他Philosopher那里抢Chopstick。
4.必须有循环等待,这时,一个任务等待其他任务所持有的资源,后者又在等待另一个任务所持有的资源,这样一直下去,直到有一个任务在等待第一个任务所持有的资源,使得大家都被锁住。在DeadlockingDiningPhilosophers.java中,因为每个Philosopher都试图先得到右边的Chopstick,然后得到左边的Chopstick,所以发生了循环等待。
因为要发生死锁的话,所以这些条件必须全部满足;所以要防止死锁的话,只需破坏其中一个即可。在程序中,防止死锁最容易的方法就是破坏第四个条件。有这个条件的原因是每个Philosopher都试图用特定的顺序拿Chopstick:先右后左。正因为如此,就可能会发生“每个人都拿着右边的Chopstick,并且等待左边的Chopstick”的情况,这就是循环等待条件。然而如果最后一个Philosopher被初始化成先拿左边的Chopstick,后拿右边的Chopstick,那么这个Philosopher将永远不会阻止其右边的Philosopher拿起他们的Chopstick。在本例中,这就可以防止循环的等待。这只是问题的解决方法之一,也可以通过破坏其他条件来防止死锁(具体细节请参考更高级的讨论线程的书籍):
Java对死锁并没有提供语音层面上的支持;能否通过仔细地设计程序来避免死锁,这取决于你自己。对于真正视图调试一个有死锁程序的程序员来说,这不是什么安慰人的话。
如果你运行一个程序,而它马上就死锁了,你可以立即跟踪下去。真正的问题在于,程序可能看起来工作良好,但是具有潜在的死锁危险。这时,死锁可能发生,而事先却没有任何征兆,所以缺陷会潜伏在你的程序里,直到客户发现它出乎意料地发生(以一种几乎肯定是很难重现的方式发生)。因此,在编写并发程序的时候,进行仔细的程序设计以防止死锁是关键部分。
由Edsger Dijkstra提出的 哲学家就餐 问题是一个经典的死锁例证。该问题的基本描述中是指定五个哲学家(不过这里的例子中将允许任意数目)。这些哲学家将花费时间思考,花部分时间就餐。当他们思考的时候,就不需要任何共享资源;但当他们就餐时,将使用有限数量的餐具。在问题的原始描述中,餐具是叉子。要吃到桌子中央盘子里的意大利面条需要用两把叉子,不过把餐具看成是筷子更合理;很明显,哲学家要就餐就需要两根筷子。
问题中引入的难点是:作为哲学家,他们很穷,所以他们只能买五根筷子(更一般地讲,筷子和哲学家的数量相同)。他们围坐在一个桌子周围,每人之间放一根筷子。当一个哲学家要就餐的时候,这个哲学家必须同时得到左边和右边的筷子。如果一个哲学家左边或右边已经有人在使用筷子了,那么这个哲学家就必须等待,直到可得到必须的筷子。
/** * 筷子 * * 任何两个哲学家(Philosopher)都不能成功take()同一根筷子。另外,如果一根筷子(Chopstick)已经被某个哲学家(Philosopher)获得, * 那么另一个Philosopher可以wait(),直到这根Chopstick的当前持有者调用drop()使其可用为止。 * * 当一个Philosopher任务调用take()时,这个philosopher将等待,直至taken标志为false(直至当前持有Chopstick的Philosopher释放它)。 * 然后这个任务会将taken标志设置为true,以表示现在由新的Philosopher持有这根Chopstick。当这个Philosopher使用完这根Chopstick时, * 它会调用drop()来修改标志的状态,并notifyAll()所有其他的Philosopher,这些Philosopher中有些可能就在wait()这根Chopstick。 * * @create @author Henry @date 2016-12-26 * */ public class Chopstick { private boolean taken = false; public synchronized void take() throws InterruptedException { while (taken) wait(); taken = true; } public synchronized void drop() { taken = false; notifyAll(); } }
import java.util.Random; import java.util.concurrent.TimeUnit; /** * 哲学家 * * 在Philosopher,run()中,每个Philosopher只是不断地思考和吃饭。如果PonderFactor不为0,则pause()方法会休眠(sleep()) * 一段随机的时间。通过使用这种方式,你将看到Philosopher会在思考上花掉一段随机化的时间,然后尝试着获取(take())右边和左边的 * Chopstick,随后在吃饭上花掉一段随机化的时间,之后重复此过程。 * * @create @author Henry @date 2016-12-26 * */ public class Philosopher implements Runnable { private Chopstick left; private Chopstick right; private final int id; private final int ponderFactor; private Random rand = new Random(47); public Philosopher(Chopstick left, Chopstick right, int id, int ponderFactor) { this.left = left; this.right = right; this.id = id; this.ponderFactor = ponderFactor; } private void pause() throws InterruptedException { if (ponderFactor == 0) return; TimeUnit.MILLISECONDS.sleep(rand.nextInt(ponderFactor * 250)); } @Override public void run() { try { while (!Thread.interrupted()) { System.out.println(this + " " + "thinking"); pause(); // Philosopher becomes hungry System.out.println(this + " " + "grabbing right"); right.take(); System.out.println(this + " " + "grabbing left"); left.take(); System.out.println(this + " " + "eating"); pause(); right.drop(); left.drop(); } } catch (InterruptedException e) { System.out.println(this + " " + "exiting via interrupt"); } } @Override public String toString() { return "Philosopher " + id; } }
import java.util.concurrent.ExecutorService; import java.util.concurrent.Executors; import java.util.concurrent.TimeUnit; /** * 现在我们可以建立这个程序的将会产生死锁的版本了: * * 你会发现,如果Philosopher花在思考上的时间非常少,那么当他们想要进餐时,全部会在Chopstick上产生竞争,而死锁也就更快地发生。 * * @create @author Henry @date 2016-12-26 * */ public class DeadLockingDiningPhilosophers { public static void main(String[] args) throws Exception { int ponder=0; int size=5; ExecutorService exec=Executors.newCachedThreadPool(); Chopstick[] sticks=new Chopstick[size]; for(int i=0;i<size;i++) sticks[i]=new Chopstick(); for(int i=0;i<size;i++) exec.execute(new Philosopher(sticks[i], sticks[(i+1)%size], i, ponder)); TimeUnit.SECONDS.sleep(5); //exec.shutdownNow(); } }
第一个可以调整ponder因子,从而影响每个Philosopher花费在思考上的时间长度。如果有许多Philosopher,或者他们花费很多时间去思考,那么尽管存在死锁的可能,但你可能永远也看不到死锁。值为0的ponder倾向于使死锁尽快发生。
注意,Chopstick对象不需要内部标识符,它们是由在数组sticks中的位置来标识的。每个Philosopher构造器都会得到一个对左边和右边Chopstick对象的引用。除了最后一个Philosopher,其他所有的Philosopher都是通过将这个Philosopher定位于下一对Chopstick对象之间而被初始化的,而最后一个Philosopher右边的Chopstick是第0个Chopstick,这样这个循环表也就结束了。因为最后一个Philosopher坐在第一个Philosopher的右边,所以他们会共享第0个Chopstick。现在,所有的Philosopher都有可能希望进餐,从而等待其临近的Philosopher放下他们的Chopstick。这将使程序死锁。
如果Philosopher花费更多的时间去思考而不是进餐(使用非0的ponder值,或者大量的Philosopher),那么他们请求共享资源(chopstick)可能性就会小很多,这样你就会确信该程序不会死锁,尽管他们并非如此。这个示例相当有趣,因为它演示了看起来可以正确运行,但实际上会死锁的程序。
要修正死锁问题,你必须明白,当以下四个条件同时满足时,就会发生死锁:
1.互斥条件。任务使用的资源中至少有一个是不能共享的。这里,一根Chopstick一次就只能被一个Philosopher使用。
2.至少有一个任务它必须持有一个资源且正在等待获取一个当前被别的任务持有的资源。也就是说,要发生死锁,Philosopher必须拿着一根Chopstick并且等待另一根。
3.资源不能被任务抢占,任务必须把资源释放当作普通事件。Philosopher很有礼貌,他们不会从其他Philosopher那里抢Chopstick。
4.必须有循环等待,这时,一个任务等待其他任务所持有的资源,后者又在等待另一个任务所持有的资源,这样一直下去,直到有一个任务在等待第一个任务所持有的资源,使得大家都被锁住。在DeadlockingDiningPhilosophers.java中,因为每个Philosopher都试图先得到右边的Chopstick,然后得到左边的Chopstick,所以发生了循环等待。
因为要发生死锁的话,所以这些条件必须全部满足;所以要防止死锁的话,只需破坏其中一个即可。在程序中,防止死锁最容易的方法就是破坏第四个条件。有这个条件的原因是每个Philosopher都试图用特定的顺序拿Chopstick:先右后左。正因为如此,就可能会发生“每个人都拿着右边的Chopstick,并且等待左边的Chopstick”的情况,这就是循环等待条件。然而如果最后一个Philosopher被初始化成先拿左边的Chopstick,后拿右边的Chopstick,那么这个Philosopher将永远不会阻止其右边的Philosopher拿起他们的Chopstick。在本例中,这就可以防止循环的等待。这只是问题的解决方法之一,也可以通过破坏其他条件来防止死锁(具体细节请参考更高级的讨论线程的书籍):
import java.util.concurrent.ExecutorService; import java.util.concurrent.Executors; import java.util.concurrent.TimeUnit; /** * 通过确保最后一个Philosopher先拿起和放下左边的Chopstick,我们可以移除死锁,从而使这个程序平滑地运行。 * * * @create @author Henry @date 2016-12-26 * */ public class FixedDiningPhilosophers { public static void main(String[] args) throws Exception { int ponder = 0; int size = 5; ExecutorService exec = Executors.newCachedThreadPool(); Chopstick[] sticks = new Chopstick[size]; for (int i = 0; i < size; i++) sticks[i] = new Chopstick(); for (int i = 0; i < size; i++) if (i < (size - 1)) exec.execute(new Philosopher(sticks[i], sticks[i + 1], i, ponder)); else exec.execute(new Philosopher(sticks[0], sticks[i], i, ponder)); TimeUnit.SECONDS.sleep(5); exec.shutdownNow(); } }
Java对死锁并没有提供语音层面上的支持;能否通过仔细地设计程序来避免死锁,这取决于你自己。对于真正视图调试一个有死锁程序的程序员来说,这不是什么安慰人的话。
相关文章推荐
- java 多线程 避免死锁 哲学家就餐问题
- JAVA多线程学习--哲学家就餐问题
- Java多线程,哲学家就餐问题
- java多线程--哲学家就餐问题
- Thking in Java---从哲学家就餐问题看死锁现象
- 【面试系列】哲学家就餐问题(3个)--多线程,防死锁
- JAVA多线程学习--哲学家就餐问题
- JAVA多线程学习--哲学家就餐问题
- 哲学家就餐问题中的JAVA多线程学习
- java例程练习(多线程[死锁问题])
- Java笔记3 多线程<1>线程概述、多线程的创建、多线程的安全问题、静态同步函数的锁、死锁
- Java实现哲学家就餐问题
- 【JAVA多线程问题之死锁】
- java多线程哲学家思考吃饭问题
- java基础知识回顾之java Thread类学习(七)--java多线程安全问题(死锁)
- java学习日记(6)____多线程的安全问题与死锁的产生
- java多线程死锁问题
- apue学习第十八天——从哲学家就餐问题看死锁
- 多线程模拟哲学家就餐问题
- 多线程之哲学家就餐问题