linux进程阻塞如何被唤醒,阻塞访问原理——等待队列

有些时候，一个系统调用可能无法马上取到或者送出数据：一个温度采集器如果没有采用中断或者轮询的策略，而是在用户发出请求时才进行采集，并在一定的时间后返回结果。如果用户程序希望调用read或write并且在调用返回时能确保得到想要的结果，那么用户程序应该阻塞，直到有结果或者错误后返回，用户程序的阻塞体现为进程的睡眠，也即系统调用中将进程状态切换为睡眠态。

睡眠和等待队列

一个进程的睡眠意味着它的进程状态标识符被置为睡眠，并且从调度器的运行队列中去除，直到某些事件的发生将它们从睡眠态中唤醒，在睡眠态，该进程将不被CPU调度，并且，如果不被唤醒，它将永远不被运行。

在驱动中很容易通过调度等方式使当前进程睡眠，但是进程并不是在任何时候都是可以进入睡眠状态的。

第一条规则是：当运行在原子上下文时不能睡眠：比如持有自旋锁，顺序锁或者RCU锁。

在关中断中也不能睡眠。

持有信号量时睡眠是合法的，但它所持有的信号量不应该影响唤醒它的进程的执行。另外任何等待该信号量的线程也将睡眠，因此发生在持有信号量时的任何睡眠都应当短暂。

进程醒来后应该进行等待事件的检查，以确保它确实发生了。

等待队列可以完成进程的睡眠并在事件发生时唤醒它，它由一个进程列表组成。在 Linux 中, 一个等待队列由一个"等待队列头"来管理：

点击(此处)折叠或打开

linux/wait.h

struct __wait_queue_head {

spinlock_t lock;

struct list_head task_list;

};

typedef struct __wait_queue_head wait_queue_head_t;

由于睡眠的进程很有可能在等待一个中断来改变某些状态，或通告某些事件的发生，那么中断上下文很有可能修改该等待队列，所以该结构中的自旋锁lock必须考虑禁中断，也即使用spin_lock_irqsave。

队列中的成员是如下数据结构的实例，它们组成了一个双向链表：

点击(此处)折叠或打开

typedef struct __wait_queue wait_queue_t;

typedef int (*wait_queue_func_t)(wait_q