Liste des Groupes | Revenir à c arch |
Michael S wrote:On Thu, 27 Jun 2024 01:47:49 +0000
mitchalsup@aol.com (MitchAlsup1) wrote:
>Exactly what are you intending to mean from "single-copy atomic>
accesses" ??
>
It sounds as a politically correct way of saying "default memory
ordering of ARMv8.1-A and later".
I.e. weaker than x86-64 and SPARC TSO, but stronger than Itanium.
Probably stronger than POWER, but I am not sure if POWER ever had memory
ordering model formalized.
>
Multi-copy atomic is ARM's name for a write-update coherence protocolSounds like SNARFing
as it allows each cache to have its own copy of a single memory
location.
Single-copy atomic is their name for a write-invalidate protocol
as it ensures that there is one value for each memory location.
Originally ARM's weak cache coherence protocol spec, like Alpha,Seems to me that if one is sequentially consistent, then one is also
did not explicitly exclude multi-copy atomic so software designers had
to consider all the extra race conditions a write-update implementation
might allow. But this was wasted extra effort because no one implements
a write-update protocol, just write-invalidate.
Eventually ARM specified that it was single-copy atomic
(write-invalidate).
Les messages affichés proviennent d'usenet.