PV操作补充.doc

进程通信：指进程间的信息交换过程 进程通信方式：互斥、同步、消息缓冲 进程通信原语：开关锁、P/V操作、消息缓冲机制 一、开、关锁 二、P、V操作 三、消息缓冲 四、P、V操作例题 Var 信号量、变量 Process 1 Begin …… End …… Process n Begin …… End begin 初始化 cobegin 并发进程 …… 并发进程 coend end Var 信号量、变量 begin 初始化 cobegin procedure1； begin …… end …… proceduren； begin …… end coend end 1、生产者、消费者问题 var mutex，empty，full：psemaphore；i,j，goods：integer；buffer：array [0…n-1] of item； procedure producer； 生产者进程 begin while true do begin produce next product； P(empty)；P(mutex)； buffer(i):=product；i:=(i+1) mod(n)； V(mutex)；V(full)； end end； procedure consumer； 消费者进程 begin while true do begin P(full)； P(mutex)； goods：= buffer(j) ； j:=(j+1) mod(n)； V(mutex)； V(empty)； consume product ； end end； begin seminitial (mutex.v，1；empty.v，n；full.v，0)； i：=j：=0； cobegin producer； consumer； coend end 2、 设有三个进程A、B、C，其中A与B构成一对生产者与消费者（A为生产者，B为消费者），共享一个由n个缓冲块组成的缓冲池；B与C也构成一对生产者与消费者（此时B为生产者，C为消费者），共享另一个由m个缓冲块组成的缓冲池。用P、V操作描述它们之间的同步关系。 var mutexA,emptyA,fullA,mutexC,emptyC,fullC : semaphere; i,j,a,b : integer; bufferA : array 0..n-1 of item bufferC : array 0..m-1 of item; procedure produceA：生产者进程A begin while ture do begin Produce next product; P(emptyA); P(mutexA); bufferA(i):=products; i:=(i+1) mod(n) ; V(mutexA); V(fullA) end end procedure consumerC ; 消费者C进程 begin while ture do begin P(fullC); P(mutexC); Goods:=bufferC(b); b:=(b+1) mod(m); V(mutexC);V(emptyC); Consume product; end end; procedure consumer_procedurerB: 消费者和生产者进程B begin while ture do begin P(fullA); P(mutexA); Goods:=buffer(j); j:=(j+1)mod(n); V(mutexA);V(emptyA); Consume goods and Produce next product C; P(emptyC); P(mutexC); BufferC(a):=product C; a:=(a+1) mod(m); V(mutexC);V(fullC) end en