内存对齐

一、内存对齐原理

1. 硬件要求

  • 访问粒度：CPU按字长（4/8字节）读取内存，对齐数据可单周期完成，非对齐需多次访问。
  • 架构限制：RISC架构（如ARMv5、MIPS）严格禁止非对齐访问，触发总线错误；x86允许但性能下降。

2. 对齐规则

  • 数据类型对齐值：由类型大小决定（如int32_t对齐值=4，double对齐值=8）。

  • 结构体对齐：整体对齐值为成员最大对齐值，大小为其整数倍。

  • 示例：

    1
    2
    3
    4
    5
    struct Unaligned {
        char a;      // 偏移0，大小1
        int b;       // 偏移4（需对齐4），大小4 → 总大小8（1+3填充+4）
        double c;    // 偏移8（已对齐8），大小8 → 总大小16
    };               // 结构体对齐值=max(1,4,8)=8 → 总大小16（满足8的倍数）

二、不对齐的后果

1. 性能损失

  • x86：非对齐访问增加2-3个时钟周期开销。
  • ARM Cortex-M：触发对齐异常，进入中断处理，消耗数百周期。

2. 稳定性风险

  • 硬件异常：SPARC、早期ARM核直接抛出SIGBUS信号。
  • 数据错误：多字节类型（如浮点数）被拆分到不同内存块时读取错误。

3. 空间浪费

  • 结构体填充：不合理成员顺序导致冗余填充。

    示例：调整顺序可节省33%空间：

    1
    2
    // 原顺序：1(char) +3填充 +4(int) +8(double) =16字节
    // 优化后：8(double) +4(int) +1(char) +3填充=16字节 → 相同大小但更高效

三、实践优化策略

1. 结构体布局优化

  • 降序排列：按成员对齐值从大到小排列，最小化填充。

    1
    2
    3
    4
    5
    6
    7
    8
    9
    10
    11
    12
    13
    // 低效顺序
    struct Bad {
        char a;    // 1
        int b;     // 4 → +3填充
        double c;  // 8 → 总大小16
    };

    // 高效顺序
    struct Good {
        double c;  // 8
        int b;     // 4
        char a;    // 1 → +3填充 → 总大小16
    };

2. 手动对齐控制

  • 编译器指令：

    1
    2
    3
    4
    5
    6
    #pragma pack(1)    // 取消填充，紧密排列（网络传输适用）
    struct NetworkPacket {
        uint32_t seq;  // 4
        char data[50]; // 50 → 总大小54
    };
    #pragma pack()     // 恢复默认对齐

  • C11标准：

    1
    2
    #include <stdalign.h>
    alignas(16) float matrix[4];  // 按16字节对齐（SIMD优化）

3. 调试与检测

  • GCC诊断：

    1
    gcc -Wpadded -c example.c  # 警告填充字节

  • 内存布局分析：

    1
    printf("Offset of b: %zu\n", offsetof(struct Unaligned, b));  // 输出4

4. 跨平台兼容

  • 序列化处理：网络协议避免直接传输结构体，改用逐字段读写：

    1
    2
    3
    4
    void send_packet(int sock, const struct Packet *p) {
        write(sock, &p->seq, sizeof(p->seq));  // 显式处理每个字段
        write(sock, p->data, sizeof(p->data));
    }

四、性能对比数据

场景 对齐访问周期 非对齐访问周期
x86-64 (Intel i7) 1 3
ARM Cortex-A53 1 异常触发
RISC-V RV64GC 1 异常触发

五、总结

  • 设计原则：优先保证正确性，其次优化空间与性能。
  • 关键决策点：
    • 嵌入式系统：严格对齐，避免异常。
    • 高性能计算：手动对齐至缓存行（通常64字节）提升向量化效率。
    • 网络通信：使用#pragma pack确保跨平台一致性。