完成变量

  如果在内核中一个任务需要发出信号通知另一个任务发生了某个特定事件，利用完成变量(complection variable)是使两个任务得以同步的简单方法。如果一个任务要执行一些工作时，另一个任务就会在完成变量上等待。当这个任务完成工作后，会使用完成变量去唤醒在等待的任务。

1. 在<Completion.h(include/linux)>中
2. struct completion {
3.     unsigned int done;
4.     wait_queue_head_t wait;
5. };

  静态创建并初始化完成变量：

 

1. #define COMPLETION_INITIALIZER(work) /
2.     { 0, __WAIT_QUEUE_HEAD_INITIALIZER((work).wait) }
4. #define DECLARE_COMPLETION(work) /
5.     struct completion work = COMPLETION_INITIALIZER(work)

1. 在<Wait.h(include/linux)>中
2. #define __WAIT_QUEUE_HEAD_INITIALIZER(name) {               /
3.     .lock       = __SPIN_LOCK_UNLOCKED(name.lock),      /
4.     .task_list  = { &(name).task_list, &(name).task_list } }

动态创建并初始化完成变量：

 

1. static inline void init_completion(struct completion *x)
2. {
3.     x->done = 0;
4.     init_waitqueue_head(&x->wait);
5. }

在<Wait.c(kernel)>中

1. void init_waitqueue_head(wait_queue_head_t *q)
2. {
3.     spin_lock_init(&q->lock);
4.     INIT_LIST_HEAD(&q->task_list);
5. }

在一个指定的完成变量上，需要等待的任务调用wait_for_completion()来等待特定事件。当特定事件发生后，产生事件的任务调用completion()来发送信号唤醒正在等待的任务。

1. 在<sched.h(kernel)>中：
2. void fastcall __sched wait_for_completion(struct completion *x)
3. {
4.     might_sleep();
6.     spin_lock_irq(&x->wait.lock);
7.     if (!x->done) {
8.         DECLARE_WAITQUEUE(wait, current);
10.         wait.flags |= WQ_FLAG_EXCLUSIVE;
11.         __add_wait_queue_tail(&x->wait, &wait);
12.         do {
13.             __set_current_state(TASK_UNINTERRUPTIBLE);
14.             spin_unlock_irq(&x->wait.lock);
15.             schedule();
16.             spin_lock_irq(&x->wait.lock);
17.         } while (!x->done);
18.         __remove_wait_queue(&x->wait, &wait);
19.     }
20.     x->done--;
21.     spin_unlock_irq(&x->wait.lock);
22. }

在<sched.h(kernel)>中：

1. void fastcall complete(struct completion *x)
2. {
3.     unsigned long flags;
5.     spin_lock_irqsave(&x->wait.lock, flags);
6.     x->done++;
7.     __wake_up_common(&x->wait, TASK_UNINTERRUPTIBLE | TASK_INTERRUPTIBLE,
8.              1, 0, NULL);
9.     spin_unlock_irqrestore(&x->wait.lock, flags);
10. }
11. EXPORT_SYMBOL(complete);
13. void fastcall complete_all(struct completion *x)
14. {
15.     unsigned long flags;
17.     spin_lock_irqsave(&x->wait.lock, flags);
18.     x->done += UINT_MAX/2;
19.     __wake_up_common(&x->wait, TASK_UNINTERRUPTIBLE | TASK_INTERRUPTIBLE,
20.              0, 0, NULL);

完成变量的通常用法是，将完成变量作为数据结构中的一项动态创建，而完成数据结构初始化工作的内核代码将调用wait_for_completion()进行等待。使用完成变量的例子可以参考kernel/sched.c和kernel/fork.c。