Threadsafe Singleton没有Java同步？

我有一个多线程应用程序和一个单例类：

public final class Singleton {

    private static MyClass mc;

    public static final Object getInstance() {
            if(mc == null) {
                mc = new MyClass();
            }
            return mc;
    }

}

当然,这在一般的多线程场景中不起作用.但请考虑以下情形：

>一开始只有一个线程
>这一个线程第一次调用getInstance(),以便初始化mc.
>之后,第一个线程启动所有其他线程.

我的假设：

这应该有效,因为mc字段的初始化和对象的构造发生在所有后续的Thread.start()调用启动其他线程之前.并且线程的Thread.start()在该线程的所有其他操作之前发生.因此,mc的初始化发生在所有其他线程中的所有操作之前,以便getInstance()将为所有线程返回正确的值.

这个假设是对的吗？为什么/为什么不呢？

解决方法

你的分析确实很好.

确切地说：在一个线程上发生的所有事情都会在关系之前发生(很明显,就是这样说：“如果x和y是同一个线程的动作,x在程序顺序中出现在y之前,那么hb(x,y).“)

然后,JLS的17.4.5继续说出以下内容：

“在启动线程中的任何操作之前,都会在线程上调用start().”

因此,在单例实例化和启动的线程之间的顺序之前有一个明显的发生,因此它们保证看到最新值.

简单地说：创建的线程可以保证在创建之前看到它的父进程所做的一切,否则并发编程几乎是不可能的.