DF
То есть у тебя обычный райтбек кэш может хранить значение которое устарело для другого кэша. Если без когерентности
Size: a a a
2020 May 09
DF
Да, на одну и ту же линию кэша
DF
Можно сказать на одну переменную на один участок памяти
D
ну вот у тебя с атомики не будут работать на такой машине
DF
Ну логично да
D
где это не соблюдается
D
ну вот
DF
Это не соблюдается много где
DF
Просто есть привязка к барьерам
DF
И если ты даже на машине без когерентных кэшей сделаешь релиз барьер на арме например . Оно будет синхронизировать
DF
Поэтому я и говорю ,это широкое понятие
DF
Возможно кстати требования в стандарте действительно есть хотя бы на какую то когерентность , но не в тех абзацах которые ты кидал
D
они есть в стандарте, я щас не хочу рыскать по довольно бесполезному документу чтоб это найти
DF
А что в стандарте говорится?
DF
Ну своими словами
D
https://www.cs.kent.ac.uk/people/staff/mjb211/docs/toc.pdf да вот с 73 страницы примерно то и говорится
DF
Там про порядок изменений
DF
Но не говорится что Рид будет видеть их все
DF
Порядок изменений обеспечивается двумя вещами : отсутствием реордеринга атомиков со стороны компилятора и in order retirement инструкций на популярных цпу
DF
Хз как это связано с когерентностью кэшей