实验过程
(1)硬中断与软中断
硬中断:即CPU的两根引脚(可屏蔽中断和不可屏蔽中断)。CPU在执行每条指令后检测这两根引脚的电平,如果是高电平,说明有中断请求,CPU就会中断当前程序的执行去处理中断。
软中断/异常:包括除0错误、系统调用、调试断点等在CPU执行指令的过程中发生的各种特殊情况统称为异常。异常会导致程序无法继续执行,而跳转到CPU预设的处理函数。
(2)进程调度时机
1)用户进程通过特定的系统调用主动让出CPU。
2)中断处理程序在内核返回用户态时进行调度。
3)内核线程主动调用schedule函数让出CPU。
4)中断处理程序主动调用schedule函数让出CPU,覆盖以上第一种和第二中的情况。
(3)
1)进入实验楼环境,配置运行MenuOS系统
2)运行qemu
3)gdb
4)设置断点
5)switch_to为宏定义,不能设置断点。
再接着跟踪,pich_next_task函数负责根据调度策略和调度算法选择下一个进程。
6)context_switch函数断点如下
7)查看内嵌汇编代码
asm volatile(
"pushfl\n\t" //保存当前进程flags
"pushl %%ebp\n\t" //当前进程堆栈基址压栈
"movl %%esp,%[prev_sp]\n\t" //保存ESP,将当前堆栈栈顶保存起来
"movl %[next_sp],%%esp\n\t" //更新ESP,将下一栈顶保存到ESP中
// 完成内核堆栈的切换
"movl $1f,%[prev_ip]\n\t" //保存当前进程的EIP
"pushl %[next_ip]\n\t" //将next进程起点压入堆栈,即next进程的栈顶为起点
__switch_canary //next_ip一般为$1f,对于新创建的子进程是ret_from_fork
"jmp __switch_to\n" //prve进程中,设置next进程堆栈,jmp与call不同,是通过寄存器传递参数(call通过堆栈),所以ret时弹出的是之前压入栈顶的next进程起点
//完成EIP的切换
"1:\t" //next进程开始执行
"popl %%ebp\n\t" //restore EBP
"popfl\n" //restore flags
//输出量
: [prev_sp] "=m" (prev->thread.sp), //保存当前进程的esp
[prev_ip] "=m" (prev->thread.ip), //保存当前进仓的eip
"=a" (last),
//要破坏的寄存器
"=b" (ebx), "=c" (ecx), "=d" (edx),
"=S" (esi), "=D" (edi)
__switch_canary_oparam
//输入量
: [next_sp] "m" (next->thread.sp), //next进程的内核堆栈栈顶地址,即esp
[next_ip] "m" (next->thread.ip), //next进程的eip
// regparm parameters for __switch_to():
[prev] "a" (prev),
[next] "d" (next)
__switch_canary_iparam
: //重新加载段寄存器
"memory");
(4)总结
schedule函数的作用非常重要,是进程调度的主题函数。其中pick_next_task函数是schedule函数中重要的函数,负责根据调度策略和调度算法选择下一个进程。context_switch函数是schedule函数中实现进程切换的函数。switch_to是context_switch函数中进行进程关键上下文切换的函数。