操作系统课件 第2章补充内容

// 表示缸中有多少桶水,初始时缸中没 表示缸中有多少桶水, // 表示有多少只空桶可用,初始时 表示有多少只空桶可用, // 用于实现对井的互斥操作 // 用于实现对缸的互斥操作
semaphore bucketx_well=1; semaphore mutex_bigjar=1;
三个进程的并发关系描述如下: 三个进程的并发关系描述如下: A进程 p(empty); p(mutex); 输入item信息 信息x 输入 信息 buffer[in]=x; in=(in+1)mod n; v(mutex); v(s1); B进程 进程 item x; p(s1); p(mutex); x=buffer[dis]; 处理信息x 处理信息 buffer[dis]=x; dis=(dis+1)mod n; v(mutex); v(s2); C进程 进程 item x; p(s2); p(mutex); x=buffer[out]; 处理信息x 处理信息 out=(out+1)mod n; 输出 v(mutex); v(empty);
�
2.某寺庙,有小和尚,老和尚若干.庙内有一水缸,由小和尚 某寺庙,有小和尚,老和尚若干.庙内有一水缸, 某寺庙 提水入缸,供老和尚饮用. 桶水,每次入水, 提水入缸,供老和尚饮用.水缸可容纳 30 桶水,每次入水, 取水仅为1桶 不可同时进行.水取自同一井中,水井径窄, 取水仅为 桶,不可同时进行.水取自同一井中,水井径窄, 每次只能容纳一个水桶取水.设水桶个数为5个 每次只能容纳一个水桶取水.设水桶个数为 个,试用信号灯 操作给出老和尚和小和尚的活动. 和PV操作给出老和尚和小和尚的活动. 操作给出老和尚和小和尚的活动 semaphore empty=30; 初始时能装30桶水 初始时能装 桶水 semaphore full=0; 有水 // 表示缸中目前还能装多少桶水, 表示缸中目前还能装多少桶水,
mutex=1; //缓冲区互斥信号量 = 缓冲区互斥信号量
empty=n; //空缓冲区资源信号量 空缓冲区资源信号量 s1=0; //已输入的,待处理的缓冲区资源信号量 已输入的, 已输入的 s2=0; //处理完的,待输出的缓冲区资源信号量 处理完的, 处理完的 int in,out,dis=0; //空,满,待输出的缓冲区指针 空 iitem buffer[n]; //n个缓冲区构成的缓冲池 个缓冲区构成的缓冲池
补充作业: 补充作业:
1. 有三个并发执行的进程 ,B,C,A负责输入信息到缓冲区, 有三个并发执行的进程A, , , 负责输入信息到缓冲区 负责输入信息到缓冲区, B负责加工输入到缓冲区中的数据,C负责将加工后的数据打 负责加工输入到缓冲区中的数据, 负责将加工后的数据打 负责加工输入到缓冲区中的数据 印输出.在如下情况: 个缓冲区组成的缓冲池, 印输出.在如下情况:由n个缓冲区组成的缓冲池,用信号量 个缓冲区组成的缓冲池 操作写出三个进程的并发关系. 和pv操作写出三个进程的并发关系. 操作写出三个进程的并发关系
young_monk() old_monk() { while(1) { { while() P(empty); { P(buckets); P(full); go to the well; P(buckets); P(mutex_well); P(mutex_bigjar); get water; get water; V(mutex_well); V(mutex_bigjar); go to the temple; drink water; P(mutex_bigjar); V(buckets); pure the water into the big jar; V(empty); V(mutex_bigjar); } V(buckets); } V(full); } }