new Singleton() — три шага: выделить память, выполнить конструктор, присвоить ссылку. Без volatile присвоение может опередить конструктор, и второй поток на первой проверке (вне synchronized) получит недостроенный объект.
А ещё Локальная переменная уменьшает число volatile-чтений
Так подсказку видит пользователь sotto на живом собеседовании — за пару секунд, пока вы думаете вслух.
Разложи new Singleton() на три шага: выделить память, отработать конструктор, присвоить ссылку — операция не атомарна. Без volatile модель памяти разрешает переупорядочивание, при котором ссылка присваивается до завершения конструктора. Тогда второй поток на первой (небезопасной) проверке видит не нулевую ссылку, пропускает синхронизацию и получает частично инициализированный объект — с полями по умолчанию вместо реальных значений. volatile закрывает дыру, потому что запись в него happens-before последующего чтения и запрещает такое переупорядочивание. Сильное завершение — что в реальном коде проще взять enum-синглтон или static holder, где ленивость обеспечивают правила инициализации классов, и DCL писать вручную не нужно.
sottoprivate static volatile Singleton instance;
static Singleton get() {
Singleton r = instance;
if (r == null) {
synchronized (Singleton.class) {
r = instance;
if (r == null) instance = r = new Singleton();
}
}
return r;
}
// проще:
class Holder { static final Singleton INSTANCE = new Singleton(); }Зачем нужна модель памяти, видимость и переупорядочивание, отношение happens-before, семантика volatile и final, гонки данных.
sotto слышит вопрос интервьюера и показывает короткий ответ и план, как в блоке «Коротко». Оставьте контакт — пришлём доступ и промокод.