参考答案：C

解析： 信号量：表明资源可以提供给进程使用的量，它是一个整型值。对信号量的操作可以分为P(减)操作和V(加)操作，这些操作叫做原语。原语是不可再分的操作，在对信号量的操作中，与每个信号量相对应的是一个队列，队列中存储的是排队等待使用这个资源的进程。由于mutex的初值为1，现在P(减)操作和V(加)操作对临界区的一个资源进行管理。有k个进程，则要k个资源。故信号量为1-k个。