hurlex <七> 添加中断描述符表

2014-09-12 posted in [hurlex开发文档]

中断的引入

中断是用以提高计算机工作效率、增强计算机功能的一项重要技术。其实简单说中断就是一种通知机制罢了。我们知道操作系统的一个核心任务就是和连接在主板上的所有的硬件设备进行通信,但是CPU和这些外设的速率根本就不在一个数量级上,倘若CPU向某一个设备发出一个请求并且一直等待反馈结果的话,这样带来的性能损失是不可接受的。而且CPU在运行期间需要得知外设所发生的事件,轮询显然是不可取的,那么就迫切需要一种机制来帮助我们解决这个问题。

肩负着这一伟大使命,中断应运而生。当某个中断发生时,典型的处理方式就是CPU会打断当前的任务,保留当前的执行现场后再转移到该中断事先安排好的中断处理函数1去执行。在中断处理函数执行结束之后再恢复中断之前的执行现场,去执行之前的任务。

从物理学的角度看,中断其实就是一种电信号,一般由硬件设备生成并送入中断控制器统一协调2。中断控制器就是个简单的电子芯片,其作用就是将汇集的多路中断管线,采用复用技术只通过一条中断线和CPU相连接。既然中断控制器这里只有一条线和CPU相链接,那么为了区分各个设备,中断自然就有编号了。

补充一下,其实CPU的中断管脚并非只有一根,其实是有NMI和INTR两个管脚,因为从严重性上来看,中断是分为两类的,首先NMI管脚触发的中断是需要无条件立即处理的,这种类型的中断是不会被阻塞和屏蔽的,所以叫做非屏蔽中断(Non Maskable Interrupt,NMI)。事实上一旦产生了NMI中断,就意味着CPU遇到了不可挽回的错误,一般不会进行处理,只是给出一个错误信息。而我们之前所说的中断控制器连接的管脚叫做INTR,这类中断有两个特点,分别是数量多和可屏蔽。而我们主要关注的正是INTR中断。

举一个通俗的例子,假设你就是CPU,你正在看书(执行任务),突然间你的鼻涕流下来了(一个NMI中断),这个自然是不可以屏蔽的,不然会流到嘴里的…(好恶心),你现在把书反着扣在桌子上避免找不到页码(保留当前执行现场),取出纸巾…(此处省略几十个字),OK,你处理完后把书拿起来继续看(恢复之前的执行现场)。这就是一个中断的处理过程,其实很简单是不是?这是不可屏蔽中断,那么可屏蔽的呢?还是刚刚那个场景,你在看书,手机响了(一个INTR中断),但是你在学习期间不想被打扰,就无视它了…这就是可屏蔽中断了。

通俗的例子举完了,我们还是专业一点好了。在x86PC中,我们熟知的中断控制芯片就是8259A PIC了,它就是我们说的中断控制器了。Intel的处理器允许256个中断,中断号范围是0~255。8259A PIC芯片负责15个,但是并不固定中断号,允许通过IO端口设置以避免冲突。它的全称是可编程中断控制器(ProgrammableInterrupt Controller,PIC)。关于8259A PIC的资料网上铺天盖地的,至于8259A PIC的结构,如何屏蔽中断什么的我就不多说了,请大家自行去了解。

其实从上面的描述中我们基本上能理解中断的概念了。再简单说就是硬件发生了某个事件后告诉中断控制器,中断控制器汇报给CPU,CPU从中断控制器处得知了中断号,根据这个中断号找到对应的中断处理程序并转移过去执行,完成后重新回到之前的执行流程去。

我们之前一直说的都是硬件中断,其实除了硬件中断之外还有软件中断,也就是软件系统也可以利用中断机制来完成一些任务,比如有些OS的系统调用的实现就采用了中断的方式。

中断的实现

我们的重点是保护模式下的中断处理。中断处理程序是运行在ring0层的,这就意味着中断处理程序拥有着系统的全部权限,仿照内存段描述符表的思路,Intel设置了一个叫做中断描述符表(IDT, Interrupt Descriptor Table)的东西,和段描述符表一样放置在主存中,类似地,也有一个中断描述符表寄存器(IDTR)记录这个表的起始地址。那么下文的重点就是这个中断描述符的结构和设置方法了,其实这里很类似GDT的那一套过程,我们先给出中断描述符表的结构:3

中断描述符的格式
根据这个描述信息,我们给出相关的C语言结构体定义:

  1. #ifndef INCLUDE_IDT_H_
  2. #define INCLUDE_IDT_H_
  3. #include "types.h"
  4. // 初始化中断描述符表
  5. void init_idt();
  6. // 中断描述符
  7. typedef
  8. struct idt_entry_t {
  9. uint16_t base_lo; // 中断处理函数地址 15 ~ 0 位
  10. uint16_t sel; // 目标代码段描述符选择子
  11. uint8_t always0; // 置 0 段
  12. uint8_t flags; // 一些标志,文档有解释
  13. uint16_t base_hi; // 中断处理函数地址 31 ~ 16 位
  14. }__attribute__((packed)) idt_entry_t;
  15. // IDTR
  16. typedef
  17. struct idt_ptr_t {
  18. uint16_t limit; // 限长
  19. uint32_t base; // 基址
  20. } __attribute__((packed)) idt_ptr_t;
  21. #endif // INCLUDE_IDT_H_

之前我们建立了中断的概念并且介绍了描述符表的结构,接下来我们细化CPU处理中断的过程,首先是起始过程,也就是从CPU发现中断事件后,打断当前程序或任务的执行,根据某种机制跳转到中断处理函数去执行的过程:

  • CPU在执行完当前程序的每一条指令后,都会去确认在执行刚才的指令过程中是否发送中断请求过来,如果有那么CPU就会在相应的时钟脉冲到来时从总线上读取中断请求对应的中断向量。然后根据得到的中断向量为索引到IDT中找到该向量对应的中断描述符,中断描述符里保存着中断处理函数的段选择子;

  • CPU使用IDT查到的中断处理函数段选择子从GDT中取得相应的段描述符,段描述符里保存了中断处理函数的段基址和属性信息。此时CPU要进行一个很关键的特权检验的过程,这个涉及到CPL、RPL和DPL的数值检验以及判断是否发生用户态到内核态的切换。如果发生了切换,还要涉及到TSS段和用户栈和内核栈的切换;4

  • 确认无误后CPU开始保存当前被打断的程序的现场(即一些寄存器的值),以便于将来恢复被打断的程序继续执行。这需要利用内核栈来保存相关现场信息,即依次压入当前被打断程序使用的eflags、cs、eip、以及错误代码号(如果当前中断有错误代码);

  • 最后CPU会从中断描述符中取出中断处理函数的起始地址并跳转过去执行。

以上是起始过程,中断处理函数执行完成之后需要通过iret或iretd指令恢复被打断的程序的执行。这时候比较简单,首先CPU会从内核栈里弹出先前保存的被打断的程序的现场信息,即之前的eflags,cs,eip重新开始被打断前的任务。5

需要注意的是:如果此次处理的是带有错误码的中断,CPU在恢复先前程序的现场时,并不会弹出错误代码。这一步需要通过软件完成,即要求相关的中断处理函数在使用iret指令返回之前添加出栈代码主动弹出错误代码。

下图描述了CPU自动保护和恢复的寄存器的栈结构:

中断发生时CPU保存的现场

CPU在发生中断的时候是按照上问所描述的过程执行的,那操作系统需要做什么呢?

首先是实现中断处理函数。按照Intel的规定,0~19号中断属于CPU所有6,而且第20-31号中断也被Intel保留,所以从32~255号才属于用户自定义中断。虽说是“用户自定义”,其实在x86上有些中断按照习惯还是给予了固定的设备。比如32号是timer中断,33号是键盘中断等等。

中断处理函数怎么实现呢?直接可以进行相关的逻辑处理吗?当然不行了。CPU在中断产生时自动保存了部分的执行现场,但是依旧有很多寄存器需要我们自己去保护和恢复,下面是CPU保护的寄存器和剩余需要保护的寄存器一起定义的结构体。

  1. // 寄存器类型
  2. typedef
  3. struct pt_regs_t {
  4. uint32_t ds; // 用于保存用户的数据段描述符
  5. uint32_t edi; // 从 edi 到 eax 由 pusha 指令压入
  6. uint32_t esi;
  7. uint32_t ebp;
  8. uint32_t esp;
  9. uint32_t ebx;
  10. uint32_t edx;
  11. uint32_t ecx;
  12. uint32_t eax;
  13. uint32_t int_no; // 中断号
  14. uint32_t err_code; // 错误代码(有中断错误代码的中断会由CPU压入)
  15. uint32_t eip; // 以下由处理器自动压入
  16. uint32_t cs;
  17. uint32_t eflags;
  18. uint32_t useresp;
  19. uint32_t ss;
  20. } pt_regs;
  21. // 定义中断处理函数指针
  22. typedef void (*interrupt_handler_t)(pt_regs *);
  23. // 注册一个中断处理函数
  24. void register_interrupt_handler(uint8_t n, interrupt_handler_t h);
  25. // 调用中断处理函数
  26. void isr_handler(pt_regs *regs);
  27. // 声明中断处理函数 0 ~ 19 属于 CPU 的异常中断
  28. // ISR:中断服务程序(interrupt service routine)
  29. void isr0(); // 0 #DE 除 0 异常
  30. void isr1(); // 1 #DB 调试异常
  31. void isr2(); // 2 NMI
  32. void isr3(); // 3 BP 断点异常
  33. void isr4(); // 4 #OF 溢出
  34. void isr5(); // 5 #BR 对数组的引用超出边界
  35. void isr6(); // 6 #UD 无效或未定义的操作码
  36. void isr7(); // 7 #NM 设备不可用(无数学协处理器)
  37. void isr8(); // 8 #DF 双重故障(有错误代码)
  38. void isr9(); // 9 协处理器跨段操作
  39. void isr10(); // 10 #TS 无效TSS(有错误代码)
  40. void isr11(); // 11 #NP 段不存在(有错误代码)
  41. void isr12(); // 12 #SS 栈错误(有错误代码)
  42. void isr13(); // 13 #GP 常规保护(有错误代码)
  43. void isr14(); // 14 #PF 页故障(有错误代码)
  44. void isr15(); // 15 CPU 保留
  45. void isr16(); // 16 #MF 浮点处理单元错误
  46. void isr17(); // 17 #AC 对齐检查
  47. void isr18(); // 18 #MC 机器检查
  48. void isr19(); // 19 #XM SIMD(单指令多数据)浮点异常
  49. // 20 ~ 31 Intel 保留
  50. void isr20();
  51. void isr21();
  52. void isr22();
  53. void isr23();
  54. void isr24();
  55. void isr25();
  56. void isr26();
  57. void isr27();
  58. void isr28();
  59. void isr29();
  60. void isr30();
  61. void isr31();
  62. // 32 ~ 255 用户自定义异常
  63. void isr255();

一个很现实的问题是:所有的中断处理函数中,除了CPU本身保护的现场外,其它寄存器的保存和恢复过程都是一样的。所以,如果在每个中断处理函数中都实现一次显然冗余而且易错。所以我们很自然把原本的中断处理函数逻辑上拆解为三部分,第一部分是一致的现场保护操作;第二部分是每个中断特有的处理逻辑;第三部分又是一致的现场恢复。

实际上我们把每个中断处理函数拆解为四段,在四个函数里实现。具体的实现如下:

  1. ; 定义两个构造中断处理函数的宏(有的中断有错误代码,有的没有)
  2. ; 用于没有错误代码的中断
  3. %macro ISR_NOERRCODE 1
  4. [GLOBAL isr%1]
  5. isr%1:
  6. cli ; 首先关闭中断
  7. push 0 ; push 无效的中断错误代码
  8. push %1 ; push 中断号
  9. jmp isr_common_stub
  10. %endmacro
  11. ; 用于有错误代码的中断
  12. %macro ISR_ERRCODE 1
  13. [GLOBAL isr%1]
  14. isr%1:
  15. cli ; 关闭中断
  16. push %1 ; push 中断号
  17. jmp isr_common_stub
  18. %endmacro
  19. ; 定义中断处理函数
  20. ISR_NOERRCODE 0 ; 0 #DE 除 0 异常
  21. ISR_NOERRCODE 1 ; 1 #DB 调试异常
  22. ISR_NOERRCODE 2 ; 2 NMI
  23. ISR_NOERRCODE 3 ; 3 BP 断点异常
  24. ISR_NOERRCODE 4 ; 4 #OF 溢出
  25. ISR_NOERRCODE 5 ; 5 #BR 对数组的引用超出边界
  26. ISR_NOERRCODE 6 ; 6 #UD 无效或未定义的操作码
  27. ISR_NOERRCODE 7 ; 7 #NM 设备不可用(无数学协处理器)
  28. ISR_ERRCODE 8 ; 8 #DF 双重故障(有错误代码)
  29. ISR_NOERRCODE 9 ; 9 协处理器跨段操作
  30. ISR_ERRCODE 10 ; 10 #TS 无效TSS(有错误代码)
  31. ISR_ERRCODE 11 ; 11 #NP 段不存在(有错误代码)
  32. ISR_ERRCODE 12 ; 12 #SS 栈错误(有错误代码)
  33. ISR_ERRCODE 13 ; 13 #GP 常规保护(有错误代码)
  34. ISR_ERRCODE 14 ; 14 #PF 页故障(有错误代码)
  35. ISR_NOERRCODE 15 ; 15 CPU 保留
  36. ISR_NOERRCODE 16 ; 16 #MF 浮点处理单元错误
  37. ISR_ERRCODE 17 ; 17 #AC 对齐检查
  38. ISR_NOERRCODE 18 ; 18 #MC 机器检查
  39. ISR_NOERRCODE 19 ; 19 #XM SIMD(单指令多数据)浮点异常
  40. ; 20 ~ 31 Intel 保留
  41. ISR_NOERRCODE 20
  42. ISR_NOERRCODE 21
  43. ISR_NOERRCODE 22
  44. ISR_NOERRCODE 23
  45. ISR_NOERRCODE 24
  46. ISR_NOERRCODE 25
  47. ISR_NOERRCODE 26
  48. ISR_NOERRCODE 27
  49. ISR_NOERRCODE 28
  50. ISR_NOERRCODE 29
  51. ISR_NOERRCODE 30
  52. ISR_NOERRCODE 31
  53. ; 32 255 用户自定义
  54. ISR_NOERRCODE 255

函数执行的开始位置我们自行向栈里压入中断的号码,这是为了识别出中断号码。上面的代码用到了NASM的宏汇编,因为指令结构是相同的,所以我们可以用宏汇编来生成代码。如果大家对这里有疑问的话,可以参考NASM手册或者直接对生成的内核文件反汇编查看相关函数的实现。另外还有一点需要说明的是,因为有的中断处理函数会自动压入错误号,而有的不会,这样给我们的清栈造成了麻烦。所以我们在不会压入错误号的中断的处理函数里手动压入0作为占位,这样方便我们在清理的时候不用分类处理。

以上是中断处理函数的最前一部分,接下来是所有中断处理函数共有的保护现场操作:

  1. ; 中断服务程序
  2. isr_common_stub:
  3. pusha ; Pushes edi, esi, ebp, esp, ebx, edx, ecx, eax
  4. mov ax, ds
  5. push eax ; 保存数据段描述符
  6. mov ax, 0x10 ; 加载内核数据段描述符表
  7. mov ds, ax
  8. mov es, ax
  9. mov fs, ax
  10. mov gs, ax
  11. mov ss, ax
  12. push esp ; 此时的 esp 寄存器的值等价于 pt_regs 结构体的指针
  13. call isr_handler ; C 语言代码里
  14. add esp, 4 ; 清除压入的参数
  15. pop ebx ; 恢复原来的数据段描述符
  16. mov ds, bx
  17. mov es, bx
  18. mov fs, bx
  19. mov gs, bx
  20. mov ss, bx
  21. popa ; Pops edi, esi, ebp, esp, ebx, edx, ecx, eax
  22. add esp, 8 ; 清理栈里的 error code ISR
  23. iret
  24. .end:

这里声明了一个外部函数isr_handler,它的实现如下:

  1. // 调用中断处理函数
  2. void isr_handler(pt_regs *regs)
  3. {
  4. if (interrupt_handlers[regs->int_no]) {
  5. interrupt_handlers[regs->int_no](regs);
  6. } else {
  7. printk_color(rc_black, rc_blue, "Unhandled interrupt: %d\n", regs->int_no);
  8. }
  9. }

从上面的代码中我们看到,事实上具体的中断处理函数的原型都是 void(pt_regs *),它们被统一组织放置在了全局的函数指针数组interrupt_handers里面。idt_hanlder函数如判断这个中断函数是否注册,如果注册了会执行该函数,否则打印出Unhandledinterrupt和中断号码。

最后是中断描述符表的创建和和加载函数:

  1. #include "common.h"
  2. #include "string.h"
  3. #include "debug.h"
  4. #include "idt.h"
  5. // 中断描述符表
  6. idt_entry_t idt_entries[256];
  7. // IDTR
  8. idt_ptr_t idt_ptr;
  9. // 中断处理函数的指针数组
  10. interrupt_handler_t interrupt_handlers[256];
  11. // 设置中断描述符
  12. static void idt_set_gate(uint8_t num, uint32_t base, uint16_t sel, uint8_t flags);
  13. // 声明加载 IDTR 的函数
  14. extern void idt_flush(uint32_t);
  15. // 初始化中断描述符表
  16. void init_idt()
  17. {
  18. bzero((uint8_t *)&interrupt_handlers, sizeof(interrupt_handler_t) * 256);
  19. idt_ptr.limit = sizeof(idt_entry_t) * 256 - 1;
  20. idt_ptr.base = (uint32_t)&idt_entries;
  21. bzero((uint8_t *)&idt_entries, sizeof(idt_entry_t) * 256);
  22. // 0-32: 用于 CPU 的中断处理
  23. idt_set_gate( 0, (uint32_t)isr0, 0x08, 0x8E);
  24. idt_set_gate( 1, (uint32_t)isr1, 0x08, 0x8E);
  25. idt_set_gate( 2, (uint32_t)isr2, 0x08, 0x8E);
  26. idt_set_gate( 3, (uint32_t)isr3, 0x08, 0x8E);
  27. idt_set_gate( 4, (uint32_t)isr4, 0x08, 0x8E);
  28. idt_set_gate( 5, (uint32_t)isr5, 0x08, 0x8E);
  29. idt_set_gate( 6, (uint32_t)isr6, 0x08, 0x8E);
  30. idt_set_gate( 7, (uint32_t)isr7, 0x08, 0x8E);
  31. idt_set_gate( 8, (uint32_t)isr8, 0x08, 0x8E);
  32. idt_set_gate( 9, (uint32_t)isr9, 0x08, 0x8E);
  33. idt_set_gate(10, (uint32_t)isr10, 0x08, 0x8E);
  34. idt_set_gate(11, (uint32_t)isr11, 0x08, 0x8E);
  35. idt_set_gate(12, (uint32_t)isr12, 0x08, 0x8E);
  36. idt_set_gate(13, (uint32_t)isr13, 0x08, 0x8E);
  37. idt_set_gate(14, (uint32_t)isr14, 0x08, 0x8E);
  38. idt_set_gate(15, (uint32_t)isr15, 0x08, 0x8E);
  39. idt_set_gate(16, (uint32_t)isr16, 0x08, 0x8E);
  40. idt_set_gate(17, (uint32_t)isr17, 0x08, 0x8E);
  41. idt_set_gate(18, (uint32_t)isr18, 0x08, 0x8E);
  42. idt_set_gate(19, (uint32_t)isr19, 0x08, 0x8E);
  43. idt_set_gate(20, (uint32_t)isr20, 0x08, 0x8E);
  44. idt_set_gate(21, (uint32_t)isr21, 0x08, 0x8E);
  45. idt_set_gate(22, (uint32_t)isr22, 0x08, 0x8E);
  46. idt_set_gate(23, (uint32_t)isr23, 0x08, 0x8E);
  47. idt_set_gate(24, (uint32_t)isr24, 0x08, 0x8E);
  48. idt_set_gate(25, (uint32_t)isr25, 0x08, 0x8E);
  49. idt_set_gate(26, (uint32_t)isr26, 0x08, 0x8E);
  50. idt_set_gate(27, (uint32_t)isr27, 0x08, 0x8E);
  51. idt_set_gate(28, (uint32_t)isr28, 0x08, 0x8E);
  52. idt_set_gate(29, (uint32_t)isr29, 0x08, 0x8E);
  53. idt_set_gate(30, (uint32_t)isr30, 0x08, 0x8E);
  54. idt_set_gate(31, (uint32_t)isr31, 0x08, 0x8E);
  55. // 255 将来用于实现系统调用
  56. idt_set_gate(255, (uint32_t)isr255, 0x08, 0x8E);
  57. // 更新设置中断描述符表
  58. idt_flush((uint32_t)&idt_ptr);
  59. }
  60. // 设置中断描述符
  61. static void idt_set_gate(uint8_t num, uint32_t base, uint16_t sel, uint8_t flags)
  62. {
  63. idt_entries[num].base_lo = base & 0xFFFF;
  64. idt_entries[num].base_hi = (base >> 16) & 0xFFFF;
  65. idt_entries[num].sel = sel;
  66. idt_entries[num].always0 = 0;
  67. // 先留下 0x60 这个魔数,以后实现用户态时候
  68. // 这个与运算可以设置中断门的特权级别为 3
  69. idt_entries[num].flags = flags; // | 0x60
  70. }

加载中断描述符表的函数很简单:

  1. idt_flush:
  2. mov eax, [esp+4] ; 参数存入 eax 寄存器
  3. lidt [eax] ; 加载到 IDTR
  4. ret
  5. .end:

整理好上面的代码,修改入口函数测试一下中断吧。入口代码修改如下:

  1. #include "console.h"
  2. #include "debug.h"
  3. #include "gdt.h"
  4. #include "idt.h"
  5. int kern_entry()
  6. {
  7. init_debug();
  8. init_gdt();
  9. init_idt();
  10. console_clear();
  11. printk_color(rc_black, rc_green, "Hello, OS kernel!\n");
  12. asm volatile ("int - 0x3");
  13. asm volatile ("int - 0x4");
  14. return 0;
  15. }

编译运行,我们得到了正确的结果:7

中断处理函数的测试

  • 或者叫中断服务例程。

  • 当然需要一个“协调机构”了,试想所有设备不区分轻重缓急的和CPU发送中断信号的恐怖场景…

  • 照例引用Intel文档中的插图,这是一篇开源的文档,应该没有版权纠纷吧…

  • 这些东西我们之前都没有说过,所以大家看不懂的话就先跳过去,等到后面讲到保护环的时候我们再细说。

  • 如果之前存在特权级转换(从内核态转换到用户态),则还需要从内核栈中弹出用户态栈的ss和esp,这样也意味着栈也被切换回原先使用的用户态的栈了。

  • 这些由CPU自身产生的中断也被称之为异常。

  • 当然了,我们没有注册具体的处理函数,所以就打印默认的信息了。

原文:

http://wiki.0xffffff.org/posts/hurlex-7.html