_mm256_loadu_pd跨内存边界加载为何不触发段错误？是否存在未定义行为？

问题描述 #

假设使用非对齐打包加载指令_mm256_loadu_pd对单个double类型数据进行加载（测试代码如下），核心疑问包括：

1. 该操作是否违反C++标准中的严格别名规则（strict aliasing rule）或导致未定义行为（UB）？理论上是否应触发段错误（segfault）？
2. 若不会触发段错误，该行为是否可依赖？（此操作可用于一次性加载3个double等场景）

测试代码 #

#include <immintrin.h>
#include <cstdio>

int main() {
    double* ptr = new double {};
    double buf[4];
    _mm256_storeu_pd(buf, _mm256_loadu_pd(ptr));
    delete ptr;
    std::printf("%e\n", buf[3]);
}

测试环境与现象 #

• 编译环境：gcc-14.2.1，编译参数g++ -mavx -pedantic -Wall，编译无警告
• 运行环境：GNU/Linux 6.13.2-arch1-1，运行无段错误
• 使用AddressSanitizer（编译参数-fsanitize=address）时，报告堆缓冲区溢出

问题解答 #

1. 严格别名规则、未定义行为与段错误的关系 #

• 严格别名规则：C标准的严格别名规则禁止用不兼容类型访问对象，但__m256d这类SIMD类型属于编译器扩展，并非C标准定义类型。GCC等主流编译器明确允许通过SIMD intrinsics访问标量类型内存，因此该操作不违反严格别名规则。
• 未定义行为：从C++标准层面看，SIMD intrinsics本身属于扩展，标准未覆盖这类操作的行为，因此不能直接归为标准定义的UB；但从编译器实现角度，这种超出分配内存范围的访问属于实现定义的行为，而非标准UB。
• 段错误的可能性：段错误是CPU访问当前进程地址空间外内存页时触发的硬件异常。new double仅分配8字节，但_mm256_loadu_pd会加载32字节（4个double），即读取ptr之后的24字节内存。如果这部分内存属于当前进程的地址空间（比如堆空闲区域、其他已分配堆内存或栈内存），硬件不会触发段错误；只有访问到进程地址空间之外的页时，才会触发segfault。这就是测试代码能正常运行，但ASan会报错的原因——ASan能检测到逻辑上的缓冲区溢出，无论硬件是否允许访问。

2. 行为是否可依赖？ #

绝对不可依赖，原因如下：

• 读取超出分配范围的内存属于非法访问，即便当前未触发错误，后续代码变更、内存布局变化（如其他分配操作）都可能导致读取无效数据，甚至触发段错误。
• 不同编译器、操作系统、硬件平台的行为可能不一致：比如某些系统的堆分配器可能在单个double之后的内存是未映射页，此时会直接触发segfault；或者编译器优化可能改变内存布局，导致读取到不可预测的值。
• 若需加载多个double（如3个），正确做法是确保加载的内存范围合法分配：比如分配足够大小的数组，或使用栈上缓冲区覆盖所需内存范围，避免越界访问。

核心疑问补充：为何硬件/内核允许此类加载？ #

CPU和内核不会主动阻止进程访问自身地址空间内的内存——即便该内存是未分配的堆区域或栈上空闲空间，只要属于进程虚拟地址空间，硬件就允许访问；只有访问到虚拟地址空间之外或无权限的页（如内核空间）时，才会触发页错误进而导致segfault。而ASan通过插桩标记内存合法范围，能检测到这种逻辑上的越界，无论硬件是否允许访问。

内容的提问来源于stack exchange，提问作者YiFei