深入理解C++内存模型与多线程编程

1. 为什么需要理解C++内存模型

第一次用C++写多线程程序时，我遇到过这样的场景：两个线程同时修改一个bool变量，结果程序偶尔会崩溃。加锁解决问题后，我开始好奇——为什么简单的bool操作也需要同步？这个疑问带我进入了内存模型的领域。

C++内存模型定义了多线程环境下对内存的访问规则。它不像语法错误那样明显，但一旦出现问题往往难以追踪。现代CPU的乱序执行、缓存一致性等问题，使得代码的执行顺序可能与书写顺序大相径庭。理解内存模型，就是理解编译器与处理器如何"重排"你的代码。

2. 内存模型基础概念

2.1 对象与内存位置

C++标准规定：每个变量都是一个对象，每个对象占据一个或多个内存位置。标量类型（如int）占用一个内存位置，相邻的位域如果属于同一结构体则共享内存位置。这个定义直接影响数据竞争的判断——两个线程同时修改不同内存位置是安全的。

实践中我发现，结构体成员的内存布局可能因对齐要求产生填充字节。通过offsetof宏可以验证：

cpp复制struct Example {
    char a;      // 地址0
    // 3字节填充
    int b;       // 地址4
};
static_assert(offsetof(Example, b) == 4);

2.2 修改顺序与发生前关系

每个线程看到的变量修改必须符合某个一致的全局顺序，这就是修改顺序（modification order）。但不同线程可能观察到不同的执行顺序，除非使用同步操作建立"发生在前"（happens-before）关系。

我曾用以下代码验证可见性问题：

cpp复制int x = 0, y = 0;

// 线程1
x = 1;  // A
y = 1;  // B

// 线程2
while(y == 0);
std::cout << x;  // 可能输出0吗？

理论上，由于缺少同步，线程2可能先观察到B的效果而没看到A。实际测试中这种场景确实偶尔出现。

3. 内存顺序详解

3.1 六种内存顺序

C++提供了六种内存顺序，分为三类：

• 顺序一致（sequentially consistent）：memory_order_seq_cst
• 获取-释放（a