Слабость для Singleton в модели памяти Java с синхронизированными блоками

Question

Я читаю «Многопроцессорные вычисления» Нира Шавита. Это объясняет Java модель памяти и дает пример на странице 62:

public static Singleton getInstance() { 
    if (instance == null) { 
    synchronized(Singleton.class) { 
     if (instance == null) 
     instance = new Singleton(); 
    } 
    } 
    return instance; 
} 

и говорит, что:

Эта модель, как только общее, является неправильным. На строке 5 вызов конструктора появляется, прежде чем поле экземпляра будет назначено, но модель памяти Java позволяет этим шагам возникнуть не в порядке, эффективно делает частично инициализированный Singleton-объект видимым для других программ.

Итак, означает ли это, что такая синхронизация может не гарантировать того, что мы хотим от Singleton?

Answer 1

Итак, означает ли это, что такая синхронизация не может гарантировать то, что мы хотим от Singleton?

Это зависит от того, что вы хотите от синглтона. Если вам нужен только один экземпляр, решение в вашем фрагменте достигнет этого. Если вы хотите только один экземпляр и хотите, чтобы этот экземпляр был полностью инициализирован при доступе к нему (это слишком много, чтобы спросить?), Тогда нет, вы не достигнете этого с помощью фрагмента.

Другой поток вызова getInstance и чтение значение instance поля

if (instance == null) { 

может увидеть присвоенное значение, ссылающийся объект, который еще предстоит инициализируется контроллером. Поскольку это значение не равно null, метод возвращает его, а неинициализированный объект течет.

Исправлена, помеченная полем как volatile.