线程
使用信号量实现互斥