C++条件变量：生产者-消费者模型的高效实现

1. 从生产者-消费者问题说起

在并发编程中，生产者-消费者模型是最经典的同步问题之一。想象一个物流仓库：供应商（生产者）不断将货物放入仓库，快递员（消费者）则从仓库取出货物发往各地。当仓库空置时，快递员如果持续检查库存（忙等），不仅浪费精力，还会导致系统资源耗尽。这个场景完美映射了多线程环境下的任务队列处理问题。

C++11引入的std::condition_variable正是为解决这类线程协作问题而生。它相当于一个线程间的信号机制，允许线程在条件不满足时主动休眠，避免无意义的CPU空转。与Java的wait/notify机制类似，但C++的实现更底层，需要开发者对锁和条件变量的配合有更清晰的认识。

关键理解：condition_variable不是独立工作的，它必须与mutex和共享状态（如队列是否为空）配合使用，这三者构成了线程同步的"铁三角"。

2. 为什么忙等是灾难性的

先看一个典型错误实现：

cpp复制// 消费者线程
while (true) {
    if (!queue.empty()) {
        auto task = queue.front();
        queue.pop();
        process(task);
    }
    // 队列空时CPU空转
}

这种忙等(Busy Wait)方式会导致：

1. CPU利用率飙升至100%，因为线程持续执行空循环
2. 多核环境下，空转线程会占用宝贵的计算资源
3. 在现代CPU的节能机制下，持续运行的线程会阻止CPU进入低功耗状态
4. 随着线程数量增加，系统整体吞吐量反而下降

实测数据显示：一个简单的任务处理系统，使用忙等相比合理休眠，能耗可能增加300%，而吞吐量下降40%以上。

3. condition_variable的核心机制

3.1 基本工作流程

正确的条件变量使用遵循以下模式：

cpp复制std::mutex mtx;
std::condition_variable cv;

// 消费者侧
std::unique_lock<std::mutex> lock(mtx);
cv.wait(lock, []{ return !queue.empty(); });  // 等待条件满足
auto item = queue.front();
queue.pop();

// 生产者侧
{
    std::lock_guard<std::mutex> lock(mtx);
    queue.push(item);
}
cv.notify_one();  // 通知等待线程

这个流程的关键点在于：

1. wait会在阻塞前自动释放锁，允许其他线程获取锁修改状态
2. 被唤醒后会自动重新获取锁，保证状态检查的原子性
3. 使用predicate（条件判断）可以避免虚假唤醒问题

3.2 与Java的wait/notify对比

虽然概念相似，但C++的实现有一些重要差异：

| 特性 | Java synchronized/wait | C++ condition_variable |
|-----------------|-------------------------------