java - CompareAndExchange 与 CompareAndExchangeAcquire 之间有什么区别

Question

这是 Java 库的一个片段:

public final boolean compareAndExchangeAcquire(boolean expectedValue, boolean newValue) {
    return (int)VALUE.compareAndExchangeAcquire(this,
                                                (expectedValue ? 1 : 0),
                                                (newValue ? 1 : 0)) != 0;
}

它来自AtomicBoolean类。转换为 int 如何返回 boolean？

我的主要问题:compareAndExchange 与 compareAndExchangeAcquire 之间有什么区别？

---

通俗地说:在xxxAcquire之前和xxxRelease之后编写的语句可以在应用xxx时自由地重新排序。

Answer 1

您发布的代码的最后一部分是!= 0。带有澄清变量:

int a = (int)VALUE.compareAndExchangeAcquire(this,
                                                (expectedValue ? 1 : 0),
                                                (newValue ? 1 : 0));
return a != 0;

当然，!= 运算符返回一个 boolean 值。

至于问题的第二部分:

Also, what is the difference between compareAndExchange vs compareAndExchangeAcquire?

首先一些必读内容:https://stackoverflow.com/a/16181675/3424746

从上面的答案中，您应该了解编译器/处理器可以重新排序加载/存储，以及获取和释放对它们的限制。比较和交换很可能是通过 CAS 指令实现的，可以将其视为加载+存储。 compareAndExchangeAcquire 和 compareAndExchangeRelease 将发布/获取语义添加到相关的 CAS/load+stores 中。换句话说，您可以使用它们来阻止某些重新排序，或允许某些重新排序。