[经济学]电子科技大学计算机操作系统—第2章 进程管理.ppt

一般信号量集机制定义 2.6 “信号量集”机制 2.6 “信号量集”机制 一般：“信号量集”的几种特殊情况： ⑴ SP（S，d，d） 此时的信号量集已蜕化为一般信号量，但它允许每次申 请d个资源，当现有资源数少于d时，不予分配； ⑵ SP（S，1，1） 此时的信号量集又蜕化为计数信号量（S1时）或互斥 信号量（S=1时）； ⑶ SP（S，1，0） 当S≥1时，允许多个进程进入某特定区；当S变为0后，将阻止任何进程进入特定区。即它相当于一个“可控开关”。 2.7 经典的进程同步问题 问 题？ 一组生产者进程 P i（P1，P2，… Pk） 一组消费者进程 C i（C1，C2，… Cm） 互斥使用由n个缓冲区组成的缓冲池。 out C i P i 一、 生产者—消费者问题（producer-consumer problems） in out in out C i P i n 0 0 2.7 经典的进程同步问题 1.同步关系： ? 当缓冲池放满产品时生产者必须等待。 定义生产者进程同步信号量： empty — 表示空闲缓冲区数。 0 ≤ empty ≤ n empty 初值为 ； ?当缓冲池空时，消费者进程必须等待。 定义消费者进程同步信号量 ： full — 表示有产品的缓冲区数。 0 ≤ full ≤ n full 初值为 ； 2.互斥关系：两组进程中的每个进程必须互斥的使 用缓冲区。 定义公共互斥信号量： mutex初值为 1 3.定义： in ，out 分别表示首空缓冲区序号及 首满缓冲区序号。 0 in out C i P i 2.7 经典的进程同步问题 2.7 经典的进程同步问题 一、 生产者—消费者问题（producer-consumer problems） empty — 表示空闲缓冲区数。 初值为 n empty = 0 缓冲区全满，生产者进程不能工作。 full — 表示有产品的缓冲区数。 初值为 0 full = 0 缓冲区全空，消费者进程不能工作。 in out C i P i 一、 生产者—消费者问题（producer-consumer problems） empty — 表示空闲缓冲区数。 初值为 n empty = 0 缓冲区全满，生产者进程不能工作。 full — 表示有产品的缓冲区数。 初值为 0 full = 0 缓冲区全空，消费者进程不能工作。 out C i P i in 2.7 经典的进程同步问题 2. 7 经典的进程同步问题 一、 生产者—消费者问题（producer-consumer problems） empty — 表示空闲缓冲区数。 初值为 n empty = 0 缓冲区全满，生产者进程不能工作。 full — 表示有产品的缓冲区数。 初值为 0 full = 0 缓冲区全空，消费者进程不能工作。 in out P i C i ?检查有否空缓冲区 ?释放缓冲区 释放缓冲区? 2.7 经典的进程同步问题 生产者—消费者问题算法 生产者进程： 生产一个产品 m ； . . . P（empty）； P（mutex）； 将产品 m放入缓冲区； in:=（in +1）mod n ； V （mutex）； V（ full）； . . Var mutex，empty，full：semaphore :=1, n , 0； buffer：array [0 . .n-1] of message; in, out : 0..n-1:= 0,…0 消费者进程： . . .