线程同步-生产者消费者条件变量模型