内存模型

本节阅读量:

为什么需要规定内存操作的顺序？

在现代多核处理器系统中，编译器和CPU为了优化性能，可能会对内存操作进行重排序。这种重排序在单线程环境下不会造成问题，但在多线程环境下可能导致意外的行为。C++ 内存模型提供了一种机制，让我们能够控制内存操作的顺序，确保多线程程序的正确性。

C++11引入了内存模型，定义了多线程环境下内存访问的行为规则。主要解决三个问题：原子性（Atomicity）：确保操作不可分割可见性（Visibility）：确保一个线程的写操作对其他线程可见顺序性（Ordering）：确保内存操作的相对顺序

Happens-Before关系这是理解memory order的核心概念。如果操作A happens-before 操作B，那么A的效果对B是可见的，且A在B之前执行。

最佳实践建议优先使用高级同步原语：能用std::mutex就别用原子操作默认使用seq_cst：除非确定需要优化，否则使用默认的顺序一致性逐步优化：先确保正确性，再考虑性能优化充分测试：在不同架构和编译器上测试代码文档化：清楚注释为什么使用特定的内存顺序

6.4 常见错误使用relaxed进行同步：这几乎总是错误的混合不同内存顺序：除非完全理解，否则不要混用忽略编译器重排序：只考虑CPU重排序而忽略编译器优化过度优化：过早优化是万恶之源

总结 C++ memory order提供了强大的底层控制能力，但也带来了复杂性。理解各种内存顺序的语义和适用场景是编写正确、高效多线程程序的关键。记住： seq_cst：最安全，适合大多数情况 acquire/release：适合同步场景 relaxed：仅用于特殊优化场景优先正确性，其次性能