内核线程同步之wait_queue

在《内核线程同步之completion》一文中说到completion完成量也是基于wait_queue等待队列机制实现（这些机制不仅仅用于内核线程的同步，也可用于其他相关场景，这里用线程演示是其比较方便感受到效果），那么接下来就来了解下这一机制的相关内容，其在Linux Kernel源码include/linux/wait.h文件中有如下内容：
typedef struct __wait_queue wait_queue_t;
struct __wait_queue {
        unsigned int flags;
        #define WQ_FLAG_EXCLUSIVE 0x01
        void *private;
        wait_queue_func_t func;
        struct list_head task_list;
};
struct __wait_queue_head {
        spinlock_t lock;
        struct list_head task_list;
};
typedef struct __wait_queue_head wait_queue_head_t;
上面包含了等待队列和等待队列头部类型的结构体声明。其对应有如下静态初始化宏：
#define DECLARE_WAITQUEUE(name, tsk) \
        wait_queue_t name = __WAITQUEUE_INITIALIZER(name, tsk)
#define DECLARE_WAIT_QUEUE_HEAD(name) \
        wait_queue_head_t name = __WAIT_QUEUE_HEAD_INITIALIZER(name)
还有如下动态初始化宏和函数：
#define init_waitqueue_head(q) \
        do { \
                static struct lock_class_key __key; \
                 \
                __init_waitqueue_head((q), #q, &__key); \
        } while (0)

static inline void init_waitqueue_entry(wait_queue_t *q, struct task_struct *p)
{
        q->flags = 0;
        q->private = p;
        q->func = default_wake_function;
}

static inline void
init_waitqueue_func_entry(wait_queue_t *q, wait_queue_func_t func)
{
        q->flags = 0;
        q->private = NULL;
        q->func = func;
}
还有添加、移除等待队列的函数头：
extern void add_wait_queue(wait_queue_head_t *q, wait_queue_t *wait);
extern void add_wait_queue_exclusive(wait_queue_head_t *q, wait_queue_t *wait);
extern void remove_wait_queue(wait_queue_head_t *q, wait_queue_t *wait);
其中都是将wait等待队列添加到以q为头的等待队列中，或者是从以q为头的等待队列中移除wait等待队列。 还有如下在等待队列上睡眠等待指定条件（资源）的宏：
#define wait_event(wq, condition) \
        do { \
                if (condition) \
                        break; \
                __wait_event(wq, condition); \
        } while (0)
#define wait_event_timeout(wq, condition, timeout) \
({ \
        long __ret = timeout; \
        if (!___wait_cond_timeout(condition)) \
                __ret = __wait_event_timeout(wq, condition, timeout); \
        __ret; \
})
#define wait_event_interruptible(wq, condition) \
({ \
        int __ret = 0; \
        if (!(condition)) \
                __ret = __wait_event_interruptible(wq, condition); \
        __ret; \
})
以及对应的唤醒宏：
#define wake_up(x) __wake_up(x, TASK_NORMAL, 1, NULL)
#define wake_up_interruptible(x) __wake_up(x, TASK_INTERRUPTIBLE, 1, NULL)
还有判断waitqueue是否存活的函数：
static inline int waitqueue_active(wait_queue_head_t *q)
{
        return !list_empty(&q->task_list);
}
具体也不用多解释，从Completion已经可以开始感受到Linux Kernel的一些命名风格了，下面还是以两人个内核线程的方式来演示等待队列的使用：
#include <linux/module.h>
#include <linux/kthread.h>
#include <linux/wait.h>

static struct task_struct * slam1, * slam2;

static wait_queue_head_t slam_wq_head;
static int wakeup_condition = 0;

extern unsigned long msleep_interruptible(unsigned int msecs);

static int slam1_func(void *data)
{
        do{
                printk("I'm in slam1,wating slam_wq_head to wakeup me!\n");
                wait_event_interruptible(slam_wq_head, wakeup_condition == 5);
                wakeup_condition=0;
                printk("slam1:slam_wq_head wakeup me done!\n");
        }while(!kthread_should_stop());

        return 0;
}

static int slam2_func(void *data)
{
        do{
                printk("I'm in slam2_func,i'll do wakeup!\n");
                wakeup_condition++;
                if((wakeup_condition == 5) && waitqueue_active(&slam_wq_head)){
                        wake_up_interruptible(&slam_wq_head);
                }
                msleep_interruptible(1000);
        }while(!kthread_should_stop());

        return 0;
}

static __init int kthread_waitqueue_init(void)
{
        init_waitqueue_head(&slam_wq_head);

        slam1 = kthread_run(slam1_func, NULL, "slam1");
        if(IS_ERR(slam1))
        {
                printk("kthread_run slam1 failed!\n");
                return 1;
        }

        slam2 = kthread_run(slam2_func, NULL, "slam2");
        if(IS_ERR(slam2))
        {
                printk("kthread_run slam2 failed!\n");
                return 1;
        }
        return 0;
}

static __exit void kthread_waitqueue_exit(void)
{
        if(!IS_ERR(slam1))
                kthread_stop(slam1);

        if(!IS_ERR(slam2))
                kthread_stop(slam2);
}

module_init(kthread_waitqueue_init);
module_exit(kthread_waitqueue_exit);
相应的Makefile文件内容如下：
obj-m += kthread_waitqueue_example.o

CUR_PATH:=$(shell pwd)
LINUX_KERNEL_PATH:=/home/xinu/linux-3.13.6

all:
        make -C $(LINUX_KERNEL_PATH) M=$(CUR_PATH) modules

clean:
        make -C $(LINUX_KERNEL_PATH) M=$(CUR_PATH) clean
相应的源码文件目录树如下：
/home/xinu/xinu/linux_kernel_driver_l1/kthread_waitqueue_example/
├── kthread_waitqueue_example.c
└── Makefile
注意源码里wait一方在等到条件成立时要修改条件的值，不然就一直不用等了。
在卸载模块时也有Completion的速度问题，可参照其修改。
还有这里只是简单使用了等待队列头，而等待队列呢？
请看下面，只是修改了初始化，把新的等待队列绑定了其处理函数，可从dmesg里查看到：
#include <linux/module.h>
#include <linux/kthread.h>
#include <linux/wait.h>

static struct task_struct * slam1, * slam2;

static wait_queue_head_t slam_wq_head;
static wait_queue_t slam_wq;

static int wakeup_condition = 0;

extern unsigned long msleep_interruptible(unsigned int msecs);

static int slam_wq_func(wait_queue_t *wait, unsigned mode, int flags, void *key)
{
        printk("I'm in slam_wq_func!\n");
        return 0;
}

static int slam1_func(void *data)
{
        do{
                printk("I'm in slam1,wating slam_wq_head to wakeup me!\n");
                wait_event_interruptible(slam_wq_head, wakeup_condition == 5);
                wakeup_condition=0;
                printk("slam1:slam_wq_head wakeup me done!\n");
        }while(!kthread_should_stop());

        return 0;
}

static int slam2_func(void *data)
{
        do{
                printk("I'm in slam2_func,i'll do wakeup!\n");
                wakeup_condition++;
                if((wakeup_condition == 5) && waitqueue_active(&slam_wq_head)){
                        wake_up_interruptible(&slam_wq_head);
                }
                msleep_interruptible(1000);
        }while(!kthread_should_stop());

        return 0;
}

static __init int kthread_waitqueue_init(void)
{
        init_waitqueue_head(&slam_wq_head);
        init_waitqueue_func_entry(&slam_wq, slam_wq_func);
        add_wait_queue(&slam_wq_head, &slam_wq);

        slam1 = kthread_run(slam1_func, NULL, "slam1");
        if(IS_ERR(slam1))
        {
                printk("kthread_run slam1 failed!\n");
                return 1;
        }

        slam2 = kthread_run(slam2_func, NULL, "slam2");
        if(IS_ERR(slam2))
        {
                printk("kthread_run slam2 failed!\n");
                return 1;
        }

        return 0;
}

static __exit void kthread_waitqueue_exit(void)
{
        if(!IS_ERR(slam1))
                kthread_stop(slam1);

        if(!IS_ERR(slam2))
                kthread_stop(slam2);
}

module_init(kthread_waitqueue_init);
module_exit(kthread_waitqueue_exit);
这里只是简单加了个等待队列并且绑定相应处理函数，等相应的等待队列被唤醒后，其对应的函数就会被执行，这里的等待队列头部只加入我们新加的等待队列，故而等会唤醒时该函数也会执行，可以多加几个等待队列到队头再对比下，这个自己动手试试吧。
参考网址：
http://edsionte.com/techblog/archives/1854
http://www.cnblogs.com/zhuyp1015/archive/2012/06/11/2545702.html
http://www.cnblogs.com/zhuyp1015/archive/2012/06/09/2542882.html
http://www.cnblogs.com/zhuyp1015/archive/2012/06/09/2542894.html
http://linuxinme.blogspot.com/2007/06/wait-queues.html
http://huenlil.pixnet.net/blog/post/25190567-%5B%E8%BD%89%5Dlinux-kernel—wait-queue.
http://geeki.wordpress.com/2010/10/30/ways-of-sleeping-in-linux-kernel/
http://gauss.ececs.uc.edu/Courses/c4029/exams/Spring2013/Review/wait_queue_driver.c
http://blog.sina.com.cn/s/blog_6a7217e80101awe5.html

评论

发表评论

此博客中的热门博文

I/O映射之I/O端口

图片
对于外设，操作系统会采用端口映射和内存映射两种方式来对其进行控制，其中端口映射就是操作系统规定好一段地址给指定换上设，其与外设的寄存器按顺序一一对应上。 在Linux内核源码include/asm-generic/io.h头文件里有如下我们对I/O port进行操作的函数： static inline u8 inb(unsigned long addr) { return readb(addr + PCI_IOBASE); } static inline u16 inw(unsigned long addr) { return readw(addr + PCI_IOBASE); } static inline u32 inl(unsigned long addr) { return readl(addr + PCI_IOBASE); } static inline void outb(u8 b, unsigned long addr) { writeb(b, addr + PCI_IOBASE); } static inline void outw(u16 b, unsigned long addr) { writew(b, addr + PCI_IOBASE); } static inline void outl(u32 b, unsigned long addr) { writel(b, addr + PCI_IOBASE); } #define inb_p(addr) inb(addr) #define inw_p(addr) inw(addr) #define inl_p(addr) inl(addr) #define outb_p(x, addr) outb((x), (addr)) #define outw_p(x, addr) outw((x), (addr)) #define outl_p(x, addr) outl((x), (addr)) 分别对应对端口进行读取或写入字节、字、双字大小数据的操作。 该头文件中还有其他的操作函数及宏定义，请自行深入了解。 我们可通过读取/proc/ioports文件来了解Linux里I/O端口的映射
阅读全文

通过Netlink检测网线插拔

  最近有个需求需要检测RJ45网卡的网线有没有接上，而最近正在了解Netlink相关资料，刚好也看下通过Netlink可以进行检测，故在此做下粗略笔记：   1.首先要创建一个Netlink Socket，在用户层使用如下参数来调用socket()函数：    fd = socket(AF_NETLINK, SOCK_RAW, NETLINK_ROUTE);    上面这个函数第一个参数必须是AF_NETLINK或PF_NETLINK，这两个标志在Linux下是一样的，第二个参数可以是SOCK_RAW或SOCK_DGRAM（对应用到TCP或UDP协议），而最后一个参数NETLINK_ROUTE为“路由守护进程”，用于接收来自内核的路由通知事件。   2.将上面创建的Socket绑定    addr.nl_family = AF_NETLINK;    addr.nl_groups = RTNLGRP_LINK; //指定接收路由多播组消息    bind(fd, (struct sockaddr*)&addr, sizeof(addr));    上面将创建的socket与相应的协议族和组进行绑定，接下来通过读fd这个socket来获得相应的消息数据struct nlmsghdr，再对该结构体数据进行判断来获得网线是接上或是拔掉，相应的源码如下： #include <sys/types.h>  #include <sys/socket.h>  #include <asm/types.h>  #include <linux/netlink.h>  #include <linux/rtnetlink.h>  #include <stdlib.h>  #include <stdio.h>  #include <sys/ioctl.h>  #include <linux/if.h>  #include <string.h>  #define BUFLEN 20480  int main(int argc, char *argv[])  {      int fd, retval;      char buf[BUFLEN] = {0};
阅读全文

使用seq_file

在《使用procfs》一文的源码示例中有说到proc文件系统每次读取的数据只能是1个页，如果超过则需多次读取，这样的话会增加读取次数，增多系统调用次数，影响了整体的效率，故而才有seq file序列文件的出现，该项功能使得内核对于大文件的读取更加容易。 对于seq file，其结构体定义在include/linux/seq_file.h文件中，内容如下： struct seq_file { char *buf; size_t size; size_t from; size_t count; size_t pad_until; loff_t index; loff_t read_pos; u64 version; struct mutex lock; const struct seq_operations *op; int poll_event; #ifdef CONFIG_USER_NS struct user_namespace *user_ns; #endif void *private; }; 这里不详细说明该结构体，仅供感受下。 对于seq_file，相应的文件操作需要实现seq_operations结构体的成员，该结构体在同一头文件中有如下定义： struct seq_operations { void * (*start) (struct seq_file *m, loff_t *pos); void (*stop) (struct seq_file *m, void *v); void * (*next) (struct seq_file *m, void *v, loff_t *pos); int (*show) (struct seq_file *m, void *v); }; 实现该结构体成员后，需要使用seq_open打开，让文件与该seq_operations关联起来，最终这个open函数要作为file_oper
阅读全文