[WIP]中断、异常

中断

插入图7-1

• 中断就是让处理器中断当前执行的指令流，转去执行其他的指令，等处理完后再回过头来执行原来的指令流。
• 中断分为同步中断和异步中断。同步中断是由CPU发出的，执行完一条指令才能中断，因此是同步的。异步中断是其他硬件设备随机产生的，所以叫异步。
• 同步中断又叫做异常，异步中断叫做中断。
• 中断处理程序可以抢占异常处理程序，但反之不行。
• 中断需要满足几个特征：
  1. 尽可能快的处理来到的中断，但是为了不耽误原有程序的执行，可以把中断处理程序分为2个部分：上半部和下半部。上半部是中断到来后立马执行的，非常紧急的。下半部是没有那么紧急的，可以稍微延后处理的。
  2. 不同类型的中断可能几乎同时到来，即CPU在处理一个中断时，另一个中断又来了，而且CPU需要能够解决这种情况。因此CPU需要能够支持中断嵌套，这样能够使更多的I/O设备处于忙状态，达到计算机利用率最大化。而且在中断全部处理完后，还要能恢复原有进程继续执行。
  3. 中断嵌套不包括同一个中断线，即某个中断到来后，该中断线被屏蔽，防止在这个中断线上接收到一个新的中断。不过不妨碍其他中断线。
  4. 中断虽然支持嵌套，但也不是每一行代码都是可以中断的，为了保证互斥访问，还是有部分临界区代码。当前，这些代码应该尽可能短小，因为在执行这些代码期间需要关中断。
  5. 中断允许嵌套执行的一个代价就是中断处理程序决不能阻塞，即不能发生进程切换。因此中断处理程序中禁止调用可能睡眠的函数。
  6. 当内核接收到一个中断时，它将依次调用注册在该中断线上的每个中断处理程序。不是对应设备的中断处理程序应该立即退出，并在状态寄存器中指示。
• 中断和进程切换都是从一件事情转去做另一件事情，内核也都需要保存现场（寄存器、堆栈），都需要上下文切换。但是两者明显的区别是：中断处理程序是一段轻量级的代码（内核控制路径），不是一个进程，因此中断的上下文比较轻量化。
• 在多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陷阱、断点陷阱等。每种异常都对应一个异常处理程序。