检查线程安全吗？

Question

a != a //is this thread-safe

public class TestThreadSafety {
    private Object a = new Object();

    public static void main(String[] args) {

        final TestThreadSafety instance = new TestThreadSafety();

        Thread testingReferenceThread = new Thread(new Runnable() {

            @Override
            public void run() {
                long countOfIterations = 0L;
                while(true){
                    boolean flag = instance.a != instance.a;
                    if(flag)
                        System.out.println(countOfIterations + ":" + flag);

                    countOfIterations++;
                }
            }
        });

        Thread updatingReferenceThread = new Thread(new Runnable() {

            @Override
            public void run() {
                while(true){
                    instance.a = new Object();
                }
            }
        });

        testingReferenceThread.start();
        updatingReferenceThread.start();
    }

}

当我的程序在一些迭代之间启动时，我会得到输出标志值，这意味着引用！=检查在同一引用上失败。但经过一些迭代后，输出变为常量值false，然后长时间执行程序，不会生成一个true输出。

如输出所示，经过n次（不固定）迭代后，输出似乎是一个常数值，不会改变。

输出：

对于某些迭代：

1494:true
1495:true
1496:true
19970:true
19972:true
19974:true
//after this there is not a single instance when the condition becomes true

Answer 1

在没有同步的情况下，此代码

Object a;

public boolean test() {
    return a != a;
}

可能生成true。这是test()的字节码

    ALOAD 0
    GETFIELD test/Test1.a : Ljava/lang/Object;
    ALOAD 0
    GETFIELD test/Test1.a : Ljava/lang/Object;
    IF_ACMPEQ L1
...

正如我们看到的，它将字段a加载到本地变量两次，这是一个非原子操作，如果a被另一个线程更改，则可能产生false。