对于两个并发进程设互斥信号量为s若s0则