操作系统进程管理 (2).pptVIP

var mutex, empty, full: semaphore:=1,1,0 2.5.1管程的基本概念 入口等待队列：因为管程是互斥进入的，所以当一个进程试图进入一个已被占用的管程时它应当在管程的入口处等待，因而在管程的入口处应当有一个进程等待队列，称作入口等待队列 紧急等待队列：如果进程Ｐ唤醒进程Ｑ，则Ｐ等待Ｑ继续，如果进程Ｑ在执行时又唤醒进程Ｒ，则Ｑ等待Ｒ继续，...，如此，在管程内部，由于执行唤醒操作，可能会出现多个等待进程（因唤醒其它进程而自己被阻塞的进程），因而还需要有一个进程等待队列，这个等待队列被称为紧急等待队列。它的优先级应当高于入口等待队列的优先级 内部等待队列：var c: condition; 可根据需要定义多个，用于设置等待条件 管程与进程比较 管程定义的是公用数据结构，而进程定义的是私有数据结构 管程把共享变量上的同步操作集中起来，而临界区却分散在每个进程中 管程是为管理共享资源而建立的，进程是为占有系统资源和实现系统并发性而引入的 管程是被欲使用共享资源的进程所调用的，管程和调用它的进程不能并行工作，而进程之间能并行工作，并发性是其固有特性 管程是语言或操作系统的成分，不必创建或撤销，而进程有生命周期，由创建而产生至撤销便消亡 2.5.2 用管程机制解决生产者—消费者问题 建立Producer-consumer(PC)管程 Type producer-consumer=monitor var in,out,count:integer; buffer:array[0,…,n-1] of item; full, empty: condition; put(item); get(item); begin in:=out:=0; /* 初始化代码*/ count:=0; end 管程中的两个条件变量： (1)缓冲区中不全满，该变量为真; (2)empty 当缓冲区中不全空，该变量为真。 2.5.2 用管程机制解决生产者—消费者问题 建立Producer-consumer(PC)管程 Put(item)过程 生产者利用此过程将自已的消息放到缓冲池中，若发现缓冲已满（count n)，则等待 Get(item)过程 消费者利用此过程将缓冲池中的消息取走，若发现缓冲已空（count 0)，则等待 put(item) Procedure entry put(item) begin if count ≧n then full.wait; buffer(in):=nextp; in:=(in+1) mod n; count:=count+1; if empty.queue then empty.signal; end get(item) Procedure entry get(item) begin if count≦0 then empty.wait; nextc:=buffer(out); out:=(out+1) mod n; count:=count-1; if full.queue then full.signal; end 2.5.2 用管程机制解决生产者—消费者问题 Producer:begin repeat produce an item in nextp; PC.put(item); until false end Consumer:begin repeat PC.get(item); consume the item in nextc; until false end 概念 进程间的信息交换 实例： 信号量机制（一种低级通信） 缺点：（1）效率低 （2）通信对用户不透明 高级通信特点 效率高，通信