1. 等待队列1.1 概述等待队列（Wait Queue）是 Linux 内核中用于实现阻塞 I/O 的一种核心机制。当进程访问设备资源而资源暂时不可用时，内核可以让该进程进入睡眠状态，并将其挂入一个等待队列中；当资源变为可用时，内核再唤醒队列中的进程继续执行。这种“睡眠-唤醒”模式避免了进程忙等待（Busy-wait）带来的 CPU 浪费，是驱动开发中处理并发与资源竞争的基础手段。从使用场景来看，等待队列广泛用于字符设备驱动的读写操作、中断处理程序与进程之间的同步、以及内核线程的调度控制等场景。例如，当用户程序调用 read() 读取数据，而设备缓冲区为空时，驱动可以让调用进程进入睡眠，待数据到达后再唤醒它，从而显著提升系统整体效率。1.2. 实现原理等待队列的实现基于“链表 + 睡眠/唤醒”两个核心动作。其基本工作流程如下：初始化：驱动在初始化阶段创建并初始化一个等待队列头（wait_queue_head_t）。入队睡眠：当资源不可用时，进程调用 wait_event 系列宏，将当前进程以等待队列项（wait_queue_entry_t）的形式挂入队列，并进入睡眠状态。条件检查：进程睡眠前会先检查条件是否满足；若满足则直接返回，不进入睡眠。唤醒：当资源变为可用（通常在中断处理程序或另一进程上下文中），调用 wake_up 系列函数，遍历等待队列，将符合条件的进程唤醒。重新调度：被唤醒的进程重新获得 CPU 后，会再次检查条件；若条件仍不满足，则继续睡眠，否则返回调用者继续执行。这一机制的核心优势在于：进程在睡眠期间不占用 CPU，唤醒操作由事件驱动，从而实现了高效的资源等待与调度。1.3. 等待队列结构体等待队列涉及两个关键数据结构：等待队列头（wait_queue_head_t）和等待队列项（wait_queue_entry_t）。下面分别说明其定义格式与参数含义。1.3.1 等待队列头等待队列头是整个等待队列的入口，定义在 include/linux/wait.h 中，其结构如下：struct wait_queue_head { spinlock_t lock; /* 保护等待队列的自旋锁 */ struct list_head head; /* 等待队列链表头 */ }; typedef struct wait_queue_head wait_queue_head_t;参数说明：lock：自旋锁，用于保护队列的并发访问，防止多个进程同时入队或出队时产生竞争。head：链表头，所有等待在该队列上的进程项都挂在此链表上。1.3.2 等待队列项在 Linux 内核的早期版本中，等待队列项使用wait_queue_t这一名称，它是wait_queue_entry_t的前身。其定义格式如下：typedef struct __wait_queue wait_queue_t; struct __wait_queue { unsigned int flags; /* 标志位，如 WQ_FLAG_EXCLUSIVE */ void *private; /* 私有数据，通常指向当前进程 task_struct */ wait_queue_func_t func; /* 唤醒回调函数 */ struct list_head task_list; /* 链表节点，用于挂入等待队列 */ };参数说明：flags：标志位，常用的有 WQ_FLAG_EXCLUSIVE，表示互斥等待，用于避免惊群效应。private：私有数据指针，通常指向当前进程的 task_struct 结构，用于唤醒时定位进程。func：唤醒回调函数，内核在唤醒进程时会调用该函数，默认实现为 default_wake_function。task_list：链表节点，用于将当前等待项挂入等待队列头的链表中。在较新的内核版本中，wait_queue_t被重命名为wait_queue_entry_t，二者在结构上保持一致，仅名称不同。驱动开发中建议使用新名称wait_queue_entry_t，以兼容较新的内核接口。等待队列项代表一个具体的等待进程，其定义如下：struct wait_queue_entry { unsigned int flags; /* 标志位，如 WQ_FLAG_EXCLUSIVE */ void *private; /* 私有数据，通常指向当前进程 task_struct */ wait_queue_func_t func; /* 唤醒回调函数 */ struct list_head entry; /* 链表节点，用于挂入等待队列 */ }; typedef struct wait_queue_entry wait_queue_entry_t;参数说明：flags：标志位，常用的有 WQ_FLAG_EXCLUSIVE，表示互斥等待，用于避免惊群效应（多个进程同时被唤醒但只有一个能获得资源）。private：私有数据指针，通常指向当前进程的 task_struct 结构，用于唤醒时定位进程。func：唤醒回调函数，内核在唤醒进程时会调用该函数，默认实现为 default_wake_function。entry：链表节点，用于将当前等待项挂入等待队列头的链表中。1.4 等待队列步骤在驱动开发中，将进程加入等待队列通常遵循以下步骤：定义等待队列头和等待实体：wait_queue_head_t在初始化阶段就要定义；当有进程需要等待事件时，定义一个wait_queue_t（或wait_queue_entry_t）等待实体，并调用init_waitqueue_entry()完成初始化。把等待实体加入到等待队列上：调用add_wait_queue()或add_wait_queue_exclusive()将等待实体挂入等待队列头的链表中。设置进程的状态为阻塞状态：通过set_current_state()将当前进程状态设置为TASK_INTERRUPTIBLE或TASK_UNINTERRUPTIBLE。调用 schedule() 启动调度程序：让出 CPU，使进程进入睡眠状态，等待资源变为可用。设置进程的状态为 TASK_RUNNING：进程被唤醒后，调用set_current_state(TASK_RUNNING)恢复进程为可运行状态。注：从schedule()返回，并不代表外部事件产生，因为有可能因为信号中断而返回，所以从schedule()返回时，一般需要再测试条件。先从等待队列上移除：调用remove_wait_queue((p-r_wait), wait)将等待实体从等待队列中移除，再根据情况选择后续处理逻辑。其中，wait_queue_head_t和wait_queue_t的声明通常有两种方法：方法一：静态定义（编译期初始化）/* 静态定义等待队列头 */ static wait_queue_head_t my_wait_queue; init_waitqueue_head(my_wait_queue); /* 静态定义等待队列项 */ static wait_queue_t my_wait; init_waitqueue_entry(my_wait, current);方法二：动态定义（运行时初始化）/* 动态定义等待队列头 */ wait_queue_head_t *p_wait_queue; p_wait_queue = kmalloc(sizeof(wait_queue_head_t), GFP_KERNEL); init_waitqueue_head(p_wait_queue); /* 动态定义等待队列项 */ wait_queue_t *p_wait; p_wait = kmalloc(sizeof(wait_queue_t), GFP_KERNEL); init_waitqueue_entry(p_wait, current);add_wait_queue() 函数add_wait_queue()用于将等待实体以非互斥方式挂入等待队列，其原型定义在 include/linux/wait.h 中：void add_wait_queue(wait_queue_head_t *q, wait_queue_t *wait);参数说明：q：等待队列头指针，指向要挂入的等待队列。wait：等待实体指针，指向要加入队列的等待队列项。该函数将等待实体追加到队列链表尾部，并设置WQ_FLAG_EXCLUSIVE标志位为 0，表示非互斥等待。其实现核心代码如下：void add_wait_queue(wait_queue_head_t *q, wait_queue_t *wait) { unsigned long flags; wait-flags = ~WQ_FLAG_EXCLUSIVE; spin_lock_irqsave(q-lock, flags); __add_wait_queue(q, wait); spin_unlock_irqrestore(q-lock, flags); }add_wait_queue_exclusive() 函数说明add_wait_queue_exclusive()用于将等待实体以互斥方式挂入等待队列，其原型如下：void add_wait_queue_exclusive(wait_queue_head_t *q, wait_queue_t *wait);参数说明：q：等待队列头指针，指向要挂入的等待队列。wait：等待实体指针，指向要加入队列的等待队列项。与add_wait_queue()不同，该函数会设置WQ_FLAG_EXCLUSIVE标志位为 1，表示互斥等待。互斥等待项在唤醒时只会唤醒队列中第一个符合条件的进程，从而有效避免惊群效应。其实现核心代码如下：void add_wait_queue_exclusive(wait_queue_head_t *q, wait_queue_t *wait) { unsigned long flags; wait-flags |= WQ_FLAG_EXCLUSIVE; spin_lock_irqsave(q-lock, fl