разовых безопасная публикация через Java летучего

Question

В этом учебнике (link) на летучей декларации Java заключается в следующем примере:

public class BackgroundFloobleLoader { 
    public volatile Flooble theFlooble; 

    public void initInBackground() { 
     // do lots of stuff 
     theFlooble = new Flooble(); // this is the only write to theFlooble 
    } 
} 

public class SomeOtherClass { 
    public void doWork() { 
     while (true) { 
      // do some stuff... 
      // use the Flooble, but only if it is ready 
      if (floobleLoader.theFlooble != null) 
       doSomething(floobleLoader.theFlooble); 
     } 
    } 
} 

Говорит, что фоновый поток загружается из базы данных, так что я думаю, что автор означает, что экземпляр new Flooble() занимает значительное количество времени.

Цитирую: Without the theFlooble reference being volatile, the code in doWork() would be at risk for seeing a partially constructed Flooble as it dereferences the theFlooble reference.

Как это может быть? Я бы ожидал противоположного. То есть, я ожидал, что без волатильной декларации поток, вызывающий метод doWork, рискует увидеть Флообл с опозданием или вообще никогда.

Answer 1

Это может быть вызвано переупорядочиванием компилятора. Компилятор может встроить конструктор Flooble и изменить порядок инициализации его полей и присвоить ссылку на переменную theFlooble. Объявление theFlooble volatile предотвращает такие переупорядочивания.

См https://www.cs.umd.edu/~pugh/java/memoryModel/DoubleCheckedLocking.html

Answer 2

компилятор может встраивать конструктор Flooble и изменить порядок инициализации его полей и присвоения ссылки на theFlooble переменную

Я видел это заявил в блогах, SO сообщений и множество других мест, но это прямо противоречит спецификации языка java:

https://docs.oracle.com/javase/specs/jls/se8/html/jls-12.html#jls-12.5

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

Одна сборка декомпиляции, которую я видел, похоже, показала, что это было сгенерировано древним компилятором Symantec JIT - не совсем официальным.

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