1.5 项目案例2：通过信号量实现生产者消费者模型