清华大学操作系统讲义第04讲-经典IPC问题.pptVIP

下次课将介绍进程的调度 问题，请提前预习相关的 内容，即教材上的第2.5 小节。 下 课 啦 ! void philosopher(int i) // i的取值：0到N－1{ while(TRUE) // 封闭式开发，一直循环 { think( ); // 思考中… take_forks(i); // 拿到两把叉子或被阻塞 eat( ); // 吃面条中… put_forks(i); // 把两把叉子放回原处 }} 函数philosopher的定义 S1 S2–S4 S5 S6–S7 // 功能：要么拿到两把叉子，要么被阻塞起来。void take_forks(int i) // i的取值：0到N－1{ P(mutex); // 进入临界区 state[i] = HUNGRY; // 我饿了！ test(i); // 试图拿两把叉子 V(mutex); // 退出临界区 P(s[i]); // 没有叉子便阻塞} 函数take_forks的定义 void test(int i) // i的取值：0到N－1{ if(state[i] == HUNGRY  state[LEFT] != EATING  state[RIGHT] != EATING) { state[i] = EATING; // 两把叉子到手 V(s[i]); // 第i人可以吃饭了 } } 函数test的定义 // 功能：把两把叉子放回原处，并在需要的时候，// 去唤醒左邻右舍。void put_forks(int i) // i的取值：0到N－1{ P(mutex); // 进入临界区 state[i] = THINKING; // 交出两把叉子 test(LEFT); // 看左邻居能否进餐 test(RIGHT); // 看右邻居能否进餐 V(mutex); // 退出临界区} 函数put_forks的定义 2.4.3 读者—写者问题 在一个航空定票系统当中，有很多个竞争的进程想要访问（读、写）系统的数据库。访问规则是：在任何时候，可以允许多个进程同时来读，但如果有一个进程想要更新 (写)该数据库，则其他的任何进程都不能访问，包括读者和写者。问题是：怎么样来编程实现读者和写者。 问题描述 问题分析 任何时候“写者”最多只允许一个，而“读者”可以有多个： “读—写”是互斥的； “写—写”是互斥的； “读—读”是允许的； 基于读者优先策略的方法 假设读者来： 1）若有其它读者在读，则不论是否有写者在等， 新读者都可以读（读者优先）； 2）若无读者、写者，则新读者也可以读； 3）若无读者，且有写者在写，则新读者等待； 假设写者来： 1）若有读者，则新写者等待； 2）若有其它写者，则新写者等待； 3）若无读者和写者，则新写者可以写； 需要设置一个计数器rc，用来记录并发 运行的读者个数； 对于各个读者而言，该计数器是一个临 界资源，对它的访问必须互斥进行，因 此设置一个互斥信号量S_mutex； 对于各个写者而言、写者与所有的读者 而言，数据库是一个临界资源，对它的 访问必须互斥地进行，因此设置一个互 斥信号量S_db。 int rc = 0; // 并发读者的个数semaphore S_mutex; // 对rc的互斥信号量，初值1semaphore S_db; // 对数据库的信号量，初值1 读者—写者问题的一个解答 void writer(void){ while(TRUE) { think_up_data( ); // 生成数据，非临界区 P(S_db); // 希望访问数据库 write_data_base( ); // 更新数据库 V(S_db); // 退出临界区 }} void reader(void){ while(TRUE) { P(S_mutex); // 互斥地访问计数器rc rc ++; // 新增了一个读者 if(rc == 1) P(S_db); // 如果是第一个读者…