3

我知道下一个场景：（奇怪的格式，我知道）

private final AtomicBoolean aBoolean = new AtomicBoolean(true);

public void doSomething() {
    if (
        aBoolean.get()                       // line A
            &&                               // line B
        aBoolean.compareAndSet(true, false)  // line C
        ) {
        System.out.println("Was true!")
    }
}

如果线程#1 和线程#2doSomething()恰好同时进入，这将发生：

  1. 线程 #1 和线程 #2 将aBoolean.get()同时读取为 == "true"。

  2. 两者都将执行“&&”运算符。

  3. CMPXCHG 指令同时为两个线程启动：

    3.1 本地使用LOCK前缀

    3.2 线程#1 或#2 先到达，赢得比赛。

    3.3 获胜线程比较（aBoolean == true 吗？）这将返回“true”，因此 aBoolean 将设置为“false”。

    3.4 aBoolean 现在是假的。

    3.5 丢失线程比较（是 aBoolean == true 吗？）这将返回“false”，因此会短路任何进一步的操作。

  4. 获胜线程将打印“是真的！”。

在“失败”线程的角度下，“ aBoolean.get()A 线”中的第一个是......假设......一个“谎言”。

现在假设执行可以发生在操作符之间，就像上面例子中所做的那样，让我们​​为第二种情况添加第二种方法：

public void unluckySet() {
    aBoolean.set(false);
}

假设线程＃3恰好unluckySet()在我们的“获胜线程”到达“&&”正在执行的“B行”的确切时刻到达并执行。

如果获胜线程到达“B 行”，则意味着它到达“A 行”，aBoolean 为“真”。

我的问题是：

CMPXCHG 是否会将更新后的值正确读取为“假”？这意味着.set()也由与 . 相同的锁持有compareAndSet()。

在并发和线程之间：

运算符（“&&”、“||”、“==”、“=”，甚至可能是“return;”？以交错方式结束，防止可能的冲突？

4

1 回答 1

1

Java 内存模型在没有数据竞争（您的程序没有）的情况下是顺序一致性的。这是非常强大的；它说你程序中的所有读写形成一个总顺序，这与程序顺序一致。因此，您可以想象来自不同线程的读取和写入只是以某种方式交错或混洗在一起 - 而不会改变从同一线程执行的操作的相对顺序。

但是为了这个目的，每个动作都是这个顺序中的一个单独的元素。因此，仅仅因为aBoolean.get()andaBoolean.compareAndSet()是两个动作而不是一个动作，其他线程的任意数量的其他动作都可能发生在它们之间。

这些动作是单个语句的一部分还是不同语句的一部分都没有关系；或者他们以什么样的表情出现；或者他们之间有什么运营商（如果有的话）；或者线程本身可能会或可能不会围绕它们进行哪些计算。没有办法让两个动作“如此接近”，以至于在两者之间不会发生任何其他事情，除非用语言定义为原子的单个动作替换它们。

在机器级别，一个非常简单的方法是，因为aBoolean.get()几乎aBoolean.compareAndSet()可以肯定是两条不同的机器指令，中断可能会到达它们之间。这个中断可能导致线程被延迟任意时间，在此期间其他线程可以做任何他们想做的事情。因此，线程#1 和#2 完全有可能在它们的get()and之间都被中断compareAndSet()，而线程#3set在此期间执行它。

警告：推理特定机器可能如何工作通常有助于理解为什么可能出现不希望的行为，如前一段所述。但它不能替代对正式内存模型的推理，也不应该用来试图争论一个程序必须有它想要的行为。即使您心目中的特定机器会为您的代码做正确的事情，或者您想不出合理的机器会发生故障的方式，但这并不能证明您的程序是正确的。

所以试图说“哦，机器会做lock cmpxchg等等等等等等等等，一切正常”是不明智的。您没有想到的其他一些机器可能以完全不同的方式工作，它仍然符合抽象 Java 内存模型，但在其他方面违反了您基于 x86 的期望。事实上，x86 是一个特别糟糕的例子：由于历史原因，它提供了一组相当强大的指令级内存排序保证，而许多其他“弱排序”架构则没有，因此可能有很多东西是 Java 抽象的允许，但实际上 x86 不会这样做。

于 2022-01-20T17:24:18.117 回答