习题解答第3章进程同步与通信.doc

第3章 进程同步与通信 有三个并发执行的进程A、B和C，A负责输入信息到缓冲区，B负责加工输入到缓冲区中的数据，C负责将加工后的数据打印输出。在下列情况下： （1）单缓冲区。 （2）由N个缓冲区组成的缓冲池。 分别写出三个进程的并发关系。 答：（1）semaphore S1=1，S2=S3=0 A: B: C: while(1) { while(1) { while(1) { P(S1); P(S2); P(S3); 输入信息到缓冲区; 加工缓冲区中数据; 输出缓冲区中数据; V(S2); V(S3); V(S1); } } } （2）semaphore S1=N; semaphore S2=0,S3=0; semaphore mutex=1; int i.,j,k; ITEM buffer[N]; ITEM data_i,data_o; A: B: C: while(1) { while(1) { while(1) { P(S1); P(S2); P(S3); P(mutex) ; P(mutex) ; P(mutex); 输入数据data_i; data_o= buffer[k]; buffer[i]=data_i; 处理中buffer[j]的数据 k=(k+1)%N; i=(i+1)%N; j=(j+1)%N; 输出data_o; V(mutex); V(mutex); V(mutex) ; V(S2); V(S3); V(S1); } } } 7．三个并发执行的进程A、B和C，A与B共享缓冲区M，B与C共享缓冲区N，如图所示：假如缓冲区的大小只能存放一个单位的数据，试写出A、B、C三个进程的同步关系。 答： semaphore S1=M;S3=N; semaphore S2=0,S4=0; semaphore mutex=1; int i.,j,k,l; ITEM buffer1[M]; ITEM buffer2[N]; ITEM data_i,data_o; A: B: C: while (1) { while (1) { while (1) { P(S1); P(S2); P(S4); P(mutex); P(mutex) ; P(mutex); 输入数据data_i; data_o=buffer1[j]; data_o= buffer[l]; buffer1[i]=data-i; j=(j+1)%M; l=(l+1)%N; i=(i+1)%M; V(mutex); 输出data_o; V(mutex); V(S1); V(mutex); V(S2); P(S3) V(S3); } P(mutex); } buffer2[k]=data_o; k=(k+1)%N; V(mutex); V(S4) } 9．设有两个优先级相同的进程 P1，P2如下，令信号量S1、 S2的初值为0，已知z=2，试 问P1、P2并发运行结束后x=？y=？z=？ 进程P1 进程P2 y: =1； x:=1； y:=y+2 ； x:=x+1； V(S1)； P(S1)； z:=y+1； x:=x+y； P(S2)； V(S2)； y:=z+y； z:=x+z； 解答： 由题意可知执行顺序存在如下5种情况：