第04讲经典PIC问题.ppt

方案2 while(1) // 去拿两把叉子{  take_fork(i); // 去拿左边的叉子 if(fork((i+1)%N)) { // 右边叉子还在吗 take_fork((i + 1) % N);// 去拿右边的叉子 break; // 两把叉子均到手 } else { // 右边叉子已不在 put_fork(i); // 放下左边的叉子 wait_some_time( ); // 等待一会儿 }} 对拿叉子的过程进行了改进，但仍不正确 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 方案3 while(1) // 去拿两把叉子{  take_fork(i); // 去拿左边的叉子 if(fork((i+1)%N)) { // 右边叉子还在吗 take_fork((i + 1) % N);// 去拿右边的叉子 break; // 两把叉子均到手 } else { // 右边叉子已不在 put_fork(i); // 放下左边的叉子 wait_random_time( ); // 等待随机长时间 }} 等待时间随机变化。可行，但非万全之策 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 方案4 semaphore mutex // 互斥信号量，初值1void philosopher(int i) // 哲学家编号i：0－4 { while(TRUE){ think( ); // 哲学家在思考 P(mutex); // 进入临界区 take_fork(i); // 去拿左边的叉子 take_fork((i + 1) % N); // 去拿右边的叉子 eat( ); // 吃面条中…. put_fork(i); // 放下左边的叉子 put_fork((i + 1) % N); // 放下右边的叉子 V(mutex); // 退出临界区 }} 互斥访问。正确，但每次只允许一人进餐 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 方案4的缺点： 它把就餐（而不是叉子）看成是必须互斥访问的 临界资源，因此会造成（叉子）资源的浪费。从 理论上说，如果有五把叉子，应允许两个不相邻 的哲学家同时进餐。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. S1 思考中…S2 进入饥饿状态；S3 如果左邻居或右邻居正在进餐，等待；否则转S4S4 拿起两把叉子；S5 吃面条…S6 放下左边的叉子；S7 放下右边的叉子；S8 新的一天又开始了，转S1 哲学家就餐问题的解答 思路(1) 哲学家自己怎么来解决这个问题？ 指导原则：要么不拿，要么就拿两把叉子。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. S1 思考中…S2 进入饥饿状态；S3 如果左邻居或右邻居正在进餐，进入阻塞状态； 否则转S4S4 拿起两把叉子；S5 吃面条…S6 放下左边的叉子，看看