c++内存模型定义了多线程环境下程序访问共享内存的行为。顺序一致性确保所有线程看到一致的操作顺序，但现代系统默认不保证该特性。原子操作通过std::atomic实现，具有不可分割、无数据竞争和可控制内存序的特点。内存序分为memory_order_relaxed（仅保证原子性）、memory_order_acquire/release（控制重排）、memory_order_seq_cst（全局顺序一致）等，影响同步语义与性能。实际开发中需根据场景选择合适内存序，在正确性与效率间取得平衡。
C++内存模型的核心在于定义了多线程环境下，程序如何访问和修改共享内存中的数据。它不仅决定了变量在多个线程之间的可见性，还影响着编译器和CPU对指令的优化方式。理解这个模型，是写出正确、高效的并发程序的前提。
什么是顺序一致性（Sequential Consistency）
顺序一致性是一种最直观、最容易理解的内存模型行为。它的核心思想是：所有线程看到的内存操作顺序是一致的，并且每个线程的操作顺序与其代码顺序一致。
换句话说，如果一个程序满足顺序一致性，那它看起来就像是所有操作按某种全局顺序执行，而每个线程的操作都保持自己的顺序不变。
立即学习“C++免费学习笔记（深入）”；
举个例子：
// 线程1 x = 1; r1 = y; // 线程2 y = 1; r2 = x;
在顺序一致性的前提下，r1和r2不可能同时为0。因为至少有一个写操作会在读操作之前完成。
但在现代CPU和编译器中，默认并不保证这种一致性，除非你使用特定的同步机制，比如原子操作加上适当的内存序（memory order）。
原子操作的基本原理
原子操作指的是不会被其他线程中断的操作。在C++中，通过std::atomic模板来实现对基本类型的原子访问。例如：
std::atomic<int> counter(0);
使用原子变量可以避免数据竞争（data race），从而保证线程安全。但需要注意的是，原子操作默认使用的内存序是memory_order_seq_cst，也就是顺序一致性。如果你不需要这么强的一致性，可以选择更弱的内存序（如memory_order_relaxed或memory_order_acquire/release），以换取更高的性能。
原子操作的关键点包括：
- 不可分割：整个操作要么全做，要么不做。
- 无数据竞争：多个线程同时访问同一个原子变量不会导致未定义行为。
- 可控制的内存序：你可以指定不同级别的同步语义。
内存序的不同级别有什么区别？
C++支持多种内存序选项，它们决定了操作之间如何建立“先于”（happens-before）关系：
-
memory_order_relaxed：最弱的内存序，只保证原子性，不提供任何同步。 -
memory_order_consume：用于依赖链上的同步，较少使用。 -
memory_order_acquire和memory_order_release：常用于一对操作中，前者确保后续操作不会重排到该加载前，后者确保前面的操作不会重排到该存储后。 -
memory_order_acq_rel：结合 acquire 和 release，适用于交换操作。 -
memory_order_seq_cst：最强的内存序，保证全局顺序一致。
这些内存序的选择直接影响程序的行为和性能。例如，在高性能场景中，适当使用release/acquire组合可以在减少同步开销的同时，仍能保证必要的可见性。
总结一下
顺序一致性虽然容易理解，但在实际开发中往往代价较高；而原子操作配合合适的内存序，既能保证线程安全，又能提升效率。关键是要清楚每种内存序的作用范围和适用场景。
基本上就这些。
