实验八 理解进程调度时机跟踪分析进程调度与进程切换的过程
一、实验目的
1、理解 Linux 系统中进程调度的时机,可以在内核代码中搜索 schedule()函数,看都是哪里调用了 schedule(),判断我们课程内容中的总结是否准确;
2、使用 gdb 跟踪分析一个 schedule()函数 ,验证您对 Linux 系统进程调度与进程切换过程的理解;推荐在实验楼 Linux 虚拟机环境下完成实验。
3、特别关注并仔细分析 switch_to 中的汇编代码,理解进程上下文的切换机制,以及与中断上下文切换的关系;
二、实验步骤
1、打开实验楼环境输入如下命令行指令
cd LinuxKernel
rm menu -rf
git clone https://github.com/mengning/menu.git cd menu
cd menu
mv test_exec.c test.c
make rootfs
可以得到如下结果:
2、运行qemu,且保持停止状态,方便之后进行gdb调试
cd ..
qemu -kernel linux-3.18.6/arch/x86/boot/bzImage -initrd rootfs.img -S -s
3、另开一个终端并通过命令cd ~/LinuxKernel进入该文件夹下,然后进行gdb追踪
4、设置如下断点
b schedule
b context_switch
b switch_to
b pick_next_task
switch_to为宏定义,不能设置断点
5、继续运行,查看断点情况
pich_next_task函数负责根据调度策略和调度算法选择下一个进程,context_switch函数实现进程切换。
6、查看内嵌汇编代码
switch_to为宏定义,不能设置断点,查看其内联汇编代码:
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");
三、总结
对于理解进程调度时机跟踪分析进程调度与进程切换的过程,一般可以归纳为以下几点:
1 用户需求的进程执行态。
2 故意或者系统中断。
3 SAVE_ALL 。
4 调用schedule()。
5 执行到switch_to进程上下文切换。
6 另一个进程进入并进行。
7 restore_all 。
8 iret - pop cs:eip/ss:esp/eflag from kernel stack。
本次课程学习了操作系统如何进行进程的切换以及系统的一般执行过程。其中还是脱离不出中断的使用,进程切换最主要的时机就在于中断的过程,对关键函数switch_to的跟踪分析以及函数解读清晰地展示了堆栈如何变化的。
schedule()函数用来选择一个新的进程来运行,并调用context_switch()进行上下文的切换,这个宏调用switch_to()来进行关键上下文切换,其中pick_next_task()函数封装了进程调度算法。