信号量实现互斥3