Что такое happens-before?

Happens-before — отношение порядка в JMM. Если операция A happens-before B, то результаты A гарантированно видны в B. Ключевые правила: 1) порядок в одном потоке, 2) unlock монитора → lock того же монитора, 3) volatile write → volatile read той же переменной, 4) Thread.start() → любая операция в потоке, 5) завершение потока → Thread.join(), 6) конструктор final-полей → использование объекта. Транзитивность: A hb B, B hb C → A hb C. Без happens-before всё непредсказуемо.