Happens-before — гарантия, что результаты A видны в B. Пары: порядок внутри потока, unlock → последующий lock того же монитора, запись volatile → последующее чтение того же поля, Thread.start() → действия потока, действия потока → успешный join(). Отношение транзитивно.
А ещё Нет цепочки happens-before — нет гарантии, даже если «по времени уже записано»
Так подсказку видит пользователь sotto на живом собеседовании — за пару секунд, пока вы думаете вслух.
Happens-before — не про время, а про гарантию: если A happens-before B, то результаты A видны в B. Базовые правила: порядок операций внутри одного потока; unlock перед последующим lock того же монитора; запись volatile перед последующим чтением; Thread.start() перед всем в потоке; всё в потоке перед возвратом из join(); замораживание final-полей в конце конструктора. Отношение транзитивно — именно это позволяет опубликовать целый граф объектов через одну volatile-ссылку. Обычные чтения без синхронизации никаких гарантий не дают.
Несколько верных вариантов. Подумайте, потом откройте ответ.
Зачем нужна модель памяти, видимость и переупорядочивание, отношение happens-before, семантика volatile и final, гонки данных.
sotto слышит вопрос интервьюера и показывает короткий ответ и план, как в блоке «Коротко». Оставьте контакт — пришлём доступ и промокод.
sotto