学懂C++（二十七）：高级教程——深入解析 C++ 条件变量（Condition Variables）在多线程开发中的应用

猿享天开

于 2024-08-13 17:00:08 发布

阅读量444

点赞数 8

分类专栏：学懂C++语言-C++核心编程精讲文章标签： c++ 开发语言多线程

本文链接：https://blog.csdn.net/martian665/article/details/141168214

版权

学懂C++语言-C++核心编程精讲专栏收录该内容

30 篇文章 0 订阅

订阅专栏

引言

随着多核处理器的普及，多线程编程成为现代软件开发中的重要组成部分。在多线程环境中，线程之间的协调变得尤为关键。条件变量（Condition Variables）是一种用于线程间通信和同步的强大工具，能够有效地管理线程的等待与通知机制。本文将深入探讨 C++ 中的条件变量，结合经典示例解析其应用，阐述基本原理和核心要点，帮助读者掌握这一重要技术。

1. 条件变量的基本概念

条件变量是一种同步原语，用于在多线程程序中实现线程之间的协作。它允许一个或多个线程等待某个条件的成立，而其他线程则可以通过通知机制来唤醒这些等待的线程。条件变量一般与互斥锁（例如 std::mutex）一起使用，以确保线程在检查条件和等待时不会被其他线程干扰。

1.1 使用场景

条件变量的典型应用场景包括：

生产者-消费者问题：生产者线程在缓冲区满时等待，消费者线程在缓冲区为空时等待。
线程间的事件通知：一个线程需要等待另一个线程完成某个操作。

2. C++ 条件变量的使用

C++11 引入了条件变量的标准实现，提供了 std::condition_variable 和 std::condition_variable_any。我们将重点讨论 std::condition_variable，因为它通常与 std::mutex 一起使用。

2.1 示例：生产者-消费者问题

以下示例演示了经典的生产者-消费者问题，其中生产者生成数据并放入缓冲区，而消费者从缓冲区中取出数据。

2.1.1 示例代码

#include <iostream>
#include <thread>
#include <mutex>
#include <condition_variable>
#include <queue>
#include <chrono>

std::mutex mtx;                                         // 互斥锁
std::condition_variable cv;                             // 条件变量
std::queue<int> buffer;                                // 缓冲区
const unsigned int maxBufferSize = 10;                 // 缓冲区大小

void producer() {
    for (int i = 0; i < 20; ++i) {
        std::this_thread::sleep_for(std::chrono::milliseconds(100)); // 模拟生产时间
        std::unique_lock<std::mutex> lock(mtx);        // 加锁
        cv.wait(lock, [] { return buffer.size() < maxBufferSize; }); // 等待直到缓冲区有空间
        buffer.push(i);                                  // 生产数据
        std::cout << "Produced: " << i << " | Buffer size: " << buffer.size() << std::endl;
        lock.unlock();                                   // 解锁
        cv.notify_all();                                 // 通知消费者
    }
}

void consumer() {
    for (int i = 0; i < 20; ++i) {
        std::this_thread::sleep_for(std::chrono::milliseconds(150)); // 模拟消费时间
        std::unique_lock<std::mutex> lock(mtx);        // 加锁
        cv.wait(lock, [] { return !buffer.empty(); });  // 等待直到缓冲区不为空
        int value = buffer.front();                       // 消费数据
        buffer.pop();
        std::cout << "Consumed: " << value << " | Buffer size: " << buffer.size() << std::endl;
        lock.unlock();                                   // 解锁
        cv.notify_all();                                 // 通知生产者
    }
}

int main() {
    std::thread producerThread(producer);
    std::thread consumerThread(consumer);

    producerThread.join();
    consumerThread.join();

    return 0;
}

2.1.2 代码解析

互斥锁与条件变量：使用 std::mutex 保护共享的缓冲区，std::condition_variable 用于在缓冲区满或空时进行线程的等待与通知。
生产者函数：
- 模拟生产数据，并检查缓冲区是否已满。
- 若缓冲区已满，生产者将调用 cv.wait，并释放互斥锁，等待条件变量的通知。
- 生产数据后，使用 cv.notify_all() 通知消费者。
消费者函数：
- 消费数据并检查缓冲区是否为空。
- 若缓冲区为空，消费者将调用 cv.wait，并释放互斥锁，同样等待条件变量的通知。
- 消费数据后，使用 cv.notify_all() 通知生产者。

2.2 运行结果

运行上述代码，可能输出如下：

Produced: 0 | Buffer size: 1
Produced: 1 | Buffer size: 2
Consumed: 0 | Buffer size: 1
Produced: 2 | Buffer size: 2
Consumed: 1 | Buffer size: 1
...
Produced: 19 | Buffer size: 10
Consumed: 18 | Buffer size: 9
Consumed: 19 | Buffer size: 0

注意：实际输出顺序会因线程调度而异，但最终会显示生产和消费的过程。