[医学]04第四章 互斥同步与通讯11.ppt

第四章 互斥、同步与通讯 并发进程 ( Concurrent Processes ) 进程互斥 ( Mutual Exclusion ) 进程同步 ( Synchronization ) 进程高级通讯 ( Communication ) 4.1 并发进程 程序的顺序性 内部顺序性: 对一个进程来说，所有指令顺序执行； P1: a1,a2,a3; P2: b1,b2,b3 外部顺序性: 多个进程依次执行。 a1, a2, a3, b1, b2, b3; b1, b2, b3, a1, a2, a3 顺序程序设计的特性 顺序性: 指令依次执行； 封闭行: 程序执行过程中独占系统资源，不受其它程序影响； 可再现性: 给定初始条件，程序任意次执行得到相同结果。 4.2 进程互斥 4.2.1 共享变量与临界区 4.2.2 临界区域与进程互斥 4.2.3 进程互斥的实现 4.2.4 多处理机环境下的互斥 4.2.1 共享变量与临界区 共享变量 (shared variable) 多个进程都需要访问的变量。 临界区域 (Critical Region) 访问共享变量的程序段。 4.2.3 进程互斥的实现 4.2.3.1 进程互斥的软件实现 完全用程序实现, 不需特殊硬件指令支持 ; 可用于单 CPU 和多 CPU 环境中 ; 有忙式等待问题。 4.2.3.2 进程互斥的硬件实现 4.2.3.2 进程互斥的硬件实现(Cont.) 4.2.3.2 进程互斥的硬件实现(Cont.) 4.2.3.2 进程互斥的硬件实现(Cont.) 4.2.3.2 进程互斥的硬件实现(Cont.) 4.2.3.2 进程互斥的硬件实现(Cont.) 4.2.4 多处理机环境下互斥 ⒈ 问　题 多CPU系统中, 关中断对解决互斥无效; 单CPU系统中 指令间交叉，TS, swap 指令是原子的； 多CPU系统中 指令周期间交叉， TS、swap 指令占多个指令周期， 不能保证其原子性， 不同 CPU 上运行的进程 可能同时访问一个单元。 4.2.4 多处理机环境下互斥(Cont.) 4.2.4 多处理机环境下互斥(Cont.) 4.2.4 多处理机环境下互斥(Cont.) 4.3 进程同步 4.3.1 进程同步的概念(Cont.) 4.3.2 进程同步机制 synchronization mechanism 定义: 用于实现进程同步的工具称为同步机制 , 亦称为同步设施。 同步机制要求: 描述能力够用 ; 可实现 ; 高效 ; 使用方便。 4.3.2 进程同步机制(Cont.) 典型同步机制 信号灯与P/V操作 Semaphore and P/V operations 条件临界区 conditional critical region 管程 (monitor) 会合 (rendezvous) 路径表达式 (path expression) 事 件 (traditional UNIX) 4.3.3.1 信号灯与P/V操作的定义 4. 规定和结论 对于信号灯变量的规定: 必须置一次初值, 只能置一次初值, 初值≥0 ; 只能执行P操作和V操作, 所有其它操作非法。 几个有用的结论: 当 s.value ≥ 0 时, s.queue 为空 ; 当 s.value ＜ 0 时 , ∣s.value∣为队列 s.queue 的长度 ; 当 s.value初＝1 时, 实现进程互斥 ; 当 s.value初＝0 时, 可以实现进程同步。 ⒍ 用信号灯实现进程同步 问题描述： 例1. 生产者/消费者问题 (P79: 例4.1) 自动机描述 自动机描述 环形缓冲区 例2. 读者/写者问题 (P81: 例 4.2 ) 例3. 哲学家就餐问题 例3. 哲学家就餐问题(Cont.) 哲学家活动 例4. 吸烟者问题 例6. 三台打印机管理 4.3.4 条件临界区 Conditional Critical Region 背景： P/V 操作低级，容易用错 条件临界区形式：region V when B do S ; 4.3.4 条件临界区(Cont.) 实现互斥: region v when true d