- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
第3章 进程同步与通信 进程同步的基本概念 信号灯的PV操作 信号灯的PV操作 用信号灯解决互斥问题 分析 共享临界资源:20个同类的售票窗口 先来者先进入 答 同一类资源: m-n ≤ mutex ≤ m 不同类资源: 需要m个mutex 1-n ≤ mutex ≤ 1 需要两个信号量 s1: 表示化验结果是否出来,初值为0. s2:表示医生是否开化验单,初值为0. 信号灯的PV操作 信号灯的PV操作 3.2经典进程同步问题 生产者-消费者问题 用信号量解决“生产者-消费者”问题 读者-写者问题 哲学家进餐问题 打磕睡的理发师问题 理发店有一名理发师,一把理发椅,还有N把供等候理发的顾客坐的普通椅子。如果没有顾客到来,理发师就坐在理发椅上打磕睡。当顾客到来时,就唤醒理发师。如果顾客到来时理发师正在理发,顾客就坐下来等待。如果N把椅子都坐满了,顾客就离开该理发店去别处理发。 用信号量解决打磕睡的理发师问题 ⑴设5个信号量c[1]~c[5],初值均为1,分别表示第i号筷子被拿(i=1,2,3,4,5)。 eat(i): 第i个哲学家要吃饭 begin P(c[i]); P(c[i+1 mod 5]); eating; V(c[i]); V(c[i+1 mod 5]); end 注:这个过程能保证两邻座不同时吃饭,但会出现5个哲学家一人(左手)拿一只筷子,谁也吃不到饭的死锁情况。 ⑵解决的思路如下: 让奇数号哲学家先取右手的筷子,让偶数号哲学家先取左手的筷子。这样就防止相邻座位的哲学家同时拿筷子的可能。除非某位哲学家一直吃下去,否则不会有人会饿死。 eat(i): begin if (i mod 2 == 0) then { P(c[i]); P(c[i+1 mod 5]); eating; V(c[i]); V(c[i+1 mod 5]); } else { P(c[i+1 mod 5]); P(c[i]); eating; V(c[i+1 mod 5]); V(c[i]); } end ●五个哲学家,他们的生活方式是交替地思考和进餐。 ●哲学家们共用一张圆桌,围绕着圆桌而坐,在圆桌上有五个碗和五支筷子,平时哲学家进行思考,饥饿时拿起其左、右的两支筷子,试图进餐,进餐完毕又进行思考。 ●这里的问题是哲学家只有拿到靠近他的两支筷子才能进餐,而拿到两支筷子的条件是他的左、右邻居此时都没有进餐。 semaphore chopstick[5] ={1,1,1,1,1}; void philosopher (int i ) /*哲学家进程*/ {while (true) { P(chopstick[i]); P(chopstick[(i + 1) % 5]); eating; /* 进餐 */ V(chopstick[i]); V(chopstick[(i + 1) % 5]); thinking; /* 思考 */} } 用信号量解决哲学家进餐问题 哲学家能顺利地吃到饭吗 void customer () //顾客进程 {P(mutex); if (waiting CHAIRS)//如果有空位,顾客等待 {waiting++; V(customers); //如果有必要,唤醒理发师 V(mutex); P(barners); //如果理发师正在理发,则顾客等待 get_haircut(); } else //如果没有空位,则顾客离开 V(mutex); } #define CHAIRS 5 //为等候的顾客准备的座椅数semaphore customers = 0;semaphore barners = 0;semaphore mutex = 1;int waiting; void barber() //理发师进程 { while (true) {P(customers);//如果没有顾客,理发师就打磕睡 P(mutex);//互斥进入临界区 waiting--; V(barners);//理发师准备理发了 V(mutex); cut_hair();//理发 } } 信号量的概念和P,V原语是荷兰科学家E. W. Dijkstra提出来的。 * * 如果终端A先来,对mutex进行P操作后,进入临界区,此时mutex为0。当它还没有处理完毕时,其它任何终端到来都因其执行P(mutex)后被阻塞,直到终端A执行了V(mutex)后将它们唤醒后才能进入其临界区对x进行操作,从而
文档评论(0)