Отношение «происходит до» в модели памяти Java

(1) Что на самом деле означает фраза «заказано раньше»? Потому что даже если действие_а происходит до действия_b, действие_а может быть выполнено после действия_b в какой-то реализации, верно?

Происходит до — это причинно-следственная, а не временная связь. action_a причинно упорядочен перед action_b, независимо от того, выполняется ли он на самом деле до него. На практике, однако, среде выполнения было бы очень трудно поддерживать причинно-следственную связь без временного порядка. Ознакомьтесь с моим более ранним вопросом, в котором подробно рассказывается о предмет причинности.

(2) Если действие_а происходит до действия_b, значит ли это, что действие_а НЕ ДОЛЖНО видеть действие_b? Или action_a может видеть или не видеть action_b?

Существует определенный общий порядок видимости действий друг другу. Это рассматривается в разделе, определяющем правильное выполнение. Таким образом, для любых двух действий a и b либо a отображается для b, либо b на a или ничего из вышеперечисленного. Хорошим чтением, чтобы понять понятие правильного выполнения, является Примеры модели памяти Java: Хороший, плохой и уродливый.

(3) Если действие_а НЕ происходит до действия_b, а действие_b НЕ происходит до действия_а, означает ли это, что действие_а может видеть или не видеть действие_b?

Да и то и другое возможно. В любом случае нет никакой гарантии.

(4) Не могло быть никаких циклических событий раньше, верно?

Happens-before должен налагать частичное упорядочение, а ключевое свойство упорядочения — отсутствие циклов.

Что это на самом деле означает, говоря, заказал раньше? Потому что даже если действие_а происходит до действия_b, действие_а может быть выполнено после действия_b в какой-то реализации, верно?

Отношение Происходит до создает барьер памяти, который предотвращает выполнение действия-b до действия-a. Таким образом, некоторые базовые оптимизации JVM не могут применяться. Итак, NO действие-a не может выполняться после или вместе с действием-b.

Если action_a происходит до action_b, означает ли это, что action_a НЕ ДОЛЖЕН видеть action_b? Или action_a может видеть или не видеть action_b?

Это означает, что действие-б должно видеть все изменения, внесенные действием-а.

Если action_a НЕ происходит до action_b, а action_b НЕ происходит до action_a, означает ли это, что action_a может видеть или не видеть action_b?

Происходит до — это транзитивное отношение. Таким образом, если действие-а происходит до действия-б, которое происходит до действия-с... так что до действия-у, а действие-у происходит до действия-z, то действие-а происходит до действия-z.

Отношение «происходит до» гарантирует, что действия, которые следуют за текущим действием, увидят изменения, сделанные текущим действием. Если изменения не видны, то происходит раньше не существует.

Раньше не могло быть никаких циклических событий, верно?

Верно, если действие-а происходит до действия-б, действия-с, действия-d, то ни одно из действий b, c, d не может произойти до действия-а.

Изменить:

JLS говорит: Следует отметить, что наличие отношения «происходит до» между двумя действиями не обязательно означает, что они должны выполняться в этом порядке в реализации. Если изменение порядка приводит к результатам, согласующимся с законным исполнением, оно не является незаконным.. Таким образом, если действие-а имеет отношение происходит до с действием-б, то действие-б может выполняться первым при условии, что финал эквивалентен состоянию, если действие а было выполнено до действия б. Это зависит от реализации. JIT может решить запустить действие-b раньше, чем действие a, при условии, что это изменение порядка не повлияет на конечный результат.

2. Итак, действие-а независимо от действия-б. по крайней мере теоретически :)

3. Происходит до определяет последовательные действия. Если действия параллельны, то событие "происходит до" не существует.

Примечание. Вся эта путаница возникает из-за того, что JIT удаляет происходит раньше, если нет зависимости между двумя действиями. Прочтите об анализе побегов.