优·计算机操作系统原理 第二章 进程描述与控制.pptVIP

计算机操作系统 2009年计算机学科专业基础综合科目考试操作系统第45题 三个进程P1、P2、P3互斥使用一个包含N(N0)个单元的缓冲区。P1每次用produce()生成一个正整数并用put()送入缓冲区某一个空格单元中；P2每次用 getodd()从该缓冲区中取出一个奇数并用 countodd()统计奇数个数；P3每次用 geteven?()从该缓冲区中取出一个偶数并用 counteven()统计偶数个数。请用信号量机制实现这三个进程的同步与互斥活动，并说明所定义的信号量的含义。要求用伪代码描述。 标准答案 (1) 缓冲区是一互斥资源，因此设互斥信号量mutex。 (2) 同步问题：P1、P2因为奇数的放置与取用而同步，设同步信号量odd；P1、P3因为偶数的放置与取用而同步，设同步信号量even；P1、P2、P3因为共享缓冲区，设同步信号量empty。 典型错误1：使用三个信号量答题 (1) 缓冲区是一互斥资源，因此设互斥信号量mutex。 (2) 同步问题：设互斥信号量full通知缓冲区有可 用资源；P1、P2、P3因为共享缓冲区，设同步信号量empty。 典型错误1：使用三个信号量答题（分析） 这种解法有两个主要错误。其一，题目并未定义getodd()和geteven()的返回值，与题意不甚符合；其二，即使上述两函数可以返回取数成功与否，也不满足有限等待的原则。因为，P2和P3进入存取缓冲区，都要通过P(full)和P(mutex)，因此，有可能总是P2得到进入的机会，从而使P3无法进入，没有实现同步，导致不满足有限等待的原则。 典型错误2：使用五个信号量答题 (1) 缓冲区是一互斥资源，因此设互斥信号量mutex。 (2) 同步问题：P1、P2因为奇数的放置与取用而同步，设同步信号量odd；P1、P3因为偶数的放置与取用而同步，设同步信号量even；设互斥信号量full通知缓冲区有可用资源；P1、P2、P3因为共享缓冲区，设同步信号量empty。 典型错误2：使用五个信号量答题（分析） 这种解法有可能导致死锁。例如，当缓冲区大小N=1，首先P1在缓冲区中放入一个偶数(even)；然后P2通过P(full)进入，等待在P(odd)上；接下来P3等待在P(full)上；此时，P1因为N=1，等待在P(empty)上。三个进程都在等待状态中。 典型错误3：信号量的P/V次序错误 (1) 缓冲区是一互斥资源，因此设互斥信号量mutex。 (2) 同步问题：P1、P2因为奇数的放置与取用而同步，设同步信号量odd；P1、P3因为偶数的放置与取用而同步，设同步信号量even；P1、P2、P3因为共享缓冲区，设同步信号量empty。 典型错误3：信号量的P/V次序错误（分析） 这种解法会导致死锁。例如，当缓冲区大小N=1，首先P1在缓冲区中放入一个偶数，P2通过P(mutex)进入，由于前面没有放入奇数，等待在P(odd)上；接下来P3等待在P(mutex)上；此时，P1也会等待在P(empty)上。三个进程都在等待中。 理发师问题和它的加强版 理发师问题： 理发店理有一位理发师、一把理发椅和n把供等候理发的顾客坐的椅子。如果没有顾客，理发师便在理发椅上睡觉。一个顾客到来时，它必须叫醒理发师。如果理发师正在理发时又有顾客来到，则如果有空椅子可坐，就坐下来等待，否则就离开。  理发师问题解法 解法： 引入3个信号量和一个控制变量： 1)控制变量waiting用来记录等候理发的顾客数，初值 均为0; 2)信号量customers用来记录等候理发的顾客数，并 用作阻塞理发师进程，初值为0; 3)信号量barbers用来记录正在等候顾客的理发师数， 并用作阻塞顾客进程，初值为0; 4)信号量mutex用于互斥，初值为1。 理发师问题和它的加强版（续） 加强版理发师问题：  一个理发店有一个入口和一个出口。理发店内有一个可站5 位顾客的站席区、4 个单人沙发、3 个理发师及其专用理发工具、一个收银台。新来的顾客坐在沙发上等待；没有空沙发时，可在站席区等待；站席区满时，只能在入口外等待。理发师可从事理发、收银和休息三种活动。理发店的活动满足下列条件： 加强版理发师问题（理发店的活动条件） 1）休息的理发师是坐地自己专用的理发椅上，不会占用顾 客的沙发； 2）处理休息状态的理发师可为在沙发上等待时间最长的顾 客理发； 3）理发时间长短由理发师决定； 4）在站席区等待时间最长的顾客可坐到空闲的沙发上； 5）任何时刻最多只能有一个理发师在收银。试用信号量机制或管程机制实现理发师进程和顾客进程。 加强版理发师问题的原理（cu