计算机操作系统 教学课件 作者 郁红英 冯庚豹1 第2章 进程管理2——进程同步与通信.pptVIP

2.5 进程的互斥与同步 进程同步的基本概念 信号灯机制 信号灯的PV操作 利用信号灯实现互斥 用信号灯描述进程的前趋关系 用信号灯解决同步 经典进程同步问题 “生产者-消费者”问题 利用信号灯解决“生产者-消费者”问题 读者-写者”问题 “哲学家进餐”问题 AND信号灯集机制 AND信号灯集机制 用AND信号灯集机制解决哲学家进餐问题 一般信号灯集定义 一般信号灯集定义 一般信号灯集机制的特殊情况 用一般信号灯集机制解决读者写者问题 管程机制 管程的定义 管程的语法 利用管程解决生产者-消费者问题 Windows2000的进程互斥与同步 Windows2000的进程互斥与同步 2.6 进程通信 进程通信的类型 进程通信中的几个问题 消息缓冲队列-数据结构定义 消息缓冲队列-接收原语 Windows2000基于文件映射的共享存储区 Windows2000的管道 Windows2000的邮件槽 套接字 ● Swait S,d,d 信号灯集中只有一个信号灯，但允许每次申请d个资源，当现有资源数少于d时，不予分配。 ● Swait S,1,1 互斥信号灯 ● Swait S,t,0 可控开关。当S t时，允许多个进程进入某特定区； 否则，将阻止任何进程的进入。 semaphore Wmutex 1; semaphore Rcount N; void reader /*读者进程*/ while true Swait Rcount, 1, 1; Wmutex, 1, 0 ; read; /* 执行读操作 */ Ssignal Rcount, 1 ; void writer /*写者进程*/ while true Swait Wmutex, 1, 1; Rcount, N, 0 ; write; /* 执行写操作 */ Ssignal Wmutex,1 ; 增加限制条件：读者人数不能超过N 引入的原因： ●信号灯机制虽然既方便又有效地解决了进程同步问题，但要求访问临界资源的进程自备同步操作wait s 、signal s ，使得大量的同步操作分散在各个进程中，给进程的管理带来不便，并会因同步操作使用不当导致死锁。 ● Hoare和Hanson提出了管程的概念把分散在各个进程中的与同一共享资源有关的同步处理从各进程中抽出并集中起来。 ●一个管程定义了一个数据结构和能为并发进程所执行（在该数据结构上）的一组操作，这组操作能同步进程和改变管程中的数据。 ●管程 数据结构 + 操作 + 对数据结构中变量的初始化 管程的结构 条件变量 ●用管程实现进程同步，设置两个同步操作原语wait,signal ●为了区别等待的原因，引入条件变量condition 其形式为 var x,y:condition 条件变量置于wait和signal之前，表示为 x.wait和x.signal ●例如：由于共享数据被占用而使调用进程等待，该条件变量的形式为notbusy; wait原语应改为notbusy.wait monitor_name monitor variable declarations procedure P1 …… ; procedure P2 …… ; procedure Pn …… ; init code monitor monitor_PC; char buffer[n]; int nextin, nextout; int count; condition notfull, notempty; void put char x ; /*过程*/ if count n cwait notfull ; buffer[nextin] x; nextin nextin + 1 % n; count count + 1; csignal notempty ; void get char x ; /*过程*/ if count 0 cwait notempty ; x buffer[nextout]; nextout nextout + 1 % n; count count - 1; csignal notfull ; /*管程体*/ nextin 0; nextout 0; count 0; /*变量初始化*/ void producer /* 生产者进程 */ char x; while true produce an char in x; monitor_PC.put x ; void consumer /* 消费者进程 */ cha