p_2进程管理.pptVIP

2.5管程机制 引入原因： 为了避免凡要使用临界资源的进程都自备同步操作wait(s)和signal(s).将同步操作的机制和临界资源结合到一起，形成管程。 2.5.1管程的基本概念 一、定义：一个数据结构和能为并发进程所执行的一组操作。 局部于管程的共享变量。 对该数据结构进程操作的一组过程。 对局部管程数据设置初值。 二、条件变量： x.y: x.wait; x.signal; x.queue 2.5.2利用管程解决生产者——消费者问题 一、建立管程：PC 包括：二过程： （1）put(item)过程； （2）get(item)过程 一变量：count≥n时满；≤0 时空 初始： in=out=count=0 Type producer-consumer=monitor var in,out,count：integer; buffer: array [0,…,n-1] of item; notfull, notempty: condition; procedure entry put (item) procedure entry get (item) 2.5.2利用管程解决生产者——消费者问题 Procedure entry put(item) begin if count ≥n then notfull.wait; buffer(in):=nextp; in:=(in+1)mod n count:=count+1; if notempty.queue then notempty.signal; end Procedure entry get(item) begin if count ≤ 0 then notempty.wait; nextc:=buffer(out); out:=(out+1)mod n count:=count-1; if notfull.queue then notfull.signal; end Begin in:=out:=0; count:=0 end 2.5.2利用管程解决生产者——消费者问题 例： producer: begin repeat produce a item nextp PC. put (item); until false. End Consumer: begin repeat PC.get(item); Consume the item in nextc; Until false end 可见，由管程来实现后，进程的同步更简单明了。 练习 a,b 两点间是一段东西向的单行车道，现要设计一个自动管理系统，管理规则如下：当ab间有车辆在行驶时同方向的车可以同时驶入ab段，但另一方向的车必须在ab段外等待；当ab之间无车时，到达a（或b）的车辆可以进入ab段，但不能从a，b点同时驶入；当某方向在ab段行驶的车辆使出了ab段且无车辆进入ab段时，应让另一方向等待的车辆进入ab段行驶。请用wait,signal工具对ab段实现正确管理。 答： Semaphore s, mutexab,mutexba Pab： Wait(mutexab) Countab++ If countab=1 then wait(s); Signal(mutexab) ….. wait(mutexab) countab- -; if countab=0 then signal(s) signal(mutexab); 答： Pba: wait(mutexba) countba=countba+1; If countba=1 then wait(s) wait(mutexba) enter; …… wait(mutexba) countba--; if countba=0 then signal(s) signal(mutexba); 2.6进程通信 概念：进程间的信息交换。 实例： 信号量机制（一种低级通信） 缺点：（1）效率低 （2）通信对用户不透明 高级通信特点： 效率高，通信实现细节对用户透明 2.6.1进程通信的类型 一、共享存贮器系统 1.基于共享数据结构的通信方式： produce-consume中的缓冲区，低效，不透明。 系统只提供了一共享存贮器，适于少量通信。 2.基于共享存储区的通信方式： 系统提供：共享存储区。 通信过程： （1）向系统申请一个或多个分区 （2）获得分区后即可读/写. 特点：高效，速度快。 2.6.1进程通信的类型 二、消息传递系统（可用于异种机）