【操作系统总结】哲学家进餐问题

哲学家进餐问题

利用记录型信号量解决问题

semaphore chopstick[5] = {1, 1, 1, 1, 1};//每一个筷子一个信号量

do {
wait(chopstick[i]);//首先这个筷子能不能拿到，否则自我阻塞
wait(chopstick[(i + 1) % 5]);//再判断这个筷子能不能拿到，否则自我阻塞
......
//吃
......
signal(chopstick[i]);//释放筷子
signal(chopstick[(i + 1) % 5]);//释放筷子
......
//继续想
}while(1)

利用AND型信号量解决问题

semaphore chopstick[5] = {1, 1, 1, 1, 1};//每一个筷子一个信号量

do {
//Sswait(chopstick[(i+1) % 5], chopstick[i]);//只有有一个进程能拿到相邻的筷子就行
//开始吃
Ssignal(chopstick[(i+1) % 5], chopstick[i]);//释放筷子
//继续想
}while(1)