




版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1、四川丹甫制冷压缩机股份四川丹甫制冷压缩机股份(gfn)有限公有限公司招司招第一页,共29页。Reminder: notation = atomic第1页/共29页第二页,共29页。第2页/共29页第三页,共29页。while (1) .other stuff.critical sectionThe Critical Section ProblemP(mutex)V(mutex)Semaphore:mutex initially 1Fill in the boxes第3页/共29页第四页,共29页。第4页/共29页第五页,共29页。P(emptybuf);V(fullbuf);P(fullbuf
2、);V(emptybuf);Semaphores: emptybuf initially N; fullbuf initially 0;第5页/共29页第六页,共29页。第6页/共29页第七页,共29页。If dee goes first to sleep, the wakeup is lost (since dum isntsleeping yet). Both sleep forever.第7页/共29页第八页,共29页。void Tweedledee() while(1) x = Quarrel(x); Wakeup(Tweedledum); Sleep(); P(dum);V(dee)
3、;semaphore dee = 0;semaphore dum = 0;V(dum);P(dee):第8页/共29页第九页,共29页。monitor_lockenQdeQinitshared dataentry queuenotEmptyconditions第9页/共29页第十页,共29页。第10页/共29页第十一页,共29页。第11页/共29页第十二页,共29页。monitor_lockenQdeQinitshared dataentry queuenotEmptyconditions第12页/共29页第十三页,共29页。monitor_lockenQdeQinitshared datae
4、ntry queuenotEmptyconditions第13页/共29页第十四页,共29页。EnQ:Lock-Acquire ( );if (head = null)head = item;notEmpty-Signal (Lock);else tail-next = item;tail = item; Lock-Release( );deQ:Lock-Acquire (lock);if (head = null)notEmpty-Wait (lock); item = head; if (tail = head) tail = null; head=item-next;Lock-Relea
5、se( ); monitor_lockenQdeQinitshared dataentry queuenotEmptyconditions第14页/共29页第十五页,共29页。EnQ:Lock-Acquire ( );if (head = null)head = item;notEmpty-Signal (Lock);else tail-next = item;tail = item; Lock-Release( );deQ:Lock-Acquire (lock);if (head = null)notEmpty-Wait (lock); item = head; if (tail = hea
6、d) tail = null; head=item-next;Lock-Release( ); monitor_lockenQdeQinitshared dataentry queuenotEmptyconditions第15页/共29页第十六页,共29页。EnQ:Lock-Acquire ( );if (head = null)head = item;notEmpty-Signal (Lock);else tail-next = item;tail = item; Lock-Release( );deQ:Lock-Acquire (lock);if (head = null)notEmpty
7、-Wait (lock); item = head; if (tail = head) tail = null; head=item-next;Lock-Release( ); monitor_lockenQdeQinitshared dataentry queuenotEmptyconditions第16页/共29页第十七页,共29页。EnQ:Lock-Acquire ( );if (head = null)head = item;notEmpty-Signal (Lock);else tail-next = item;tail = item; Lock-Release( );deQ:Loc
8、k-Acquire (lock);if (head = null)notEmpty-Wait (lock); item = head; if (tail = head) tail = null; head=item-next;Lock-Release( ); monitor_lockenQdeQinitshared dataentry queuenotEmptyconditions第17页/共29页第十八页,共29页。第18页/共29页第十九页,共29页。Philosopher 0Philosopher 1Philosopher 2Philosopher 3Philosopher 4while
9、(food available)pick up 2 adj. forks; eat; put down forks; think awhile;第19页/共29页第二十页,共29页。第20页/共29页第二十一页,共29页。P(forkleft(me);P(forkright(me);V(forkleft(me);V(forkright(me);Does this work?第21页/共29页第二十二页,共29页。InterleavingP(R1)P(R2)P(R1) waitsP(R2) waitsR1 and R2 initially 1 (binary semaphore)第22页/共29
10、页第二十三页,共29页。第23页/共29页第二十四页,共29页。第24页/共29页第二十五页,共29页。第25页/共29页第二十六页,共29页。Circular Wait Condition第26页/共29页第二十七页,共29页。while (food available)P(mutex); while (forks me != 2) blockingme = true; V(mutex); P(sleepyme); P(mutex);forks leftneighbor(me) -; forks rightneighbor(me)-;V(mutex):eat;P(mutex); forks
11、leftneighbor(me) +; forks rightneighbor(me)+;if (blockingleftneighbor(me) blocking leftneighbor(me) = false; V(sleepyleftneighbor(me); if (blockingrightneighbor(me) blockingrightneighbor(me) = false; V(sleepyrightneighbor(me); V(mutex); think awhile; 第27页/共29页第二十八页,共29页。$rZoWkThQeMbJ7G4D1z-w*t!qYmVj
12、SgOdLaI6F3B0y)v%s#pXlUiQfNcK8H5E2A+x*u$rZnWkThPeMaJ7G4C1z-w&t!pYmVjRgOdL9I6E3B0y(v%s#oXlUiQfNbK8H5D2A+x*u$qZnWkShPeMaJ7F4C1z)w&t!pYmUjRgOcL9I6E3B+y(v%r#oXlTiQeNbK8G5D2A-x*t$qZnVkShPdMaJ7F4C0z)w&s!pYmUjRfOcL9H6E3B+y(u%r#oWlTiQeNbJ8G5D1A-x*t$qYnVkSgPdMaI7F3C0z)v&s!pXmUiRfOcK9H6E2B+y(u%
13、rZoWlThQeNbJ8G4D1A-w*t$qYnVjSgPdLaI7F3C0y)v&s#pXmUiRfNcK9H5E2B+x(u$rZoWkThQeMbJ7G4D1z-w*t!qYmVjSgOdLaI6F3C0y)v%s#pXlUiRfNcK8H5E2A+x(u$rZnWkThPeMbJ7G4C1z-w&t!qYmVjRgOdL9I6F3B0y(v%s#oXlUiQfNbK8H5D2A+x*u$rZnWkShPeMaJ7G4C1z)w&t!pYmVjRgOcL9I6E3B0y(v%r#oXlTiQfNbK8G5D2A-x*u$qZnVkShPdMaJ7F4C0z)w
14、&s!pYmUjRfOcL9H6E3B+y(v%r#oWlTiQeNbK8G5D1A-x*t$qZnVkSgPdMaI7F4C0z)v&s!pXmUjRfOcK9H6E2B+y(u%rZoWlThQeNbJ8G4D1A-w*t$qYnVkSgPdLaI7F3C0z)v&s#pXmUiRfOcK9H5E2B+x(u%rZoWkThQeMbJ8G4D1z-w*t!qYnVjSgOdLaI6F3C0y)v%s#pXlUiRfNcK9H5E2A+x(u$rZoWkThPeMbJ7G4D1z-w&t!qYmVjSgOdL9I6F3B0y)v%s#oXlUiQfNcK8H5
15、D2A+x*u$rZnWkShPeMaJ7G4C1z)w&t!pYmVjRgOdL9I6E3B0y(v%s#oXlTiQfNbK8H5D2w&t!qYmVjSgOdL9I6F3B0y)v%s#oXlUiQfNcK8H5D2A+x*u$rZnWkThPeMaJ7G4C1z-w&t!pYmVjRgOdL9I6E3B0y(v%s#oXlTiQfNbK8H5D2A-x*u$qZnWkShPdMaJ7F4C1z)w&s!pYmUjRgOcL9H6E3B+y(v%r#oXlTiQeNbK8G5D2A-x*t$qZnVkShPdMaI7F4C0z)w&s!pXmUjR
16、fOcL9H6E2B+y(u%r#oWlThQeNbJ8G5D1A-w*t$qYnVkSgPdMaI7F3C0z)v&s!pXmUiRfOcK9H6E2B+x(u%rZoWlThQeMbJ8G4D1A-w*t!qYnVjSgPdLaI6F3C0y)v&s#pXlUiRfNcK9H5E2B+x(u$rZoWkThQeMbJ7G4D1z-w*t!qYmVjSgOdLaI6F3B0y)v%s#pXlUiQfNcK8H5E2A+x*u$rZnWkThPeMaJ7G4C1z-w&t!pYmVjRgOdL9I6F3B0y(v%s#oXlUiQfNbK8H5D2A+x*u$qZnWk
17、ShPeMaJ7F4C1z)w&t!pYmUjRgOcL9I6E3B+y(v%r#oXlTiQeNbK8G5D2A-x*u$qZnVkShPdMaJ7F4C0z)w&s!pYmUjRfOcL9H6E3B+y(u%r#oWlTiQeNbJ8G5D1A-x*t$qYnVkSgPdMaI7F3C0z)v&s!pXmUjRfOcK9H6E2B+y(u%rZoWlThQeNbJ8G4D1A-w*t$qYnVjSgPdLaI7F3C0y)v&s#pXmUiRfNcK9H5E2B+x(u$rZoWkThQeMbJ7G4D1z-w*t!qYnVjSgOdLaI6F3C0y)v%
18、s#pXlUiRfNcK8H5E2A+x(u$rZnWkThPeMbJ7G4C1z-w&t!qYmVjRgOdL9I6F3B0y(v%s#oXlUiQfNcK8H5D2A+x*u$rZnWkShPeMaJ7G4C1z)w&t!pYmVjRgOcL9I6E3B0y(v%r#oXlTiQfNbK8G5D2A-x*u$qZnVkShPdMaJ7F4C0z)w&s!pYmUjRK8H5D2A+x*u$rZnWkShPeMaJ7G4C1z)w&t!pYmVjRgOcL9I6E3B0y(v%r#oXlTiQfNbK8G5D2A-x*u$qZnWkShPdMaJ7F4C1z)
19、w&s!pYmUjRgOcL9H6E3B+y(v%r#oWlTiQeNbK8G5D1A-x*t$qZnVkSgPdMaI7F4C0z)v&s!pXmUjRfOcK9H6E2B+y(u%r#oWlThQeNbJ8G5D1A-w*t$qYnVkSgPdLaI7F3C0z)v&s#pXmUiRfOcK9H5E2B+x(u%rZoWkThQeMbJ8G4D1z-w*t!qYnVjSgPdLaI6F3C0y)v&s#pXlUiRfNcK9H5E2A+x(u$rZoWkThPeMbJ7G4D1z-w&t!qYmVjSgOdL9I6F3B0y)v%s#oXlUiQfN
20、cK8H5E2A+x*u$rZnWkThPeMaJ7G4C1z-w&t!pYmVjRgOdL9I6E3B0y(v%s#oXlTiQfNbK8H5D2A-x*u$qZnWkShPdMaJ7F4C1z)w&s!pYmUjRgOcL9I6E3B+y(v%r#oXlTiQeNbK8G5D2A-x*t$qZnVkShPdMaE3B0y(v%s#oXlTiQfNbK8H5D2A-x*u$qZnWkShPeMaJ7F4C1z)w&t!pYmUjRgOcL9I6E3B+y(v%r#oXlTiQeNbK8G5D2A-x*t$qZnVkShPdMaI7F4C0z)w&s!pXmUj
21、RfOcL9H6E2B+y(u%r#oWlTiQeNbJ8G5D1A-x*t$qYnVkSgPdMaI7F3C0z)v&s!pXmUiRfOcK9H6E2B+x(u%rZoWlThQeMbJ8G4D1A-w*t!qYnVjSgPdLaI7F3C0y)v&s#pXmUiRfNcK9H5E2B+x(u$rZoWkThQeMbJ7G4D1z-w*t!qYmVjSgOdLaI6F3B0y)v%s#pXlUiQfNcK8H5E2A+x(u$rZnWkThPeMbJ7G4C1z-w&t!qYmVjRgOdL9I6F3B0y(v%s#oXlUiQfNbK8H5D2A+x*u$qZnW
22、kShPeMaJ7F4C1z)w&t!pYmUjRgOcL9I6E3B0y(v%r#oXlTiQfNbK8G5D2A-x*u$qZnVkShPdMaJ7F4C0z)w&s!pYmUjRfOcL9H6E3B+y(u%r#oWlTiQeNbJ8G5D1A-x*t$qZnVkSgPdMaI7F4C0z)v&s!pXmUjRfOcK9H6E2B+y(u%rZoWlThQeNbJ8G4D1A-w*t$qYnVjSgPdLaI7F3C0y)v&s#pXmUiRfOG5D1A-x*t$qZnVkSgPdMaI7F4C0z)v&s!pXmUjRfOcK9H6E2B+y(
23、u%rZoWlThQeNbJ8G4D1A-w*t$qYnVjSgPdLaI7F3C0z)v&s#pXmUiRfOcK9H5E2B+x(u%rZoWkThQeMbJ8G4D1z-w*t!qYnVjSgOdLaI6F3C0y)v%s#pXlUiRfNcK8H5E2A+x(u$rZoWkThPeMbJ7G4D1z-w&t!qYmVjSgOdL9I6F3B0y)v%s#oXlUiQfNcK8H5D2A+x*u$rZnWkShPeMaJ7G4C1z)w&t!pYmVjRgOcL9I6E3B0y(v%s#oXlTiQfNbK8H5D2A-x*u$qZnWkShPdMaJ7F4C1z
24、)w&s!pYmUjRgOcL9H6E3B+y(v%r#oWlTiQeNbK8G5D1A-x*t$qZnVkShPdMaI7F4C0z)w&s!pXmUjRfOcL9H6E2B+y(u%r#oWlThQeNbJ8G5D1A-w*t$qYnVkSgPdLaI7F3C0z)v&s#pXmUiRfOcK9H5E2B+x(u%rZoWlThQeMbJ8G4D1A-w*t!qYnVjSgPdLaI6F3C0y)v&s#pXlUiRfNcK9H5E2A+x(u$rZoWkThPeMbJ7G4D1z-w&t!mUiRfOcK9H6E2B+x(u%rZoWlThQeMb
25、J8G4D1A-w*t!qYnVjSgPdLaI6F3C0y)v&s#pXlUiRfNcK9H5E2A+x(u$rZoWkThQeMbJ7G4D1z-w*t!qYmVjSgOdLaI6F3B0y)v%s#pXlUiQfNcK8H5E2A+x*u$rZnWkThPeMaJ7G4C1z-w&t!pYmVjRgOdL9I6E3B0y(v%s#oXlUiQfNbK8H5D2A+x*u$qZnWkShPeMaJ7F4C1z)w&t!pYmUjRgOcL9I6E3B+y(v%r#oXlTiQeNbK8G5D2A-x*t$qZnVkShPdMaJ7F4C0z)w&s!pYmUjRfOcL9H6E3B+y(u%r#oWlTiQeNbJ8G5D1A-x*t$qYnVkSgPdMaI7F3C0z)v&s!pXmUiRfOcK9H6E2B+x(u%rZoWlThQeNbJ8G4D1A-w*t$qYnVjSgPdLaI7F3C0y)v&s#pXmUiRfNcK9H5E2B+x(u$rZoWkThQeMbJ7G4D1z-w*t!qYmVjSgOdLaI6F3C0y)voWlThQeNbJ8G
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 工程项目建设及设备安装服务合同
- 工程承包合同借款协议书
- 2025年高速切粒机行业深度研究分析报告
- 2025年高级水晶装饰砖行业深度研究分析报告
- 绿化养护服务合同书
- 2025年安全鸡蛋行业深度研究分析报告
- 商业合作合同样本:公司间的互利共赢
- 全新运输服务合同范本
- 幼儿园战略合作合同示范文本
- 标准化保险合同战略合作范本正式出炉
- 2025年度画家经纪业务合作协议书模板
- DB37-T 5310-2025《城镇排水管渠养护维修服务规范》
- 微笑面对挫折(课件)六年级心理健康(苏科版)
- 2025届小米全球校园招聘启动(即将笔试)笔试参考题库附带答案详解
- 胆管癌手术护理
- 2025 年小学劳动技术新课程标准(2022 版)标准试题
- 第10课传承与创新中国近现代美术课件-高中美术人教版美术鉴赏
- 2025年安全员C证考试题库及答案-
- 清华大学第二弹:DeepSeek赋能职场-从提示语技巧到多场景应用
- 16J914-1 公用建筑卫生间
- 教学课件:《新时代新征程》
评论
0/150
提交评论