参考答案：C

解析：[分析]
当信号量控制互斥问题时，其初值往往代表资源的个数。本题初值为2，说明该种资源数量2个。当进程将2个资源全部占有之后，信号量值减至0，此时若再有进程要求申请该资源，则必须在此信号量上等待，具体表现为：将信号量的值减1，导致信号量的取值为负。此时有几个进程申请该资源，信号量便被减几次；因此S的值为-3，则表示有3个进程在等待该资源。