并发编程：互斥锁，生产者，消费者模型