Вопросы React Frontend Developer

happens-before — это отношение порядка между операциями в Java Memory Model.
Если одна операция happens-before другой, то её результаты гарантированно видны.
Это не обязательно реальный порядок выполнения.
Отношение используется JVM для определения корректности многопоточных программ.
Без него невозможно формально рассуждать о потокобезопасности.

Запись в volatile поле формирует отношение happens-before с последующим чтением этого поля.
Это гарантирует видимость всех предыдущих записей.
Таким образом volatile используется как точка синхронизации.
Это одна из самых простых форм happens-before в Java.
Она широко используется в lock-free паттернах.

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