C++11 和 C++14：基础

timeline.png

随着 C++11 标准的发布，C++ 引入了多线程库和内存模型。该库提供了原子变量、线程、锁和条件变量等基本构建模块，这些构成了后续 C++ 标准（如 C++17 和 C++20）建立更高抽象的基础。然而，C++11 本身已经具备任务（task）机制，其抽象层次高于前述的基本构建模块。

大致来说，可以将 C++ 的并发发展划分为三个演进阶段。

内存模型

多线程的基础是一个明确定义的内存模型。该模型需要处理以下几个方面：

• 原子操作：能够不被中断地执行的操作。
• 操作的部分顺序：某些操作必须保持特定顺序，不能被重排。
• 操作的可见性：对共享变量的操作在其他线程中何时可见的保证。

C++ 的内存模型受到其前身——Java 内存模型的启发。但与 Java 不同的是，C++ 允许我们打破顺序一致性（sequential consistency）的约束，而顺序一致性正是原子操作的默认行为。顺序一致性提供两个保证：

1. 程序中的指令按源代码顺序执行。
2. 所有线程的所有操作存在全局顺序。

内存模型基于原子数据类型上的原子操作（简称“原子”）。