本文共 2004 字，大约阅读时间需要 6 分钟。

C++ 并发与多线程 开发指南

1. 并发与并行 概念

并发：指同一时间段内交替处理多个操作

如果程序设计为可以并发执行的结构，那么在支持并行的机器上，程序可以并行执行。

2. 多进程并发

多个进程独立运行，它们通过进程间通信（如信号、套接字、文件、管道等）传递信息。

3. 多线程并发

多线程是指在单个进程内运行多个线程。线程比进程轻量级，但共享地址空间，需确保线程间数据的一致性。

4. C++ 中的并发与多线程

C++11 标准引入了新的线程库，包含以下组件：

• thread: 用于管理线程，提供基本的线程创建、.join()、.joinable()、.detach() 等功能。
• mutex: 提供互斥量，用于保护共享数据。
• atomic: 提供原子操作，用于处理竞争条件。
• future: 提供异步任务的支持，用于获取异步操作结果。

5. thread 类

• 创建线程：

  std::thread t; // 空线程std::thread t1(f, n + 1); // 通过函数 f 传递参数std::thread t2(std::ref(n)); // 通过引用传递参数std::thread t3 = std::move(t2); // t3 已经运行，t2 已不再是线程

• 线程状态管理：

  // 等待线程完成t.join();// 检测线程是否可执行if (t.joinable()) {    // 可以操作}// 处置线程t.detach();

• 析构函数特殊情况：

  ~thread() {    if (joinable()) {        _XSTD::terminate();    }}

  joinable() 为 false 的线程（如被 detach 后的线程）不会触发 terminate()。

6. Mutex 和锁机制

• std::mutex: 最基础的互斥量，提供互斥所有权，不能递归使用。
• std::recursive_mutex: 允许同一个线程多次上锁，支持递归使用，但必须匹配 unlock() 的次数。
• std::time_mutex: 增强了互斥量的定时功能，支持 try_lock_for() 和 try_lock_until()。
• std::lock_guard: RAII 容器，用于简化互斥量的上锁和解锁操作。
• std::unique_lock: 提供更灵活的锁管理，支持临时解锁和重新上锁。

7. future 和异步任务

7.1 std::future

• future 提供异步操作的结果访问机制，适用于单线程环境。

• 使用 async() 创建 future：

  std::future
       
         result = std::async([]() {    std::this_thread::sleep_for(std::chrono::milliseconds(500));    return 8;});std::cout << "结果：" << result.get() << std::endl;
       

• 注意：future.get() 会阻塞，建议在多线程中使用 shared_future。

7.2 shared_future

• shared_future 可以关联多个 future，适用于多线程环境：

  std::shared_future
       
         result = std::async([]() {    std::this_thread::sleep_for(std::chrono::milliseconds(500));    return 8;});result.wait();
       

8. 生产者消费者模型

8.1 单生产者-单消费者

• 一个生产者不断向产品库中添加产品，一个消费者不断从产品库中取走产品。
• 需要确保产品库在多个线程间互斥访问。

8.2 单生产者-多消费者

• 需要维护消费者取走产品的计数器，确保生产者不会在产品库为空时继续生产。

8.3 多生产者-单消费者

• 需要维护生产者放入产品的计数器，确保消费者不会在没有产品时等待。

8.4 多生产者-多消费者

• 需要同时维护生产者和消费者计数器，确保双方不会在没有产品时等待。

9. 总结

C++ 提供了丰富的多线程开发工具和库，支持多进程和多线程并发。通过合理使用互斥量和原子操作，可以在多线程环境中安全地共享数据。异步任务和 future 提供了对多线程应用的更高层次支持。

转载地址：http://fnuh.baihongyu.com/