启用sti中断时触发double fault与stack_segment_fault问题排查

核心现象 #

• 执行sti启用中断后立刻触发double fault（异常8），错误码为非标准值13340a
• 屏蔽IRQ0（中断32）后触发stack_segment_fault（异常12），两次异常均出现esp=0的异常栈指针

寄存器异常点解析 #

从故障日志的共性特征入手：

Unhandled exception 8 double_fault
   ...
   esp=0   eip=8   eflags=1331ff
   cs=206   ds=10
   error=13340a   interrupt=8

Unhandled exception 12 stack_segment_fault
   ...
   esp=0   eip=8   eflags=1331ff
   cs=10206   ds=10
   error=13340a   interrupt=c

• esp=0：中断触发时栈指针完全无效，说明中断上下文切换时无法找到合法栈空间
• cs=206/cs=10206：代码段选择器异常，高两位的10表明GDT索引或选择器的RPL/TI位配置存在冲突
• error=13340a：非标准错误码，大概率是中断栈切换时的段选择器错误引发的连锁故障

栈初始化代码疑点 #

你的栈初始化逻辑看似合理，但需验证以下细节：

const STACK_SIZE = 16 * 1024;
var stack_bytes: [STACK_SIZE]u8 align(16) linksection("\.bss") = undefined;

export fn __kernel_start() callconv(.naked) noreturn {
    asm volatile (
        \\ cli
        \\ movl %[stack_top], %%esp
        \\ movl %%esp, %%ebp
        \\ call %[_start:P]
        :
        : [stack_top] "r" (@as([*]align(16) u8, @ptrCast(&stack_bytes)) + @sizeOf(@TypeOf(stack_bytes))),
          [_start] "X" (&_start),
    );
    while (true) {}
}

1. .bss段有效性：GRUB加载内核时，.bss段是否被正确清零并映射到物理内存？可在call _start前添加栈指针打印逻辑，确认ESP初始值是否符合预期
2. 对齐与链接配置：align(16)是否被链接器正确识别？检查链接脚本中.bss段的对齐规则，确保栈地址满足16字节对齐要求
3. 中断栈切换配置：若使用TSS或中断栈表（IST），需确认栈指针是否正确初始化——中断触发时会优先使用IST栈，配置错误会直接导致ESP异常

QEMU日志关键线索 #

从QEMU输出的上下文看：

Servicing hardware INT=0x08
SMM: enter
...
GDT=     00000000 00000000
IDT=     00000000 000003ff

• 进入SMM模式后GDT/IDT被清零，而你的内核未处理SMM中断，导致中断触发时无法找到合法的段描述符，进而引发栈错误
• 硬件INT=0x08是IRQ0时钟中断，但屏蔽IRQ0后仍触发故障，说明可能是PIC初始化不彻底，或存在未屏蔽的特殊中断（如SMI、NMI）

具体排查步骤 #

1. 验证栈初始值：在__kernel_start中添加调试代码，打印ESP的初始值，确认栈是否正确初始化：

   // 在call _start前插入
   \\ pushl %%esp
   \\ call print_esp // 自行实现寄存器打印函数
   

2. 检查GDT/IDT配置：
   • 计算cs=206对应的GDT索引：0x206 >> 3 = 0x41，检查该索引的GDT项是否存在、权限位（DPL）和类型是否正确
   • 确认IDT中断门的代码段选择器指向有效GDT项，且P位（存在位）、DPL配置符合内核权限要求
3. 修复PIC初始化：
   • 确保PIC初始化时正确发送EOI（中断结束）信号，避免中断嵌套
   • 检查PIC屏蔽寄存器（IMR），确认除必要中断外其余均被屏蔽
4. 规避特殊中断：
   • 在QEMU启动参数中添加-no-smm禁用SMM模拟，验证故障是否消失
   • 检查NMI是否被意外启用，添加NMI中断处理函数或临时屏蔽NMI

总结 #

核心问题是中断触发时无法找到合法栈空间，根源大概率是GDT/IDT配置错误、栈初始化未生效，或未处理的特殊中断（如SMI）导致段寄存器异常。建议优先从验证栈初始值和GDT/IDT配置入手，逐步缩小排查范围。

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