操作系统第四章1.ppt

第四章 互斥、同步与通讯 并发进程(concurrent processes) 进程互斥(mutual exclusion) 进程同步(synchronization) 进程高级通讯(communication) 4.1 并发进程 4.1.1 顺序性与并发性 顺序性 内部顺序性：P1: a1,a2,a3; P2: b1,b2,b3 外部顺序性：a1,a2,a3,b1,b2,b3; b1,b2,b3,a1,a2,a3 并发性 内部并发性：P2: b1,b2,b3; P2: b1,b3,b2 外部并发性：a1,b1,b2,a2,a3,b3; b1,b2,a1,b3,a2,a3 4.2 进程互斥(mutual exclusion) 4.2.1 共享变量与临界区 4.2.2 临界区域与进程互斥 4.2.3 进程互斥的实现 4.2.4 多处理机环境下的互斥 4.2.1 共享变量与临界区域 共享变量（shared variable） 多个进程都需要访问的变量。 临界区域（critical region） 访问共享变量的程序段。 嵌套临界区域 4.2.3 进程互斥的实现 Framework 4.2.3 进程互斥的实现 需求: mutual exclusion: 一次只允许一个进程活动在关于同一组公共变量的临界区中； progress: 临界区空闲时，多个竞争者在有限时间内确定下一个进入者； bounded waiting: 一个想要进入临界区的进程在等待有限个进程进入并离开临界区后可以获得进入临界区的机会。 4.2.3.1 进程互斥的软件实现 完全用程序实现，不需特殊硬件指令支持。 可用于单CPU和多CPU环境中。 有忙式等待问题。 Lamport面包店算法 Eisenberg/Mcguire算法 Eisenberg/Mcguire算法 Eisenberg/Mcguire算法 4.2.3.2 进程互斥的硬件实现 4.2.3.2 进程互斥的硬件实现 4.2.3.2进程互斥的硬件实现 4.2.3.2进程互斥的硬件实现 4.2.4 多处理机环境下互斥 4.2.4 多处理机环境下互斥 4.2.4 多处理机环境下互斥 4.3 进程同步 4.3.1 进程同步的概念 4.3.2 进程同步机制 定义：用于实现进程同步的工具称为同步机制（synchronization mechanism） 同步机制要求： 描述能力够用; 可实现; 高效; 使用方便. 典型同步机制 信号灯与PV操作(semaphore and PV operations) 管程(monitor) 会合(rendezvous) 条件临界区(conditional critical region) 路径表达式(path expression) 事件(traditional UNIX) 4.3.3 信号灯与PV操作 信号灯变量 P操作原语 V操作原语 规定和结论 对于信号灯变量的规定： 必须置一次初值，只能置一次初值，初值=0; 只能执行P操作和V操作，所有其它操作非法。 几个有用的结论： 当s.value=0时，s.queue为空； 当s.value0时，|s.value|为队列s.queue的长度； 当s.value初=1时，可以实现进程互斥； 当s.value初=0时，可以实现进程同步。 用信号灯实现进程互斥 互斥例子：借书系统(revisited) 用信号灯实现进程同步 用信号灯实现进程同步 典型的进程同步问题 例1. 生产者/消费者问题 自动机描述 例1. 生产者/消费者问题 环形缓冲区 问题分析 同步 互斥 程序 程序 并发性提高策略 并发性提高策略 例2. 读者/写者问题 例2. 读者/写者问题 Solution1: 不考虑R-R不互斥 Solution2: 考虑R-R不互斥 Solution3: 正确解法 程序 程序（Cont.） 程序（Cont.） 分析： 4.3.4 条件临界区Conditional Critical Region 背景 PV操作低级，容易用错 条件临界区形式 region V when B do S 执行S条件 没有其它进程处于与V相关的条件临界区中 进入S时B为true 条件临界区 实现互斥 region v when true do s CCR与PV操作的等价性(证明从略） 用CCR可以实现PV操作 用PV操作可以实现CCR 4.3.5 管程（Monitor） PV操作： 分散式同步机制：共享变量操作，PV操作，分散在整个系统中或各个进程中。 缺点： 可读性差； 正确性不易保证； 不易修改。 优点： 高效，灵活。 管程： 集中式同步工具：共享变量及其所有相关操作集中在一个摸块中。 优点