操作系统同步例题 下载本文

内容发布更新时间 : 2024/5/7 12:29:29星期一 下面是文章的全部内容请认真阅读。

13. 对于生产者—消费者问题,假设缓冲区是无界的,试用信号灯与PV操作给出解法。 答:由于是无界缓冲区,所以生产者不会因得不到缓冲区而被阻塞,不需要对空缓冲区进行管理,可以去掉在有界缓冲区中用来管理空缓冲区的信号量及其PV操作。 semaphore mutex_in=1; semaphore mutex_out=1; semaphore empty=0; int in=0,out=0;

生产者活动: while(1){

produce next product; P(mutex_in);

add the product to buffer[in]; in++;

v(mutex_in); V(empty); }

消费者活动: while(1){ P(empty); P(mutex_out);

take the product from buffer[out]; out++;

V(mutex_out); }

14. 设有一个可以装A、B两种物品的仓库,其容量无限大,但要求仓库中A、B两种物品的数量满足下述不等式: -M≤A物品数量-B物品数量≤N

其中M和N为正整数。 试用信号灯和PV操作描述A、B两种物品的入库过程。 答:已知条件 -M≤A物品数量-B物品数量≤N 可以拆成两个不等式,即

A物品数量-B物品数量≤N, B物品数量-A物品数量≤M。

这两个不等式的含义是:仓库中A物品可以比B物品多,但不能超过N个;B物品可以比A物品多,但不能超过M个。 semaphore a=n; semaphore b=m; void main(){

createprocess(A,…); createprocess(B,…); }

A物品入库: void A(){ while(1){

B物品入库: void B(){ while(1){

P(a);

A物品入库; V(b); } } P(b);

B物品入库; V(a); } }

15. 试用信号灯与PV操作实现司机与售票员之间的同步问题。设公共汽车上有一个司机和一个售票员,其活动如下图 所示。

为了安全起见,显然要求: (1)关车门后方能启动车辆;(2)到站停车后方能开车门。亦即“启动车辆”这一活动应当在“关车门”这一活动之后,“开车门”这一活动应当在“到站停车”这一活动之后。

解:如果进程P2尚未推进到②处时,进程P1已经推进到①处,则P1应等待直到P2推进到②处为止;同样,如果进程P1尚未推进到③处时,进程P2已经推进到④处,则P2应等待直到P1推进到③处为止。如果进程P1在①处发生了等待,则当进程P2执行到②处时应将P1唤醒;同样,如果进程P2在④处发生了等待,则当进程P2执行到③处时应将P1唤醒。用信号量和P、V操作解决这一问题,需要定义两个信号量,一个信号量start表示是否允许司机启动车辆,另一个信号量open表示是否允许售票员开车门。初始状态是车停在始发站,车门开着,等待乘客上车。因此,两个信号量的初值都是0。 semaphore start=0; semaphore open=0; 司机的活动: P1: do{ P(start); 启动车辆; 正常行车; 到站停车; V(open); }while (1);

售票员的活动: P2: do{ 关车门; V(start); 售票; P(open); 开车门; }while (1);

16. 设有A、B、C三组进程,它们互斥地使用某一独占型资源R,使用前申请,使用后释放。资源分配原则如下:

(1) 当只有一组申请进程时,该组申请进程依次获得R;

(2) 当有两组申请进程时,各组申请进程交替获得R,组内申请进程依次获得R; (3) 当有三组申请进程时,各组申请进程轮流获得R,组内申请进程依次获得R。 试用信号灯和PV操作分别给出各组进程的申请活动程序段和释放活动程序段。 解:

int free=1;

设自行车生产线上有一只箱子,其中有N个位置(N≥3),每个位置可存放一个车架或一个车轮; 又设有三个工人,其活动分别为: 工人1活动: do {

加工一个车架; 车架放入箱中; }while(1)

工人2活动: do {

加工一个车轮; 车轮放入箱中; }while(1)

工人3活动: do {

箱中取一车架; 箱中取二车轮; 组装为一台车; }while(1)

试分别用信号灯与PV操作、管程、会合实现三个工人的合作,要求解中不含死锁。 解:用信号灯与PV操作实现三个工人的合作,管程与会合解法可仿照给出。

首先不考虑死锁问题,工人1与工人3、工人2与工人3构成生产者与消费者关系,这两对生产/消费关系通过共同的缓冲区相联系。从资源的角度来看,箱子中的空位置相当于工人1和工人2的资源,而车架和车轮相当于工人3的资源。定义三个信号灯如下: semaphore empty=N;

一座小桥(最多只能承重两个人)横跨南北两岸,任意时刻同一方向只允许一人过桥,南侧桥段和北侧桥段较窄只能通过一人,桥中央一处宽敞,允许两个人通过或歇息。试用信号灯和PV操作写出南、北两岸过桥的同步算法。

解:桥上可能没有人,也可能有一人,也可能有两人。 (a) 两人同时过桥(b) 两人都到中间(c) 南(北)来者到北(南)段

共需要三个信号量,load用来控制桥上人数,初值为2,表示桥上最多有2人;north用来控制北段桥的使用,初值为1,用于对北段桥互斥;south用来控制南段桥的使用,初值为1,用于对南段桥互斥。 semaphore load=2; semaphore north=1; semaphore south=1;

tosouth(){ P(load); P(north);

tonorth(){ P(load); P(south);