mr_virtusХочу разобраться в том как работает happens before

Не заморачивайся. Правда. Рано ещё.
Нужно понять одну вещь. Java Memory Model это сложный инструмент доказательства возможных и не возможних исходов некого кода в многопоточном исполнении.
Это не то что "работает". Это некоторая "гарантия", которую выдают JVM для определенного кода.

mr_virtusне понимаю чем плох этот код, как его можно запустить и проверить, что он плохо работает.

Вот и я говорю рано ещё. Отложи на время.
Я уже вроде расписывал где-то на форуме. Но найти что-то не могу сходу.
Есть синглтон.
Он должен быть "ленивым" - создавать instance только когда попросят, но не раньше.
Он должен быть потокобезопасным - instance создаётся только 1 раз, даже если первый вызов выполняет сразу несколько потоков.
Созданый instance должен после инициализации возвращаться максимально быстро без блокировок потоков. Что и конфликтует с предыдущим требованием.

mr_virtusИли как то по-другому стоит понять как работает happens before? Почитать, реализовать что то?

Много-много читать про JMM.
Например вот тут много толково и подробно разжевано:
http://cheremin.blogspot.com/

mr_virtusА мне нужно для работы быстро разобраться. Хотя бы базовую концепцию понимать.
Может кто объяснит, пожалуйста, либо статью понятную подкинет.

Откуда такая уверенность, что прямо "нужно для работы"
Happens before это отношение частично порядка. Оно используется для того чтобы описать, что если операция А произойдёт до операции B, то операция B гарантировано увидит изменения сделанные первой операцией.

Ну, попробуй в спеке прочитать

https://docs.oracle.com/javase/specs/jls/se8/html/jls-17.html Two actions can be ordered by a happens-before relationship. If one action happens-before another, then the first is visible to and ordered before the second.

If we have two actions x and y, we write hb(x, y) to indicate that x happens-before y.

If x and y are actions of the same thread and x comes before y in program order, then hb(x, y).

There is a happens-before edge from the end of a constructor of an object to the start of a finalizer (§12.6) for that object.

If an action x synchronizes-with a following action y, then we also have hb(x, y).

If hb(x, y) and hb(y, z), then hb(x, z).



ИМХО, вполне просто написано.

а потом по той же спеке разобраться в примерах где это используется

For AllБазовая концепция: на разделяемых (видимых разным потокам) мутабельных переменных всегда ставить модификатор volatile .
А лучше final ;)

mr_virtusСпросили про это. А я затруднился с ответом. Говорят - что это базовые вещи в многопоточном программировании. Знать обязательно и пригодится в будущем.
Те кто так говорят имеют завышеное ЧСВ. Блокировки, взаимоблокировки, синхронизация - это базовые вещи. happens before и JMM это то что далеко не все понимают и могут использовать. HB вообще относится к теории множеств.

mr_vitusГоворят - что это базовые вещи в многопоточном программировании
DEVcoachТоповые позиции требуют понимания HB в обязательном порядке.
Топовые, базовые, какая на.. ой. Разница?