JDK9+ VarHandle中AtomicInteger的acquireAndSet与releaseAndSet映射

在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等），而非穷举所有语义组合。