6-MOOC-同步机制2.pdfVIP

北京大学计算机科学技术系 陈向群 Department of computer science and Technology Peking University 2015 春季  管程monitor  进程间通信 Inter-Process Communication  典型操作系统的IPC机制 语言机制、条件变量/wait/signal • 信号量机制的不足：程序编写困 问题 难、易出错 •Brinch Hansen(1973) 解决 •Hoare （1974） •在程序设计语言中引入管程成分 方案 •一种高级同步机制  是一个特殊的模块  有一个名字 变量  由关于共享资源的数据结构及在 insert(); 其上操作的一组过程组成 过程  进程与管程 remove(); 进程只能通过调用管程中的 过程来间接地访问管程中的数据 结构 P1 P2 P3 … Pn  作为一种同步机制，管程要解决两个问题  互斥 管程是互斥进入的 ——为了保证管程中数据结构的数据完整性 管程的互斥性是由编译器负责保证的  同步 管程中设置条件变量及等待/唤醒操作以解决同步问题 可以让一个进程或线程在条件变量上等待（此时，应 先释放管程的使用权），也可以通过发送信号将等待在 条件变量上的进程或线程唤醒 设问：是否会出现这样一种场景，有多个进 程同时在管程中出现 场景： 如何解决？ 当一个进入管程的进程 三种处理方法： 执行等待操作时，它应当 释放管程的互斥权  P等待Q执行 Hoare √ 当后面进入管程的进程  Q等待P继续执行 MESA 执行唤醒操作时 （例如P 唤醒Q），管程中便存在  规定唤醒操作为管 两个同时处于活动状态的 程中最后一个可执行 进程 的操作 Hansen ， 并发pascal …… 资源 过程1 过程2 过程n 初始化 条件变量c1 wait/signal …… 紧急等待队列 条件变量cn 入口等待队列  因为管程是互斥进入的，所以当一个进程试图进入 一个已被占用的管程时，应当在管程的入口处等待  为此，管程的入口处设置一个进程等待队列，称作 入口等待队列  如果进程P唤醒进程Q，则P等待Q执行；如果进程Q 执行中又唤醒进程R，则Q等待R