Я читаю книгу Параллелизм на практике .
При чтении главы о JMM говорится:
JMM определяет частичное упорядочение, называемое случайным перед всеми действиями в программе. Чтобы гарантировать, что поток, выполняющий действие B, может видеть результаты действия A (независимо от того, встречаются ли A и B в разных потоках), должно быть отношениями до и между A и B.
Однако я не могу использовать какое-либо правило «до того» для получения правила «Безопасность инициализации»:
Безопасность инициализации гарантирует, что для правильно построенных объектов все потоки будут видетьправильные значения конечных полей, которые были установлены конструктором, независимо от того, как объект публикуется.
Можем ли мы использовать правила «до появления» для получения правила «безопасности инициализации», или это две концепциипросто абстракция одного уровня?