为什么一个对象有时为null,当它在一个线程中被初始化并从main访问时？

Question

当我在一个线程中创建一个新对象时,它是一个对象的属性我给予该线程它在main-function中保持为null(但是没有System.out).我写了一个简单的问题示例,结果相同:

public class T1 {
    public T2 t2;
}
public class T2 {
    public String s;
    /**
     * @param args
     */
    public static void main(String[] args) {
        T1 t1 = new T1();

        T3 thread = new T3(t1);
        thread.start();

        while(t1.t2 == null){
    //      System.out.println("null");
        }
        System.exit(0);
    }
}

public class T3 extends Thread{
    public T1 t1;

    public T3(T1 t1){
        this.t1 = t1;
    }

    @Override
    public void run(){
        try {
            Thread.sleep(1000);
        } catch (InterruptedException e) {
            e.printStackTrace();
        }
        t1.t2 = new T2();
        while(true){
            System.out.println(t1.t2);
        }
    }
}

所以没有System.out.println("null")它会导致无限循环,但是当我添加这个System.out时,它表现得像我怀疑的那样.如果我使用静态变量,我甚至会得到相同的结果或问题.

是否有某种优化或其他我不理解的东西？或者为什么t1.t2 always == null没有System.out.println("null")？我认为T1-对象和他的属性(在这种情况下,对象T2)将在堆,其在T1-参考变量被存储在栈上的所有线程,并只是之间共享创建.所以,希望有人能解释我为什么它保持空没有System.out......如果线程的while循环后执行的问题刚刚出现时,这就是为什么有一个sleep(1000).

Answer 1

因此,没有的System.out.println("零"),它会导致一个无限循环,但是当我添加此的System.out它像我怀疑.如果我使用静态变量,我甚至会得到相同的结果或问题.

如果某个线程正在更新另一个线程正在读取的值,则必须存在某种内存同步.当你添加System.out.println(...)它时,使用底层PrintStream是一个同步类.所以调用println(...)是同步线程之间的内存.

以下是有关Oracle内存同步的一些有用信息.

您应该添加volatile到该T2 t2;字段以使更新t2在线程之间可见.

这里真正的问题是,使用现代的多CPU(和核心)硬件,每个CPU都有自己的高速内存缓存.现代操作系统和JVM软件利用这些物理(和虚拟)CPU来安排线程同时并行运行.这些缓存是线程性能的关键部分.如果每次读取和每次写入都必须进入中央存储器,那么您的应用程序运行速度会慢2倍.内存同步刷新缓存,以便本地写入写入中央存储,本地缓存读取标记为脏,因此必要时必须从中央存储重新读取.