参考答案：C

解析： 设信号量为S，常用信号量的取值可以解释为：S值的大小表示某类资源的数量。当S＞0时，表示还有资源可以分配；当S＜0时，其绝对值表示S信号量等待队列中进程的数目。每执行一次P操作，意味着要求分配一个资源；每执行一次V操作，意味着释放一个资源。依题意，信号量mutex的初始值为1，表示有一个资源可以分配，当mutex的等待队列中有K个进程时，信号量的值为1-K。