读改写原语

RMW 的关键是读旧值与条件更新共享同一个原子线性化点，其他线程只能看到操作前或操作后的状态，不能插入中间。不同 RMW 原语表达能力不同：fetch-and-add 总会更新，compare-and-swap 只有观察值仍匹配时才更新并报告失败。原子性解决竞态窗口，却不自动解决 ABA、可见性顺序或对象生命周期。

原子 fetch_add(x,1) 可为每个线程返回不同旧值，构造计数器。用普通读后普通写实现同一代码会丢失更新。RMW 可能反复失败或争用，原子性不保证公平；在 ABA 场景中 CAS 看到值恢复相同却忽略中间变化。

CAS 栈会遭遇 ABA：某地址从 A 变为 B 又回到 A 时，旧 CAS 只比较当前位模式，可能误以为中间没有变化。把比较对象扩成 (ptr,version)，或使用安全内存回收机制，可把这段历史显式化。即便原语原子，弱内存模型下仍要为发布与获取选择合适的 ordering。

原子操作公理库原子操作Atomic operation对并发观察者不可分割、可视为在单一瞬间完成的操作。在共享内存公理库共享内存系统Shared-memory system进程通过读写共享对象交互的并发模型。中实现 RMW，构成无锁算法公理库无锁进展Lock-free progress · Lock-freedom系统整体保证在有限步内有某个操作完成，而不保证指定线程。的常用线性化点。test-and-set、fetch-and-add 或 CAS 也可作为自旋锁公理库自旋锁Spinlock · Spin lock获取失败时以原子操作持续轮询、等待锁在短时间内释放的互斥锁实现族。的获取原语；忙等、FIFO、公平和抢占行为属于锁实现而非 RMW 定义。

RMW 还可实现计数器、无锁链表与工作队列；并发对象公理库并发对象Concurrent object可被多个线程并发调用并以顺序规格解释操作效果的共享对象。的正确性仍需证明所有操作历史可线性化，进展和内存回收是独立义务。原语之间能否 Wait-free 互相实现，应查共识层级，而不能从指令延迟或名称推断。