在Java并发编程中,一个常见问题是:为什么像AtomicInteger这样的类,没有直接提供acquireAndSet或releaseAndSet方法?这背后体现了Java内存模型(JMM)设计中的关键权衡。简要来说,AtomicInteger的原子操作基于CAS和volatile语义,而更精细的acquire/release级别控制,则是由Java 9引入的VarHandle来提供的。因此,AtomicInteger的setRelease方法只负责写入,不负责读取;而getAndSet方法则是全序一致的(sequentially consistent),无法精确实现acquire或release这种“单边”语义的原子读-改-写操作。

首先讨论acquireAndSet。其设计意图是“以acquire语义写入新值,并返回旧值”。VarHandle虽然提供了getAndSet方法,但其默认的内存语义是sequentially consistent(全序一致),这比acquire语义更强。如果想精确匹配acquire语义(即写入具有acquire效果,但不保证后续读写重排),VarHandle并未直接提供一个独立的acquireAndSet方法。实际开发中,最接近的实现方式包括:
- 使用
VarHandle.getAndSet。由于sequentially consistent已经隐含了acquire和release效果,在大多数场景下足以替代。 - 如果非要严格追求acquire-only的写入语义(例如与某个acquire-read配对形成acquire-release同步对),则需要手动组合
VarHandle.set和VarHandle.getAcquire来实现,但这样无法原子地完成“读旧值+写新值”的操作。 - 直白地说,截至Java 21,
VarHandle仍然不支持acquireAndSet这样的原子二元操作。
接下来看releaseAndSet。它表示“以release语义写入新值”,这种写入不会被重排到其之前的读写之后,常用于发布共享状态。在VarHandle中,有明确对应的操作:
VarHandle.setRelease(Object, V)直接支持release语义的设值。- 但需注意,它不返回旧值,仅负责写入。
- 如果需要“设值并返回旧值”且同时具备release语义,
VarHandle同样没有提供原生方法。AtomicInteger.setRelease(int)也同样是只写不读,而getAndSet是sequentially consistent,并非release-only。
AtomicInteger中的近似方法及其语义定位
AtomicInteger自身的API基于旧版原子操作抽象,其方法映射关系如下:
set(int):默认为sequentially consistent,等价于VarHandle.set(无显式语义标记,但JVM实现通常按volatile处理)。setRelease(int)(Java 9+):明确对应VarHandle.setRelease,用于release-store。getAndSet(int):对应VarHandle.getAndSet,语义为sequentially consistent,强度高于单纯的acquire或release。weakCompareAndSetRelease(int, int):使用release语义的CAS,失败可能不保证原子性,对应VarHandle.weakCompareAndSetRelease。
为什么没有acquireAndSet / releaseAndSet的原子变体?
这是JVM内存模型设计中的一个务实选择,背后有硬件与工程实践的双重考量:
- 从硬件层面看,几乎没有处理器提供“acquire-store”或“release-load”以外的混合原子指令,支持这类操作的成本过高。
- 从主流同步模式看,开发者更依赖acquire-release对(如acquire-load + release-store),而非单边弱语义的原子读-改-写。因此,JMM和
VarHandle的设计优先保证关键同步原语(如getAcquire、setRelease、compareAndSet等),而不是穷举所有语义组合。
