04第四章+互斥同步与通讯.ppt

条件临界区 实现互斥 region v when true do s CCR与PV操作的等价性(证明从略） 用CCR可以实现PV操作 用PV操作可以实现CCR P.B.Hansen设计的Edison语言提供了CCR同步机制． 例4-6 简单批处理 由作业读入、执行、打印结果三个相对独立的部分组成，显然三者需要同步，用条件临界区实现的程序如下： PROGRAM batch; TYPE buffer=RECORD slots: ARRAY[0..n-1]of T; head,tail: 0..n-1 initial (0,0); size: 0..n initial (0); END; VAR inbuff: buffer(cardimage); outbuff: buffer(lineimage); RESOURCE ib: inbuff; ob: outbuff; 例4-6 简单批处理 COBEGIN PROCESS reader; VAR card: cardimage LOOP Read card from cardreader; REGION ib WHEN inbuff.sizen DO inbuff.slots[inbuff.tail]:=card; inbuff.size := inbuff.size+1; inbuff.tail := (inbuff.tail+1) MOD n; ENDDO ENDLOOP ENDPROCESS 例4-6 简单批处理 PROCESS executer; VAR card:cardimage; line:lineimage; LOOP REGION ib WHEN inbuff.size0 DO card := inbuff.slots[inbuff.head]; inbuff.size := inbuff.size-1; inbuff.head := (inbuff.head+1)MOD n ENDDO Process card and generate line REGION ob WHEN outbuff.sizen DO outbuff.slots[outbuff.tail] := line; outbuff.size := outbuff.size+1; outbuff.tail := (outbuff.tail+1)MOD n; ENDDO ENDLOOP ENDPROCESS 例4-6 简单批处理 PROCESS printer; VAR line:lineimage; LOOP REGION ob WHEN outbuff.size0 DO line := outbuff.slots[outbuff.head]; outbuff.size := outbuff.size-1; outbuff.head := (outbuff.head+1)MOD n; ENDDO Print line on lineprinter; ENDLOOP ENDPROCESS COEND. 条件临界区的实现效率问题 region r when b do s 条件临界区的实现效率是比较低的 这主要是条件表达式b的计算，由于b中可能包含进程局部信息，每个欲进入条件临界区的进程必须自己计算b的值(而不能由调度程序统一计算)． 因为进入条件临界区必须同时满足互斥和b为真两个条件，任何一个条件不满足都将使进程等待，这样在条件临界区的入口处会形成一个等待队列． 当处于条件临界区内的进程执行完s后，全局变量条件发生变