MIT-JOS系列6：用户环境（二）

Part A：用户环境和异常处理

注：根据MIT-JOS的lab指导手册，以下不明确区分“环境”和“进程”

用户环境创建

见上一篇：MIT-JOS系列5：用户环境（一）

处理中断和异常

基础知识

受保护的控制转移

异常（exceptions）和中断（interrupts）都是受保护的控制转移（protected control transfers），它们将处理器模式从用户态切换到内核态，不给用户模式干扰到其他环境或内核功能的机会。在Intel的术语里，中断一般是指由处理器外部的异步事件引发的受保护的处理器控制权转移，例如外部I/O设备发出的活动信号；异常则是由当前执行的代码同步地引起的控制权转移，例如除零异常或非法存储器访问

为了确保这些控制转移被切实地受到了保护，处理器的中断/异常机制被设计为：当中断或异常发生时，当前执行的代码无法选择进入内核的位置或方式。处理器确保只能在严格受控的情况下才能进入内核态。在x86下，两种机制配合工作以提供这种保护：

  1. 中断描述符表IDT（中断向量表）：处理器保证中断和异常只能引起代码进入到内核的一些特定的、已被明确定义的入口点。这些入口点由内核决定，而非中断或异常引发时正在执行的代码决定

    x86允许内核有256种不同的中断或异常入口，每个入口的值由整数0~255表示，称为中断向量。一个中断向量的值由引发中断的源决定，不同的设备、错误条件以及应用对内核的请求将引发不通的中断。CPU利用中断向量作为中断描述符表IDT的索引查找中断处理程序的入口地址（中断门，gate），IDT表被设置在内核空间。从这个表中的相应条目中，处理器可以读取到：（事实上就是个虚拟地址，修改cs:eip进行跳转）

    • 需要加载到寄存器eip中的值：它指出内核中处理该中断的代码的入口地址
    • 需要加载到寄存器cs中的值：它指出运行中断处理程序的运行特权级（即将当前进程切换到内核态）

  2. 任务状态段TSS：当中断或异常发生，切换到内核态运行中断处理程序之前，处理器需要一个地方保存当前处理器的状态，例如寄存器EIP和CS的值以便在中断处理程序结束后能恢复到中断发生的地方，继续执行原来的代码。这个区域也需要受到保护，避免被用户态的程序访问以破坏内核。

    因此当处理器处理一个中断、从用户态切换到内核态时，也要将它的堆栈切换到内核态中以保存处理器的状态。数据结构任务状态段（TSS）就是用来指出内核堆栈所在的段选择子和地址。处理器向内核栈中顺序压入SS, ESP, EFLAGS, CS, EIP和error code(可选)，然后它从中断向量加载CS和EIP的值，并将ESP和SS的值设置为内核栈

    尽管TSS非常大并且还有很多其他的功能，但JOS仅把它用作定义从用户态切换到内核态时内核堆栈的位置。在JOS的定义中，内核态指特权级为0，因此在TSS数据结构中使用EPS0和SS0来定义内核堆栈的位置。JOS不使用TSS的其他域

中断和异常的类型

对中断和异常的梳理，可以参考MIT-JOS系列：问题汇总（中断和异常概念整理），下面的话是我第一次做这个实验时写的，我也不知道两者有没有冲突，如果有，以问题汇总里的说法为准。。

所有由x86处理器内部同步地产生的异常的中断号都在0~31之间，例如页面错误引起的异常对应的中断向量是14

大于31的中断号都用作软件中断（software interrupts）或硬件中断（hardware interrupts），软件中断由int指令生成，硬件中断由外部设备在需要时异步地生成

在本节中我们扩展JOS以处理x86处理器内部生成的0~31号中断向量，在下一节中我们令JOS能够处理48号中断（用作系统调用）。在lab4中继续扩展JOS使它能够处理外部硬件中断，例如时钟中断

处理器在用户态和内核态都可以引发异常，但若引发异常时处理器已经在内核态，就不需要切换运行状态和堆栈位置，也不需要保存SS, ESP的值只需要将EFLAGS, CS, EIP压栈。通过这种方式，内核可以处理嵌套中断


设置中断描述符表IDT

目前仅处理处理器内部异常（中断号0~31）

头文件inc/trap.h和kern/trap.h中包含了一些关于中断和异常的非常重要的定义

  • kern/trap.h包含的定义仅内核态可见
  • inc/trap.h包含的定义对用户态也可见

0~31中的部分中断向量被Intel保留，它们永远不会被处理器生成，因此不用处理他们

系统预留的中断类型如下，可以通过这张表得知该中断的类型和需不需要错误码：

1554975186820

最后实现的控制关系应当如下：

1554973483409

每个中断或异常都应该在trapentry.S中有它相对应的处理程序，并通过trap_init()用这些处理程序的地址初始化IDT表。每个中断处理程序应该在栈中有一个Trapframe结构体并调用trap()指向这个结构体，然后trap()调用特定的程序处理中断或异常

实现

llab3 exercise4需要编辑trapentry.S和trap.c实现上述功能。在trapentry.S中有两个宏用于处理中断和异常：

  • TRAPHANDLER：将中断号压栈，然后跳转到_alltraps。用来处理有错误码的异常（CPU自动压入错误码）
  • TRAPHANDLER_NOEC：用来处理没有错误码的异常（压入0代替错误码）

这两个宏都接受两个参数(name, num)，其中name是中断处理程序的函数名，num是相应中断号

在这个实验中，我们需要：

  • 利用这两个宏在trapentry.S中为定义在inc/trap.h中的每个异常编写入口点
  • 为这两个宏编写_alltraps
  • 利用SETGATE宏修改trap_init()为这些入口点初始化中断向量表IDT

_alltraps需要能够：

  1. 以Trapframe结构体的格式把值压栈（err, trapno由宏已压入，SS, ESP, EFLAGS, CS, EIP压到内核栈中，之后从内核栈恢复，这里不用再压一遍）
  2. 把GD_KD加载到ds和es
  3. 将esp压入，为trap()传参
  4. 调用trap()

代码实现如下：

trapentry.S

/*
 * Lab 3: Your code here for generating entry points for the different traps.
 */

TRAPHANDLER_NOEC(t_divide, T_DIVIDE)
TRAPHANDLER_NOEC(t_debug, T_DEBUG)
TRAPHANDLER_NOEC(t_nmi, T_NMI)
TRAPHANDLER_NOEC(t_brkpt, T_BRKPT)
TRAPHANDLER_NOEC(t_oflow, T_OFLOW)
TRAPHANDLER_NOEC(t_bound, T_BOUND)
TRAPHANDLER_NOEC(t_illop, T_ILLOP)
TRAPHANDLER_NOEC(t_device, T_DEVICE)
TRAPHANDLER(t_dblflt, T_DBLFLT)
TRAPHANDLER(t_tss, T_TSS)
TRAPHANDLER(t_segnp, T_SEGNP)
TRAPHANDLER(t_stack, T_STACK)
TRAPHANDLER(t_gpflt, T_GPFLT)
TRAPHANDLER(t_pgflt, T_PGFLT)
TRAPHANDLER_NOEC(t_fperr, T_FPERR)
TRAPHANDLER(t_align, T_ALIGN)
TRAPHANDLER_NOEC(t_mchk, T_MCHK)
TRAPHANDLER_NOEC(t_simderr, T_SIMDERR)


/*
 * Lab 3: Your code here for _alltraps
 */

_alltraps:
	pushl %ds
	pushl %es
	pushal
	movw $GD_KD, %ax
	movw %ax, %ds
	movw %ax, %es
	pushl %esp
	call trap

trap.c

void
trap_init(void)
{
	extern struct Segdesc gdt[];
	void t_divide();
	void t_debug();
	void t_nmi();
	void t_brkpt();
	void t_oflow();
	void t_bound();
	void t_illop();
	void t_device();
	void t_dblflt();
	void t_tss();
	void t_segnp();
	void t_stack();
	void t_gpflt();
	void t_pgflt();
	void t_fperr();
	void t_align();
	void t_mchk();
	void t_simderr();

	// LAB 3: Your code here.
	SETGATE(idt[T_DIVIDE], 0, GD_KT, t_divide, 0);
	SETGATE(idt[T_DEBUG], 0, GD_KT, t_debug, 0);
	SETGATE(idt[T_NMI], 0, GD_KT, t_nmi, 0);
	SETGATE(idt[T_BRKPT], 1, GD_KT, t_brkpt, 0);
	SETGATE(idt[T_OFLOW], 1, GD_KT, t_oflow, 0);
	SETGATE(idt[T_BOUND], 0, GD_KT, t_bound, 0);
	SETGATE(idt[T_ILLOP], 0, GD_KT, t_illop, 0);
	SETGATE(idt[T_DEVICE], 0, GD_KT, t_device, 0);
	SETGATE(idt[T_DBLFLT], 0, GD_KT, t_dblflt, 0);
	SETGATE(idt[T_TSS], 0, GD_KT, t_tss, 0);
	SETGATE(idt[T_SEGNP], 0, GD_KT, t_segnp, 0);
	SETGATE(idt[T_STACK], 0, GD_KT, t_stack, 0);
	SETGATE(idt[T_GPFLT], 0, GD_KT, t_gpflt, 0);
	SETGATE(idt[T_PGFLT], 0, GD_KT, t_pgflt, 0);
	SETGATE(idt[T_FPERR], 0, GD_KT, t_fperr, 0);
	SETGATE(idt[T_ALIGN], 0, GD_KT, t_align, 0);
	SETGATE(idt[T_MCHK], 0, GD_KT, t_mchk, 0);
	SETGATE(idt[T_SIMDERR], 0, GD_KT, t_simderr, 0);

	// Per-CPU setup 
	trap_init_percpu();
}

Q：为什么istrap参数都设置为0？有些中断的类型不是trap吗？

A：x86系统预留中断类型表格中给出的type是异常的type，与这个中断描述符是中断门还是陷阱门无关

异常包括：

  • 故障（fault）：中断返回后重新执行引起故障的指令（例如页面错误，经过修复后重新访问该页面）
  • 陷阱（trap）：中断返回后执行下一条指令（一般用于用户自发地陷入内核态）
  • 中止（abort）：严重的系统错误，程序中止

在设置中断向量表中的中断门时，包括两个概念：

  • 中断门（Interrupt gate）：进入中断后寄存器eflags的IF位自动清零以屏蔽中断，返回用户态恢复寄存器时恢复IF位
  • 陷阱门（Trap gate）：进入中断后不改变IF位

需要注意的是，这里的中断门和陷阱门与中断类型里的”陷阱“是两个概念，是在设置中断向量表时自定义的两个行为。若想内核的逻辑比较简单，就可以禁止中断嵌套，把所有的中断描述符都设置为”中断门“；若设计的内核比较复杂，就可以允许部分中断的中断嵌套，设置它为”陷阱门“


Q：_alltraps为什么压栈esp作为参数？

A：回顾MIT-JOS系列3：启动内核中关于栈的说明，函数call向栈中压入函数的参数，call时压栈eip以便函数返回时恢复执行接下来的代码，call后压栈ebp，当前esp赋值给ebp，然后做一些奇奇怪怪的寄存器操作，比如esi,edi，看不懂，它们在这个问题里不重要（。

进入函数后栈大概长这样：

高地址：
参数n
...
参数1
eip
ebp（旧）
...
低地址

进入函数后，当前ebp值为旧ebp+4（因为push了一个ebp），因此

ebp[0]：旧ebp
ebp[1]：eip
ebp[2]：参数1
...

函数进入后会根据函数头找参数的个数，trap函数只有一个参数，需要一个指向trapframe结构体的指针，即一个trapframe结构体的首地址，这个地址就是push进去的esp的值，然后tf赋值为这个地址，就能用tf->xxx取到其他值。注意这里要的是地址而不是直接的值，所以push进去了esp（esp指向栈最后一个push进入的参数，最后的指令为pushal，因此esp指向tf.tf_regs.reg_edi）

自动化改进

其实我没改进代码。。只是在这边讲一下原理。。

trapentry.S里的一堆宏是没办法压缩的，但能通过一些方法压缩trap_init()的代码，用循环自动填充

首先在宏调用之前：

.data
	.global funs
	funs:

然后宏里面：

.data 
	.long name

所有.data节会合并。每次宏展开时，.data段里的.long name会合并到funs里作为函数数组，因此在trap_init里用extern char funs[]然后用funs[i]作为每个函数地址访问即可。对于几个空缺的中断号，以及结尾，可以插入.long -1或.long 0之类的进行辨别，然后在循环中根据funs[i]的值特殊处理

中断处理小结

  1. trapentry.S中的TRAPHANDLER(name, num)宏和TRAPHANDLER_NOEC(name, num)宏：

    这两个宏为每一种中断设置中断处理程序的入口。例如调用TRAPHANDLER_NOEC(t_divide, T_DIVIDE)为T_DIVIDE设置入口，宏展开后，相当于如下代码：

    .globl t_divide
.type t_divide, @function
.align 2
t_divide:
pushl $0
pushl $T_DIVIDE
jmp _alltraps

    它为中断T_DIVIDE在代码段中设置标号t_divide并导出到全局变量，即定义了一个全局可见的函数t_divide。结合我们写的_alltraps的代码，在中断触发、进入中断处理程序前发生：

    • 从tss找到内核栈的地址，临时保存旧栈的ss, esp，修改当前ss, esp指向内核栈
    • 向内核栈压入旧ss, 旧esp, eflag, cs, eip，若中断有错误码，自动压入错误码
    • cs, eip指向中断处理程序入口，准备执行中断处理程序

    从标号t_divide开始执行将发生：

    • 入栈中断错误码和中断号num（对于不需要错误码的中断TRAPHANDLER_NOEC入栈0，对于需要错误码的中断，错误码已经由CPU自动入栈，因此TRAPHANDLER只pushl一个num）
    • 调用_alltraps：
      • 将各寄存器的值按Trapframe的格式压栈（这里，在后续调用trap()后，会从栈中顺序出栈数据赋值给参数的tf结构体
      • 利用GD_KD设置ds, es，指向内核数据段
      • 压栈esp作为参数
      • 调用trap()处理中断，根据中断处理结果销毁原环境或继续执行

    到这里，完成对每一个发生的中断的统一处理，之后在trap()中再根据中断号（由参数tf中的trapno读出）对不同中断分别处理

  2. trapentry.S与trap_init()的关系：

    通过宏在trapentry.S中设置的标号（例如t_divide）是中断处理程序的入口，一个中断在触发后应该进入到对应的标号处开始执行。在trap_init()中则通过SETGATE()填写IDT表，为不通的中断向量设置同的中断处理程序：

    • 设置其类型（是trap还是interrupt：控制权通过陷阱门(trap gate)进入处理程序时维持IF标志位不变，即不关中断；而当控制权通过中断门进入中断处理程序时，处理器清IF标志，即关中断，以避免嵌套中断的发生。陷阱常被用于用户程序自发调用以陷入内核态，使用内核的一些功能，它的出现不一定意味着一个错误，例如断点）
    • 设置中断处理程序的入口（段选择子和偏移）。这个偏移即为trapentry.S中设置的标号的偏移地址。标号处实际上是函数的定义。在我们之前写的代码中用void t_divide();声明了一个t_divide函数，它在trapentry.S已经定义，因此能够用t_divide作为参数得到偏移地址；在trap_init()中也可以把这些函数定义改成extern char t_divide[];得到标号t_divide的偏移地址，然后赋值给SETGATE()，两者效果是一样的

Question

  1. What is the purpose of having an individual handler function for each exception/interrupt? (i.e., if all exceptions/interrupts were delivered to the same handler, what feature that exists in the current implementation could not be provided?)

    首先中断和异常分为有错误码和没有错误码两种类型，对于有错误码的，cpu会自动向栈中压入一个错误码，因此为了保持数据结构一致，我们要设计handler区分这两种类型，为没有参数的中断压入一个0作为错误码；

    其次异常handler区分了不同中断的类型（trap/interrupt），指出该中断出现时是否需要关中断防止中断嵌套；设置执行权限（用户可调用/仅内核可调用），确保用户态无法进行权限以外的操作。

  2. Did you have to do anything to make the user/softint program behave correctly? The grade script expects it to produce a general protection fault (trap 13), but softint's code says int $14. Why should this produce interrupt vector 13? What happens if the kernel actually allows softint's int $14 instruction to invoke the kernel's page fault handler (which is interrupt vector 14)?

    int $14是页面错误，我们将其调用权限设置为0（仅内核态可用），但当前程序处于用户态下，特权级为3，没有权限执行系统调用，因此使用int $14指令触发了protection fault(trap 13)。如果让用户程序softint能够执行int $14指令，可能会使用户干扰到内核的页面管理

posted @ 2019-04-14 14:55  sssaltyfish  阅读(237)  评论(0)  编辑  收藏  举报