信号量包含哪三种类型

整型信号量（integer semaphore)：信号量是整数

记录型信号量（record semaphore)：每个信号量s除一个整数值s.value（计数）外，还有一个进程等待队列s.L，其中是阻塞在该信号量的各个进程的标识

二进制信号量(binary semaphore)：只允许信号量取0或1值

每个信号量至少须记录两个信息：信号量的值和等待该信号量的进程队列。它的类型定义如下：（用类PASCAL语言表述）

semaphore = record

value: integer;

queue: ^PCB;

end;

其中PCB是进程控制块，是操作系统为每个进程建立的数据结构。

s.value>=0时，s.queue为空；

s.value<0时，s.value的绝对值为s.queue中等待进程的个数；。