内存可见性指一个线程对变量的修改是否能被其他线程及时看到。1. 编译器和cpu可能重排指令或缓存变量，导致其他线程看不到最新值；2. 顺序性问题源于代码操作未按原序执行，影响并发逻辑；3. 使用原子变量、锁或内存屏障（如memory_order_acquire/memory_order_release）可解决这些问题；4. memory_order_seq_cst提供最强顺序保证；5. 不应依赖代码顺序等同于执行顺序，尤其在并发场景下。
在C++中，内存模型定义了多线程程序如何与内存交互，特别是关于变量的读写操作如何在不同线程之间可见和排序。简单来说，它决定了多个线程访问共享数据时的行为规则。
理解内存模型对于编写正确、高效的并发程序至关重要，尤其是涉及到“内存可见性”和“顺序性”的问题。
什么是内存可见性？
在多线程环境下，一个线程对某个变量的修改，是否能被其他线程及时看到？这就是内存可见性的问题。
立即学习“C++免费学习笔记（深入）”；
默认情况下，编译器和CPU为了优化性能，可能会对指令进行重排，或者把变量缓存在寄存器或本地缓存中。这就可能导致：
- 一个线程修改了一个变量，另一个线程看不到这个变化；
- 或者看到这个变化的时间点不一致。
例如：
int x = 0;
bool flag = false;
// 线程1
x = 5;
flag = true;
// 线程2
if (flag) {
std::cout << x; // 可能输出0，也可能输出5
}在这个例子中，虽然我们希望线程2看到flag == true时，x == 5，但因为没有同步机制，可能看到的是旧值。
解决办法：使用原子变量或加锁
比如用std::atomic<bool>来确保flag的变化是立即可见的。
顺序性：为什么操作会“乱序执行”？
顺序性指的是代码中的操作在实际执行时是否按照写的顺序来执行。现代CPU和编译器都会做指令重排（reordering）来提高效率，但这会影响并发程序的逻辑。
比如下面这段代码：
int a = 0, b = 0;
// 线程1
a = 1;
b = 2;
// 线程2
if (b == 2)
assert(a == 1); // 这个断言可能失败！虽然线程1先设置a再设置b，但线程2有可能看到b == 2而a还没更新。
关键点：需要通过内存屏障或原子操作的内存顺序控制来保证顺序性
如何控制内存顺序？
C++提供了std::memory_order枚举类型，可以用于原子操作，控制内存顺序：
-
memory_order_relaxed：最宽松，只保证原子性，不保证顺序性和可见性。 -
memory_order_acquire/memory_order_release：用于建立同步关系，常用于一对操作（如生产者-消费者）。 -
memory_order_seq_cst（默认）：提供最强的顺序保证，所有线程看到的操作顺序是一致的。
例如：
std::atomic<bool> ready(false);
int data = 0;
// 线程1
data = 42;
ready.store(true, std::memory_order_release);
// 线程2
while (!ready.load(std::memory_order_acquire))
;
std::cout << data; // 能保证输出42这里用了release和acquire来确保线程2能看到线程1写入的data。
总结一下
- 内存模型决定了多线程下变量读写的行为；
- 编译器和CPU的优化会导致可见性和顺序性问题；
- 使用原子变量、锁、内存顺序控制可以解决这些问题；
- 不要依赖代码顺序等同于执行顺序，尤其在并发场景下。
基本上就这些。
