使用mutex和条件变量实现信号量