Size: a a a

2020 May 09

DF

Dollar Føølish in rust_offtopic
На армах нет протокола когерентности
источник

DF

Dollar Føølish in rust_offtopic
Кроме внешнего чипа синхронизатора на 32 битных
источник

DF

Dollar Føølish in rust_offtopic
В стандарте это и написано
источник

DF

Dollar Føølish in rust_offtopic
Provided by most hardware
источник

DF

Dollar Føølish in rust_offtopic
А требования когерентности там нет
источник

D

Dima in rust_offtopic
Modification order and coherence Most of the common target architectures (x86,
Power, ARM, SPARC-TSO) provide a relatively strong guarantee about the ordering of
writes to a single location in a program: they ensure that all of the writes at a single
location appear to happen in a sequence, and that reads from any thread see the writes
in an order consistent with that sequence. C/C++11 provides a similar guarantee over
atomic locations: atomic actions are governed by a per-location total order over the
writes, called modification order .
источник

D

Dima in rust_offtopic
источник

DF

Dollar Føølish in rust_offtopic
Это про in order retirement
источник

DF

Dollar Føølish in rust_offtopic
Это свойство многих процессоров да
источник

DF

Dollar Føølish in rust_offtopic
Я вам рекомендую вместо того чтобы спорить ознакомиться с протоколом когерентности в железе
источник

DF

Dollar Føølish in rust_offtopic
На х86 это mesi
источник

D

Dima in rust_offtopic
Я знаю что такое mesi
источник

D

Dima in rust_offtopic
И moesi
источник

D

Dima in rust_offtopic
И тд
источник

D

Dima in rust_offtopic
мне теперь интересно, что ты понимаешь под cache coherence?
источник

DF

Dollar Føølish in rust_offtopic
Это довольно широкое понятие
источник

DF

Dollar Føølish in rust_offtopic
Можно обеспечить минимальную когерентность , можно полную
источник

DF

Dollar Føølish in rust_offtopic
Суть в том чтобы кэши не имели разных view на память в один момент времени
источник

D

Dima in rust_offtopic
на одну и ту же переменную?
источник

D

Dima in rust_offtopic
участок памяти?
источник