信号量是荷兰计算机科学家Dijkstra65年提出.ppt

§4.3 信号量 (P，V操作);2. P，V操作;P，V操作的功能描述见下图：; P，V操作可用软件(或固件)和硬件来执行。无论P操作和V操作，它们的执行都必须是一个 不可被中断的整体。;例：S = 4;本书原来使用P、V操作来称呼此两操作，但由于信号量和信号量上的同步原语以及后面要讨论的管程均已成为并行程序语言的组成部分，所以改用程序语言中的习惯称呼，以及国际上较流行的称呼为Wait和Signal操作。;3. 当进程必须在信号量S上等待时，就将该进程的状态变为等待状态(或活动阻塞状态)，并将该进程插入与此信号量有关的等待队列中，而后让出处理机给其它就绪进程。;(2) “ 阻塞等待”执行分式：;wait(s): S.value: = S. value ? 1; if S. value 0 (说明 S原 ? 0或1，无资源) then begin Insert (*, S. L); {把调用者进程*的进程控制块PC B插入信号量S的等待队列L中} Block (*); {把调用者进程变为阻塞，并调用进程调度程序以便选一新的就绪进程到处理机上运行} end;signal(s): S. value: = S.value + 1 if S. value ? 0 (说明: S. Value原?–1,处在等待队列中) then begin Remove (S. L, id); {在信号量S的阻塞队列L中，选一进程移出队列，并把进程标识号(PCB)送入id中} Wakeup (id); {把该进程id的状态转换或活动就绪状态，并根据id进程的优先数高低决定是否需要抢占现行进程的处理机} end;阻塞等待的同步原语一般适用于单处理器系统，忙等待的同步原语一般适用于多处理器系统。因为在单处理器系统中使用忙等待方式将造成处理器时间较大的浪费。而在多处理器系统中忙等待方式造成的处理器时间的浪费，由于临界段通常很短而可以忍受。而且忙等待方式可以减少进程间开关的开销。;一、利用信号量实现互斥;begin muter: = 1; {共享资源只有1个} cobegin PA: begin var N: integer; P(mutex); N: =count; N: =N+1; count: =N; V(mutex); end PB: begin var M: integer; P(mutex); M: = count; M: =M+1; count: =M; V(mutex); end; coend end;[例2] 几个进程共同执行时互斥;二、利用信号量实现同步;信号量作为进程的阻塞和唤醒机构;例如两个协同进程A和B，进程A要等待进程B的计算结果。则这两个进程的执行如下：;[例1]. (第一类); Pragram begin SB: = 0 SC: = 0 Cobegin PA: Begin ? V(SB) V(SC) end PB: Begin P(SB) ? end Coend end ;其他同步的例子;(2) 举例;解：信号量：SA ––– 缓冲区是否有结果;[注