(操作系统课件）04第四章互斥同步与通讯（1并发进程）.ppt

第四章 互斥、同步与通信 4.1 并发进程 ( Concurrent Processes ) 4.2 进程互斥 ( Mutual Exclusion ) 4.3 进程同步 ( Synchronization ) 4.4 进程高级通信 ( Communication ) 4.5 系统举例 4.1 并发进程 程序的顺序性 内部顺序性: 对一个进程来说，所有指令顺序执行； 如有程序: S1: a:= x+y ; S2: b:= a-z ; S3: c:= a+b ; S4: d:=c+5 ; 外部顺序性: 多个进程依次执行（P82：图4-3 ）。 4.2 进程互斥 4.2.1 共享变量与临界区 4.2.2 临界区域与进程互斥 4.2.3 进程互斥的实现 4.2.4 多处理机环境下的互斥 4.2.1 共享变量与临界区 共享变量 (shared variable) 两个或两个以上的进程都需要访问的变量。 临界区域 (Critical Region) 访问共享变量的程序段。 4.2.3 进程互斥的实现(Cont.) 4.2.3.1 进程互斥的软件实现 完全用程序实现, 不需特殊硬件指令支持 ; 可用于单 CPU 和多 CPU 环境中 ; 有忙式等待问题。 4.2.3.1 进程互斥的软件实现(1) Dekker互斥算法 4.2.3.1 进程互斥的软件实现(2) Peterson互斥算法 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.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操作的定义 原 语：一段不可间断执行的程序称为原语。 规定和结论 对于信号灯变量的规定: 必须置一次初值, 只能置一次初值, 初值≥0 ; 只能执行P操作和V操作, 所有其它操作非法。 几个有用的结论: 当 s.value ≥ 0 时, s.queue 为空 ; 当 s.value ＜ 0 时 , ∣s.value∣为队列 s.queue 的长度 ; 当 s.value初＝1 时, 实现进程互斥 ; 当 s.value初＝0 时, 可以实现进程同步; 当 s.value初＝非1 的正整数时, 用于管理同种组合资源; 用“开关中断”实现的PV操作 用“开关中断”实现的PV操作 用“测试并设置”实现的PV操作 用“测试并设置”实现的PV操作 2. 用信号灯实现进程同步 问题描述： 例4-2. 生产者/消费者问题 自动机描述 自动机描述 环形缓冲区 例4-3. 读者/写者问题 例4-4. 三台打印机管理 例4-5. 吸烟者问题 4.3.4 条件临界区 Conditional Critical Region 背 景： P/V 操作低级，