一、 GPT辅助学习
二、 实验楼 实验八
1. 配置运行MenuOS系统
2. 配置gdb
远程调试并设置断点
继续执行,停在schedule函数断点处,发现调用了schedule(),即发生了进程调度
继续执行,到pick_next_task断点处:发现在这里使用了某种调度策略选择下一个进程来切换
继续执行到context_switch断点处:context_switch用来实现进程的切换;
单步调试进入switch_to内部
3. 分析 switch_to 中的汇编代码
#define switch_to(prev, next, last)
do {
/*
1. Context-switching clobbers all registers, so we clobber
2. them explicitly, via unused output variables.
3. (EAX and EBP is not listed because EBP is saved/restored
4. explicitly for wchan access and EAX is the return value of
5. __switch_to())
*/
unsigned long ebx, ecx, edx, esi, edi;
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进程的栈顶为起点*/
//完成EIP的切换
__switch_canary
//next_ip一般是$1f,对于新创建的子进程时ret_from_fork
"jmp __switch_to\n" /*prev进程中,设置next进程堆栈*/
//jmp不同于call是通过寄存器传递参数
"1:\t" //next进程开始执行
"popl %%ebp\n\t"
"popfl\n"
/*输出变量定义*/
: [prev_sp] "=m" (prev->thread.sp), //[prev_sp]定义内核堆栈栈顶
[prev_ip] "=m" (prev->thread.ip), //[prev_ip]当前进程EIP
"=a" (last),
/* 要破坏的寄存器: */
"=b" (ebx), "=c" (ecx), "=d" (edx),
"=S" (esi), "=D" (edi)
__switch_canary_oparam
/* 输入变量: */
: [next_sp] "m" (next->thread.sp), //[next_sp]下一个内核堆栈栈顶
[next_ip] "m" (next->thread.ip),
//[next_ip]下一个进程执行起点,,一般是$1f,对于新创建的子进程是ret_from_fork
/* regparm parameters for __switch_to(): */
[prev] "a" (prev),
[next] "d" (next)
__switch_canary_iparam
: /* 重新加载段寄存器 */
"memory");
} while (0)
首先,定义了需要保存的寄存器变量:ebx、ecx、edx、esi、edi。
使用asm volatile指令开始内联汇编代码块。
pushfl:将当前进程的标志寄存器(flags)压入栈中,保存当前进程的标志位。
pushl %%ebp:将当前进程的基址指针(ebp)压入栈中,保存当前进程的堆栈基址。
movl %%esp,%[prev_sp]:将当前栈顶指针(esp)保存到prev_sp中,以保存当前进程的堆栈栈顶。
movl %[next_sp],%%esp:将next_sp中保存的下一个进程的堆栈栈顶赋值给esp,以更新堆栈指针。
movl $1f,%[prev_ip]:将标号1:的地址保存到prev_ip中,以保存当前进程的指令指针(eip)。
pushl %[next_ip]:将next_ip中保存的下一个进程的起始地址(一般为标号1:)压入堆栈,作为下一个进程的栈顶,即设置下一个进程的初始执行点。
__switch_canary:这部分代码用于检查和保护堆栈,确保在进行切换时不会破坏堆栈的完整性。
jmp __switch_to:跳转到__switch_to标号处,继续执行下一个进程的代码。
1::下一个进程开始执行的标号。
popl %%ebp:将之前压入栈中的基址指针(ebp)弹出,恢复下一个进程的堆栈基址。
popfl:将之前压入栈中的标志寄存器(flags)弹出,恢复下一个进程的标志位。
通过输出变量和输入变量的方式,将需要保存和恢复的寄存器状态以及相关的进程结构体指针传递给汇编代码。
memory:表示该汇编代码块可能会对内存进行读写操作,以保证内存的一致性。
整个代码块是一个do-while循环,while (0)的作用是使整个代码块只执行一次。这段代码的目的是在上下文切换时保存当前进程的上下文,并加载下一个进程的上下文,实现进程的切换。