linux-011中休眠函数以及唤醒函数的分析(sleep_on,wake_up)

先看一下代码：

void sleep_on(struct task_struct **p)
{
	struct task_struct *tmp;

	if (!p)
		return;
	if (current == &(init_task.task))
		panic("task[0] trying to sleep");
	tmp = *p;
	*p = current;
	current->state = TASK_UNINTERRUPTIBLE;
	schedule();
	if (tmp)
		tmp->state=0;
}

void interruptible_sleep_on(struct task_struct **p)
{
	struct task_struct *tmp;

	if (!p)
		return;
	if (current == &(init_task.task))
		panic("task[0] trying to sleep");
	tmp=*p;
	*p=current;
repeat:	current->state = TASK_INTERRUPTIBLE;
	schedule();
	if (*p && *p != current) {
		(**p).state=0;
		goto repeat;
	}
	*p=NULL;
	if (tmp)
		tmp->state=0;
}

void wake_up(struct task_struct **p)
{
	if (p && *p) {
		(**p).state=0;
		*p=NULL;
	}
}

先看函数，函数实现很简单。原理有一些抽象，这里先说一下sleep_on函数的应用。
sleep_on函数中只要涉及了:*p,*tmp,current三个人物指针操作。
其中*p表示等待队列头指针，如文件系统i节点的i_wait指针,内存缓冲区操作中的buffer_wait指针；*tmp是临时指针，current代表当前任务指针。
sleep_on函数操作后就形成了一个队列：

tmp指向前一个任务，p指向当前等待队列头，而且每个任务的状态为可中断状态。

注意了，接下来就是我觉得抽象的地方了：
执行wake_up(buffer_wait)时，是怎么唤醒任务的呢？
看函数：
wake_up的操作:

	if (p && *p) {
		(**p).state=0;
	}

把任务状态设置为就绪，之后schedule()函数就会返回到sleep_on函数的最后部分，执行操作如下：

    if (tmp)
        tmp->state=0;

因为tmp为前一个任务的指针，而且，每次sleep任务时，都创建了tmp指针，所以只要tmp指针不为空，就会把tmp指针指向的任务状态置为就绪。这样就实现了任务的唤醒，从代码看来每次唤醒都是把一个队列中的所有任务唤醒。

interruptible_sleep_on函数类似：

repeat:	current->state = TASK_INTERRUPTIBLE;
	schedule();
	if (*p && *p != current) {
		(**p).state=0;
		goto repeat;
	}
	*p=tmp;
	if (tmp)
		tmp->state=0;

当任务唤醒时，*p指针中有等待任务并且不是当前任务，表示当当前任务放入队列后又有其他任务放入队列中，之后就把当前任务置为就绪，并重新调度。当是当前任务时，也把其他就绪任务也唤醒，同sleep_on函数。

以上就是自己看a代码整理出来了，有任何不对地方，还请留言指正。