(完整版)作业1-进程同步-答案

操作系统作业

第 1 页 共 1 页1、用记录型信号量解决以下问题，用类C 语言编写进程同步算法。

司机 P1 售票员 P2 REPEAT REPEAT 启动 关门 正常运行 售票 到站停 开门 UNTIL FALSE UNTIL FALSE 2、两个进程合作完成数据计算和打印工作，计算进程未计算完就不可打印，反之也然，双

方共用一个缓冲区，写出此算法。3、桌子上有一只盘子，最多可容纳两个水果，每次只能放人或取出一个水果。爸爸专向盘

子中放苹果(apple)，妈妈专向盘子中放桔子(orange)，两个儿子专等吃盘子中的桔子，两个女儿专等吃盘子中的苹果。请用P 、V 操作

来实现爸爸、妈妈、儿子、女儿之间的同步

与互斥关系。4、桌子上有一只盘子，每次只能放入一只水果。爸爸专向盘中放苹果，妈妈专向盘中放桔子，

一个儿子专等吃盘中的桔子，一个女儿专等

吃盘中的苹果。请利用P 、V 操作写出父亲、

母亲、儿子、女儿进程的同步算法。5、设有四个并发执行的进程P1、P2、P3、p4，其前趋图如下，试用信号量实现这四个进程

同步。

1Var s1,s2:semaphore:=0,0; parbegin 司机 P1 REPEAT wait(s1)启动 正常运行 到站停 Signal(s2) UNTIL FALSE 售票员 P2REPEAT 关门Signal(s1)售票Wait(s2)开门 UNTIL FALSE parend 2 Var empty, full: semaphore:=1,0; parbegin Calculate: begin repeat wait(empty); 计算； signal(full); until false; end Print: begin repeat wait(full); 打印; signal(empty); until false; end parend

3盘子为互斥资源，因可以放两个水果，empty

初值为2；再设信号量mutex 初值为1，控制对盘

子的互斥访问；apple 表示盘中苹果个数，orange

表示盘中桔子个数，初值均为0。Var mutex, empty, apple, orange:semaphore:=1,2,0,0;parbegin Father: begin p(empty); P(mutex); 放苹果； V(mutex); V(apple); end;Mother: begin P(empty);P(mutex);放桔子；V(mutex);V(orange);End;Daughter: begin p(apple);P(mutex);取苹果；V(mutex);V(empty);End;Son: begin P(orange);P(mutex);取桔子；V(mutex);V(empty);End;Parend 4在本题中，应设置三个信号量s 、so 、sa 信号量s 表示盘子是否为空，其初值为1； 信号量so 表示盘中是否有桔子，其初值为0； 信号量sa 表示盘中是否有苹果，其初值为0.同步描述如下： var s, so, sa: semaphone:=1, 0, 0; parbegin father ( ); mother( ); son ( ); daughter ( ); parend father ( ) wait(s); 将水果放入盘中； signal(sa); mother ( ) wait(s); 将水果放入盘中； signal(so); son ( ) wait(so); 从盘中取出桔子； signal(s); 吃桔子； daughter ( ) wait(sa); 从盘中取出苹果； signal(s); 吃苹果；5var a,b,c,d:semaphore:=0,0,0,0;parbegin P1: begin … signal(a); signal(b); end P2: begin wait(a);… signal(c); end P3: begin wait(b); … signal(d); end P4: begin wait(c); wait(d); … end Parend