使用信号量实现线程同步