进程的同步.pptVIP

* 进 程 的 同 步 * 第二章 进 程 管 理 第二章 进程管理 2.1 进程的基本概念 2.2 进程控制 2.3 进程同步 2.4 经典进程的同步问题 2.5 管程机制 上节回顾 信号同步的原则：P41 整型信号量 记录型信号量 AND型信号量 信号量集 信号量机制的特性 2.4 经典进程的同步问题 2.4.1 生产者—消费者问题 前面我们已经对生产者—消费者问题(The proceducer-consumer problem)做了一些描述，但未考虑进程的互斥与同步问题，因而造成了数据Counter的不定性。由于生产者—消费者问题是相互合作的进程关系的一种抽象，例如， 在输入时，输入进程是生产者，计算进程是消费者；而在输出时，则计算进程是生产者，而打印进程是消费者， 因此，该问题有很大的代表性及实用价值。 1. 利用记录型信号量解决生产者—消费者问题 具有n个缓冲区公用缓冲池中 互斥信号量mutex实现诸进程对缓冲池的互斥使用 信号量empty表示缓冲池中空缓冲区数量。 信号量full表示缓冲池中满缓冲区的数量。 mutex为公用信号量，full与empty与私用信号量 假定这些生产者和消费者相互等效，只要缓冲池未满，生产者便可将消息送入缓冲池；只要缓冲池未空，消费者便可从缓冲池中取走一个消息。 producer: repeat … produce an item in nextp; … while counter=n do no-op; buffer［in］∶ =nextp; in∶ =in+1 mod n; counter∶ =counter+1; until false; consumer: repeat while counter=0 do no-op; nextc∶ =buffer［out］; out∶ =(out+1) mod n; counter∶ =counter-1; consumer the item in nextc; until false; Var mutex, empty, full:semaphore∶=1,n,0; buffer:array［0, …, n-1］ of item; in, out: integer∶=0, 0; begin parbegin proceducer:begin repeat … producer an item 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); consumer the item in nextc; until false; end parend end 程序总结： 互斥（公用）信号量，在单个程序中必须成对地出现 例如实现互斥的wait(mutex)和signal(mutex) 资源（私用）信号量empty和full的wait和signal操作，同样需要成对地出现，但它们分别处于不同的程序中。 例如，wait(empty)在计算进程中，而signal(empty)则在打印进程中，计算进程若因执行wait(empty)而阻塞， 则以后将由打印进程将