Этот вопрос касается JMM: https://www.cs.umd.edu/~pugh/java/memoryModel/jsr133.pdfТонкие моменты в Случается-До отношения
Не могли бы вы объяснить следующее выражение из JMM спецификации (это раздел 5 на странице 13):
Более конкретно , если два действия разделяют связь между событиями-до, , они не обязательно должны появляться в этом порядке любому коду, с которым они не делятся, до . Пишет в одном потоке, который находится в гонке данных с считанными в другом потоке, может, например, появляться не по порядку до этих чтений.
Если возможно, просьба указать следы выполнения, которые отражают эту проблему.