内存模型

定义

内存模型是一套规则,定义了程序对内存的读写在多线程环境中如何排序、何时对其他线程可见。它是开发者与编译器、处理器之间的契约,明确了在并发执行下哪些行为是被保证的、哪些是未定义的。

原理

为提升性能,编译器与处理器会对指令进行重排,缓存也会延迟数据的传播。这导致一个线程的写入未必立即被另一个线程看到。内存模型通过先行发生关系等概念规定可见性顺序,并提供同步原语来建立必要的顺序保证。

同步手段如锁、原子操作与内存屏障,会强制刷新缓存并禁止越界重排,从而在关键点上恢复确定性。

应用

理解内存模型对正确编写并发程序至关重要:

• 判断共享变量是否需要同步保护。
• 正确使用原子类型实现无锁结构。
• 避免因重排导致的隐蔽数据竞争。

忽视内存模型常导致在某些硬件或负载下偶发的诡异错误。依赖语言提供的同步机制,而非假设代码按书写顺序执行,是安全并发的前提。