Каждое действие в потоке происходит - перед каждым действием в этом потоке, которое происходит позже в порядке программы

Question

Первая точка маркера Свойства согласованности памяти :

• Каждое действие в потоке происходит до каждое действие в этом потоке, которое происходит позже в порядке программы.

Полагаю, это относительно недавнее дополнение к модели памяти Java, потому что Джон Скит не упомянул об этом в 2011 .

Что именно означает этот пункт на практике? Мне трудно понять это. Означает ли это просто «В одном потоке нет проблем с параллелизмом»? Или есть еще что-то?

Answer 1

Что именно означает этот пункт на практике?

Все в потоке условно происходит в том порядке, в котором выполняется программа (на самом деле, инструкции могут быть переупорядочены для ускорения работы программы)

У меня естьтрудно понять это.

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

Означает ли это просто "В одном потоке нет проблем параллелизма"?

Да, не должно, но может быть.например, проблема безопасности The Spectre и Meltdown воспользовалась этим.