VarHandle的getAndSet是否使用xchg指令？x86 lock前缀如何处理背压？

JDK7的getAndSet实现逻辑 #

JDK7里的getAndSet通过循环调用get()和compareAndSet()实现，代码如下：

public final V getAndSet(V newValue) {
    while (true) {
        V x = get();
        if (compareAndSet(x, newValue))
            return x;
    }
}

这种实现的背压处理不具备顺序一致性——线程若compareAndSet失败后重试，可能被后续线程抢占执行位置。它依赖compareAndSet（底层对应cmpxchg指令）完成交换操作，由此引出疑问：为何不直接用xchg指令实现getAndSet？这样既能避免循环重试，还能借助原生LOCK前缀维护缓冲队列。

核心疑问点 #

• VarHandle的getAndSet是否确实单独使用xchg指令实现？
• 硬件层面是否会以顺序一致的方式处理背压？

补充说明 #

最初误以为mfence能实现FIFO队列，但实际上处理器调度器并没有严格的FIFO队列策略，lock前缀也没有相关证据支持这一点。内存控制器的队列机制由硬件自主管理，处理器指令仅专注于数据操作，并不负责控制硬件队列。

延伸探讨：反应式系统的顺序一致性需求 #

处理器更关注数据更新操作，这类操作可隐含版本信息，但发布者架构、显示系统这类版本化系统，因输出无状态，需要严格的顺序一致性。

多数Web或移动应用的显示场景中，反应式系统属于过度设计，仅视频流这类场景才需要缓冲机制。如果lock前缀支持FIFO队列，就能区分状态化写入和无状态读取两种场景，分别针对性优化性能与顺序一致性。

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