CH3应用题参考答案.doc

CH3 应用题参考答案 有三个并发进程：R负责从输入设备读入信息块，M负责对信息块加工处理；P负责打印输出信息块。今提供； 一个缓冲区，可放置K个信息块； 二个缓冲区，每个可放置K个信息块； 试用信号量和P、V操作写出三个进程正确工作的流程。 答： var B : array[0,k-1] of item ; sread : semaphore := k ; smanage : semaphore := 0 ; swrite : semaphore := 0; rptr : integer := 0 ; mptr : integer := 0 ; wptr : integer := 0 ; x : item cobegin process reader ; begin L1: read a message into x ; P(sread) ; B[rptr]:= x ; rptr := ( rptr+1) mod k; V(smanage) ; goto L1 ; end ; process manager; begin L2: P(smanage) ; x := B[mptr] ; mptr :=(mptr+1) mod k; manage the message in x ; B[mptr] := x; V(swrite) ; goto L2; end ; process writer ; begin L3: P(swrite) ; x := B[wptr] ; wptr :=(wptr +1) mod k; V(sread) ; Print the message in x ; goto L3 ; end ; coend var A, B : array [0,k-1] of item ; sput1 : semaphore := k ; sput2 : semaphore := k ; sget1 : semaphore := 0 ; sget2 : semaphore := 0 ; put1 : integer := 0 ; put2 : integer := 0 ; get1 : integer := 0 ; get2 : integer := 0 ; cobegin process reader ; begin L1: read a message into x ; P(sput1) ; A[put1] := x ; put1 := (put1+1) mod k ; V(sget1) ; Goto L1 ; end ; process manager ; begin L2: P(sget1) ; x :=A[get1]; get1 :=(get1+1) mod k; V(sput1) ; Manage the message into x; P(sput2) ; B[put2] := x ; put2 := (put2+1) mod k ; V(sget2) ; Goto L2 ; end ; process writer ; begin L3 : P(sget2) ; x :=B[get2] ; get2 :=(get2+1) mod k; V(sput2) ; Print the message in x ; Goto L3 ; end ; coend 设有n个进程共享一个互斥段，如果： (1)每次只允许一个进程进入互斥段； (2)每次最多允许m个进程（m≤n）同时进入互斥段。 试问：所采用的信号量初值是否相同？信号量值的变化范围如何？ 答：所采用的互斥信号量初值不同。 互斥信号量初值为1，变化范围为 [-n+1 ，1]。 当没有进程进入互斥段时，信号量值为1；当有1个进程进入互斥段但没有进程等待进入互斥段时，信号量值为0；当有1个进程进入互斥段且有一个进程等待进入互斥段时，信号量值为-1；最多可能有n-1个进程等待进入互斥段，故此时信号量的值应为-(n-1)也就是-n+1。 互斥信号量初值为m，变化范围为 [-n+m ，m]。 当没有进程进入互斥段时，信号量值为m；当有1个进程进入互斥段但没有进程等待进入互斥段时，信号量值为m-1；当有m个进程进入互斥段且没有一个进程等待进入互斥段时，信号量值为0；当有m个进程进入互斥段且有一个进程等待进入互斥段时，信号量值为-1；最多可能有n-m个进程等待进入互斥段，故此时信号量的值应为-(n-m)也就是-n+m。 有两个优先级相同的进程P1和P2，各自执行的操作如下，信号量S1和S2初值均为0。试问P1、P2并发执