Какие знаешь события, связанные отношением Happens Before

Happens Before — это отношение, гарантирующее, что одно событие видимо для другого и выполняется до него. В Java оно обеспечивается следующими механизмами:

1. Синхронизация (мониторы, synchronized):
   java

   Копировать

   synchronized (lock) { // Запись
       x = 1;
   }
   synchronized (lock) { // Чтение
       System.out.println(x); // Гарантированно увидит 1
   }

2. volatile переменные:
   Запись в volatile поле happens before чтение того же поля.

3. Запуск и завершение потоков:

   • Thread.start() happens before действия в новом потоке.
   • Действия в потоке happens before Thread.join().

4. Класс java.util.concurrent:

   • CountDownLatch, CyclicBarrier, Future.
   • Запись в ConcurrentHashMap happens before последующее чтение.

5. Инициализация (final поля):
   Корректная публикация объекта через final поля гарантирует видимость его состояния.

Пример с volatile:

volatile boolean flag = false;
// Поток 1
flag = true; // happens before
// Поток 2
if (flag) { // Увидит true, если запись уже произошла
    System.out.println("Done");
}