Linux生产消费模型与线程同步实现详解

1. 生产消费模型与线程同步的本质关系

在Linux系统编程中，生产消费模型是理解线程同步最经典的案例之一。这个模型本质上描述了多线程环境下数据流动的典型场景：生产者线程生成数据放入缓冲区，消费者线程从缓冲区取出数据消费。看似简单的流程背后，却隐藏着几个必须解决的同步问题：

• 缓冲区访问冲突：当生产者和消费者同时操作缓冲区时，可能导致数据错乱
• 缓冲区空/满状态管理：消费者不能从空缓冲区取数据，生产者不能向满缓冲区放数据
• 执行顺序协调：需要确保生产者在消费者取走数据后才能放入新数据

我在实际项目中曾遇到过这样的案例：一个日志处理系统，采集线程（生产者）不断接收网络日志，分析线程（消费者）进行实时分析。初期未做同步处理时，经常出现日志丢失或重复分析的情况，这就是典型的线程同步问题。

关键认知：线程同步不是简单的加锁，而是对共享资源访问顺序的精确控制。生产消费模型恰好包含了所有同步问题的基本形态。

1.1 Linux下的同步原语选择

Linux提供了多种同步机制，每种都有其适用场景：

在实现生产消费模型时，我通常采用"互斥锁+条件变量"的组合方案。这种组合既能保证互斥访问，又能高效地实现状态等待，是Linux系统编程中最经典的同步模式。

2. 基于互斥锁与条件变量的实现详解

2.1 核心数据结构设计

首先我们需要定义共享缓冲区结构。这里我推荐使用循环队列实现，相比链表更节省内存且访问效率更高：

c复制#define BUF_SIZE 10

typedef struct {
    int buffer[BUF_SIZE];  // 循环缓冲区
    int read_pos;          // 读位置
    int write_pos;         // 写位置
    pthread_mutex_t mutex; // 互斥锁
    pth