当嵌套中断发生时，如果当前CPU正在运行中断处理程序，而另一个更高优先级的中断到来，CPU需要使用独立的栈来保存上下文，避免破坏当前正在执行的处理程序的栈帧。IST（Interrupt Stack Table，中断栈表）正是x86_64架构为解决这一问题提供的硬件机制。

一、为什么需要IST？

1. 普通中断栈的问题

如果所有中断都使用同一个内核栈（如TSS.RSP0），当嵌套中断发生时：

时间线： 1. 中断A触发 → CPU切换到TSS.RSP0，压栈保存上下文 2. 中断A处理程序正在执行 3. 中断B（更高优先级）触发 → CPU再次使用TSS.RSP0！ 4. 中断B的压栈会覆盖中断A的上下文 → 栈被破坏 5. 中断A返回时，RIP/RFLAGS被覆盖 → 系统崩溃

2. IST的解决方案

每个CPU核心有一个TSS（任务状态段），其中包含7个IST入口（IST1~IST7），每个入口是一个独立的栈指针（64位地址）。

当某个中断门（Interrupt Gate）被配置为使用特定的IST时，CPU在处理该中断时会自动切换到对应的IST栈，从而与普通内核栈和其他中断隔离。

二、IST的硬件结构

TSS中的IST字段（x86_64）

struct tss_struct { uint32_t reserved1; uint64_t rsp0; // 普通内核栈（ring 0） uint64_t rsp1; // ring 1 栈（一般不用） uint64_t rsp2; // ring 2 栈（一般不用） uint64_t reserved2; uint64_t ist1; // IST1 栈指针 uint64_t ist2; // IST2 栈指针 uint64_t ist3; // IST3 栈指针 uint64_t ist4; // IST4 栈指针 uint64_t ist5; // IST5 栈指针 uint64_t ist6; // IST6 栈指针 uint64_t ist7; // IST7 栈指针 // ... 其他字段 };

IDT门描述符中的IST字段

每个中断门（Interrupt Gate）描述符中，有一个3位的IST字段（bits 32-34）：

IDT Gate Descriptor (16字节，x86_64): +------------------+------------------+ | offset 63..48 | IST (3 bits) | <- 指定使用哪个IST +------------------+------------------+ | offset 47..32 | P | DPL | 类型 | +------------------+------------------+ | offset 31..16 | 段选择子 (CS) | +------------------+------------------+ | offset 15..0 | 保留 | +------------------+------------------+

• IST = 0：使用TSS.RSP0（普通内核栈）

• IST = 1~7：分别使用TSS.ist1~TSS.ist7

三、IST的工作流程（以嵌套中断为例）

场景：NMI（不可屏蔽中断）嵌套在普通中断中

初始状态： - 当前运行在用户态 (ring 3) - TSS.RSP0 = 内核栈A - TSS.ist1 = NMI专用栈 (独立8KB) - IDT中的NMI门 IST字段 = 1

步骤1：普通中断（如定时器）触发

1. CPU从用户态切换到内核态 2. 使用 TSS.RSP0 → 切换到内核栈A 3. 压栈：SS, RSP（用户态）, RFLAGS, CS, RIP（用户态） 4. 执行中断处理程序

步骤2：NMI中断嵌套进来

1. NMI触发（更高优先级） 2. CPU检查NMI门描述符：IST字段 = 1 3. CPU读取 TSS.ist1 → 切换到NMI专用栈B（而不是内核栈A！） 4. 在NMI栈B上压栈：SS, RSP（内核栈A）, RFLAGS, CS, RIP 5. 执行NMI处理程序 6. NMI处理完成 → iretq → 从NMI栈B弹出上下文 7. 恢复RSP指向内核栈A 8. 继续执行原来的定时器中断处理程序

关键点：

• NMI使用了独立的IST栈，因此不会破坏定时器中断的栈帧

• 嵌套层次越深，每次切换到一个新的IST栈（如果配置了多个IST）

• 如果中断门配置了IST，CPU完全忽略当前的RSP，直接使用IST指定的栈

四、IST的实际应用场景

Linux内核中的配置

// Linux arch/x86/include/asm/irq_vectors.h #define NMI_VECTOR 0x02 #define MCE_VECTOR 0x12 #define DB_VECTOR 0x01 // Linux arch/x86/kernel/entry_64.S // NMI使用 IST1 idtentry NMI do_nmi asm_nmi has_error_code=0 ist=1 // #DF使用 IST2 idtentry DOUBLEFAULT do_double_fault asm_double_fault has_error_code=1 ist=2 // #MC使用 IST3 idtentry MCE do_mce asm_mce has_error_code=0 ist=3

五、IST的局限与注意事项

1. IST栈的大小固定

每个IST栈通常分配8KB或16KB。如果嵌套中断过多（极端情况），仍然可能栈溢出。

// Linux 中 IST 栈大小定义 #define IST_STACK_SIZE (PAGE_SIZE * 2) // 通常 8KB

2. 仅适用于x86_64长模式

IST是x86_64长模式特有的功能，在32位保护模式下不存在（32位使用TSS的esp0单栈机制）。

3. 配置错误会引发#GP

如果在IDT中设置IST=7，但TSS中ist7未正确初始化，触发该中断时会引发通用保护故障（#GP）。

4. 需配合SWAPGS使用

在内核入口处，通常需要执行SWAPGS（交换GS基址）来访问内核数据结构，IST栈切换本身不会自动处理GS，需要手动管理。

六、完整中断栈切换流程（含IST）

中断触发 ↓ CPU从IDT读取门描述符 ↓ 检查门描述符中的 IST 字段 ↓ +------------------+------------------+ | IST != 0 | IST == 0 | +------------------+------------------+ ↓ ↓ 从 TSS.istN 加载 RSP 从 TSS.RSP0 加载 RSP ↓ ↓ 切换到IST专用栈 切换到普通内核栈 ↓ ↓ 压栈：SS, RSP, RFLAGS, CS, RIP ↓ 执行中断处理程序 ↓ iretq（弹出上下文，恢复RSP）

七、实际代码示例

定义IST栈

section .data align 16 nmi_stack_bottom: times 8192 db 0 ; 8KB NMI专用栈 nmi_stack_top: section .text extern tss_struct ; 初始化TSS中的ist1 mov rax, nmi_stack_top mov [tss_struct + TSS_IST1], rax

IDT条目设置（IST=1）

; 设置NMI中断门（向量=2），IST=1 mov rax, (nmi_handler & 0xFFFFFFFF) ; 低32位偏移 mov [idt + 2*16 + 0], ax mov [idt + 2*16 + 2], KERNEL_CS ; 段选择子 mov word [idt + 2*16 + 4], (1 << 9) | 0x8E00 ; IST=1, 中断门 shr rax, 16 mov [idt + 2*16 + 6], ax shr rax, 16 mov [idt + 2*16 + 8], eax

八、总结