【正确答案】 B

【答案解析】[解析] 本题考查互斥信号量的性质。mutex初值为1，表示允许一个进程进入临界区，当由一个进程进入临界区且没有进程等待进入时，mutex减1，变为0。|mutex|为等待进入的进程数。答案选B。
注意：就此题而言，当mutex=1时表示没有进程进入临界区；当mutex=-1时表示有一个进程进入临界区，另一个进程等待进入。