操作系统C第2章进程管理4典型的同步问题.pptVIP

知识回顾 信号量机制 管程？ 2.4 经典的进程同步问题 本节我们讨论几个实现进程互斥和同步的经典例子。这里的主要问题是如何选择信号量和如何安排P、V原语的使用顺序。 2.4.1生产者和消费者问题 生产者和消费者问题是进程相互合作关系的一种抽象。例如，输入时，输入进程是生产者，计算进程是消费者；而输出时，计算进程是生产者，打印进程是消费者。 生产者一消费者问题(producer-consumerproblem)是指若干进程通过有限的共享缓冲区交换数据时的缓冲区资源使用问题。 Var full,empty,mutex:semaphore:=0,n,1; Buffer: array[0,…,n-1] of item; In, out: integer:=0, 0; Producer: begin repeat …… produce an item in nextp; …… wait(empty) wait(mutex) buffer[in]:=nextp; in:=(in+1) mod n; signal(mutex); signal(full); until false; end; consumer: begin repeat wait(full) wait(mutex) nextc := buffer[out]; out:=(out+1) mod n; signal(mutex); signal(empty); …… consume the item in nextc; …… until false; end; 3 利用管程解决生产者-消费者问题 假设已实现管程monitor的enter,leave,signal,wait操作 定义一个管程名pc； 定义整形变量count,in,out； count产品数量，in第一个空缓冲区指针，out第一个不空的缓冲区指针 定义条件变量full, empty; ??full指向因缓冲区满而等待的队列, empty指向因缓冲区空而等待的队列； 定义缓冲区array [0..n-1]; ???? 定义过程put(item)和get(item); 初始化共享变量。 Type pc=monitor; Var in, out, count: integer; Buffer: array[0,…,n-1] of item; Var full, empty: condition; 过程定义 Procedure put(item) begin if count=n then full.wait; buffer[in]:=nextp; in:=(in+1) mod n; count :=count+1; empty.signal; end; Procedure get(item) Begin If count=0 then empty.wait; nextc := Buffer[out]; out:=(out+1) mod n; Count :=count-1; full.signal; End; 初始化共享变量 Begin In:=0; Out:=0; Count:=0; End; 利用管程解决生产者-消费者问题 Producer: Begin Repeat Produce an item in nextp; Pc.put(item); Until false; End; consumer: Begin Repeat Pc.get(item); consume an item in nextc; Until false; End; 【思考题】 有一个仓库，可以存放A和B两种产品，但要求： （1） 每次只能存入一种产品（A或B） （2） －n＜A产品数量－B产品数量＜m。 其中，n和m是正整数。试用P、V操作描述产品A与B的入库过程。 提示：设两个信号量Sa、Sb Sa表示允许A产品比B产品多入库的数量 Sb表示允许B产品比A产品多入库的数量 解 设两个信号量Sa、Sb，初值分别为m-1，n-1 Sa表示允许A产品比B产品多入库的数量 Sb表示允许B产品比A产品多入库的数量 设互斥信号量mutex，初值为1。