自定义内核中RSP未16字节对齐导致SSE movaps指令故障

问题根源：上下文创建例程破坏x86-64 SysV ABI对齐要求 #

x86-64 SysV ABI明确规定：

• 执行call指令前，调用者的RSP必须是16字节对齐
• call指令会压入8字节返回地址，因此被调用函数入口时RSP是8字节对齐，函数需自行调整至16字节对齐以使用movaps这类SIMD指令

你的异常并非编译器行为错误，而是ctxcreat上下文创建例程生成的初始栈帧违反了ABI对齐规则：

1. ctxcreat中共执行了25次push操作（奇数），每次push占用8字节，总栈空间为25*8=200字节，200 mod 16=8，导致任务被调度后，执行ret进入初始化函数时，RSP处于8字节对齐状态（而非ABI要求的call前16字节对齐）。
2. 后续所有函数调用都会继承这个对齐错误：以json_parse_ex为例，函数入口时RSP已是16字节对齐（不符合call后的8字节对齐预期），经过6次push（48字节）和sub rsp, 0x128（296字节）的调整后，最终RSP为0xffffffff6ffca08，未满足SIMD指令的16字节对齐要求，触发General Protection Fault。

编译器的行为完全符合ABI规范：它假设函数入口时RSP是8字节对齐（由调用者的call保证），因此生成的代码会通过push/sub rsp调整至16字节对齐。但由于上下文创建例程破坏了初始对齐，导致编译器的假设不成立，最终出现错误。

解决建议 #

1. 修复ctxcreat的栈帧对齐 #

调整ctxcreat中的push操作次数为偶数，确保任务初始化时的RSP符合ABI要求：
在pushfq之前添加一个8字节的dummy push，将总push次数改为26次（偶数），总栈空间变为26*8=208字节（16的倍数）。修改后的代码片段：

mov rax, ss
push rax
push 0x0 ; 添加dummy push，凑齐偶数次操作
pushfq
mov [rdi], rsp

2. 验证上下文切换的栈对齐 #

• 当前ctxswtch中的push操作次数为22次（偶数），总栈空间22*8=176字节（16的倍数），这部分逻辑是正确的，恢复时的pop操作能保持对齐状态。
• 确保传给ctxcreat的初始栈指针（rdi参数）本身是16字节对齐的。

3. 临时workaround：强制编译器栈对齐 #

在编译内核代码时添加-mstackrealign选项，强制编译器在每个函数开头插入栈对齐代码。此方法可临时规避问题，但不建议长期依赖——会增加代码开销，且无法解决根源的上下文对齐问题。

4. 检查任务栈初始化 #

确保分配给任务的栈内存起始地址是16字节对齐的（例如使用对齐分配函数或手动调整地址），避免初始栈地址本身存在对齐问题。

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