第04讲精典IPC问题.pptVIP

方案2 while(1) // 去拿两把叉子{  take_fork(i); // 去拿左边的叉子 if(fork((i+1)%N)) { // 右边叉子还在吗 take_fork((i + 1) % N);// 去拿右边的叉子 break; // 两把叉子均到手 } else { // 右边叉子已不在 put_fork(i); // 放下左边的叉子 wait_some_time( ); // 等待一会儿 }} 对拿叉子的过程进行了改进，但仍不正确 方案3 while(1) // 去拿两把叉子{  take_fork(i); // 去拿左边的叉子 if(fork((i+1)%N)) { // 右边叉子还在吗 take_fork((i + 1) % N);// 去拿右边的叉子 break; // 两把叉子均到手 } else { // 右边叉子已不在 put_fork(i); // 放下左边的叉子 wait_random_time( ); // 等待随机长时间 }} 等待时间随机变化。可行，但非万全之策 方案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); // 退出临界区 }} 互斥访问。正确，但每次只允许一人进餐 方案4的缺点： 它把就餐（而不是叉子）看成是必须互斥访问的 临界资源，因此会造成（叉子）资源的浪费。从 理论上说，如果有五把叉子，应允许两个不相邻 的哲学家同时进餐。 S1 思考中…S2 进入饥饿状态；S3 如果左邻居或右邻居正在进餐，等待；否则转S4S4 拿起两把叉子；S5 吃面条…S6 放下左边的叉子；S7 放下右边的叉子；S8 新的一天又开始了，转S1 哲学家就餐问题的解答 思路(1) 哲学家自己怎么来解决这个问题？ 指导原则：要么不拿，要么就拿两把叉子。 S1 思考中…S2 进入饥饿状态；S3 如果左邻居或右邻居正在进餐，进入阻塞状态； 否则转S4S4 拿起两把叉子；S5 吃面条…S6 放下左边的叉子，看看左邻居现在能否进餐 （饥饿状态、两把叉子都在），若能则唤醒之；S7 放下右边的叉子，看看右邻居现在能否进餐， 若能，唤醒之；S8 新的一天又开始了，转S1 思路(2) 计算机程序怎么来解决这个问题？ 指导原则：不能浪费CPU时间；进程间相互通信。 思路(3) 怎么样来编写程序？ 必须有一个数据结构，来描述每个哲学家的当前状态； 该数据结构是一个临界资源，各个哲学家对它的访问应该互斥地进行——进程互斥； 一个哲学家吃饱后，可能要唤醒它的左邻右舍，两者之间存在着同步关系——进程同步； 数据结构的定义 #define N 5 // 哲学家个数#define LEFT (i+N-1)%N // 第i个哲学家的左邻居#define RIGHT (i+1)%N // 第i个哲学家的右邻居#define THINKING 0 // 思考状态#define HUNGRY 1 // 饥饿状态#define EATING 2 // 进餐状态int state[N]; // 记录每个人的状态semaphore mutex; // 互斥信号量，初值1semaphore s[N]; // 每人一个信号量，0 void philosopher(int i) // i的取值：0到N