Linux 内核中断处理与 Tracing 体系深度实战：从 IRQ 到 ftrace 的全链路可观测性

Linux 内核的中断处理是整个系统响应外部事件的基石。理解从中断信号到达 CPU 到用户态进程恢复执行的完整路径，是每一个系统级开发者的必修课。

1.1 中断的硬件视角

在现代 x86-64 架构中，中断控制器经历了 PIC → APIC → x2APIC 的演进。Local APIC 接收来自 IO-APIC 或 MSI/MSI-X 的中断消息，将中断向量号写入 ISR（In-Service Register），并通过 LAPIC 的 LVT（Local Vector Timer）监控本地中断源。当 CPU 执行 iret 指令后，APIC 通过 EOI（End of Interrupt）确认完成中断服务，优先级仲裁逻辑随即允许同级或低级中断投递。

ARM64 架构中，中断路由由 GIC（Generic Interrupt Controller）处理。GICv3 引入 SPI、PPI、LPI 三种中断类型，其中 LPI（Locality-specific Peripheral Interrupt）通过 ITS（Interrupt Translation Service）实现 MSI 的动态映射，支撑大规模 PCIe 设备中断分配。

1.2 中断入口汇编层

x86-664 的 IRQ 入口位于 arch/x86/entry/entry_64.S，宏 INTERRUPT_ENTRY 负责寄存器压栈（错误码、CS、EIP、EFLAGS、SS、RSP），然后通过 do_IRQ() 进入 C 代码层。对于无错误码的中断向量（如 0x20-0xFF），内核压入一个伪错误码保持栈帧统一。

do_IRQ() 的核心逻辑是：

1. 获取中断向量号 vector 和对应的 irq_desc
2. 递增 desc->kstat_irqs 中断计数器
3. 调用 desc->handle_irq(&desc)（通常为 handle_level_irq 或 handle_fasteoi_irq）
4. 在 handle_irq 回调中执行 handler 链表中的 action 函数

1.3 IDT 与中断栈

IDT（Interrupt Descriptor Table）在系统启动时由 idt_setup_traps() 初始化，后续通过 idt_setup_early_handler() 安装中断门。每个中断门包含目标代码段选择子和偏移地址。Linux 使用 IST（Interrupt Stack Table）机制，为 NMI、Double Fault 等关键中断分配独立栈，防止栈溢出时上下文损坏。

Per-CPU 中断栈（irq_stack_ptr）在 SMP 初始化时分配（alloc_irq_stack()），大小为 IRQ_STACK_SIZE（通常 16KB）。中断发生时 CPU 通过 TSS（Task State Segment）切换到中断栈。

二、Top Half 与 Bottom Half 机制

中断处理的核心约束是越快越好——在关中断或中断屏蔽期间，CPU 无法响应其他中断，导致系统延迟增加。Linux 将中断处理分为 Top Half（立即执行的关键操作）和 Bottom Half（延迟执行的非关键操作）。

2.1 Softirq

Softirq 是 Linux 最古老的 Bottom Half 机制，定义在 include/linux/interrupt.h 中的枚举 softirq_action：

Softirq 的触发通过 raise_softirq() 设置 CPU 的 softirq_pending 位图，在以下三个时机检查并执行：

1. local_bh_enable()——重新开启 Bottom Half 时
2. do_IRQ() 返回后（中断退出路径 irq_exit()）
3. Ksoftirqd 内核线程（当 softirq 过于频繁时被唤醒消费积压）

值得注意的是，同一个 softirq 可以在不同 CPU 上并发运行（HI 和 NET_RX 除外通过对 softirq_veq 链表加锁实现串行化）。每个 CPU 的 softirq_pending 是 Per-CPU 变量。

2.2 Tasklet

Tasklet 是基于 softirq 构建的轻量级 Bottom Half 机制：

struct tasklet_struct {
    struct tasklet_struct *next;
    unsigned long state;        // TASKLET_STATE_SCHED / TASKLET_STATE_RUN
    atomic_t count;             // 禁用计数
    void (*func)(unsigned long);
    unsigned long data;
};

Tasklet 的调度由 tasklet_schedule() 实现，将 tasklet 加入 Per-CPU tasklet_vec 链表并触发 TASKLET_SOFTIRQ。关键特性：

• 串行保证：同一 tasklet 不会在多个 CPU 上并行执行
• 禁用/启用：tasklet_disable() + tasklet_enable() 通过引用计数实现
• 原子上下文：tasklet 执行在 softirq 上下文，不允许睡眠

Hi-priority tasklet（tasklet_hi_schedule()）在 TASKLET_SOFTIRQ 处理时优先遍历 tasklet_hi_vec，适用于网络接收等高吞吐场景。

2.3 工作队列 (workqueue)

工作队列是唯一允许睡眠的 Bottom Half 实现：

struct workqueue_struct {
    struct list_head    pwqs;           // 池工作队列链表
    struct list_head    list;           // 工作链表
    struct list_head    flusher;        // 冲刷等待队列
    struct pool_workqueue **pwqs_tbl;   // 多优先级 PWA 数组
    ...
};

Workqueue 使用 "Concurrency Managed"（CMWQ）模型，每个 CPU 维护 N 个 worker 线程（默认 256 个活跃 worker），具有自动扩容/收缩机制：

• SCHED_NORMAL：使用 CFS 调度器，worker 绑定 CPU
• SCHED_FIFO：用于 WQ_HIGHPRI 高优先级工作队列
• UNBOUND：不绑定特定 CPU，跨 NUMA 节点调度
• POWERSAVING：空闲时回收 worker 线程

# 将中断号 42 绑定到 CPU 2-3
echo 0x0c > /proc/irq/42/smp_affinity

# irqbalance 守护进程的动态调优
cat /proc/irq/42/smp_affinity_list
# 输出: 2-3

# 启用 irqsoff tracer
echo irqsoff > /sys/kernel/debug/tracing/current_tracer
echo 1 > /sys/kernel/debug/tracing/tracing_on
# ... 运行基准测试 ...
cat /sys/kernel/debug/tracing/tracing_max_latency
# 输出: 235 us

struct ftrace_func_command {
    struct list_head    list;
    char                *name;
    func_func_t         func;
};

struct trace_array {
    struct list_head    systems;
    struct tracer       *current_tracer;  // 当前使用的 tracer
    struct array_buffer buffer;           // 环形缓冲区
    unsigned long       *start;
    ...
};

TRACE_EVENT(irq_handler_entry,
    TP_PROTO(int irq, struct irqaction *action),
    TP_ARGS(irq, action),
    TP_STRUCT__entry(
        __field(int, irq)
        __string(name, action->name)
    ),
    TP_fast_assign(
        __entry->irq = irq;
        __assign_str(name, action->name);
    ),
    TP_printk("irq=%d name=%s", __entry->irq, __entry->name)
);