Каково точное значение контекста final-field-safe в JLS

Чтобы понять, что такое JLS 17.5. 3 означает, что под «безопасным контекстом последнего поля» рассмотрим следующий код

public static final AccountType SINGLETON_ACCOUNT_TYPE = new AwesomeAccountType();

До Java 5 в Java была «особенность», в которой разработчики считали безопасность потоков при создании AwesomeAccountType и ее присвоение SINGLETON_ACCOUNT_TYPE безопасным. К сожалению, спецификация была неоднозначной и / или не указала поведение, что привело к тому, что разные реализации JVM имели разное поведение. В результате в этом сценарии Java часто не была потокобезопасной и переносимой.

Причина этого заключалась в том, что порядок операций, задействованных в создании AwesomeAccountType, мог быть переупорядочен во время выполнения таким образом, чтобы ссылка на объект могла стать видимой для другого потока до того, как объект был полностью построен. Поведение было недетерминированным, оно всегда работало на одноядерных процессорах и обычно работало на процессорах Intel, но в спешке падало на процессоры с более слабой моделью памяти, такой как Dec Alpha.

Тогда «безопасный контекст последнего поля» - это область кода, которая участвует в назначении вышеприведенному последнему полю (SINGLETON_ACCOUNT_TYPE), и он охватывает весь конструктор для AwesomeAccountType И код, внутренний для JVM для выделения и инициализации память для объекта.

Эти изменения в модели памяти Java были внесены в JSR133, следующий FAQ очень полезен для понимания контекста внесенных изменений: Часто задаваемые вопросы по JSR133.