AArch64多映射地址内存同步与缓存维护操作问题咨询

以下结论基于Armv8-A架构规范，默认讨论普通可缓存（Normal Cacheable）内存的常规使用场景。

1. Acquire/Release操作与内存屏障的同步有效性 #

可以正确完成同步，不存在虚拟地址映射差异导致的同步失效问题。

• Armv8-A的内存一致性模型以物理地址为一致性追踪的核心粒度，stlr的release语义、ldar的acquire语义，以及dmb ishst/dmb ishld等屏障指令的顺序约束，作用对象是物理内存位置的访问序列，和访问时使用的虚拟地址没有关联。
• 当两个虚拟地址映射到同一块物理内存时：核心A通过第一个映射执行stlr写入该物理地址的操作，会被纳入全局内存观察顺序；核心B无论通过哪个映射执行ldar读取该物理地址，都能保证观察到release操作之前的所有写入结果，符合RCsc同步语义。
• 硬件缓存一致性的snoop机制追踪的是缓存行对应的物理地址标签，不会因为访问使用的虚拟地址不同就跳过一致性校验，不存在虚拟别名导致的顺序漏洞。

2. 缓存维护指令（dc/ic）的多映射生效规则 #

对映射到同一物理地址的不同虚拟地址执行相同的缓存维护操作，最终效果是等价的，但需要满足内存属性一致的前提：

• 所有以虚拟地址为操作数的dc（数据缓存维护）、ic（指令缓存维护）指令，执行时会先将虚拟地址翻译为物理地址，最终操作对象是该物理地址对应的缓存行，和发起操作时使用的虚拟地址无关。
• 只要两个虚拟映射的内存属性完全一致（比如同为Write-Back可缓存、共享属性一致），对其中任意一个映射下的地址执行dc whatever/ic whatever操作，都会命中对应物理地址的缓存行，完成清理、无效化等操作，效果和对另一映射下相同偏移地址执行操作完全一致。
• 针对VIPT缓存可能出现的虚拟地址别名问题，硬件会自动完成别名一致性处理，不需要软件对所有映射的虚拟地址重复执行缓存维护操作，仅对任意一个映射的对应地址执行操作即可覆盖整个物理地址对应的缓存内容。
• 唯一的例外场景：如果两个虚拟映射配置的内存属性不一致（比如一个为可缓存、另一个为非缓存），会触发架构定义的不可预测行为，不属于多映射内存的常规合规用法。

内容的提问来源于stack exchange，提问作者Mona the Monad