为何必须对齐内存地址？未对齐内存访问未报错原因排查

问题描述 #

1. 内存地址在使用前必须对齐，已知未对齐会增加CPU缓存性能开销，且部分处理器访问未对齐内存会抛出异常，想知道处理器限制未对齐内存访问是否仅出于性能考量？
2. 尝试访问一处要求8字节对齐的未对齐内存，预期触发segmentation fault，但未出现任何错误，这是为什么？

环境规格 #

• MacBook Air M3
• Docker Engine v27.5.1
• Docker镜像：ubuntu:latest（模拟x86_64架构）

测试代码 #

section .data
    something db 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00

section .text
global _start:
_start:
    mov rax, something + 1
    mov rcx, [rax] ; expected segmentation fault here
    mov rax, 60
    xor rdi, rdi
    syscall

解答 #

处理器限制未对齐访问的原因不止性能 #

处理器对未对齐访问的限制，核心原因有两个：

• 硬件设计复杂度：早期处理器的内存控制器只能高效处理对齐的内存访问，未对齐访问需要额外电路拆分、合并内存周期，会大幅增加硬件设计难度和成本。即使现代处理器支持未对齐访问，这部分额外开销依然存在。
• 指令集约束：部分特殊指令（比如SSE、AVX等SIMD指令，或部分架构下的专用加载存储指令）要求严格对齐，未对齐访问会直接触发异常。这类指令的设计是为了最大化并行处理效率，对齐是保证其正确运行的前提。
  性能只是其中一个维度，硬件实现难度和指令集功能正确性同样是关键因素。

为什么测试代码没触发段错误？ #

x86_64架构的通用寄存器加载/存储指令（比如你用的mov）默认允许未对齐访问，处理器会自动处理这种情况：当访问未对齐地址时，处理器会发起两次内存读取（或写入），再合并数据返回给寄存器，只是这个过程会比对齐访问多消耗几个CPU周期，但不会触发段错误。

只有满足以下条件时，x86_64才会因未对齐访问抛出异常：

• 使用了要求严格对齐的指令（比如movdqa这类SSE对齐加载指令）；
• 操作系统开启了对齐检查机制（比如设置CR0寄存器的AM位，不过现代系统默认不会开启）。

你用Docker模拟x86_64架构，依然遵循x86_64的指令规则，所以普通mov指令的未对齐访问不会触发segmentation fault。

内容的提问来源于Stack Exchange，提问作者LEE LUNA