c++中的Linearizability(线性一致性)是什么_c++并发数据结构正确性【理论】

线性一致性是C++并发中判断数据结构行为正确性的形式化模型，要求所有操作可排成与真实时间一致的全局顺序，且读操作返回其线性化点前最近写入的值；它保障行为可预测、可组合，seq_cst默认满足，而acq_rel等弱序需结合算法证明线性化点。

线性一致性（Linearizability）在 C++ 并发编程中，不是语言标准内置的概念，而是用来判断并发数据结构行为是否正确的一个形式化理论模型。它回答的问题是：这个无锁队列、原子栈或共享计数器，是不是“表现得像只有一个线程在操作它”？

它本质上是“单副本假象 + 时间顺序约束”

一个 C++ 并发对象（比如 std::atomic<int></int> 或自研的 lock-free queue）若满足线性一致性，意味着：

• 所有操作（读、写、CAS、push、pop）可以被排成一个全局顺序，且该顺序与真实时间不冲突——如果操作 A 的调用明显发生在操作 B 的响应之后，那 A 就必须排在 B 前面；
• 每个读操作返回的值，必须是该读操作“线性化点”（linearization point）之前最近一次写操作所写入的值；
• 整个执行历史看起来就像这个对象是单线程、无并发、无重排、无缓存延迟地运行的——哪怕底层用了内存序、fence、lock-free 技巧。

为什么 C++ 程序员需要关心它？

因为 满足线性一致性 = 行为可预测、可推理、可组合。举几个典型场景：

• 你封装了一个原子计数器，用户调用 inc() 后立刻调用 get()，必须看到 +1 的结果；
• 两个线程并发 push 元素到无锁栈，第三个线程 pop —— 它不能漏掉某个元素，也不能看到“中间态”（比如指针悬空、节点未初始化）；
• 使用 memory_order_seq_cst 的原子操作，默认提供线性一致性的语义（C++11 标准保证），但用 relaxed 或 acquire/release 就不一定了——是否满足，得看具体实现和调用模式。

它和 C++ 内存模型的关系很紧

线性一致性不是靠编译器自动施加的，而是靠程序员显式构造的：