生产者消费者模型——基于Posix信号量和互斥量