2. Linux进程调度基础：进程状态、上下文切换与等待队列

在深入驱动等待队列之前，必须理解Linux内核如何管理进程。进程调度是内核的核心职责，它决定了哪个进程获得CPU使用权、何时被暂停、以及如何等待资源。等待队列正是调度机制在驱动层的直接体现——当进程无法立即获得资源时，调度器将其置入特定状态并移出运行队列，直到条件满足再重新唤醒。

2.1 进程状态机：三种核心状态

Linux进程在生命周期中会在多个状态间切换。对于驱动开发者，最关键的三个状态是 TASK_RUNNING、TASK_INTERRUPTIBLE 和 TASK_UNINTERRUPTIBLE。它们直接决定了进程如何响应信号和资源就绪事件。

2.2 进程上下文切换：内核的“换人”机制

上下文切换（Context Switch）是指内核暂停当前进程，保存其执行上下文（寄存器、程序计数器、栈指针、内存映射等），并恢复另一个进程的上下文，使其继续执行。这是多任务操作系统实现“同时运行”假象的基础。

上下文切换的触发时机包括：

• 时间片耗尽： 调度器选择下一个就绪进程。
• 进程主动睡眠： 进程调用 schedule() 进入等待队列。
• 中断/异常返回： 内核在中断处理完成后检查是否需要重新调度。
• 系统调用阻塞： 如 read() 等待数据时触发切换。

2.3 调度器与等待队列的关系

等待队列（Wait Queue）是内核实现阻塞I/O的核心数据结构。它本质上是一个双链表，挂载了所有等待某事件发生的进程。调度器与等待队列的协作遵循“出队睡眠 → 事件触发 → 入队唤醒”的闭环：

1. 进程主动睡眠： 驱动中的 wait_event_interruptible() 将当前进程状态设为 TASK_INTERRUPTIBLE，将其加入等待队列链表，然后调用 schedule() 触发上下文切换。
2. 调度器移除进程： schedule() 从运行队列中移除该进程，选择下一个就绪进程执行。此时进程处于“睡眠”状态，不消耗CPU。
3. 事件发生（如中断）： 硬件中断处理函数或内核其他路径调用 wake_up() 系列函数，遍历等待队列，将队列中所有（或指定）进程状态改回 TASK_RUNNING，并将其重新加入运行队列。
4. 调度器重新选择： 下次调度时，被唤醒的进程获得CPU，从 schedule() 调用处继续执行，检查等待条件是否满足。

2.4 等待队列在内核中的数据结构

等待队列的核心结构体定义在 <linux/wait.h> 中。理解其内部布局有助于调试和性能优化：

// 等待队列头（每个等待队列一个）
struct wait_queue_head {
    spinlock_t          lock;       // 保护链表操作的自旋锁
    struct list_head    head;       // 双向链表头
};

// 等待队列项（每个睡眠进程一个）
struct wait_queue_entry {
    unsigned int        flags;      // 标志位（如 WQ_FLAG_EXCLUSIVE）
    void                *private;   // 指向 task_struct 的指针
    wait_queue_func_t   func;       // 唤醒回调函数（默认 default_wake_function）
    struct list_head    entry;      // 链表节点
};

2.5 核心API速查表

驱动开发中与调度和等待队列交互的常用函数：