Каким образом обеспечивается последовательность операций между потоками с учетом правил Happens-before?

В Java правила Happens-before определяют порядок видимости операций между потоками, гарантируя, что изменения, сделанные одним потоком, будут видны другому в определённом порядке. Последовательность операций обеспечивается через:

• Синхронизацию: использование ключевого слова synchronized создает монитор, который гарантирует, что все операции внутри блока синхронизированы и видимы другим потокам после выхода из блока.

• Volatile-переменные: чтение и запись volatile-переменных устанавливают happens-before отношения, обеспечивая видимость изменений между потоками.

• Конструкторы потокобезопасных классов: например, классы из java.util.concurrent используют внутренние механизмы для установления happens-before.

• Методы из java.util.concurrent: такие как Lock, CountDownLatch, Atomic классы, которые обеспечивают happens-before через свои операции.

Пример с volatile:

volatile boolean ready = false;
int number = 0;

// Поток 1
number = 42;
ready = true; // запись в volatile

// Поток 2
if (ready) { // чтение volatile
    System.out.println(number); // гарантированно увидит 42
}

Здесь запись в ready happens-before чтения ready в другом потоке, поэтому изменения number будут видны.