深入理解 Linux 线程同步：条件变量 (Condition Variable)

各类资料学习下载合集
链接：https://pan.quark.cn/s/b0a2f36933de

在多线程编程中，互斥锁（Mutex）很好地解决了“谁能动数据”的问题（互斥），但它解决不了“什么时候动数据”的问题（同步）。

比如经典的生产者-消费者模型：消费者需要等生产者生产出数据才能消费。如果只用互斥锁，消费者就得不断轮询（Polling）检查数据，这极其浪费 CPU 资源。

这时候，条件变量（Condition Variable）就登场了。它不是锁，但它能让线程“乖乖睡觉”，直到收到“条件满足”的通知。

一、 什么是条件变量？

本质特性：

• 它不是锁：条件变量本身不具备保护数据的功能。
• 配合互斥锁使用：它必须和互斥锁搭档，互斥锁保护共享数据，条件变量负责让线程阻塞等待。
• 核心功能：提供一个“线程休息室”。当条件不满足时（比如没有数据），线程在这里阻塞；当条件满足时（数据来了），线程被唤醒。

二、 核心操作函数详解

1. 初始化与销毁

条件变量和互斥锁一样，支持静态和动态两种初始化方式。

• 静态初始化：

  pthread_cond_tcond=PTHREAD_COND_INITIALIZER;

• 动态初始化：

  intpthread_cond_init(pthread_cond_t*cond,constpthread_condattr_t*attr);// attr 通常传 NULL 使用默认属性

• 销毁：

  intpthread_cond_destroy(pthread_cond_t*cond);

2. 阻塞等待：pthread_cond_wait(重难点)

这是条件变量最复杂、也是最重要的函数。

intpthread_cond_wait(pthread_cond_t*cond,pthread_mutex_t*mutex);

它的“三重作用”（必须背诵）：

1. 阻塞等待：将当前线程放入条件变量的等待队列中，进入阻塞状态。
2. 解锁：原子性地释放传入的互斥锁（mutex）。
   • 注意：步骤 1 和 2 是原子操作，不可分割，确保在进入等待状态前不会丢失信号。
3. 重新加锁：当线程被唤醒（返回）时，它会自动重新去抢那把互斥锁。如果抢到了，函数返回；没抢到，继续阻塞在锁上。

使用范式：
调用wait前，当前线程必须已经持有了互斥锁。

3. 唤醒机制：signalvsbroadcast

• pthread_cond_signal(pthread_cond_t *cond)：
  • 设计意图：唤醒等待队列中的至少一个线程。
  • 实际情况：虽然标准说是唤醒一个，但在某些实现中可能会唤醒多个（虚假唤醒），所以代码中通常用while循环检查条件。
• pthread_cond_broadcast(pthread_cond_t *cond)：
  • 设计意图：唤醒等待队列中的所有线程。
  • 警惕：如果唤醒了大量线程去抢同一把锁，会造成“惊群效应”（Thundering Herd），影响性能。

三、 代码实战：生产者-消费者模型

为了演示条件变量的用法