Какие операции формируют отношение happens-before?

Question

Отношение happens-before формируется набором строго определённых правил.К ним относятся синхронизация через synchronized, volatile, запуск и завершение потоков.Также учитываются операции с final полями и транзитивность.Эти правила определяют, какие изменения памяти гарантированно видны.Без них многопоточный код не имеет формальной корректности.

YeaHub · Accepted Answer

Java Memory Model задаёт набор операций, которые формируют отношение happens-before.Основные правила happens-beforeПеред перечислением важно отметить, что правила являются формальными гарантиями, а не рекомендациями.1. Правило порядка в одном потокеОперации в одном потоке:Выполняются в программном порядке.Предыдущая операция happens-before последующей.2. synchronizedДля одного и того же монитора:Выход из synchronized-блока happens-beforeВхода в synchronized-блок другим потоком.synchronized (lock) {
    shared = 1;
}
// happens-before
synchronized (lock) {
    System.out.println(shared);
}
3. volatileДля одного поля:Запись в volatile happens-beforeЛюбого последующего чтения этого же поля.4. Запуск потокаВызов:thread.start();
happens-before:всем действиям внутри нового потока.5. Завершение потокаЗавершение потока happens-before:успешному возврату из join().6. final поляЗапись final поля в конструкторе happens-before:чтению этого поля после корректной публикации объекта.ТранзитивностьЕсли:A happens-before BB happens-before CТо:A happens-before CКраткий выводОтношение happens-before формируется через synchronized, volatile, жизненный цикл потоков, final поля и транзитивность, задавая формальную основу многопоточности.