3进程同步与通信[7学时].pptVIP

第3章 进程同步与通信;3.1 进程同步与互斥;3.1.1 进程间的制约关系;3.1.2 进程的同步（直接作用synchronism);例:  司机 P1 售票员 P2 REPEAT REPEAT 启动 关门 正常运行 售票 到站停 开门 UNTIL FALSE UNTIL FALSE  ;3.1.3 进程的互斥(间接作用mutual exclusion) ;3.2 互斥算法;3.2.1 临界区的访问过程;临界区(critical section)：进程中访问临界资源的一段代码。 进入区(entry section)：在进入临界区之前，检查可否进入临界区的一段代码。如果可以进入临界区，通常设置相应正在访问临界区标志 退出区(exit section)：用于将正在访问临界区标志清除。 剩余区(remainder section)：代码中的其余部分。;3.2.2 使用临界区应遵循的准则;3.2.3 进程互斥的软件方法;2、算法描述 设有两个进程Pi、Pj，其中Pi访问临界区描述为：;3、单标志方法缺点 强制轮流进入临界区，没有考虑进程的实际需 要。容易造成资源利用不充分：在Pi出让临界区之 后，Pj使用临界区之前，Pi不可能再次使用临界区；;1、算法思想 设立一个标志数组flag[ ]：描述进程是否在临界区， 初值均为FALSE。 先检查，后修改：在进入区检查另一个进程是否在临界区，不在时修改本进程在临界区的标志； 在退出区修改本进程不在临界区的标志；;while (flag[j]);;3、双标志、先检查方法优缺点 （1）优点：不用交替进入，可连续使用； （2）缺点：Pi 和 Pj可能同时进入临界区。在Pi 和 Pj都不在临界区时，假设按下面序列执行时，会同时进入：“Pia; Pja ; Pib; Pjb”。即在检查对方flag之后和切换自己 flag 之前有一段时间，结果都检查通过。这里的问题出在检查和修改操作不能连续进行。;3.2.4 进程互斥的硬件方法;互斥算法（TS指令）;硬件方法的优点[WS] 适用于任意数目的进程，在单处理器或多处理器上完全相同 简单，容易验证其正确性 支持多个临界区，只需为每个临界区设立一个布尔变量 硬件方法的缺点[WS] 等待要耗费CPU时间，不能实现让权等待 可能“饥饿”（不公平）：从等待进程中随机选择一个进入临界区，有的进程可能一直选不上;3.3 信号量(semaphore);3.3.1 信号量和P、V原语;每个信号量 s 除一个整数值 s.count（计数）外，还有一个进程等待队列 s.queue，其中queue是指向PCB的队列 信号量只能通过初始化和两个标准的原语来访问－－作为OS核心代码执行，不受进程调度的打断 初始化指定一个非负整数值，表示空闲资源总数（又称为“资源信号量”）: 若为非负值：表示当前的空闲资源数 若为负值：其绝对值表示当前等待临界区的进程数;1. P原语--P(s) 或wait(s);2. V原语—V(s) 或 signal(s);3.3.2 利用信号量实现互斥;3.3.2 利用信号量实现互斥;3.3.2 利用信号量实现互斥;互斥举例1;3.3.3 利用信号量来描述前趋关系;问题：有如图所示的六个语句（进程），并发执行，其前趋关系如图，并发执行描述如下：;问题：有如图所示的六个语句（进程），并发执行，其前趋关系如图，并发执行描述如下：;3.3.4 经典进程同步问题;解：;[思考：若上题中的Pc和Pp如下];2. 生产者/消费者问题 (the producer/consumer problem);分析： 它是一个同步问题 消费者想要接收一个数据,有界缓冲区至少有一 个是满的 生产者想要发送一个数据时,有界缓冲区至少有 一个是空的 它是一个互斥问题 有界缓冲区是临??资源,因此,各生产者进程必须互 斥执行;设信号量： full是“满”数目，初值为0， empty是空数目，初值为N。实际上，full和empty是同一个含义：full + empty = N mutex用于访问缓冲区时的互斥，初值是1 ;分析P操作的顺序;结 论;3.4 进程通信;2. 高级通信方式[汤];一、共享存储器系统（续）;二、消息系统（Message System）;二、消息系统（Message System）;三、利用共享文件的通信方式