CH2-2进程通信解析.ppt

* 2.4 经典的进程同步问题 问题描述 一个有限空间的共享缓冲区，负责存放货物 生产者向缓冲区中放物品，缓冲区满则不能放 消费者从缓冲区中拿物品，缓冲区空则不能拿 进程通信 1、生产者－消费者问题 * 生产者－消费者问题分析 互斥关系分析 任何时刻，只能有一个进程在缓冲区中操作 引入互斥信号量（二元信号量） 信号量为0，表明已有进程进入临界区； 同步关系分析 对于“生产者”而言，缓冲区满则应等待 引入同步信号量“empty”，为0表示缓冲区满 对于“消费者”而言，缓冲区空则应等待 引入同步信号量“full”，为0表示缓冲区空 进程通信 * 2、哲学家就餐问题 问题描述 五个哲学家坐在圆桌前，每人一份炒饭 每个哲学家两侧各有一支筷子 哲学家处于吃饭和思考两种状态 进程通信 * 哲学家进餐问题 在哲学家进餐问题中，较难解决的是可能出现的死锁问题：如当五位哲学家同时饥饿而各自拿起左边的筷子时就会使五个信号量fork均为0；当他们再试图去拿右边的筷子时，都将因无筷子可拿而无限期地等待。该如何解决呢？ * 哲学家就餐问题分析 互斥关系分析 筷子：同一时刻只能有一个哲学家拿起筷子 同步关系分析 就餐：只有获得两个筷子后才能进餐 特殊情况考虑 死锁：如果每个哲学家都拿起一只筷子，都饿死 并行程度：五只筷子允许两人同时进餐 进程通信 * 3、读者-写者问题 问题描述 写者向数据区放数据，读者从数据区获取数据 多个读者可同时读取数据 多个写者不能同时写数据 读者和写者的控制策略变化多端 进程通信 * 读者－写者问题分析 互斥关系分析 读者和写者不能同时进入共享数据区 多个写者不能同时进入共享数据区 多个读者可以同时进入共享数据区 同步关系分析 读者进入缓冲区，写者必须等待 写者进入缓冲区，读者必须等待 读者优先：一旦有读者进入，则后续读者均可进入 合理顺序：读者在先来的写者之后 写者优先：只要有写者等待，则后续读者必须等待 进程通信 * 4、睡眠理发师问题 问题描述 一把理发椅，N把等待座位 理发师为理发椅上的顾客理发，没有顾客就在理发椅上睡觉 有一个顾客时需要叫醒理发师 多个顾客时需要在等待座位上等候 进程通信 * 睡眠理发师问题分析 互斥关系分析 理发椅上只能有一位顾客 等待座位是有限缓冲区 同步关系分析 只要存在顾客，理发师就不能睡觉 信号量设计 互斥信号量：实现对“等待顾客数”的互斥 同步信号量1：理发师“睡眠”和“工作”的同步 同步信号量2：等待顾客与等待座位的同步 进程通信 * 2.5 管程机制 管程的引入　　　信号量机制是解决进程互斥、同步的有效工具，但前提是信号量设置、其初值的确定以及相关进程中安排P-V操作的位置必须正确，否则同样也会造成与时间有关的错误，有时甚至造成死锁。管程是把所有进程对某一临界资源使用进行集中控制，以提高可靠性。 * 管程的定义和组成 管程的定义 一个管程定义了一个数据结构和能为并发进程调用的在该数据结构上的一组操作过程，这组互斥操作的过程，能同步进程和改变管程中的数据。 管程的组成 管程由三个组成部分： （１）局部于管程的共享变量说明。 （２）对该数据结构进行操作的一组互斥执行的过程。 （３）对局部于管程的数据设置初始值等语句。 * 实现管程的三个关键问题 1.互斥 当进程需要访问管程中的临界资源的时候，可调用管程中的有关入口过程。但当几个进程都需调用某一管程的同一个或不同的入口过程时，仅允许一个进程调用进入管程，而其他调用者必须等待。 ２.条件变量 管程又引入了条件变量，不同的条件变量，对应不同原因的进程阻塞等待队列，初始时为空。 ３.同步 在管程中必须设置两个同步操作原语wait和signal。当进程通过管程请求访问共享数据而未能满足时，调用wait原语在有关的条件变量上等待，当另一进程访问完该共享数据且释放后，调用signal原语，唤醒在有关的条件变量上等待的首进程。 * 管程方法 死锁的危险 一旦信号量的处理代码发生错误，则会引起进程死锁 核心思想 实现一种包含过程、变量、数据结构的独立模块 任何时刻，只能有一个进程在管程内 由编译器提供支持，实现进程间的互斥 方法分析 优点：实现了进程互斥的自动化 缺点：依赖于编译器，无法通用或普及 * 2.6 线 程 1.线程的定义 线程是进程中可独立调度执行的子任务，一个进程可以有一个或多个线程，它们共享所属进程所拥有的资源。 2.使用线程的例子 使用线程的例子是WWW浏览器，许多Web页面都包含有多幅很小的图像。对于Web页面上的每一幅小图像，浏览器都必须与页面的连接点建立一条单独的连接以索取图像。这样就有大量的时间花费在建立和释