中断
插入图7-1
- 中断就是让处理器中断当前执行的指令流,转去执行其他的指令,等处理完后再回过头来执行原来的指令流。
- 中断分为同步中断和异步中断。同步中断是由CPU发出的,执行完一条指令才能中断,因此是同步的。异步中断是其他硬件设备随机产生的,所以叫异步。
- 同步中断又叫做异常,异步中断叫做中断。
- 中断处理程序可以抢占异常处理程序,但反之不行。
- 中断需要满足几个特征:
- 尽可能快的处理来到的中断,但是为了不耽误原有程序的执行,可以把中断处理程序分为2个部分:上半部和下半部。上半部是中断到来后立马执行的,非常紧急的。下半部是没有那么紧急的,可以稍微延后处理的。
- 不同类型的中断可能几乎同时到来,即CPU在处理一个中断时,另一个中断又来了,而且CPU需要能够解决这种情况。因此CPU需要能够支持中断嵌套,这样能够使更多的I/O设备处于忙状态,达到计算机利用率最大化。而且在中断全部处理完后,还要能恢复原有进程继续执行。
- 中断嵌套不包括同一个中断线,即某个中断到来后,该中断线被屏蔽,防止在这个中断线上接收到一个新的中断。不过不妨碍其他中断线。
- 中断虽然支持嵌套,但也不是每一行代码都是可以中断的,为了保证互斥访问,还是有部分临界区代码。当前,这些代码应该尽可能短小,因为在执行这些代码期间需要关中断。
- 中断允许嵌套执行的一个代价就是中断处理程序决不能阻塞,即不能发生进程切换。因此中断处理程序中禁止调用可能睡眠的函数。
- 当内核接收到一个中断时,它将依次调用注册在该中断线上的每个中断处理程序。不是对应设备的中断处理程序应该立即退出,并在状态寄存器中指示。
- 中断和进程切换都是从一件事情转去做另一件事情,内核也都需要保存现场(寄存器、堆栈),都需要上下文切换。但是两者明显的区别是:中断处理程序是一段轻量级的代码(内核控制路径),不是一个进程,因此中断的上下文比较轻量化。
- 在多CPU系统中,中断可以均匀的分发给多个CPU进行处理,避免单个CPU过于繁忙。这个特性是由硬件和内核支持的,通过一些复杂的机制,可以让每个CPU负载均衡的处理中断。
中断控制
- 虽然内核提供了中断机制,但不是时时刻刻都能产生中断。这是因为多个程序并发读写数据导致的数据同步问题。为了使解决并发读写数据,不希望在执行某个中断处理程序时,被其他中断处理程序打断,因此内核提供了禁止中断功能。
- 上述措施是解决单CPU的,在多CPU上禁止中断并不能解决其他CPU并发读写数据。因此内核提供了锁机制,锁是全局的,且是原子获取和释放,每个CPU在读写数据时需要先获得锁,读写完毕后释放锁。同时,获得锁也会禁止本地中断,防止本CPU并发读写,如此锁机制可以解决多CPU间数据同步的问题。
- 禁止、激活本地中断:
local_irq_disable()
local_irq_enable()
- 禁止本地中断前先保存原中断状态,恢复原中断状态。这两个函数不能跨函数调用:
local_irq_save(x)
local_irq_restore(x)
- 禁止、激活中断线:
disable_irq()
disable_irq_nosync()
enbale_irq()
- 查询本地中断是否被禁止:
irqs_disable()
- 查询是否处于中断上下文中:
in_interrupt()
in_irq()
插入图7-2
中断的下半部
- 中断处理程序分为“上半部”和“下半部”,由于中断处理程序需要快速响应中断,做一些必须立即执行的工作,因此这部分工作放在“上半部”执行。不是特别紧急的工作延后执行,即放在“下半部”。这样做的话好处是让中断处理程序返回尽可能的快,不影响响应其他中断,提高CPU运行效率。
- 内核实现“下半部”的方式有软中断、tasklet和工作队列。
实现方式 | 上下文 | 说明 | 优势 | 劣势 |
---|---|---|---|---|
软中断 | 中断上下文 | 没有顺序执行保障,必须小心处理多CPU多种类型软中断之间的数据同步 | 性能好 | 开发难度大,数据同步处理复杂;不可睡眠 |
tasklet | 中断上下文 | 基于软中断实现,区别在于同类型的tasklet不能同时运行(多CPU也不行) | 无需考虑同类型之间的数据同步,使用简单 | 没有软中断极致的在多CPU之上运行;不可睡眠 |
工作队列 | 进程上下文 | 由内核线程(工作者线程)来执行 | 用户使用简单,可以睡眠 | 性能稍差,因为调度需要进程上下文切换,代价较大 |
异常
- 异常分为很多类型,主要有除0错误、溢出、边界错误、无效操作码、设备不可用、堆栈内存TSS错误、缺页异常、浮点错误、SIMD异常、对齐错误、协处理器异常、debug陷阱、断点陷阱等。每种异常都对应一个异常处理程序。