- C++11 引入了 Boost 线程库作为标准线程库,作者 Anthony Williams 为介绍其特性,于 2012 年出版了 C++ Concurrency in Action 一书,并顺应 C++17 于 2019 年 2 月出版了第二版。C++ Concurrency in Action 2ed 前五章介绍了线程支持库的基本用法,后六章从实践角度介绍了并发编程的设计思想,相比第一版多介绍了一些 C++17 特性,如 std::scoped_lock、std::shared_mutex,并多出一章(第十章)介绍 C++17 标准库并行算法,此外个人会在相应处补充 C++20 相关特性,如 std::jthread、std::counting_semaphore、std::barrier、std::latch 等。阅读本书前可参考 Andrew S. Tanenbaum 的 Modern Operating Systems,预备操作系统的基础知识(进程与线程、死锁、内存管理、文件系统、I/O 等)。此为个人笔记,仅供参考,更详细内容见原书。
- 线程管理(Managing thread):<thread>
- 线程间共享数据(Sharing data between thread):<mutex>、<shared_mutex>
- 同步并发操作(Synchronizing concurrent operation):<condition_variable>、<semaphore>、<barrier>、<latch>、<future>、<chrono>、<ratio>
- C++ 内存模型和基于原子类型的操作(The C++ memory model and operations on atomic type):<atomic>
- 基于锁的并发数据结构的设计(Designing lock-based concurrent data structure)
- 无锁并发数据结构的设计(Designing lock-free concurrent data structure)
- 并发代码的设计(Designing concurrent code)
- 高级线程管理(Advanced thread management)
- 并行算法(Parallel algorithm):<execution>
- 多线程应用的测试与调试(Testing and debugging multithreaded application)
| 头文件 | 说明 |
|---|---|
| <thread>、<stop_token> | 线程 |
| <mutex>、<shared_mutex> | 锁 |
| <condition_variable> | 条件变量 |
| <semaphore> | 信号量 |
| <barrier>、<latch> | 屏障 |
| <future> | 异步处理的结果 |
| <chrono> | 时钟 |
| <ratio> | 编译期有理数算数 |
| <atomic> | 原子类型和原子操作 |
| <execution> | 标准库算法执行策略 |
| 特性 | API |
|---|---|
| thread | std::thread |
| mutex | std::mutex、std::lock_guard、std::unique_lock |
| condition variable | std::condition_variable、std::condition_variable_any |
| atomic | std::atomic、std::atomic_thread_fence |
| future | std::future、std::shared_future |
| interruption | 无 |
| 特性 | API |
|---|---|
| thread | boost::thread |
| mutex | boost::mutex、boost::lock_guard、boost::unique_lock |
| condition variable | boost::condition_variable、boost::condition_variable_any |
| atomic | 无 |
| future | boost::future、boost::shared_future |
| interruption | thread::interrupt |
| 特性 | API |
|---|---|
| thread | pthread_create、pthread_detach、pthread_join |
| mutex | pthread_mutex_lock、pthread_mutex_unlock |
| condition variable | pthread_cond_wait、pthread_cond_signal |
| atomic | 无 |
| future | 无 |
| interruption | pthread_cancel |
| 特性 | API |
|---|---|
| thread | java.lang.Thread |
| mutex | synchronized blocks |
| condition variable | java.lang.Object.wait、java.lang.Object.notify |
| atomic | volatile 变量、java.util.concurrent.atomic |
| future | java.util.concurrent.Future |
| interruption | java.lang.Thread.interrupt |
| 线程安全的容器 | java.util.concurrent 中的容器 |
| 线程池 | java.util.concurrent.ThreadPoolExecutor |