Linux内核同步机制之completion

原创 2012年03月28日 10:09:09

作者:bullbat


         内核编程中常见的一种模式是,在当前线程之外初始化某个活动,然后等待该活动的结束。这个活动可能是,创建一个新的内核线程或者新的用户空间进程、对一个已有进程的某个请求,或者某种类型的硬件动作,等等。在这种情况下,我们可以使用信号量来同步这两个任务。然而,内核中提供了另外一种机制——completion接口。Completion是一种轻量级的机制,他允许一个线程告诉另一个线程某个工作已经完成。


结构与初始化

       Completion在内核中的实现基于等待队列(关于等待队列理论知识在前面的文章中有介绍),completion结构很简单:

struct completion {
	unsigned int done;/*用于同步的原子量*/
	wait_queue_head_t wait;/*等待事件队列*/
};

和信号量一样,初始化分为静态初始化和动态初始化两种情况:

静态初始化:

#define COMPLETION_INITIALIZER(work) \
	{ 0, __WAIT_QUEUE_HEAD_INITIALIZER((work).wait) }

#define DECLARE_COMPLETION(work) \
	struct completion work = COMPLETION_INITIALIZER(work)

动态初始化:

static inline void init_completion(struct completion *x)
{
	x->done = 0;
	init_waitqueue_head(&x->wait);
}

     可见,两种初始化都将用于同步的done原子量置位了0,后面我们会看到,该变量在wait相关函数中减一,在complete系列函数中加一。

 

实现

       同步函数一般都成对出现,completion也不例外,我们看看最基本的两个complete和wait_for_completion函数的实现。

wait_for_completion最终由下面函数实现:

static inline long __sched
do_wait_for_common(struct completion *x, long timeout, int state)
{
	if (!x->done) {
		DECLARE_WAITQUEUE(wait, current);

		wait.flags |= WQ_FLAG_EXCLUSIVE;
		__add_wait_queue_tail(&x->wait, &wait);
		do {
			if (signal_pending_state(state, current)) {
				timeout = -ERESTARTSYS;
				break;
			}
			__set_current_state(state);
			spin_unlock_irq(&x->wait.lock);
			timeout = schedule_timeout(timeout);
			spin_lock_irq(&x->wait.lock);
		} while (!x->done && timeout);
		__remove_wait_queue(&x->wait, &wait);
		if (!x->done)
			return timeout;
	}
	x->done--;
	return timeout ?: 1;
}

而complete实现如下:

void complete(struct completion *x)
{
	unsigned long flags;

	spin_lock_irqsave(&x->wait.lock, flags);
	x->done++;
	__wake_up_common(&x->wait, TASK_NORMAL, 1, 0, NULL);
	spin_unlock_irqrestore(&x->wait.lock, flags);
}

       不看内核实现的源代码我们也能想到他的实现,不外乎在wait函数中循环等待done变为可用(正),而另一边的complete函数为唤醒函数,当然是将done加一,唤醒待处理的函数。是的,从上面的代码看到,和我们想的一样。内核也是这样做的。


运用

运用LDD3中的例子:

#include <linux/module.h>
#include <linux/init.h>

#include <linux/sched.h>
#include <linux/kernel.h>
#include <linux/fs.h>
#include <linux/types.h>
#include <linux/completion.h>

MODULE_LICENSE("GPL");

static int complete_major=250;
DECLARE_COMPLETION(comp);

ssize_t complete_read(struct file *filp,char __user *buf,size_t count,loff_t *pos)
{
	printk(KERN_ERR "process %i (%s) going to sleep\n",current->pid,current->comm);
	wait_for_completion(&comp);
	printk(KERN_ERR "awoken %i (%s)\n",current->pid,current->comm);
	return 0;
}

ssize_t complete_write(struct file *filp,const char __user *buf,size_t count,loff_t *pos)
{
	printk(KERN_ERR "process %i (%s) awakening the readers...\n",current->pid,current->comm);
	complete(&comp);
	return count;
}

struct file_operations complete_fops={
	.owner=THIS_MODULE,
	.read=complete_read,
	.write=complete_write,
};

int complete_init(void)
{
	int result;
	result=register_chrdev(complete_major,"complete",&complete_fops);
	if(result<0)
		return result;
	if(complete_major==0)
		complete_major=result;
	return 0;
}
void complete_cleanup(void)
{
	unregister_chrdev(complete_major,"complete");
}
module_init(complete_init);
module_exit(complete_cleanup);

测试步骤:

1, mknod /dev/complete创建complete节点,在linux上驱动程序需要手动创建文件节点。

2, insmod complete.ko 插入驱动模块,这里要注意的是,因为我们的代码中是手动分配的设备号,很可能被系统已经使用了,所以如果出现这种情况,查看/proc/devices文件。找一个没有被使用的设备号。

3, cat /dev/complete 用于读该设备,调用设备的读函数

4, 打开另一个终端输入 echo “hello” > /dev/complete 该命令用于写入该设备。




Linux中的completion使用

内核编程中常见的一种模式是,在当前线程之外初始化某个活动,然后等待该活动的结束。 这个活动可能是:创建一个新的内核线程或者新的用户空间进程、对一个已有进程的某个请求,或者某种类型的硬件动作。 可以使...
  • s651665496
  • s651665496
  • 2015年12月08日 12:18
  • 1014

Linux 的 completion机制

一、定义:linux/include/linux/completion.h13struct completion {14 unsigned int done;15wait_queue_h...
  • dreamxu
  • dreamxu
  • 2010年09月06日 16:29
  • 16711

linux设备驱动中的completion(kernel-4.7)

completion定义定义的目录:include/linux/completion.h /* * struct completion - structure used to maintain st...
  • viewsky11
  • viewsky11
  • 2017年02月23日 00:42
  • 330

completion 1

completion也是继续wait queue实现的。主要是一方调用下面的接口来等到某个操作完成 extern void wait_for_completion(struct completion...
  • tiantao2012
  • tiantao2012
  • 2017年01月26日 11:46
  • 320

linux中信号完成量completion

上节中我们已经掌握了创建大量内核线程的能力,可惜线程之间还缺乏配合。要知道学习ITC(inter thread communication),和学习IPC(inter process communic...
  • u013256018
  • u013256018
  • 2015年09月05日 16:01
  • 923

Linux驱动中completion接口浅析(wait_for_complete例子,很好)

        completion是一种轻量级的机制,它允许一个线程告诉另一个线程工作已经完成。可以利用下面的宏静态创建completion:                         DEC...
  • batoom
  • batoom
  • 2011年04月02日 14:31
  • 7654

completion使用方法

Linux系统提供了一种比信号量更好的同步机制,即completion,它用于一个执行单元等待另一个执行单元执行完某事。Linux系统中与completion相关的操作主要有以下4种:    (1) ...
  • ustc_dylan
  • ustc_dylan
  • 2011年03月28日 17:06
  • 1862

completion

1 数据结构 struct completion { unsigned int done; wait_queue_head_t wait;//等待队列头 }; 2 初始化 2.1 动态 stati...
  • coldsnow33
  • coldsnow33
  • 2014年01月20日 21:03
  • 867

linux 同步机制之complete wait_for_completion

在Linux内核中,completion是一种简单的同步机制,标志"things may proceed"。 要使用completion,必须在文件中包含,同时创建一个类型为struct compl...
  • liuxd3000
  • liuxd3000
  • 2014年01月06日 10:18
  • 8040

linux completion接口

http://blog.csdn.net/a254373829/article/details/8461178 头文件 /*  * struct completion - structure...
  • JK198310
  • JK198310
  • 2013年05月24日 20:03
  • 2154
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:Linux内核同步机制之completion
举报原因:
原因补充:

(最多只允许输入30个字)