Semaphore+lock实现生产者消费者模式