第三十八期-ARM Linux内核的中断（8）

作者：罗宇哲，中国科学院软件研究所智能软件研究中心

上一期中我们介绍了ARM Linux内核中的底半机制和软中断的处理流程，这一期我们将介绍ARM Linux内核中小任务的工作流程和与工作队列相关的关键数据结构。

一、ARM Linux内核中小任务的工作流程

在ARM Linux内核中，小任务分为高优先级的小任务和低优先级的小任务，它们是基于软中断实现的，ARM Linux内核通过softirq_init（）函数将高优先级的小任务和低优先级的小任务分别注册为HI_SOFTIRQ类型的软中断和TASKLET_SOFTIRQ类型的软中断。softirq_init（）函数的源码可以在openEuler源码仓库的openeuler/kernel/blob/kernel-4.19/kernel/softirq.c文件中可以找到（下文中没有特别说明的源码都在softirq.c文件中）：

该函数将为低优先级和高优先级的小任务注册了处理函数。低优先级的小任务的处理函数为tasklet_action，高优先级小任务的处理函数为tasklet_hi_action：

这两个函数调用了tasklet_action_common函数，并分别使用了tasklet_vec和tasklet_hi_vec，这两个参数定义如下：

从参数的定义可以看出，每个处理器有一个高优先级小任务链表和一个低优先级小任务链表。tasklet_struct结构体是小任务的关键数据结构，其定义可以在openeuler/kernel/blob/kernel-4.19/include/linux/interrupt.h 文件中找到：

该数据结构各字段的含义如下[1,3]：

• next：tasklet单向链表中指向下一项的指针；
• state：小任务的状态。当该值为0时代表小任务没有被调度；当该值的TASKLET_STATE_SCHED位为1时表示小任务被调度，即将被执行；当该值的TASKLET_STATE_RUN位为1时表示小任务正在被执行，这种情况只在对称多处理系统（SMP）[2]中发生；
• count：计数变量，该值为0表示允许小任务执行，该值为非零值则表示禁止小任务被执行；
• func：tasklet处理函数；
• data：传给处理函数的参数。这是一个32位的无符号整数，其具体含义可供func函数自行解释，比如将其解释成一个指向某个用户自定义数据结构的地址值；

TASKLET_STATE_SCHED和TASKLET_STATE_RUN位的定义在interrupt.h文件中也可以找到：

其值分别为0和1。

tasklet_action_common（）函数在关中断的情况下遍历输入的小任务链表，调用小任务处理函数，并调用__raise_softirq_irqoff()函数触发小任务类型对应的软中断:

static void tasklet_action_common(struct softirq_action *a,

struct tasklet_head *tl_head,

unsigned int softirq_nr)

{
   

struct tasklet_struct