哲学家吃饭问题:
所谓哲学家吃饭问题是这样的一个情景:几个哲学家围着一张圆桌吃饭,人右手边都放了一根筷子,由于是围成一圈,所以其实每个人左右两边都有一根筷子,只有哲学家拿起左手和右手两边的筷子,他们才能开始吃饭,而且一个人吃完了要把筷子放下,另一个人才能吃饭,那么久有可能陷入这样的一个困境:所有人都拿起了左手的筷子由于都没有人吃饭,所以所有人都不将筷子放下,因此陷入了死局。或许这个问题很蠢,但别忘了计算机就是这么蠢。对应到计算机,就是不同的资源被不同的线程占用,而这些线程正好需要被占用的资源,从而导致程序被卡住的情况。死锁问题有四个条件:互斥条件,不可抢占条件,占有且等待条件,循环等待条件。也就是要解决这些问题才能解决线程死锁问题。
以下用示例代码来表示这一问题:
public class Philosopher extends Thread{
public String name;
public ChopSticks left;
public ChopSticks right;
public Philosopher(String name,ChopSticks left,ChopSticks right){
this.name = name;
this.left = left;
this.right = right;
}
public void think(){
System.out.println(name+" think...");
}
public void eat() {
synchronized (this.left){
synchronized (this.right){
System.out.println("eats");
}
}
}
public void run(){
while(true){
think();
eat();
}
}
public static void main(String[] args) {
ChopSticks c1 = new ChopSticks("1");
ChopSticks c2 = new ChopSticks("2");
ChopSticks c3 = new ChopSticks("3");
ChopSticks c4 = new ChopSticks("4");
ChopSticks c5 = new ChopSticks("5");
new Philosopher("A",c1,c2).start();
new Philosopher("B",c2,c3).start();
new Philosopher("C",c3,c4).start();
new Philosopher("D",c4,c5).start();
new Philosopher("E",c5,c1).start();
}
}
class ChopSticks extends ReentrantLock {
public String name;
public ChopSticks(String name){
this.name = name;
}
}
运行结果:
可以看到,如同我们之前说的,该程序最终停止。
而且线程死锁其实并只是像这样的问题,在现实生活中,像这样资源冲突的情况有很多。这个问题可能大大降低我们的工作效率,因此必须想出有效的方法将其解决。
比如说接下来的代码里的做法:
public class Philosopher extends Thread{
public String name;
public ChopSticks left;
public ChopSticks right;
public Philosopher(String name,ChopSticks left,ChopSticks right){
this.name = name;
this.left = left;
this.right = right;
}
public void think(){
System.out.println(name+" think...");
}
public void eat() {
if(left.tryLock()){
try {
if(right.tryLock()) {
try {
System.out.println(name + " eat...");
} finally {
right.unlock();
}
}
} finally {
left.unlock();
}
}
}
public void run(){
while(true){
think();
eat();
}
}
public static void main(String[] args) {
ChopSticks c1 = new ChopSticks("1");
ChopSticks c2 = new ChopSticks("2");
ChopSticks c3 = new ChopSticks("3");
ChopSticks c4 = new ChopSticks("4");
ChopSticks c5 = new ChopSticks("5");
new Philosopher("A",c1,c2).start();
new Philosopher("B",c2,c3).start();
new Philosopher("C",c3,c4).start();
new Philosopher("D",c4,c5).start();
new Philosopher("E",c5,c1).start();
}
}
class ChopSticks extends ReentrantLock {
public String name;
public ChopSticks(String name){
this.name = name;
}
}
这里的方法就是先检测能不能拿上左筷子,在拿上左筷子后看能否拿上右筷子,如果不能就不不做动作,这样确实能解决死锁问题,但很明显这样做的效率非常低。事实上,哲学家吃饭问题有一个很简单的解决方法,那就是让一个哲学家先拿右边的筷子。这样就必然会有人可以拿到一双筷子。这样做的好处就是效率高,死锁问题是一个很现实的问题,没有真正的通解,因此需要自己不断思考,不断总结经验,抓住问题的本质,这样才能真正解决问题。