AArch64 是否支持非对齐访问？

Question

AArch64 是否原生支持非对齐访问？我问是因为目前ocamlopt 假设“否”。

Answer 1

为严格对齐检查提供硬件位未打开（这与 x86 上一样，实际上没有通用操作系统会这样做），AArch64 确实允许使用常规方法对普通（非设备）内存进行未对齐的数据访问加载/存储指令。

但是，编译器仍希望保持对齐数据的原因有几个：

• 读取和写入的原子性：自然对齐的加载和存储保证是原子的，即如果一个线程同时读取对齐的内存位置，而另一个线程写入相同的位置，则读取只会返回旧值或新的价值。如果位置未与访问大小对齐，则该保证不适用——在这种情况下，读取可能会返回两个值的未知混合。如果该语言有一个依赖于不发生这种情况的并发模型，它可能不会允许未对齐的数据。
• 原子读-修改-写操作：如果语言有一个并发模型，其中部分或所有数据类型可以以原子方式更新（不仅仅是读或写），那么对于这些​​操作，代码生成将涉及使用 load-exclusive/store-exclusive 指令来构建原子读取-修改-写入序列，而不是普通的加载/存储。如果地址未与访问大小对齐，则独占指令将始终出错。
• 效率：在大多数内核上，未对齐的访问充其量仍比正确对齐的访问长至少 1 个周期。在最坏的情况下，单个未对齐的访问可以跨越缓存线边界（这本身就有额外的开销），并产生 两次 缓存未命中甚至两个连续的页面错误。除非您处于非常受内存限制的环境中，或者无法控制数据布局（例如从网络接收缓冲区中提取数据包），否则最好避免未对齐的数据。
• 必要性：如果该语言有一个合适的数据模型，即没有指针，并且任何来自外部源的数据已经在较低级别编组为适当的数据类型，那么无论如何都不需要非对齐访问，它使编译器的完全忽略这个想法会容易得多。

我不知道 OCaml 特别关注什么，但如果它是“以上所有”，我当然不会感到惊讶。