Linearizability在何种意义上扩展了Atomicity？我的理解是否正确？

你的理解完全正确，下面具体解释Linearizability在哪些层面扩展了Atomicity：

1. 覆盖范围的扩展：从单个对象到多类型多对象 #

• Atomicity（原子性）的定义边界通常局限于单个读写型对象，比如一个原子整数的get/set操作，或者读写锁保护的单一变量——它只保证针对这个对象的操作不会被拆分，不会出现中间状态被其他线程观测到的情况，但完全不涉及多个对象之间的操作协调。
• Linearizability（线性一致性）则打破了这个边界，它可以针对任意数量、任意类型的对象（比如同时包含原子变量、并发队列、哈希表的系统）定义一致性规则，把所有对象的操作都纳入同一个全局的一致性框架下。

2. 一致性约束的增强：从单操作原子性到全局实时顺序 #

• 原子性只要求单个操作“不可分割”，但不关心不同对象操作之间的全局顺序。比如线程1先写对象A、再读对象B；线程2先写对象B、再读对象A，原子性无法保证这两个线程看到的操作顺序是一致的。
• 线性一致性在此基础上，额外要求所有操作看起来像是在某个全局的实时时间点完成的：整个系统的所有操作可以被排序成一个线性序列，这个序列既要符合每个线程自身的操作调用顺序，也要符合操作实际发生的时间先后关系，且所有线程观测到的这个序列是完全一致的。

3. 跨对象操作的一致性保证 #

• 单纯的原子性无法保证跨对象操作的因果一致性：比如执行“给账户A转100元，再从账户B转100元”两个原子操作，原子性只能保证每个转账操作本身不会被拆分，但无法保证其他线程不会看到“账户B的转账完成了，账户A的转账还没生效”的异常情况。
• 线性一致性则能保证这类跨对象操作的全局一致性，所有线程都会看到这两个操作按照实际执行的先后顺序生效，不会出现因果颠倒的观测结果。

总结 #

Atomicity是Linearizability的一个子集：Linearizability继承了原子性“操作不可分割”的核心特性，同时将其扩展到多对象、多类型场景，并增加了全局实时顺序的约束，让多线程/分布式系统中的操作序列更符合人类直觉的一致性预期。

内容的提问来源于stack exchange，提问作者H.H