哲学家就餐问题是1965年由Dijkstra提出的一种线程同步的问题。
问题描述:一圆桌前坐着5位哲学家,两个人中间有一只筷子,桌子中央有面条。哲学家思考问题,当饿了的时候拿起左右两只筷子吃饭,必须拿到两只筷子才能吃饭。上述问题会产生死锁的情况,当5个哲学家都拿起自己右手边的筷子,准备拿左手边的筷子时产生死锁现象。
解决办法:
1、添加一个服务生,只有当经过服务生同意之后才能拿筷子,服务生负责避免死锁发生。
2、每个哲学家必须确定自己左右手的筷子都可用的时候,才能同时拿起两只筷子进餐,吃完之后同时放下两只筷子。
3、规定每个哲学家拿筷子时必须拿序号小的那只,这样最后一位未拿到筷子的哲学家只剩下序号大的那只筷子,不能拿起,剩下的这只筷子就可以被其他哲学家使用,避免了死锁。这种情况不能很好的利用资源。
代码实现:实现第2种方案
public class philosopher{
public static void main(String[] args) {
Fork forks = new Fork();
PhilosopherThread philosopherThread1 = new PhilosopherThread("0", forks);
PhilosopherThread philosopherThread2 = new PhilosopherThread("1", forks);
PhilosopherThread philosopherThread3 = new PhilosopherThread("2", forks);
PhilosopherThread philosopherThread4 = new PhilosopherThread("3", forks);
PhilosopherThread philosopherThread5 = new PhilosopherThread("4", forks);
philosopherThread1.start();
philosopherThread2.start();
philosopherThread3.start();
philosopherThread4.start();
philosopherThread5.start();
}
}
class PhilosopherThread extends Thread{
private String name;
private Fork forks;
public PhilosopherThread(String name, Fork forks){
super(name);
this.name = name;
this.forks = forks;
}
@Override
public void run() {
while(true){
this.think();
forks.getFork();
this.eat();
forks.freeFork();
}
}
public void eat(){
System.out.println("I am eating:" + name);
try {
Thread.sleep(1000);
} catch (InterruptedException e) {
e.printStackTrace();
}
}
public void think(){
System.out.println("I am thinking:" + name);
try {
Thread.sleep(1000);
} catch (InterruptedException e) {
e.printStackTrace();
}
}
}
class Fork{
boolean[] forks = new boolean[5];
public synchronized void getFork(){
String currentName = Thread.currentThread().getName();
int index = Integer.parseInt(currentName);
// 如果哲学家左右的勺子不都能拿,则继续等待
while(forks[index] || forks[(index + 1) % 5]){
try {
wait();
} catch (InterruptedException e) {
e.printStackTrace();
}
}
forks[index] = true;
forks[(index + 1) % 5] = true;
}
public synchronized void freeFork(){
String currentName = Thread.currentThread().getName();
int index = Integer.parseInt(currentName);
forks[index] = false;
forks[(index + 1) % 5] = false;
notifyAll();
}
}