第03讲、互斥、同步与通讯.pptVIP

第3讲 互斥、同步与通讯 并发进程(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 进程互斥的实现 Requirements: mutual exclusion: 一次只允许一个进程活动在关于同一组公共变量的临界区中； progress: 临界区空闲时，多个竞争者在有限时间内确定下一个进入者； bounded waiting: 一个想要进入临界区的进程在等待有限个进程进入并离开临界区后获得进入临界区的机会。 4.2.3.1 进程互斥的软件实现 完全用程序实现，不需特殊硬件指令支持。 可用于单CPU和多CPU环境中。 有忙式等待问题。 4.2.3.2 进程互斥的硬件实现 4.2.3.2 进程互斥的硬件实现 4.2.3.2进程互斥的硬件实现 4.2.3.2进程互斥的硬件实现 4.3 进程同步 4.3.1 进程同步的概念 4.3.2 进程同步机制 定义：用于实现进程同步的工具称为同步机制（synchronization mechanism） 同步机制要求： 描述能力够用; 可实现; 高效; 使用方便. 典型同步机制 信号灯与PV操作(semaphore and PV operations) 管程(monitor) 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.） 分析： 例3. 哲学家就餐问题 例3. 哲学家就餐问题 死锁预防策略 就餐条件测试 未考虑互斥问题 考虑互斥问题 问题 程序 程序(Cont.) 程序(Cont.) 例5. 3台打印机管理 4.3.5 管程（Monitor） PV操作： 分散式同步机制：共享变量操作，PV操作，分散在整个系统中或各个进程中。 缺点： 可读性差； 正确性不易保证； 不易修改。 优点： 高效，灵活。 管程： 集中式同步工具：共享变量及其所有相关操作集中在一个摸块中。 优点： 可读性好； 正确性易于保证； 易于修改。 缺点： 不甚灵活，效率略低。 4.3.5.1 管程的提出 70年代初, By E.W.Dijkstra, C.A.R.Hoare, P.B.Hansen. 背景: Structured programming 基于管程的语言 Concurrent Pascal (Hansen) Modula (With) Mesa Mod* Concurrent Euclid XCY 4.3.5.1 管程的提出(Cont.) 构造操作系统的PCM方法 P：process C：class M：monitor Example system solo 4.3.5.2 管程形式 4.3.5.2 管程形式(Cont.) 4.3.5.