生产者-消费者 模型

生产者-消费者模型是一种常见的并发编程模型，用于解决多线程环境下的数据共享和同步问题。在该模型中，生产者负责生产数据并将其放入共享缓冲区中，而消费者则从缓冲区中取出数据并进行消费。为了保证数据的正确性和一致性，需要对共享缓冲区进行同步和互斥操作。

常见的实现方式包括使用信号量、互斥锁、条件变量等同步机制。其中，信号量用于控制缓冲区的空闲和占用状态，互斥锁用于保证同一时间只有一个线程对缓冲区进行操作，条件变量用于在生产者和消费者之间进行通信和唤醒。