2022-2023-1 20222823 《Linux内核原理与分析》 第九周作业

实验过程

（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函数中进行进程关键上下文切换的函数。