java中哲学家就餐死锁_哲学家就餐问题与死锁总结

死锁的四个条件：

(1) 互斥条件：一个资源每次只能被一个进程使用。

(2) 请求与保持条件：一个进程因请求资源而阻塞时，对已获得的资源保持不放。

(3) 不剥夺条件:进程已获得的资源，在末使用完之前，不能强行剥夺。

(4) 循环等待条件:若干进程之间形成一种头尾相接的循环等待资源关系

先写一个会造成死锁的哲学家问题。当所有哲学家同时决定进餐，拿起左边筷子时候，就发生了死锁。

public class test {

public static void main(String[] args) {

ExecutorService exec = Executors.newCachedThreadPool();

int sum = 5;

Chopstick[] chopsticks = new Chopstick[sum];

for (int i = 0; i < sum; i++) {

chopsticks[i] = new Chopstick();

}

for (int i = 0; i < sum; i++) {

exec.execute(new Philosopher(chopsticks[i], chopsticks[(i + 1) % sum]));

}

}

}

// 筷子

class Chopstick {

public Chopstick() {

}

}

cla