Как volatile связан с happens-before?

Связь volatile и happens-before — строго формализована в JMM.

Формальное правило

Определение:
Запись в volatile поле happens-before любого последующего чтения этого же поля.

Что это дает

Это правило гарантирует:

1. Видимость всех записей, выполненных до volatile write.

2. Запрет опасных переупорядочиваний.

3. Корректную публикацию состояния.

Пример публикации объекта

class Holder {
    int value;
}

volatile Holder holder;

// поток 1
Holder h = new Holder();
h.value = 42;
holder = h; // volatile write

// поток 2
Holder h2 = holder; // volatile read
System.out.println(h2.value); // всегда 42

Без volatile:

• значение могло бы быть неинициализированным

Ограничения подхода

Важно помнить:

1. volatile не заменяет блокировки.

2. Подходит только для простых сценариев.

3. Не защищает инварианты нескольких полей.

Краткий вывод

volatile напрямую формирует отношение happens-before, обеспечивая гарантии видимости и порядка между потоками.