生产者-消费者模型，用条件变量同步