使用信号量实现生产者消费者模型 ​​​