参考答案：D

解析： 本题考查信号量的概念。信号量是最早出现的用来解决进程同步与互斥问题的机制，包括一个称为信号量的变量及对它进行的两个原语操作。每个信号量至少须记录两个信息：信号量的值和等待该信号量的进程队列。等待队列中每增加一个进程，信号量的值减1，每从等待队列中减少一个进程，信号量的值加1。信号量的值大于 0时，表示等待队列为空，当信号量小于0时，信号量的值的绝对值是等待队列进程的个数。正确答案为选项D。