原创力文档- 1、本文档共34页，可阅读全部内容。
- 2、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。
- 3、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
- 5、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
- 6、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传，每下载1次， 网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
操作系统复习资料全第二章进程管理_经典同步问题
复习;并发进程的同步问题（包括资源共享和进程之间的合作），是多道环境下操作系统必须解决重要问题。否则，将会造成计算错误、资源不能共享、系统混乱等严重错误发生。
本节将研究几个典型的进程同步问题。;进程同步机制应遵循的准则(掌握);几种不同类型的信号量;整型信号量的P、V操作描述;2. 记录型信号量;2. 记录型信号量的定义;2. 记录型信号量的定义;3. AND型信号量;;;;;4.信号量集（自学）;;;信号量集的几种特殊情况：;2.4.1 生产者—消费者问题;Var mutex, empty, full:semaphore :=1,n,0;
buffer:array［0, …, n-1］ of item;
in, out: integer :=0, 0;//空、满缓冲区队列起始位置
begin
parbegin
proceducer:begin
repeat
…
producer an item nextp;//nextp为临时缓冲区
…
buffer(in) :=nextp;
in :=(in+1) mod n;
until false;
end ;consumer:begin
repeat
wait(full);
wait(mutex);
nextc :=buffer(out);//临时消费缓冲区
out :=(out+1) mod n;
signal(mutex);
signal(empty);
consumer the item in nextc;
until false;
end
parend
end
每次都是两个wait和两个signal操作，因此可以改造成AND型信号量。;2.利用AND信号量解决生产者—消费者问题 ;consumer:begin
repeat
Swait(full, mutex);
nextc ：=buffer(out);
out ：=(out+1) mod n;
Ssignal(mutex, empty);
consumer the item in nextc;
until false;
end
parend
end ;2.4.2 哲学家进餐问题 ;第i位哲学家的活动可描述为：
Var chopstick: array［0, …, 4］ of semaphore=（1,1,1,1,1);
repeat
wait(chopstick［i］);
wait(chopstick［(i+1) mod 5］);
…
eat;
…
signal(chopstick［i］);
signal(chopstick［(i+1) mod 5］);
…
think;
until false;
问题：上述算法有可能引起死锁。为什么？如何解决？; 可采取以下几种解决方法：
至多只允许有四位哲学家同时去拿左边的筷子，最终能保证至少有一位哲学家能够进餐。（增加一个总资源信号量S=4）
仅当哲学家的左、右两只筷子均可用时，才允许他拿起筷子进餐（AND型信号量）。
规定奇数号哲学家先拿他左边的筷子，然后再去拿右边的筷子；而偶数号哲学家则相反。按此规定，将是1、 2号哲学家竞争1号筷子；3、4号哲学家竞争3号筷子。即五位哲学家都先竞争奇数号筷子，获
文档评论（0）