Linux内核初始化第二部分：初期中断与异常处理机制解析

Linux内核初始化第二部分：初期中断与异常处理机制解析

linux-insides-zh Linux 内核揭秘 项目地址: https://gitcode.com/gh_mirrors/lin/linux-insides-zh

前言

在Linux内核启动过程中，中断和异常处理机制的建立是至关重要的环节。本文将深入探讨Linux内核初始化过程中初期中断和异常处理的实现细节，帮助读者理解x86架构下中断处理的基本原理和Linux内核的具体实现方式。

中断与异常基础概念

中断类型划分

在x86架构中，中断主要分为三类：

1. 硬件中断：由外部设备触发，如键盘输入、定时器中断等
2. 软件中断：通过指令主动触发，如系统调用
3. 异常：CPU执行指令时检测到的错误或特殊情况，如缺页异常、除零错误等

中断向量表

x86架构使用0-255共256个中断向量号来标识不同中断：

• 0-31：保留给处理器定义的异常和不可屏蔽中断(NMI)
• 32-255：用户定义的中断，可用于设备中断或系统调用

中断描述符表(IDT)

IDT是x86架构中用于管理中断处理程序的数据结构，每个表项称为"门"(gate)，包含以下关键信息：

• 中断处理程序入口地址
• 段选择子
• 特权级别(DPL)
• 门类型(任务门/中断门/陷阱门)

初期IDT的建立

IDT初始化流程

在Linux内核初始化早期，会建立一个简易的IDT用于处理基本异常：

for (i = 0; i < NUM_EXCEPTION_VECTORS; i++)
    set_intr_gate(i, early_idt_handler_array[i]);

这段代码完成了以下工作：

1. 遍历前32个异常向量
2. 为每个向量设置中断门
3. 指向统一的初期处理函数数组

中断门设置细节

set_intr_gate宏展开后主要执行以下操作：

1. 验证向量号有效性
2. 调用_set_gate填充门描述符
3. 将描述符写入IDT

门描述符的填充过程涉及地址拆分：

gate->offset_low = PTR_LOW(func);    // 地址低16位
gate->offset_middle = PTR_MIDDLE(func); // 地址中16位 
gate->offset_high = PTR_HIGH(func);   // 地址高32位

初期中断处理程序实现

统一处理框架

初期中断处理采用统一框架early_idt_handler_array，其特点包括：

1. 自动生成32个异常处理入口
2. 每个入口9字节大小
3. 统一跳转到公共处理程序

处理程序栈布局如下：

+----------------+
| 错误码/0       | <- RSP+16
+----------------+
| 向量号         | <- RSP+8
+----------------+
| 返回地址       | <- RSP
+----------------+

缺页异常特殊处理

在初期处理中，缺页异常(向量号14)有特殊处理逻辑：

1. 从CR2寄存器获取故障地址
2. 调用early_make_pgtable建立页表
3. 处理完成后恢复执行

页表建立过程

early_make_pgtable函数负责动态建立页表：

1. 检查地址有效性
2. 根据需要分配新的页表页
3. 设置页表项权限和映射

关键数据结构包括：

extern pgd_t early_level4_pgt[PTRS_PER_PGD];  // 顶层页目录
extern pud_t early_dynamic_pgts[EARLY_DYNAMIC_PAGE_TABLES][PTRS_PER_PUD]; // 动态页表池

技术实现细节

中断门与陷阱门的区别

两种门的主要差异在于：

• 中断门：会自动清除IF标志，屏蔽其他中断
• 陷阱门：保持IF标志不变，允许嵌套中断

错误码处理机制

x86架构中部分异常会自动压入错误码，处理程序需要统一栈布局：

1. 对于无错误码的异常，手动压入0
2. 保持栈结构一致，便于统一处理

动态页表分配

初期内存管理使用预分配的页表池：

1. next_early_pgt跟踪可用页表
2. 耗尽时调用reset_early_page_tables重置
3. 支持最多64个动态页表(EARLY_DYNAMIC_PAGE_TABLES)

总结

Linux内核的初期中断处理机制展示了以下设计特点：

1. 简洁性：使用统一处理框架减少代码复杂度
2. 可扩展性：动态页表分配支持灵活的内存管理
3. 健壮性：严格的错误检查和恢复机制

理解这部分代码对于掌握Linux内核启动过程和异常处理机制具有重要意义，也为后续更复杂的中断子系统分析奠定了基础。

linux-insides-zh Linux 内核揭秘 项目地址: https://gitcode.com/gh_mirrors/lin/linux-insides-zh