信号量应用:生产者-消费者模型