互斥信号量初值一定是1