信号量分类整型信号量（integer semaphore)：信号量是整数记录型信号量（record semaphore)：每个信号量s除一个整数值s.value（计数）外，还有一个进程等待队列s.L，其中是阻塞在该信号量的各个进程的标识二进制信号量(binary semaphore)：只允许信号量取0或1值每个信号量至少须记录两个信息：信号量的值和等待该信号量的进程队列
它的类型定义如下：（用类PASCAL语言表述）semaphore = recordvalue: integer;queue: ^PCB;end;其中PCB是进程控制块，是操作系统为每个进程建立的数据结构
s.value>=0时，s.queue为空；s.value<0时，s.value的绝对值为s.queue中等待进程的个数；
以上内容由大学时代综合整理自互联网，实际情况请以官方资料为准。
|
 |
