linux内核中断编程之顶半部和底半部机制

目录前言一、Linux内核中断相关基础概念1. 任务的三大分类2. 任务优先级3. 进程调度4. 休眠sleep机制二、核心结论中断处理的核心诉求三、顶半部和底半部实现机制1. 顶半部特点2. 底半部特点3. 底半部的三种实现方法1tasklet特点相关结构体与函数应用案例用tasklet优化按键驱动2工作队列特点相关结构体与函数应用案例用工作队列优化按键驱动3软中断了解即可四、总结三种底半部实现方法的选择指南前言在Linux内核开发中中断机制是保障系统高效响应外设请求的核心而顶半部与底半部机制则是优化中断处理、平衡系统性能的关键手段本文就介绍了这部分相关的内容。在深入探讨这一机制之前我们先梳理几个内核中断相关的基础概念为后续理解做好铺垫。一、Linux内核中断相关基础概念1. 任务的三大分类计算机系统中的任务可细分为三类进程、硬件中断和软中断三者在运行空间、触发方式上有着显著区别且各自承担不同的系统职责。进程进程默认在用户空间运行当需要调用系统调用时会立刻陷入内核空间执行完成后再返回用户空间继续运行是用户态与内核态交互的主要载体。硬件中断由外设向CPU发送的中断信号触发内核会执行对应的硬件中断处理函数这类函数始终运行在内核空间是外设与内核通信的直接方式。软中断通过软件主动调用swi或svc指令触发的异常触发后会立即执行对应的软中断处理函数该函数同样位于内核空间用于处理内核内部的延后任务。一个关键前提任何任务要想获得执行机会必须先获取CPU资源CPU是所有任务运行的核心载体。2. 任务优先级任务优先级决定了其获取CPU资源的能力优先级越高越容易优先获得CPU资源从而更早执行。在Linux内核中三类任务的优先级存在明确划分且同类任务内部也有优先级差异硬件中断优先级最高高于软中断和进程软中断优先级次之高于进程进程之间存在优先级差异可通过nice命令调整软中断之间也存在优先级区分硬件中断本身无优先级之分——即便中断控制器支持优先级设置Linux内核也不会认可。3. 进程调度Linux内核会为每个进程分配固定的时间片当进程获得CPU执行权后可在自己的时间片内持续运行一旦时间片到期进程调度器一款搭载高效算法的软件会剥夺当前进程的CPU资源分配给其他等待执行的进程。这里需要特别注意中断不参与进程调度。由于中断优先级极高当中断触发时会直接抢夺CPU资源暂停当前正在执行的任务无论该任务是进程还是软中断优先执行中断处理函数。4. 休眠sleep机制休眠是进程特有的功能中断的世界里不存在“休眠”这一概念。当进程进入休眠状态时会立即释放占用的CPU资源让渡给其他需要执行的任务而中断处理过程中CPU必须持续执行无法暂停或休眠否则会导致系统响应异常。二、核心结论中断处理的核心诉求结合上述基础概念我们可以得出一个核心结论Linux内核对中断处理函数的核心要求是“越快越好”。如果中断处理函数长时间占用CPU资源会带来两个严重问题一是降低系统并发能力其他任务进程、软中断甚至其他硬件中断无法获得CPU资源无法正常运行二是影响系统响应能力后续触发的硬件中断会被阻塞导致系统出现卡顿、无响应等异常。但实际开发中并非所有中断处理函数都能做到“快速执行”。例如网卡通过中断获取网络数据包时其对应的中断处理函数执行速度本身较慢如果长时间占用CPU会导致后续数据包无法及时处理出现丢包现象。针对这类“耗时较长的中断处理”场景Linux内核提供了顶半部和底半部机制通过任务拆分实现中断处理的高效优化。三、顶半部和底半部实现机制顶半部和底半部的核心思想是将中断处理函数拆分为“紧急任务”和“非紧急任务”分别在不同时机执行既保证中断响应的及时性又避免长时间占用CPU资源。1. 顶半部特点由硬件中断直接触发触发后立即执行确保中断响应的及时性顶半部本质就是中断处理函数但其内部仅处理紧急、耗时较短的任务如保存中断状态、标记中断事件等CPU执行顶半部期间不允许发生CPU资源切换即无法被其他任务包括其他中断打断与所有中断处理函数一样顶半部不能进行休眠操作。2. 底半部特点底半部对应的处理函数专门处理不紧急、耗时较长的任务如数据解析、设备状态同步等CPU会在“适当的时机”如顶半部执行完毕、系统空闲时执行底半部处理函数底半部执行期间允许高优先级任务如硬件中断抢夺CPU资源待高优先级任务执行完毕后再回到底半部继续执行底半部的实现可基于软中断或进程具体选择需根据任务需求而定需要注意的是底半部的本质是“延后执行”的一种手段并非必须与顶半部配合使用——单独使用底半部也可将需要延后执行的任务推迟释放宝贵的CPU资源给高优先级任务。3. 底半部的三种实现方法Linux内核提供了三种底半部实现方法tasklet、工作队列、软中断三者适用场景不同各有优劣下面分别详细说明。1tasklet特点基于软中断实现其处理函数的优先级介于硬件中断和进程之间tasklet的处理函数延后处理函数中不能进行休眠操作核心作用是处理不紧急、耗时较长但无需休眠的任务兼顾效率与易用性。相关结构体与函数描述tasklet属性的结构体为struct tasklet_struct其核心成员如下structtasklet_struct{void(*func)(unsignedlongdata);unsignedlongdata;...};func指向tasklet的延后处理函数内核会在适当时机调用该函数且该函数不能进行休眠操作data用于向延后处理函数传递参数满足函数的参数需求。与tasklet配套的核心函数有两个tasklet_init(struct tasklet_struct *tasklet, void (*func)(unsigned long), unsigned long data)用于初始化tasklet对象为其指定延后处理函数并传递参数tasklet_schedule(struct tasklet_struct *tasklet)向内核注册tasklet对象及其延后处理函数注册成功后内核会在适当时机执行该函数。应用案例用tasklet优化按键驱动实际开发中按键驱动的中断处理函数本身执行速度较快理论上无需优化但如果要进一步挖掘CPU资源的利用效率可针对中断处理中的耗时操作进行优化——比如中断处理函数中的printk打印操作。printk函数操作的是UART串口而UART串口的数据处理速度极慢会浪费大量CPU资源。此时我们可以将printk打印操作放到tasklet的延后处理函数中让顶半部仅处理按键中断的触发标记底半部延后执行打印操作从而释放CPU资源提升系统效率。2工作队列特点基于进程实现其延后处理函数可以进行休眠操作这是它与tasklet的核心区别工作队列的诞生本质是为了解决tasklet处理函数不能休眠的问题——如果延后执行的任务中包含休眠操作如等待外设就绪、获取信号量等则必须使用工作队列工作队列的延后处理函数优先级最低低于硬件中断、软中断和普通进程。相关结构体与函数描述工作队列属性的结构体为struct work_struct核心成员如下structwork_struct{void(*func)(structwork_struct*work);};func指向工作队列的延后处理函数基于进程实现可进行休眠操作形参work指向驱动中定义并初始化的work_struct对象即指向自身用于向延后处理函数传递参数。这里有一个关键问题如何通过work对象的地址向延后处理函数传递更多参数答案是借助container_of宏——通过该宏可以从work_struct对象的地址反向获取其所在的父结构体地址从而实现多参数传递。关于container_of宏的具体用法建议大家自行深入研究它是Linux内核中非常常用的一个宏。与工作队列配套的核心函数有两个INIT_WORK(struct work_struct *work, void (*func)(struct work_struct *work))为work对象指定延后处理函数schedule_work(struct work_struct *work)向内核登记注册延后处理函数注册成功后内核会在适当时机调用该函数。应用案例用工作队列优化按键驱动与tasklet的优化场景类似按键驱动的中断处理函数中printk打印操作是耗时瓶颈。如果我们希望在打印操作前后加入休眠逻辑比如等待串口就绪后再打印则无法使用tasklet此时就需要采用工作队列。将printk打印操作及相关休眠逻辑放到工作队列的延后处理函数中顶半部仅处理按键中断的触发与标记底半部延后执行打印和休眠操作既保证了中断响应的及时性又满足了休眠需求。3软中断了解即可软中断是底半部的底层实现方式之一tasklet就是基于软中断实现的其特点如下软中断的延后处理函数可以同时运行在多个CPU核上执行效率极高但这也带来了一个问题——如果函数中需要访问全局变量等共享资源必须做好互斥保护避免多CPU核同时访问导致的数据错乱而互斥保护会一定程度降低代码效率。与软中断不同tasklet的延后处理函数同一时刻只能在一个CPU核上运行无需额外做互斥保护使用更便捷。软中断的延后处理函数无法通过insmod、rmmod命令动态安装和卸载必须与内核镜像uImage一起编译这无疑增加了开发难度和代码维护成本而tasklet支持动态安装和卸载灵活性更高。由于软中断的开发和维护成本较高且tasklet已能满足大部分场景的需求因此在实际开发中软中断的使用场景较少仅需了解其核心特点即可。四、总结三种底半部实现方法的选择指南结合上述内容我们可以总结出三种底半部实现方法的适用场景方便大家在实际开发中快速选择tasklet基于软中断实现工作队列基于进程实现二者是实际开发中最常用的两种底半部方式如果延后执行的任务中包含休眠操作只能选择工作队列如果延后执行的任务中无休眠操作且注重执行效率建议选择tasklet如果延后执行的任务中无休眠操作且不注重执行效率追求开发便捷性建议选择工作队列如果延后执行的任务中无休眠操作且对执行效率要求极高需要多CPU核并行处理可选择软中断但如果任务中涉及全局变量等共享资源的访问建议优先选择tasklet无需额外做互斥保护。以上就是Linux内核中断编程中顶半部和底半部机制的全部核心内容。顶半部保障中断响应的及时性底半部解决中断处理耗时过长的问题二者结合是Linux内核实现高效中断处理的关键。在实际开发中需根据任务的具体需求灵活选择底半部的实现方式平衡系统的响应速度和资源利用率。