信号灯与-操作系统.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.1 共享变量与临界区域 共享变量（shared variable） 多个进程都需要访问的变量。 临界区域（critical region） 访问共享变量的程序段。 嵌套临界区域 4.2.3 进程互斥的实现 Framework 4.2.3 进程互斥的实现 Requirements: 互斥访问： 一次只允许一个进程活动在关于同一组公共变量的临界区中； 空闲让进: 临界区空闲时，多个竞争者在有限时间内确定下一个进入者； 有限等待: 一个想要进入临界区的进程在等待有限个进程进入并离开临界区后获得进入临界区的机会。 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) 会合(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. 读者/写者问题 Solution1: 不考虑R-R不互斥 Solution2: 考虑R-R不互斥 程序 程序（Cont.） 程序（Cont.） 例3 3台打印机管理 4.4 进程高级通讯 进程通讯：进程之间的相互作用。 低级通讯（简单信号） 进程互斥 进程同步 高级通讯（大量信息） 4.4.2 进程通讯模式 4.4.3 直接方式 对称形式(sender and receiver name each other) send(R,message) receive(S,message) 4.4.3 直接方式 非对称形式(only sender names receiver) send(R,message) receive(pid,message) 4.4.3.1 有缓冲途径 Message passing, direct,non-symmetric, buffering Buffer pool management 发送-接收原语 4.4.4 间接方式 4.4.4.1 信箱属于操作系统空间 信箱通讯 信箱通讯 属于操作系统空间的信箱 1 0 K-1 in (in+1)mod k out (out+1)mod k 生产者活动： 消费者活动： do{ do 加工一件物品 箱中取一物品 物品放入箱中 消耗这件物品 while(1) while(1) 资源：箱子（同种组合） 资源：物品（同种组合） Var S1:semaphore;