用记录型信号量解决生产者-消费者问题