linux 中断编号设计,基于面向对象思想的Linux中断机制设计研究

摘要：文中介绍了Linux内核中断设计面临的问题及基本解决方法。运用面向对象的设计思想及设计模式，重点从结构和行为两方面分析了中断处理机制的上半部分和下半部分，指出Linux内核实现了一个高效、灵活的中断处理框架。

关键词：中断；Linux；面向对象思想

中图分类号：TP316文献标识码：A文章编号：1009-3044(2007)12-21356-02

Research of Interrupt Design Based On Object-Oriented Thinking In Linux Kernel

FANG Hong,LV Tai-zhi

(Department of Information Engineering,JiangSu Marine Institute,Nanjing 211170,China)

Abstract:This paper introduced the problem of interrupt design and the basic solution under Linux.By applying object-oriented thinking and design model,Top Half and Bottom Half of interrupt mechanism were analyzed on structure and action, Finally,the paper pointed out that the highly performable and flexible framework of interrupt handling was realized in Linux kernel.

Key words:interrupt;Linux;object-oriented thinking

1 引言

中断是计算机系统中不可缺少的工作机制，对系统性能有重要影响。但其与硬件密切相关，作为支持多种硬件平台的Linux操作系统，在中断机制设计方面必须权衡性能和可移植、可扩展性等方面的矛盾。运用面向对象的技术构建高质量的软件体系结构，用高效的c语言来编程实现，将二者的优点有机结合起来，已成为Linux内核设计中的发展趋势。在Linux内核中，出于性能的考虑，将中断的处理分成上半部分[1](Top Half)和下半部分(Bottom Half)，因此群说闹卸洗理机制也被分成两部分，本文基于Linux内核2.6.20，运用面向对象的方法及相关设计模式，对这两部分进行了深入分析。

2 Top Half分析

Top Half已被设计成一个独立的中断处理层。设备驱动通过使用该层提供的接口，使中断处理部分完全独立于硬件，从而大大提高了代码的可移植性；中断硬件驱动则可以实现和使用该层定义的中断硬件接口和中断处理回调接口，对中断处理层提供支持，同时也可以利用该层提供的标准中断处理流程，简化设计和实现。

2.1结构分析

通过分析中断相关内核源代码[2]，抽象出Top Half的类图(图1)。类的提取主要来源于相关头文件中的struct结构，也有一些是直接从代码中抽象而来，并没有相应的struct。为了取得一定的对应关系，类的命名尽量采用了与之对应的struct结构的命名。对于包含函数指针的struct，可以有两种观点：第一种将其视为定义了抽象方法的抽象类，第二种将其视为包含了预定义接口的类。本文采用第二种观点，因为它更能体现面向对象设计的基本原则(编程中使用接口，而不是接口实现；优先使用组合而不是继承)。manager主要定义实现上层接口，设备驱动可以进行请求、禁能、释放中断等操作，无需知道中断硬件的细节，从而使设备驱动中断处理相关的代码无需改变就可以方便地移植到不同平台。manager内含一个包含irq_des的线性数组，以此实现全局管理。irq_des与中断号一一对应，是将底层硬件隔离及实现中断处理流程的关键。它包含的irq_chip通过定义一组接口方法，将不同的中断硬件行为统一进行了封装。一方面底层中断硬件驱动只要根据自身功能部分或全部实现这组方法，就可以向上提供满足需要的中断处理功能，方便了底层的设计；另一方面负责中断处理流程的handle_irq，通过使用chip的方法与硬件交互，从而将中断流程处理与硬件细节处理分离。由于不同类型的中断，其中断处理流程不尽相同，不同于以前的在一个函数中处理各种类型中断的方法，群四壳敖其细分成6种类型(edge level simple percpu bad fasteoi)，并分别提供了标准的实现，这样可以针对特定类型，优化代码，提高处理性能。虽然有多种类型的处理方法可供使用，但内核仍抽象出单一的中断处理接口handle_irq供底层调用，在这里，使用了策略(Strategy Pattern)设计模式[3]，6种类型的中断处理方法(具体策略)是handle_irq(策略接口)的不同实现，而irq_des则提供了策略赖以存在的上下文(Context)。策略模式使中断处理更具灵活性、可扩展性。例如可以方便地增加新的中断处理类型以及根据需要重新实现特定类型的中断处理方法，却对使用者没有影响。chip和handle_irq相结合一方面屏蔽了底层中断硬件的变化对上层的影响，另一方面给中断硬件驱动的设计实现带来了便利；而性能却因为优化了不同中断类型的处理代码而得到提高。

图1 Top Half类图

为了有效利用紧缺的中断资源，内核支持中断共享，这主要通过irqaction来实现。irqaction的设计使用了职责链(Chain of Responsibility)模式[3]，该模式的设计意图在于使多个对象都有机会处理请求，通过将这些对象连成一条链，并沿着这条链传递该请求来实现，它降低了请求的发送者和接收者之间的耦合。由于中断共享时，有多个中断处理函数，但只有具体的中断处理程序知道是否要处理中断，且要求支持中断处理函数的动态增减，所以非常适合运用职责链模式。action包含一个handler，它定义了处理中断请求的接口，具体的中断处理则由使用中断的设备驱动程序以中断处理函数的方式来实现。在handle_irq的具体实现中，均会调用handle_IRQ_event方法，该方法遍历irqaction链，并依次调用handler接口方法，最终实现中断的处理。职责链模式虽然有诸多优点，但也有缺点：主要是处理效率偏低，因为处理一个请求可能要遍历到最后才能完成，这就要求共享同一中断的设备不能太多，同时要求中断处理程序尽快判断出中断是否需要处理，若不需要应及时返回。

2.2行为分析

中断的实际处理过程是一个软硬件相结合的、异步和并发的复杂过程，虽然内核中断处理层屏蔽了中断处理的细节，但使用中断的设备驱动编写者仍需要理解中断处理的主要过程，特别是中断处理函数被调用的上下文环境，作为一个较高层次的抽象，下面描述了一个中断被处理的基本过程。首先设备驱动使用request_irq申请登记中断处理函数，相应设备触发了一个中断，经过底层软硬件的一系列处理，最终会调用irq_desc的handle_irq方法，该方法又会调用handle_IRQ_event，它遍历irqaction链，调用中断处理函数，中断处理函数在进行必要的处理后，一般会在标识出要延迟处理的工作后返回，最后在判断出没有硬软中断嵌套及有软中断需要处理的情况下，调do_softirq进行下半部分的处理。

3 Bottom Half分析

在内核中，Bottom Half的实现机制主要有软中断(softirq)和任务片(tasklet)[4]，tasklet是基于softirq的，二者的主要区别是同一软中断处理函数可以同时运行在多个CPU上，而同一任务片同时只能运行在一个CPU上，不同的任务片可以同时运行在不同的CPU上。因此需要软中断实现者自己处理因多CPU 存取共享数据产生的同步问题，在获得高性能的同时，增大了编程难度。而任务片则在性能和编程难度间找到了一个合理的平衡点，被大多数设备驱动所采用。

3.1结构分析

通过分析与tasklet和softirq相关的源代码，可以抽象出两者的类图(图2)，smanager负责提供初始化、请求、触发、处理软中断的方法，其中do_softirq负责实际处理软中断，该方法在软中断层有标准实现，但在某些平台上(如i386平台)则由体系相关部分实现以支持软中断栈，但系统运行时只能使用一种实现，为此内核使用条件编译，在编译时确定使用哪一种实现，这实现了一种编译时的“多态”。smanager内含一个包含32个softirq_action的线性数组，以此实现对软中断的全局管理，数组下标隐含了软中断的优先级，下标越小，优先级越高。softirq_action实际上是软中断相量，设计的相当简单，它包含一个action接口由具体的软中断来实现。内核已实现并装入了几种软中断，这些软中断一经装入就不会被卸下，所以内核目前没有提供释放软中断的方法。一般推荐由内核开发者来实现软中断，而不是设备驱动的编写者。

tmanager通过tasklet_action实现action接口方法成为一种软中断，tmanager负责对外提供创建、调度、禁能tasklet的方法，它内含几个与CPU个数相等的数组，每个数组包含一个tasklet相量链(与CPU一一对应)，在这里，再次采用了职责链设计模式，因为与中断共享类似，多个tasklet实际上共用了一个软中断触发标志位，且要求支持tasklet的动态增减，但tasklet的动态性更强，仅执行一次就被从链表中删除。在内核中实现了两类不同优先级的tasklet，其结构和行为基本一致，本文以普通优先级的tasklet为主进行论述。

3.2行为分析

软中断的运行可分为触发和执行两步。触发机制类似于内核中的信号机制，raise_softirq方法设置触发标志位(每个CPU均有一个整型标志字，每位依次与软中断号相对应，置1表示该软中断需要处理)；软中断的实际执行由do_softirq方法完成，该方法可以在多CPU上同时执行，首先判断当前CPU是否已运行软中断，若是则退出，以避免重入可能导致的死锁；然后依次遍历软中断数组，对于标志位置1的软中断则调用其action方法，进行实际的软中断处理。

图2 softirq和tasklet类图

tasklet的运行也分为提交和执行两步，提交由tasklet_schedule完成，它会把tasklet插入到与当前CPU所对应的tasklet链中，在插入前会判断tasklet是否已被调度到其它CPU上(通过成员state判断)，若是则返回，以此保证某个tasklet在多个tasklet链表中的唯一性，然后调raise_softirq触发软中断；执行由tasklet_action(被do_softirq调用)完成，它遍历与当前CPU对应的tasklet链表，调用func接口方法实现处理，并将处理过的tasklet从队列中删除。在tasklet处于运行状态时，该tasklet可以再次被调度到tasklet链表中，但不能被运行，直到前一tasklet运行完毕。提交和执行机制共同保证了同一tasklet在多CPU上的串行执行以及不同tasklet在多CPU上的并行执行。

4 结论

通过充分运用面向对象的基本设计原则(封装变化；编程中使用接口，而不是接口实现；优先使用组合而不是继承)以及设计模式，Top Half 和Bottom Half被设计实现成了一个中断处理的框架结构，融高效与灵活为一体，本身也可以被抽象提炼出一种设计模式。其设计思想和方法值得学习和借鉴。

参考文献：

[1]陈莉君.Linux操作系统内核分析[M].北京:人民邮电出版社,2000.102-125.

[2]Linux2.6.20内核源码[EB/OL].http://.

[3]Erich Gamma.等.著.李英军.等.译.设计模式:可复用面向对象软件的基础[M].北京:机械工业出版社,2000.9:147-218.

[4]毛德操,胡希明.Linux 内核源代码情景分析[M].杭州:浙江大学出版社,2001.222-333.

“本文中所涉及到的图表、注解、公式等内容请以PDF格式阅读原文。”