等待队列在Linux内核中,等待队列是一个非常重要的概念,也是一个非常重要的机制。我们会在很多函数当中用到等待队列的知识,例如completion机制、wait_event机制等等。在解释这些机制之前,我们首先要弄清楚什么是等待队列。
在linux内核里面,我们将进程分为以下几种状态:
可运行状态(TASK_RUNNING)
处于这种状态的进程,要么正在运行,要么正准备被CPU调度运行。正在运行的进程就是当前进程(由current所指向的进程),而准备运行的进程只要得到CPU就可以立即投入运行,CPU是这些进程唯一等待的系统资源。系统中有一个运行队列(run_queue),用来容纳所有处于可运行状态的进程,调度程序执行时,从中选择一个进程投入运行。在后面我们讨论进程调度的时候,可以看到运行队列的作用。当前运行进程一直处于该队列中,也就是说,current总是指向运行队列中的某个元素,只是具体指向谁由调度程序(schedule)决定。
等待状态(TASK_INTERRUPTIBLE和TASK_UNINTERRUPTIBLE)
处于该状态的进程正在等待某个事件(event)或某个资源,它肯定位于系统中的某个等待队列(wait_queue)中。Linux中处于等待状态的进程分为两种:可中断的等待状态(TASK_INTERRUPTIBLE)和不可中断的等待状态(TASK_UNINTERRUPTIBLE))。处于可中断等待态的进程可以被信号唤醒,如果收到信号,该进程就从等待状态进入可运行状态,并且加入到运行队列中,等待被调度;而处于不可中断等待态的进程是因为硬件环境不能满足而等待,例如等待特定的系统资源,它任何情况下都不能被打断,只能用特定的方式来唤醒它,例如唤醒函数wake_up()等。
暂停状态
此时的进程暂时停止运行来接受某种特殊处理。通常当进程接收到SIGSTOP、SIGTSTP、SIGTTIN或 SIGTTOU信号后就处于这种状态。例如,正接受调试的进程就处于这种状态。
僵死状态
进程虽然已经终止,但由于某种原因,父进程还没有执行wait()系统调用,终止进程的信息也还没有回收。顾名思义,处于该状态的进程就是死进程,这种进程实际上是系统中的垃圾,必须进行相应处理以释放其占用的资源。
实际使用
了解了Linux内核的几个状态之后,现在我们开始着重讲解其中的一个状态,等待状态,由上面的等待状态的描述,我们可以知道处于等待状态的进程正在等待某一个事件或者某一个资源,它肯定位于系统中的某一个等待队列中。这里我们就以wait_event和wake_up机制来讲解。
在这一机制当中,wait_event用于将当前进程加入某一等待队列中,同时将该进程的状态修改为等待状态。而wake_up则用于将某一个等待队列上面所有的等待进程唤醒,也就是将其从等待队列上面删掉,同时将其的进程状态置为可运行状态。
等待队列由等待队列头和等待队列项构成,所以当我们定义了一个等待队列头,也就是定义了一个等待队列了,等待队列的结构如下图所示:
等待队列头(wait_queue_head)在内核文件中的定义(include\Linux\Wait.h)
- 1
- 2
- 3
- 4
- 5
- 1
- 2
- 3
- 4
- 5
从上面的等待队列头的结构体可以看出,其由两部分组成,第一部分是一个自旋锁,用于保护自身资源不被多个进程同时访问。第二部分是有一个list_head结构体构成的双向链表,当然等待队列头里面只有next存放下一个等待队列项(wait_queue_t)的地址。
等待队列项(wait_queue_t)在内核文件中的定义(include\Linux\Wait.h)
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
等待队列项一共由五个部分构成,其中我们要引起注意的是func,这个func在wake_up函数中会用到,用于唤醒这个等待队列里面的这个等待线程。
使用方法:
第一步、定义一个等待队列头
- 1
- 1
作用:其实只要定义一个等待队列头,并且初始化,就相当于在Linux内核中重新开辟了一条等待队列,后面的等待队列项只要往后加等待队列项就可以了。该等待队列是独一无二的。
第二步、初始化等待队列头
- 1
- 1
这里我们使用的是init_waitqueue_head函数,这个函数主要做两件事情,
第一件初始化等待队列头的自旋锁,即使自旋锁设置为未锁状态;
第二件事情初始化等待队列头里面的task_list结构体,使之不指向任何一个等待队列头。所以在这里我们也可以通过此来判断等待队列是否有等待队列项,如果没有等待队列项,task_list链表的nest指针应该是指向自己的,而不会指向其他等待队列项。
第三步、添加/移除等待队列项
顾名思义,我们在上两步中已经初始化了等待队列头了,那么现在就应该是在这个等待队列头后面增加等待队列项了,增加等待队列项的函数
- 1
- 2
- 3
- 4
- 1
- 2
- 3
- 4
这里我们以等待事件函数为例,来说明如何使用这两个函数。wait_event函数用于使当前线程进入休眠等待状态。
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19
- 20
- 21
- 22
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19
- 20
- 21
- 22
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
下面我来分析一下等待队列的唤醒机制。
与wait_event函数对应的就是wake_up函数了,wake_up函数用于唤醒处于该等待队列的进程。首先我们来看一下位于include\linux\wait.h文件中wake_up函数的定义
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19
- 20
- 21
- 22
- 23
- 24
- 25
- 26
- 27
- 28
- 29
- 30
- 31
- 32
- 33
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19
- 20
- 21
- 22
- 23
- 24
- 25
- 26
- 27
- 28
- 29
- 30
- 31
- 32
- 33
通过上面的源代码的分析,应该可以基本了解等待队列以及整个wait_event宏和wake_up宏的工作流程了。