**原子操作不可分割地完成 —— 没有其他线程会看到半完成的状态；内存可见性指一个线程的写入是否被另一个线程看到；内存屏障强制排序，使那些写入变得可见。**锁并不是唯一要关心的 —— 内存模型也是。
一个原子操作（例如 fetch_add、compare-and-swap）作为一个不可分割的步骤执行，因此没有竞态能把它拆开。硬件和语言为计数器和标志位提供原子操作，无需一把完整的锁。
AtomicInteger counter = new AtomicInteger();
counter.incrementAndGet(); // 原子的读-改-写，无需锁
现代 CPU 和编译器会把值缓存在寄存器里，并为提速而重排指令。因此一个线程的写入可能滞留在存储缓冲区（store buffer）中，对其他线程不可见，而操作也可能看起来乱序。
一个包含详细解答的 IT 面试题库——从初级到高级。
捐赠// 没有 'volatile'，线程 B 可能永远循环下去：
volatile boolean ready = false; // volatile → 写入可见 + 有序
// 线程 A: data = 42; ready = true;
// 线程 B: while (!ready) {} 然后读取 data
屏障（fence）是一条指令，它阻止跨越它的重排序并刷新/加载内存，从而保证排序。volatile、synchronized 和原子操作会插入恰当的屏障，使 happens-before 关系成立：A 在释放前所写的内容，B 在获取后就能看到。
仅有原子性还不够 —— 没有可见性保证，一个正确加了锁的值仍可能被读到过期值。这解释了 volatile 为何存在、双重检查锁定（double-checked locking）为何微妙，以及无锁代码为何需要谨慎的内存排序选择。这正是"在我机器上能跑"与"在真实多核硬件上正确"之间的差别。