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

* * §4.3 信号量 (P，V操作) 1. 信号量是荷兰的计算机科学家Dijkstra65年提出的，也是最早的同步方法。 所谓信号量：是一个仅能由同步原语对其进行操作的整型变量。 Dijkstra将这两个同步原语命名为“ P操作”，“ V操作”。 发信号 等待(看字母) 荷兰语 信号量 二元信号量：允许取值为“ 0”与“ 1”，主要用作互斥变量。 一般信号量：允许取值为非负整数，主要用于进程间的一般同步问题。 2. P，V操作 P，V操作是对信号量进行的原语操作。 Dijkstra对这两个原语操作定义如下： P(S)：当信号量S大于0时，将S值减1，否则进程等待，直到其它进程对S进行V操作V(S)。 V(S)：将信号量S的值加1。 P，V操作的功能描述见下图： 入口 S–1 ? S S?0 入信号量等待队列 置“ 等待”状态 转进程调度 0 返回 P 入口 S+1 ? S S?0 入就绪队列 置“ 就绪”状态 ? 0 V S?0 从该信号量的等待队列中取出首元素 返回 0 P，V操作可用软件(或固件)和硬件来执行。无论P操作和V操作，它们的执行都必须是一个 不可被中断的整体。 [注]：(1) 物理意义： S 0时，S为可用资源量； S = 0时，可用资源量正好用完； S 0时，|S|为等待资源的队列长度，即还欠资源数(在信号量上等待的进程数) 例：S = 4 S = 0 S = –2 P1 P2 ?P(S)：表示请求分配一个资源 ? S 0 立即可得 S ? 0 要排队 (2) P(S) Lock (S) S为二元信号量 V(S) unlock (S) 对应 V(S)：表示释放资源 本书原来使用P、V操作来称呼此两操作，但由于信号量和信号量上的同步原语以及后面要讨论的管程均已成为并行程序语言的组成部分，所以改用程序语言中的习惯称呼，以及国际上较流行的称呼为Wait和Signal操作。 3. 当进程必须在信号量S上等待时，就将该进程的状态变为等待状态(或活动阻塞状态)，并将该进程插入与此信号量有关的等待队列中，而后让出处理机给其它就绪进程。 两种等待方式下的wait和signal操作： (1) “ 忙等待”执行方式： wait(s): while S?0 do skip； ? S: = S–1； signal(s): S: = S+1； 这种形式的P，V操作，完全也可用硬件指令来形式。 (2) “ 阻塞等待”执行分式： type Semaphore = record value : integer; L: pointer to PCB end 等待进程放入与此信号量S有关的阻塞队列，需要有该队列的头指针，因此要把信号量定义进一步进行扩充，其数据结构形式由“ 忙等待 ” 方式中的整形变量，扩充成为记录形式： 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进程的优先数高低