第4章互工斥同步与通信.pptVIP

第四章 互斥、同步与通讯 并发进程(concurrent processes) 进程互斥(mutual exclusion) 进程同步(synchronization) 进程高级通讯(communication) 4.1 并发进程 4.1.1 顺序程序及其特性 程序的顺序性-内部顺序性：P1: a1,a2,a3;  P2: b1,b2,b3-外部顺序性：情形1：a1,a2,a3,b1,b2,b3;  情形2：b1,b2,b3,a1,a2,a3 顺序程序设计的特性：-顺序性：处理机严格按指令依次执行；-封闭型：执行过程独占资源；-可再现性：程序执行的结果与执行速度无关。 4.1 并发进程 4.1.2 并发程序及其特性 程序的并发性 内部并发性：P2: b1,b2,b3; P2: b1,b3,b2 外部并发性：情形1：a1,b1,b2,a2,a3,b3;  情形2：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 进程互斥的实现 实现临界区管理的三个原则： 正确性原则： 任意时刻至多只能有一个进程处于同一组共享变量的临界区域中； 公平性原则： 一个请求进入临界区的进程应当在有限等待时间内获得进入临界区的机会； 进展性原则： 当临界区空闲时，竞争进入临界区的多个进程在有限的时间内确定下一个进入临界区的进程。临界区调度原则：！临界区空闲，想进入的应能进入；！临界区不空闲，进程应等待；！进程离开临界区时，应能唤醒等待进入的进程。 4.2.3.1 进程互斥的软件实现 完全用程序实现，不需特殊硬件指令支持。 可用于单CPU和多CPU环境中。 有忙式等待问题。 Lamport面包店算法 Eisenberg/Mcguire算法（令牌法） Eisenberg/Mcguire算法 Eisenberg/Mcguire算法 4.2.3.2 进程互斥的硬件实现 进程互斥的硬件实现 进程互斥的硬件实现 进程互斥的硬件实现 4.2.4 多处理机环境下互斥 多处理机环境下互斥 多处理机环境下互斥 4.3 进程同步 4.3.1 进程同步的概念 4.3.1 进程同步的概念 定义：一组进程，如果它们单独不能正常进行，但并发可以正常进行，称这种现象为进程的合作（cooperation）。参与合作的进程称为合作进程（cooperating process）如：司机与售票员是合作进程。 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时，可以实现进程同步； 当s-value初=正整数，可以用来管理同类资源。 用信号灯实现进程同步 用信号灯实现进程同步 例1. 生产者/消费者问题 环形缓冲区 问题分析 同步 互斥 程序清单 程序（续前） 例2. 读者/写者问题 例2. 读者/写者问题 正确解法（可能产生写者饥饿） 程序续前