操作系统习题全解 .pdfVIP

操作系统复习题

考试必备！

进程同步1

进程P1和进程P2并发执行时满足一定的时序关系，P1的代码段S1执行完后，才能执行P2

的代码段S2.为描述这种同步关系，：试设计相应的信号量，：给出信号量的初始值，：给出进

程P1和P2的结构

解答:信号量变量申明为

Typedefstruct{

intvalue;//信号量中的值，表示资源的数量

structPCB*L;//等待该信号量的队列

}semaphore;

设信号量semaphoresynch;

初始值为：synch.value=0

进程P1和P2的结构为

P1:{P2:{

⋮⋮

S1wait(synch);

signal(synch);S2

⋮⋮

}}

进程同步2

问题描述：(理发店问题)一个理发店有一间配有n个椅子的等待室和一个有理发椅的理发室。如

果没有顾客，理发师就睡觉；如果顾客来了二所有的椅子都有人，顾客就离去；如果理发师在忙

而有空的椅子，顾客就会坐在其中一个椅子；如果理发师在睡觉，顾客会摇醒他。

①给出同步关系

②设计描述同步关系的信号量；

③给出满足同步关系的进程结构(请完成满足同步关系的进程结构)。

解答：顾客customer应满足的同步关系为：

a:顾客来时要等空的椅子，否则不进理发室

b:座椅上的顾客要等理发椅空才有可能与别的顾客竞争理发椅，如果顾客坐上

理发椅，就要腾空其座椅给新来顾客，同时叫理发师给其理发。

c：一旦顾客理发完，就要让别的等待顾客有机会理发。

理发师应满足的同步关系为：一旦顾客唤醒，就给顾客理发，之后进入睡觉。

信号量定义如下：

Typedefstruct{

intvalue;//信号量中的值，表示资源的数量

structPCB*L;//等待该信号量的队列

}semaphore;

互斥信号量定义如下：

Typedefstruct{

boolflag;

structPCB*L;

}binary_semaphore;

理发店问题的解决需要信号量和互斥信号量为：

semaphorechair;binary_semaphorebarber_chair,hair_cut;

它们的初始值为：

chair.value=n;barber_chair.flag=1;hair_cut.flag=0;

顾客和理发师进程分别为：

customer{barber{

wait(chair);do{

waitinginthechair；wait(hair_cut);

wait(barber_chair);cuttin