一文搞懂生产者消费者模型：从三信号量到环形缓冲区（附C代码）

多线程编程的经典案例，面试高频，实战必备

前言

在并发编程中，生产者-消费者模型可以说是最经典的模式之一。无论是消息队列、线程池任务调度，还是日志系统、网络数据包处理，都能看到它的身影。本文将带你彻底搞懂这个模型的核心原理、信号量实现、环形缓冲区优化，以及性能误区，最后给出可直接运行的C语言代码。

一、什么是生产者-消费者模型？

模型包含三个角色：

• 生产者：负责产生数据（例如接收网络包、读取文件）。
• 消费者：负责处理数据（例如解析、存储、转发）。
• 共享缓冲区：临时存放数据的容器，解耦生产者和消费者的速率。

必须解决两个同步问题：

1. 当缓冲区满时，生产者必须等待消费者取走数据（缓冲区 “不满” 条件）。
2. 当缓冲区空时，消费者必须等待生产者放入数据（缓冲区 “不空” 条件）。

此外，多个生产者/消费者同时访问缓冲区，还需要互斥保护。

二、为什么需要三个信号量？

信号量（Semaphore）是解决同步互斥的经典工具。对于有界缓冲区，标准解法需要