栈中仅含单个元素时printf触发段错误的问题排查

核心原因是x86-64 SysV ABI的栈对齐要求——标准C库函数（比如printf）被调用前，栈指针%rsp必须是16字节对齐的，否则会因内存访问对齐错误触发段错误。

具体分析 #

• _start入口时，内核初始化的栈是16字节对齐的（栈顶指向argc参数）。
• 执行push $5后，%rsp减少8字节（64位push操作的步长），此时栈指针偏移8字节，破坏了16字节对齐要求。调用printf时，函数内部的某些操作（比如SSE指令访问栈上的对齐内存）会触发段错误。
• 若额外push一个元素（比如$6），%rsp再减8字节，总共偏移16字节，栈回到16字节对齐状态，printf就能正常执行。

排查与修复思路 #

1. 强制栈对齐：在调用printf前，用指令将%rsp对齐到16字节边界：

   and $-16, %rsp  # 将%rsp向下对齐到16字节
   

   注意：执行此操作前如果栈上有需要保留的数据，要先处理（比如暂时保存到寄存器，或者调整栈空间），避免数据被覆盖。

2. 调整栈操作维持对齐：确保调用C函数前，栈的操作次数是偶数次（每次push/pop是8字节，偶数次操作后栈偏移16的倍数，维持对齐）。比如可以先push一个临时占位值，调用完printf后再pop掉。

修正后的示例代码 #

.fmt:
    .asciz "%d\n"
.text

.globl _start

_start: 
    push $5

    pop %rdx
    mov %rdx, %rsi
    push %rdx

    # 强制栈对齐到16字节
    and $-16, %rsp

    mov $.fmt, %rdi
    call printf
    xor %rax, %rax

    push $6

    pop %rdx
    pop %rcx
    add %rdx, %rcx
    push %rcx

    mov $60, %rax
    pop %rdi
    syscall

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