Linux内核设计与实现 总结笔记（第八章）下半部和推后执行的工作

上半部分的中断处理有一些局限，包括：

  • 中断处理程序以异步方式执行，并且它有可能打断其他重要代码的执行。
  • 中断会屏蔽其他程序，所以中断处理程序执行的越快越好。
  • 由于中断处理程序往往需要对硬件进行操作，所以它们通常又很高的时限要求。
  • 中断处理程序不在进程上下文中运行，所以它们不能阻塞。这限制它们所做的事情。

一、下半部

下半部的任务就是执行与中断处理密切相关但中断处理程序本身不执行的工作。

中断处理程序会异步执行并且在最好的情况下也会锁定当前的中断线。

  • 如果一个任务对时间非常敏感，将其放在中断处理程序中执行
  • 如果一个任务和硬件相关，将其放在中断处理程序中执行
  • 如果一个任务要保证不被其他中断打断，将其放在中断处理程序中执行。
  • 其他所有任务，考虑放置在下半部执行

可以读一下别人的代码，看看别人怎么写的

1.1 为什么要用下半部

可以尽量缩短中断处理的时间，提高系统的响应能力。

1.2 下半部的环境

在linux中经历过多种下半部机制。最早Linux提供下半部的唯一方法叫做“BH”。然而这个机制方便却不灵活，简单又有性能瓶颈。

然后开发者们引入了任务队列，来实现工作推后执行。并且代替了“BH”机制。不过还是不够灵活，尤其是网络部分。

在2.3中，开发者引入了软中断（softirqs）和tasklet。32个软中断在所有处理器上同时执行，而相同类型的tasklet不能同时执行。

  • BH（在2.5中去除）
  • 任务队列（2.5中去除）
  • 软中断（在2.3中开始引入）
  • tasklet（2.3中引入）
  • 工作队列（2.5开始引入）

二、软中断

软中断使用的较少，而tasklet是下半部更常用的形式。不过tasklet是通过软中断实现的。

2.1 软中断的实现

在<linux/interrunpt.h>中，有softirq_action结构

struct softirq_action {
    void (*action)(struct softirq_action *);
};
softirq_action

kernel/softirq.c中定义了一个包含有32个结构体的数组

static struct softirq_action softirq_vec[NR_SOFTIRQS]
softirq_vec

现在只用到了9个，在<linux/interrupt.h>中有定义

enum
{
    HI_SOFTIRQ=0,
    TIMER_SOFTIRQ,
    NET_TX_SOFTIRQ,
    NET_RX_SOFTIRQ,
    BLOCK_SOFTIRQ,
    BLOCK_IOPOLL_SOFTIRQ,
    TASKLET_SOFTIRQ,
    SCHED_SOFTIRQ,
    HRTIMER_SOFTIRQ, /* Unused, but kept as tools rely on the
                numbering. Sigh! */
    RCU_SOFTIRQ,    /* Preferable RCU should always be the last softirq */

    NR_SOFTIRQS
};
NR_SOFTIRQS

上面这些可以类似的使用这种方式来实现，softirq_handler是我们自己定义的名字：

void softirq_handler(struct softirq_action *)

然后有，把整个结构体都传递给软中断处理程序，而不是仅仅传递数据值。如果结构体加入新的域时，无需对所有的软中断处理程序都进行变动。

一个注册的软中断必须在被标记后才会执行，被称作触发软中断。

以下几种情况，待处理的软中断会被检查和执行。

  • 从一个硬件中断代码处返回时
  • 在ksoftirqd内核线程中
  • 在哪些显式检查和执行待处理的软中断的代码中，如网络子系统中

不管用什么办法唤醒，软中断都要在do_softirq()中执行。 

/* 如果有待处理的软中断，do_softirq()会循环遍历每一个，调用它们的处理程序 */
do_softirq()
{
    u32 pending;

    pending = local_softirq_pending();
    if(pending) {
        struct softirq_action *h; 

        /* 重设待处理的位图 */
        set_softirq_pending(0);

        h = softirq_vec;
        do {
            if(pending & 1)
                h->action(h);
            h++;
            pending >>= 1;
        } while(pending);
    }   
}

/* 1) 用局部变量pending保存local_softirq_pending()宏的返回值，如果第n位被置1。那么第n位中断待处理
 * 2) 现在待处理的软中断位图已经被保存，可以将实际软中断位图清零了
 * 3) 将指针h只想softirq_vec的第一项
 * 4) 如果pending的第一位被置1，则h->action(h)被调用
 * 5) 指针加1，h指向第二项
 * 6) pending右移1位，依次循环
 * 7) 重复到最后执行结束
 */
do_softirq

2.2 使用软中断

目前只有网络和SCSI直接使用软中断。此外内核定时器和tasklet都是建立在软中断上的。对于时间要求严格并能自己搞笑完成枷锁工作的应用，软中断会很好。

1.分配索引

在编译期间，通过在<linux/interrupt.h>中定义的一个美剧类型来静态声明软中断。

内核使用从0开始的索引表示优先级，索引号越小优先级越高。

2.注册处理程序

运行时通过调用open_softirq()注册软中断处理程序，两个参数：软中断的索引号和处理函数。在网络子系统中有net/coreldev.c中。这样使用

open_softirq(NET_TX_SOFTIRQ, net_tx_action);
open_softirq(NET_RX_SOFTIRQ, net_rx_action);
open_softirq

软中断处理程序执行时，允许响应中断，但自己不能休眠。比如当前处理器软中断被禁止，其他处理器仍然可以执行别的软中断。这意味着数据共享，所以要严格的锁机制。

软中断的意义是可扩展性，可以在多个处理器中高效运行。如果不需要扩展多处理器，那么使用tasklet吧。

3.触发软中断

通过在枚举类型的列表中添加新项以及调用open_softirq()进行注册以后，新的软中断处理程序能够运行。

raise_softirq()函数可以将一个软中断设置为挂起状态。在下次调用do_softirq()函数时投入运行。

三、tasklet

tasklet是利用软中断实现的一种下半部机制。它的接口更简单，锁保护也要求较低。

3.1 tasklet的实现

tasklet由两类软中断代表，HI_SOFTIRQ和TASKLET_SOFTIRQ，这两个唯一的区别在于HI_SOFTIRQ先执行。

3.2 tasklet结构体

struct tasklet_struct
{
    struct tasklet_struct *next;        /* 链表中的下一个tasklet */
    unsigned long state;                /* tasklet的状态 */
    atomic_t count;                     /* 引用计数器 */
    void (*func)(unsigned long);        /* tasklet处理函数 */
    unsigned long data;                 /* 给tasklet处理函数的参数 */
};
struct tasklet_struct

func是tasklet的处理程序，data是它唯一的参数。

state只能在0、TASKLET_STATE_SCHED（被调度）和TASKLET_STATE_RUN（在运行）之间取值。

count是tasklet应用计数器，如果不是0，tasklet被禁止。只有0时才被激活。

3.3 调度tasklet 

已经调度的tasklet存放在两个单处理器数据结构中：tasklet_vec（普通tasklet）和tasklet_hi_vec（高优先级的tasklet）。

tasklet由tasklet_schedule()和tasklet_hi_schedule()，接收一个只需将tasklet_struct结构的指针作为参数。

tasklet_schedule()执行步骤：

  • 1）检查tasklet的状态是否为TASKLET_STATE_SCHED
  • 2）调用_tasklet_schedule()
  • 3）保存中断状态，然后禁止本地中断。
  • 4）把需要的tasklet加到每个处理器一个的tasklet_vec链表或tasklet_hi_vec链表的表头上去
  • 5）唤起TASKLET_SOFTIRQ或HI_SOFTIRQ软中断，下次调用do_softirq(0就会执行tasklet
  • 6）恢复中断到原状态
static inline void tasklet_schedule(struct tasklet_struct *t) 
{
    if (!test_and_set_bit(TASKLET_STATE_SCHED, &t->state))
        __tasklet_schedule(t);
}

void __tasklet_schedule(struct tasklet_struct *t)
{
    unsigned long flags;

    local_irq_save(flags);
    t->next = NULL;
    *__this_cpu_read(tasklet_vec.tail) = t;
    __this_cpu_write(tasklet_vec.tail, &(t->next));
    raise_softirq_irqoff(TASKLET_SOFTIRQ);
    local_irq_restore(flags);
}
tasklet_schedule

tasklet_action和tasklet_hi_action()就是tasklet_vec的处理核心：

static void tasklet_action(struct softirq_action *a)
{
    struct tasklet_struct *list;

    local_irq_disable();
    list = __this_cpu_read(tasklet_vec.head);
    __this_cpu_write(tasklet_vec.head, NULL);
    __this_cpu_write(tasklet_vec.tail, this_cpu_ptr(&tasklet_vec.head));
    local_irq_enable();

    while (list) {
        struct tasklet_struct *t = list;

        list = list->next;

        if (tasklet_trylock(t)) {
            if (!atomic_read(&t->count)) {
                if (!test_and_clear_bit(TASKLET_STATE_SCHED,
                            &t->state))
                    BUG();
                t->func(t->data);
                tasklet_unlock(t);
                continue;
            }
            tasklet_unlock(t);
        }

        local_irq_disable();
        t->next = NULL;
        *__this_cpu_read(tasklet_vec.tail) = t;
        __this_cpu_write(tasklet_vec.tail, &(t->next));
        __raise_softirq_irqoff(TASKLET_SOFTIRQ);
        local_irq_enable();
    }
}
tasklet_action
  • 1）禁止中断，并为当前处理器检索tasklet_vec或tasklet_hig_vec链表
  • 2）将当前处理器上的该链表设置为NULL，达到清空的效果
  • 3）允许响应中断，不需要回到原状态
  • 4）循环遍历获得链表上的每一个待处理的tasklet
  • 5）如果是多处理器系统，检查TASKLET_STATE_RUN。如果正在执行，那现在就不运行
  • 6）如果当前这个tasklet没有执行，将其状态设置为TASKLET_STATE_RUN
  • 7）检查count值是否为0，确保tasklet没有被禁止。如果tasklet被禁止了，则跳到下一个挂起的tasklet
  • 8）已经知道了没有在其他地方执行，并且被设置成运行状态，这样其他部分就不会被执行，并且引用计数为0，现在可以执行tasklet的处理程序了。
  • 9）tasklet运行完毕，清除tasklet的state域的TASKLET_STATE_RUN标志状态
  • 10）重复执行下一个tasklet直至没有剩余的等待处理的tasklet

 3.4 使用tasklet

1.声明自己的tasklet

如果是静态创建，在<linux/interrupt.h>中定义了两个宏：

DECLARE_TASKLET(name, func, data)
DECLARE_TASKLET_DISABLED(name, func, data);
根据给定的名称静态创建一个tasklet_struct结构
tasklet被调度后，会执行func函数，参数由data提供
这两个区别在于初始值不同，导致初始状态一个运行态，一个等待
tasklet静态创建

 使用例子：

DECLARE_TASKLET(my_tasklet, my_tasklet_handler, dev);
等价于
struct tasklet_struct my_tasklet = { NULL, 0, ATOMIC_INIT(0),
    my_tasklet_handler, dev};
创建了一个my_stasklet，处理程序是my_tasklet_handler，dev是值
例子

2.编写自己的tasklet处理程序

tasklet必须符合特定格式

void tasklet_handler(unsigned long data)

需要注意tasklet不能睡眠，不能使用信号量或者其他什么阻塞函数

两个相同tasklet不会同时运行，共享数据必须适当的锁保护

3.调度你自己的tasklet

通过调度tasklet_schedule()函数并传递给他相应的tasklet_struct指针

tasklet_schedule(&my_tasklet);    /* 把my_tasklet标记为挂起 */

4.ksoftirqd

软中断可能频繁触发导致用户空间进程无法获得足够的处理器时间，因而处饥饿状态。有两种最容易想到的方案：

1. 一种是软中断返回前，把其他的软中断都一并处理。复杂情况下，可能一直运行

2.第二种是在返回后，软中断必须等上一些时间才能运行。这样空闲时速度反而不够。

最后开发者做了一些折中，内核不会立即处理重新触发的软中断。当大量软中断出现的时候，内核会唤醒一组内核线程处理这些负载。

这些线程在最低优先级上运行(nice19)，以避免对重要任务资源抢夺。

每个处理器都有这样一个线程，所有线程的名字都叫做ksoftirqd/n，区别在于n，它对应处理器的编号。

只要有空闲的处理器，ksoftirq就会调用do_softirq()去处理它们。

四、工作队列

工作队列是另外一种将工作推后执行的形式，交由一个内核线程去执行。这个下半部总会在进程上下文中执行。

区分使用tasklet、软中断和工作队列是，任务是否需要睡眠。

4.1 工作队列的实现

工作队列子系统是一个用于创建内核线程的接口，通过它创建的进程负责执行由内核其他部分排到队列里的任务。

创建这些内恶化线程称作工作者线程。工作队列可以让你的驱动程序创建一个专门的工作者线程来处理需要推后的工作。

它定义在kernel/workqueue.c中，数组中的每一项对应系统中的一个处理器。每个处理器，每个工作者线程对应一个这样的cpu_workqueue_struct结构体

/*
 * 外部可见的工作队列抽象是
 * 由每个CPU的工作队列组成的数组
 */
struct workqueue_struct {
    struct cpu_workqueue_struct cpu_wq[NR_CPUS];
    struct list_head list;
    const char *name;
    int sinqlethread;
    int freezeable;
    int rt; 
};
workqueue_struct

cpu_workqueue_struct是kernel/workqueue.c的核心数据结构：

struct cpu_workqueue_struct {
    spinlock_t lock;            /* 锁保护这种结构 */
    struct list_head worklist;  /* 工作列表       */
    wait_queue_head_t more_work;
    struct work_struct *current_struct;
    struct workqueue_struct *wq;    /* 关联工作队列结构 */
    task_t *thread;                 /* 关联线程         */
};
cpu_workqueue_struct

4.1.2 表示工作的数据结构

所有的工作者线程是用普通的内核线程实现的，它们都要执行worker_thread()函数。在<linux/workqueue.h>中定义的work_struct结构体表示：

struct work_struct {
    atomic_long_t data;
    struct list_head entry;
    work_func_t func;
};
struct work_struct

这些结构体被连接成链表，在每个处理器上的每种类型的队列都对应这样一个链表。

work_thread()函数的核心流程，如下：

for ( ; ; ) {
    prepare_to_wait(&cwq->more_work, &wait, TASK_INTERRUPTIBLE);
    if ( list_empty(&cwq->worklist))
        schedule();
    finish_wait(&cwq->more_work, &wait);
    run_workqueue(cwq);
}
work_thread

1）线程将自己设置为休眠状态（state被设成TASK_INTERRUPTIBLE），并把自己加入到等待队列中

2）如果工作链表是空的，线程调用schedule()函数进入睡眠状态

3）如果链表中有对象，线程不会睡眠。相反，它将自己设置成TASK_RUNNING，脱离等待队列。

4）如果链表非空，调用run_workqueue()函数执行被推后的工作。

while(!list_empty(&cwq->worklist)) {
    struct work_struct *work;
    work_func_t f;
    void *data;
    
    work = list_entry(cwq->worklist.next, struct work_struct, entry);
    f = work->func;
    list_del_init(cwq->worklist.next);
    work_clear_pending(work);
    f(work);
}
run_workqueue()函数完成推后到此的工作

1）当链表不为空时，选取下一个节点对象

2）获取我们下网执行的函数func及其参数data

3）把该节点从链表上解下来，将待处理标志位pending清零

4）调用函数

5）重复执行

4.1.3 工作队列实现机制的总结

位于最高一层的工作者线程。系统允许有多种类型的工作者线程存在，对于指定的一个类型，系统的每个CPU上都有要给该类的工作者线程。

内核可以根据需要来创建工作者线程，而在默认情况下内核只有event这一种类型的工作者线程。

4.1.4 使用工作队列

①创建推后的工作

可以通过DECLARE_WORK在编译时静态地创建该结构体：

DECLARE_WORK(name, void(*func) (void *), void *data);

静态的创建要给名为name，处理函数为func，参数为data的work_struct结构体。

也可以在运行时通过指针创建一个工作：

INIT_WORK(struct work_struct *work, void(*func)(void *), void *data);

初始化一个由work指向的工作，处理函数为func，参数为data。

②工作队列处理函数

void work_handler(void *data)

会由一个工作者线程执行，函数会进行在进程上下文中。默认情况下，允许中断响应，并且没有任何锁。函数还可以睡眠。

需要注意的是函数不能访问用户空间，

③对工作进行调度

schedule_work(&work);

work马上就会被调度，一旦其所在的处理器上的工作者线程被唤醒，它就会被执行。

schedule_delayed_work(&work, delay);

&work指向work_struct直到delay指定的时钟节拍用完以后才会执行。

④刷新操作

void flush_scheduled_work(void);

函数会一直等待，直到队列中多有对象都被执行以后才返回。

int cancel_delayed_work(struct work_struct *work);

这个函数可以取消任何与work_struct相关的挂起工作

⑤创建新的工作队列

struct workqueue_struct *create_workqueue(const char *name);

创建一个新的任务队列和与之相关的工作者线程。name参数用于该内核线程的命名，比如缺省的events队列的创建就是调用：

struct workqueue_struct *keventd_wq;

keventd_wq = create_workqueue("events");

创建一个工作的时候无需考虑工作队列的类型。

int queue_work(struct workqueue_struct *wq, struct work_struct *work)

int queue_delayed_work(struct workqueue_struct *wq, struct work_struct *work, unsigned long delay)

最后你可以调用下面的函数刷新指定的工作队列：

flush_workqueue(struct workqueue_struct *wq);

#include <linux/kernel.h>
#include <linux/module.h>
#include <linux/workqueue.h>
#include <linux/slab.h>

static struct workqueue_struct *my_wq;

typedef struct {
    struct work_struct work;
    int x;
}my_work_t;

my_work_t *work, *work2;
static void my_wq_func(struct work_struct *work)
{
    my_work_t *my_work = (my_work_t *)work;
    printk("my_work.x %d
", my_work->x);
}

int init_module(void)
{
    int ret;

    my_wq = create_workqueue("my_queue");    //创建一个工作队列
    if(my_wq) {
        work = (my_work_t *)kmalloc(sizeof(my_work_t), GFP_KERNEL);
        if(work) {
            INIT_WORK((struct work_struct *)work, my_wq_func);
            work->x = 1;
            ret = queue_work(my_wq, (struct work_struct *)work);
        }

        work2 = (my_work_t *)kmalloc(sizeof(my_work_t), GFP_KERNEL);
        if(work2) {
            INIT_WORK((struct work_struct *)work2, my_wq_func);
            work2->x = 2;
            ret = queue_work(my_wq, (struct work_struct *)work2);
        }
    }

    return 0;
}

void cleanup_module(void)
{
    flush_workqueue(my_wq);
    destroy_workqueue(my_wq);
}

MODULE_AUTHOR("skldjkas");
MODULE_DESCRIPTION(" work queue of buttom half test");
MODULE_LICENSE("GPL v2");
work.c

五、下半部机制的选择

软中断提供的执行序列化保障最少，要求软中断处理函数必须格外小心地采取一些步骤确保共享数据的安全。

如果代码多线索化考虑得不充分，那么tasklet意义更大。 接口简单，而且两种同类型的tasklet不能同时执行

如果你需要吧任务推后到进程上下文中完成，那么只能选择工作队列了。

六、在下半部之间加锁

七、禁止下半部

【推广】 免费学中医，健康全家人
原文地址：https://www.cnblogs.com/ch122633/p/10530237.html