重新排序说明

Question

我知道指令重新排序，但在以下链接中 Will this AssertionError never be thrown in this case? 在批准的答案中有一行：

首先使用变量 n 对引用的发布重新排序（没有发生之前，所以这是允许的）。 Thread1 创建 Holder 实例"

我听不懂这条线。谁能解释一下。这种重新排序将如何发生。我知道thread.start() 发生在关系之前。

我对 java 中重新排序的理解是，如果指令在关系之前没有发生，则可以重新排序。

int c=0;
int d=1;

可以重新排序为

int d=1;
int c=0;

但用户解释说，如果thread.starts() 在关系之前不会发生，那么发布引用可能会使用变量 n 重新排序（这是允许的）。我不明白怎么做。引用在其他类中，变量 n 在不同的类中。

Answer 1

如果没有happens-before并且在Holder对象完全初始化之前设置了对t.holder的引用，则可能会发生这种情况。在这种情况下，我们可以让一个线程执行

public Holder(int n ) {
    this.n = n;
}

另一个正在执行

if (n != n) {
        throw new AssertionError("This statement is false.");
}

第二个线程读取n 的值两次，所以如果我们幸运（或不幸），第一个线程将在这两次读取之前在构造函数中执行赋值，并抛出异常。