计算机操作系统进程同步与通信.pptVIP

计算机操作系统第三章 进程同步与通信 主讲教师 王帅强 / shqiang.wang@ 3.1 进程互斥和同步 3.1.1 互斥算法 3.1.2 信号量(semaphore) 3.1.3 经典进程同步问题 3.1.4 管程(monitor) 在多道程序系统中，由于资源共享和进程合作，使各进程之间存在两种类型的制约关系： （1）间接制约关系（互斥） （2）直接制约关系（同步） 进程同步指多个相关进程在执行次序上的协调，用于保证这种关系的 相应机制称为进程同步机制 互斥指进程之间竞争使用某种资源 3.1.1 互斥算法 临界资源 临界区的访问过程 同步机制应遵循的准则 进程互斥的硬件方法 临界资源 进程间资源访问冲突 共享变量的修改冲突 操作顺序冲突 进程间的制约关系 间接制约：进行竞争－－独占分配到的部分或全部共享资源，“互斥” 直接制约：进行协作－－等待来自其他进程的信息，“同步” 举例2：竞争条件Race Condition count++ could be implemented as register1 = count register1 = register1 + 1 count = register1 count-- could be implemented as register2 = count register2 = register2 - 1 count = register2 假定初始状态下count = 5 S0: producer execute register1 = count {register1 = 5}S1: producer execute register1 = register1 + 1 {register1 = 6} S2: consumer execute register2 = count {register2 = 5} S3: consumer execute register2 = register2 - 1 {register2 = 4} S4: producer execute count = register1 {count = 6 } S5: consumer execute count = register2 {count = 4} 竞争条件race condition 多个进程并发访问和操作同一数据且执行结果与特定访问顺序有关，称为竞争条件。 如何防止出现竞争条件？ 同步 临界区的访问过程 临界区(critical section)：进程中访问临界资源的一段代码。 进入区(entry section)：在进入临界区之前，检查可否进入临界区的一段代码。如果可以进入临界区，通常设置相应正在访问临界区标志 退出区(exit section)：用于将正在访问临界区标志清除。 剩余区(remainder section)：代码中的其余部分。 同步机制应遵循的准则 空闲则入：其他进程均不处于临界区； 忙则等待：已有进程处于其临界区； 有限等待：等待进入临界区的进程不能死等； 让权等待：不能进入临界区的进程，应释放CPU（如转换到阻塞状态） 进程互斥的硬件方法 在许多机器中，都提供了专门的硬件指令Test and Set,它可以用做解决临界区问题。 利用TS实现进程互斥 利用TS实现进程互斥：每个临界资源设置一个公共布尔变量lock，初值为FALSE 在进入区利用TS进行检查：有进程在临界区时，重复检查；直到其它进程退出时，检查通过； 进程互斥的硬件方法 硬件方法的优点 适用于任意数目的进程，在单处理器或多处理器上 简单，容易验证其正确性 可以支持进程内存在多个临界区，只需为每个临界区设立一个布尔变量 硬件方法的缺点 等待要耗费CPU时间，不能实现让权等待 可能饥饿：从等待进程中随机选择一个进入临界区，有的进程可能一直选不上 可能死锁 3.1.2 信号量(semaphore) 信号量和P、V原语 信号量集 信号量和P、V原语 1965年，由荷兰学者Dijkstra提出是一种卓有成效的进程同步机制。 每个信号量 s 除一个整数值s.value（计数）外，还有一个进程等待队列 s.queue，其中是阻塞在该信号量的各个进程的标识 信号量只能通过初始化和两个标准的原语来访问－－作为OS核心代码执行，不受进程调度的打断 初始化指定一个非负整数值，表示空闲资源总数（又称为资源信号量）－－若为非负值表示当前的空闲资源数，若为负值其绝对值表示当前等待临界区的进程数 信号量数据结构的定义 Type semaphore=record value