linux同步机制之wait
1. 关于 wait_event_interruptible() 和 wake_up()的使用读一下wait_event_interruptible()的源码，不难发现这个函数先将当前进程的状态设置成TASK_INTERRUPTIBLE，然后调用schedule()，而schedule()会将位于TASK_INTERRUPTIBLE状态的当前进程从runqueue队列中删除。从runqueue队列中删除的结果是，当前这个进程将不再参与调度，除非通过其他函数将这个进程重新放入这个runqueue队列中，这就是wake_up()的作用了。由于这一段代码位于一个由condition控制的for(;;)循环中，所以当由shedule()返回时(当然是被wake_up之后，通过其他进程的schedule()而再次调度本进程)，如果条件condition不满足，本进程将自动再次被设置为TASK_INTERRUPTIBLE状态，接下来执行schedule()的结果是再次被从runqueue队列中删除。这时候就需要再次通过wake_up重新添加到runqueue队列中。如此反复，直到condition为真的时候被wake_up.可见，成功地唤醒一个被wait_event_interruptible()的进程，需要满足：在 1)condition为真的前提下，2) 调用wake_up()。所以，如果你仅仅修改condition，那么只是满足其中一个条件，这个时候，被wait_event_interruptible()起来的进程尚未位于runqueue队列中，因此不会被 schedule。这个时候只要wake_up一下就立刻会重新进入运行调度。2. 关于wait_event_interruptible的返回值根据 wait_event_interruptible 的宏定义知：1) 条件condition为真时调用这个函数将直接返回0，而当前进程不会被 wait_event_interruptible和从runqueue队列中删除。2) 如果要被wait_event_interruptible的当前进程有nonblocked pendingsignals, 那么会直接返回-ERESTARTSYS(i.e. -512)，当前进程不会被wait_event_interruptible 和从runqueue队列中删除。3) 其他情况下，当前进程会被正常的wait_event_interruptible，并从runqueue队列中删除，进入TASK_INTERRUPTIBLE状态退出运行调度，直到再次被唤醒加入runqueue队列中后而参与调度，将正常返回0。附1：wait_event_interruptible 宏#define wait_event_interruptible(wq, condition) \({ \int __ret = 0; \if (!(condition)) \__wait_event_interruptible(wq, condition, __ret); \__ret; \})注: C语言中{a,b, ..., x}的的值等于最后一项，即x，因此上述宏的值是 __ret。附2：wait_event_interruptible()和 wake_up的等效代码wait_event_interruptible(wq, condition) /*等效没有考虑返回值*/{if (!(condition)){wait_queue_t _ _wait;init_waitqueue_entry(&_ _wait, current);add_wait_queue(&wq, &_ _wait);for (;;){set_current_state(TASK_INTERRUPTIBLE);if (condition)break;schedule(); /* implicit call: del_from_runqueue(current)*/}current->state = TASK_RUNNING;remove_wait_queue(&wq, &_ _wait);}}void wake_up(wait_queue_head_t *q){struct list_head *tmp;wait_queue_t *curr;list_for_each(tmp, &q->task_list){curr = list_entry(tmp, wait_queue_t, task_list);wake_up_process(curr->task);/* implicit call: add_to_runqueue(curr->task);*/if (curr->flags)break;}}Linux中等待队列机制分析分类： Linux 系列 2012-01-03 21:40 210人阅读 评论(0) 收藏 举报linux任务linux内核struct任务调度list目录(?)[+]什么是等待队列？在软件开发中任务经常由于某种条件没有得到满足而不得不进入睡眠状态，然后等待条件得到满足的时候再继续运行，进入运行状态。这种需求需要等待队列机制的支持。Linux中提供了等待队列的机制，该机制在内核中应用很广泛。在Linux内核中使用等待队列的过程很简单，首先定义一个wait_queue_head，然后如果一个task想等待某种事件，那么调用wait_event（等待队列，事件）就可以了。Linux中等待队列的实现等待队列应用广泛，但是内核实现却十分简单。其涉及到两个比较重要的数据结构：1) __wait_queue_head，该结构描述了等待队列的链头，其包含一个链表和一个原子锁，结构定义如下：struct__wait_queue_head {spinlock_tlock;struct list_headtask_list;};2) __wait_queue，该结构是对一个等待任务的抽象。每个等待任务都会抽象成一个wait_queue，并且挂载到wait_queue_head上。该结构定义如下：struct__wait_queue {unsigned intflags;void*private;wait_queue_func_tfunc;struct list_headtask_list;};Linux中等待队列的实现思想如下图所示，当一个任务需要在某个wait_queue_head上睡眠时，将自己的进程控制块信息封装到wait_queue中，然后挂载到wait_queue的链表中，执行调度睡眠。当某些事件发生后，另一个任务（进程）会唤醒wait_queue_head上的某个或者所有任务，唤醒工作也就是将等待队列中的任务设置为可调度的状态，并且从队列中删除。