Что хотят услышать интервьюеры:

Happens-before — это правило Java Memory Model, которое определяет, когда одно действие в потоке гарантированно видно другому. Если между операциями есть happens-before, то изменения памяти становятся предсказуемыми для других потоков. Это основа для понимания, почему volatile, synchronized, Lock, запуск и завершение потоков обеспечивают потокобезопасность.

Определение:

Happens-before — это отношение порядка между действиями в многопоточной программе. Если операция A happens-before операции B, то все изменения, сделанные до A, должны быть видны B, а сами операции не могут быть переупорядочены так, чтобы нарушить эту видимость.

В Java это не просто «раньше по времени», а гарантированный порядок видимости и выполнения с точки зрения памяти. Именно поэтому механизм важен: он отвечает не только за последовательность, но и за то, какие данные один поток обязан увидеть после действий другого.

Пример использования:

class SharedState {
    private volatile boolean ready = false;
    private int data = 0;

    public void writer() {
        data = 42;
        ready = true; // запись в volatile
    }

    public void reader() {
        if (ready) {  // чтение volatile
            System.out.println(data);
        }
    }
}

Здесь запись ready = true happens-before последующего чтения ready в другом потоке. Поэтому, если reader() увидел ready == true, он также увидит актуальное значение data == 42.

Пояснение кода:

В writer() сначала записывается data = 42.
Затем выполняется запись в volatile-поле ready = true.
В Java запись в volatile публикует все предыдущие изменения в памяти.
Когда другой поток читает ready == true, это чтение связано с записью по правилам happens-before.
Поэтому чтение data после проверки ready не увидит устаревшее значение.

Без volatile поток reader() мог бы увидеть ready == true, но при этом прочитать старое значение data, потому что у JVM и процессора есть право переупорядочивать операции и держать данные в локальных кешах.

Ключевые моменты:

Happens-before — это гарантия видимости и порядка, а не просто хронология выполнения.
Если A happens-before B, то результаты A обязаны быть видны B.
volatile создаёт happens-before между записью в переменную и последующим чтением этой переменной.
synchronized даёт happens-before между выходом из монитора и последующим входом в тот же монитор.
start() и join() тоже участвуют в установлении happens-before между потоками.
Это базовая модель, которая объясняет, почему потокобезопасный код работает предсказуемо, а без неё возможны гонки и «невидимые» изменения.

Можете объяснить концепцию happens-before в языке Java и её роль в обеспечении потокобезопасности?