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

哲学家进餐问题

问题：有五个哲学家公用一张圆桌，分别坐在周围的五张椅子上，在圆桌上有五个碗和五只筷子，平时一个哲学家进行思考，饿的时候便取用左右做靠近他的筷子，只有他拿到两只筷子时才能进餐，进餐完毕继续思考

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

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)