Читаю http://www.javaspecialist.ru/2011/06/java-memory-model.html Отношение happens-before так же накладывает сильные ограничения на reordering. С точки зрения потока Y все операцие произошедшие до точки happens-before в потоке X он может рассматривать как операции свершившиеся в своем собственном потоке. Т.е. никакого логического reordering по сравнению с прямым порядком в исходном коде с точки зрения потока Y быть не может.

Если взглянуть внимательнее на границу happens-before с точки зрения reordering для потока Y, то никакие операции располагающиеся выше границы happens-before в потоке X, не могут выполнится ниже границы happens-before в результате reordering, однако, операциям, находящимся ниже границы, разрешено выполнение до неё. Более наглядно это изображено на рисунке.


и такая картинка там имеется:


Оба абазаца не понял.

По первому абазацу:
1. Что такое логический реордеринг?
(автор имеет ввиду, то что все операции просто завершились к моменту HB? или обязательно он увидит, что строка 3 выполнится раньше строки 4? хотя я тут вообще не понимаю. Ведь я так понимаю мысинкаемся только в момент HB. В общем я не понял, что хотел сказать автор)

2. Вот Картинка вообще в ступор вгоняет.

Если поменять местами 3 и 4 строка, то работать ничего не будет, а вот если 4 и 3, то всё будет огонь. Что за бред?


P.S. Что такое реордеринг, я знаю

vslquestioner,
questionerЕсли поменять местами 3 и 4 строка, то работать ничего не будет, а вот если 4 и 3, то всё будет огонь. Что за бред?
Стрелочки там не про перестановку строк 3 и 4, а вот про этот текст:
никакие операции располагающиеся выше границы happens-before в потоке X, не могут выполнится ниже границы happens-before в результате reordering, однако, операциям, находящимся ниже границы, разрешено выполнение до неё
Т.е. «x=1» не может быть выполнено после «unlock M», однако что-то, стоявшее после «unlock M», вполне может быть выполнено до unlock.
Присмотритесь, они же не стыкуются со строкой 4, а начинаются/заходят за неё.

Да, спасибо, второй вопрос снят.

остаётся только первый.