单生产者-单消费者模型 产品库位于线程函数外