北航研究生课程_程序语言设计原理教程_第14章课件.pptVIP

第14章 进程交互机制和并发程序设计语言;14.1 基于变量共享的高层并发机制 条件临界区 条件临界区(Condition Critieal Region简称CCR)将共享变量显式地置于叫做资源的区域内 每个进程在自己的进程体内指明要访问的条件临界区，而同一临界区可出现在不同进程之中(谁进谁用) 首先在资源中声明共享变量: resource r(共享变量声明) 例：resource sema( s:int :=n ) region r when B do S end region sema when s0 do s:= s-1 end // P操作 region sema do s:= s+1 end // V操作;例: 用CCR实现例12-4的生产者与消费者 pragram PRODUCER_CONSUMER_CCR var buf:TYPE; var empty:sema,full:sema; resource sema:(empty := 1,full := 0); process PRODUCER [i:1..M]:: loop PRODUCER[i] 产生一条消息m; deposit: region sema when empty0 do empty := empty - 1 end； buf := m; region sema do full := full + 1 end; end loop; end; process CONSUMER [j:1..N]:: loop fetch: region sema when full0 do full:= full - 1 end; m=buf； region sema do empty := empty + 1 end; CONSUMER[j] 消费者取出的这条消息m; end loop; end; end PRODUCER_CONSUMER_CCR.;条件临界区评价 条件临界区最主要的优点是概念清晰。此外: 无需辅助标志和变量即可描述共享变量的任何进程交互 程序编译时即可保证互斥 一个进程创建一个条件不需顾及其它条件是否与此条件有关 易于程序正确性证明 体现了共享数据传递的方便 它的致命缺点是低效(和信号灯相比)。此外： 进程和共享变量耦合太紧 临界区利写不利读，一多了就太散，因而也难修改;监控器 Dijkstra建议是把分散在整个程序中的region语句进一步集中成为一个模块叫做监控器(monitor)。 program monitor monitor Mname:: 共享数据声明并初始化; proc op1 (形参表1) is op1 体 end; ... proc opn (形参表n) is opn体 end; end; process Pname [i:1..N]:: 局部数据声明并初始化 begin : call Mname.opi (实参表); : end begin 初始化，激活进程 end monitor.;例: 有界缓冲区的监控器实现算法 monitor BOUNDED_BUFFER:: var buf[1..q]：TYPE; var frout :=1，rear :=1，count := 0; var not_fall:cond； //当count q示信为真 var not_empty:cond; //当count0 示信为真 proc deposit (data :TYPE) is while count = q do wait (not_full) end; buf [rear] := data; rear := (rear mod q) +1; count := count+1; signal (not_empty); end; proc fetch (var result :TYPE) is while count=0 do wait (not_empty) end; result := buf [front]; front := (front mod q) +1; count := count -1; signal (not_full); end; end BOUNDED_BUF