作者:罗宇哲,中国科学院软件研究所智能软件研究中心
上一期中我们介绍了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