易失性Java重新排序

Question

• a)为什么除了“00”之外还有其他输出？
• b)如何修改代码以便始终打印“00”。

 boolean flag = false;

    void changeVal(int val) {
        if(this.flag){
            return;
        }
        this.initialInt = val;
        this.flag = true;
    }

    int initialInt = 1;

    class MyThread extends Thread {
        public void run(){
            changeVal(0);
            System.out.print(initialInt);
        }
    }

    void execute() throws Exception{
        MyThread t1 = new MyThread();
        MyThread t2 = new MyThread();
        t1.start(); t2.start(); t1.join(); t2.join();
        System.out.println();
    }

对于a）我的回答是：在没有任何volatile/同步构造的情况下，编译器可以重新排序一些指令。特别是“this.initialint=val；”和“this.flag=true；”可以切换，这样就可以发生这种情况：线程都启动了，t1充电在前面。给定重新排序的指令，它首先设置flag=true。在它到达“this.initialint=val；”的最后一个语句之前另一个线程跳入，检查if条件并立即返回，从而打印未更改的initialInt值1。除此之外，我认为，如果没有任何volatile/同步，t2是否会看到t1中对initialInt执行的赋值，因此它也可能打印“1”作为默认值，这是不确定的。

对于b）我认为这面旗帜可能会变得不稳定。我已经了解到，当t1写到一个volatile变量设置标志=true，然后t2在if-语句中读出这个volatile变量时，将看到在volatile写之前执行的任何写操作，因此initialInt也=val。因此，t2已经看到它的initialInt值更改为0，并且必须始终打印0。然而，只有当volatile的使用成功地防止了我在a）中描述的任何重新排序时，这才会起作用。我读过volatile完成了这些事情，但我不确定在没有任何进一步的同步块或任何这样的锁的情况下，这是否总是起作用。从这个答案中，我得出结论，在volatile存储区（所以这个.flag=true)被重新排序之前发生的任何事情都不能出现在它之外。在这种情况下，initialInt=val不能下移，我应该是正确的，对吗？或者不对？：）

非常感谢你的帮助。我期待着你的答复。

Answer 1

此示例将始终打印00，因为您在打印之前执行changeval(0)。

要模拟可能不打印00的情况，需要将initialint=1；移动到线程的上下文中，如下所示：

class MyThread extends Thread {
        public void run(){
            initialInt = 1;
            changeVal(0);
            System.out.print(initialInt);
        }
    }

现在您可能会遇到争用条件，在initialInt在thread2中打印之前，将它在thread1中设置回1

void changeVal(int val) {
        if(this.flag){
            return;
        }
        this.flag = true;
        this.initialInt = val;
 }