下载本文档
版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
【例7】一个供应商用汽车给某超市送货,并把汽车上的货物用超市的三轮车运到仓库中。超市的工作人员也用三轮车从仓库中取货去出售。假设共有3辆三轮车,仓库中只能容纳10辆三轮车的货物,且每次从汽车上取货只能供给一辆三轮车,仓库也只能容纳一辆三轮车进入。考虑相关信号量的定义及初值,并写出用P、V操作实现向仓库中送货及从仓库中取货的同步算法。(西安交通大学2005年考研试题)解析:题目的限制条件暗示着临界资源的存在。如本题中,仓库只能容纳一辆车进入,且最多容纳10辆车的货物,则仓库显然是需要互斥使用的缓冲区资源。共有三辆小车,则三轮车也是受限资源;汽车一次取货只能供给一辆小车,则汽车也是互斥资源。为所有的互斥资源设置信号量如下:S=3(控制三轮车数量)mutex1=1(控制互斥访问汽车)mutex2=1(控制互斥访问仓库)empty=10(仓库容量)full=0(仓库现有库存量,供给超市)从汽车到仓库进程:P(empty);P(S);P(mutex1);从汽车上取货;V(mutex1);去仓库;P(mutex2);入仓库装货;V(mutex2);V(S);V(full);从仓库到超市进程:P(full);P(S);P(mutex2);从仓库取货;V(mutex2);V(empty);去超市;V(S);例3:
a,b两点之间是一段东西向的单行车道,现要设计一个自动管理系统,管理规则如下:当ab之间有车辆在行驶时同方向的车可以同时驶入ab段,但另一方向的车必须在ab段外等待;当ab之间无车辆在行驶时,到达a点(或b点)的车辆可以进入ab段,但不能从a点和b点同时驶入,当某方向在ab段行驶的车辆驶出了ab段且暂无车辆进入ab段时,应让另一方向等待的车辆进入ab段行驶。请用信号量为工具,对ab段实现正确管理以保证行驶安全。解析:读者-写着问题的变形。我们设置3个信号量S1、S2和Sab,分别用于从a点进入的车互斥访问共享变量ab(用于记录当前ab段上由a点进入的车辆的数量),从b点进入的车互斥访问共享变量ba(用于记录当前ab段上由b点进入的车辆的数量)和a、b点的车辆互斥进入ab段。3个信号量的初值分别为1、1和1,两个共享变量ab和ba的初值分别为0、0。SemaphoreS1=1,S2=1,Sab=1;intab=ba=0;voidPab(){while(1){wait(S1);if(ab==0)wait(Sab);ab=ab+1;signal(S1);车辆从a点驶向b点;wait(S1);ab=ab-1;if(ab==0)signal(Sab);signal(S1);}}voidPba(){while(1){wait(S2);if(ba==0)wait(Sab);ba=ba+1;signal(S2);车辆从b点驶向a点;wait(S2);ba=ba-1;if(ba==0)
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 教师岗位说明书合集
- 工作试用期心得参考6篇
- 古风的唯美语录摘录76条
- 唯美的晚安朋友圈问候语35条
- 配送中心设计实验总结
- 《烟草精益物流培训》课件
- 《沟通的原则》课件
- 《模具制造培训》课件
- 《笔记本的主流配置》课件
- 《企业文化培训》课件
- 检验科 ISO 15189体系文件 质量手册+程序文件+管理制度+采样手册+临检室+免疫室+生化室+PCR室+微生物与血库作业指导书+记录模板
- 北京市水资源税讲解
- DB34∕1659-2022 住宅工程质量常见问题防治技术规程
- 牙体牙髓笔记整理 牙髓病、根尖周病
- 翻车机篦子层清理操作风险及控制措施
- THE LION, THE WITCH AND THE WARDROBE(《纳尼亚传奇》第一部――狮子女巫与魔衣橱 英文版)
- (学习)同型半胱氨酸PPT课件(PPT 31页)
- 2020 新ACLS-PCSA课前自我测试-翻译版玉二医【复制】附有答案
- 大班打击乐《孤独的牧羊人》课件
- 注射机与注射成型工艺详解
- 小升初学生个人简历模板
评论
0/150
提交评论