singleton с неизменным классом в java

Question

class MyClass 
{ 
    private static volatile Resource resource; 

    public static Resource getInstance() 
    { 
      if(resource == null) 
         resource = new Resource(); 
      return resource; 
    } 
} 

Здесь, если Ресурс является неизменным классом, безопасно ли написать вышеприведенный код? Как и в java-параллелизме на практике, упоминается, что «безопасность инициализации позволяет правильно сконструированные неизменяемые объекты безопасно распределять по потоку. Таким образом, вышеприведенный код безопасен для написания». (на странице № 349 16.3). Но с этим возможно, если два потока проверили нуль, и они могут продолжить создание объекта, что противоречит инварианту класса (singleton). пожалуйста, объясни. Продолжение вопроса в link

Answer 1

Нет, это нетоновый код. В этом случае Resource может быть потокобезопасным, но ваш метод getInstance не является.

Представьте себе такую ​​последовательность событий

Thread1 calls getInstance and checks "if resource == null" and then stops (because the OS said it was time for it to be done) before initializing the resources. 

Thread2 calls getInstance and checks "if resource == null" and then initializes the instance 

Now Thread1 starts again and it also initializes the instance. 

В настоящее время инициализируется дважды, и не является одноточечным.

У вас есть несколько вариантов, чтобы сделать его потокобезопасным.

1. Сделать метод getInstance синхронизируется

2. Инициализировать экземпляр по декларации (или в статическом инициализаторе), и getInstance может просто вернуть его.

Вам также не нужно делать переменную изменчивой. В случае №1 синхронизация метода все равно сбрасывает переменную, поэтому все переменные будут видеть обновленную копию. В случае №2 объект гарантированно будет отображаться для всех объектов после строительства.