沈鑫 原创作品转载请注明出处
《Linux内核分析》MOOC课程http://mooc.study.163.com/course/USTC-1000029000
1、schedule()分析
schedule()是一个内核函数,但是又不是一个系统调用,所以用户态进程无法直接调用schedule(),只能在中断处理过程(包括时钟中断、I/O中断、系统调用和异常)中,直接调用schedule(),或者返回用户态时根据need_resched标记调用schedule()。
内核线程只有内核态没有用户态。内核线程可以直接调用schedule()进行进程切换,也可以在中断处理过程中进行调度,也就是说内核线程作为一类的特殊的进程可以主动调度,也可以被动调度。
schedule()的调用时机如下:
1#ifndef _ASM_X86_CONTEXT_TRACKING_H
2#define _ASM_X86_CONTEXT_TRACKING_H
3
4#ifdef CONFIG_CONTEXT_TRACKING
5# define SCHEDULE_USER call schedule_user
6#else
7# define SCHEDULE_USER call schedule
8#endif
9
10#endif
实验楼的环境实在不稳定,没操作几步就死了,所以截图就比较少了,请谅解
3、switch_to的分析
31#define switch_to(prev, next, last) \
32do { \
40 unsigned long ebx, ecx, edx, esi, edi; \
41 \
42 asm volatile("pushfl\n\t" /* save flags */ \
43 "pushl %%ebp\n\t" /* save EBP */ \
44 "movl %%esp,%[prev_sp]\n\t" /* save ESP */ \
45 "movl %[next_sp],%%esp\n\t" /* restore ESP */ \
46 "movl $1f,%[prev_ip]\n\t" /* save EIP */ \
47 "pushl %[next_ip]\n\t" /* restore EIP */ \
48 __switch_canary \
49 "jmp __switch_to\n" /* regparm call */ \
50 "1:\t" \
51 "popl %%ebp\n\t" /* restore EBP */ \
52 "popfl\n" /* restore flags */ \
53 \
54 /* output parameters */ \
55 : [prev_sp] "=m" (prev->thread.sp), \
56 [prev_ip] "=m" (prev->thread.ip), \
57 "=a" (last), \
58 \
59 /* clobbered output registers: */ \
60 "=b" (ebx), "=c" (ecx), "=d" (edx), \
61 "=S" (esi), "=D" (edi) \
62 \
63 __switch_canary_oparam \
64 \
65 /* input parameters: */ \
66 : [next_sp] "m" (next->thread.sp), \
67 [next_ip] "m" (next->thread.ip), \
68 \
69 /* regparm parameters for __switch_to(): */ \
70 [prev] "a" (prev), \
71 [next] "d" (next) \
72 \
73 __switch_canary_iparam \
74 \
75 : /* reloaded segment registers */ \
76 "memory"); \
77} while (0)
关于这段汇编代码在之前的博客中也介绍过,实现的功能也大体相同。需要注意的就是这里的output和input起了别名,我们之前使用的是数字编号。还有一点需要注意的就是"movl $1f,%[prev_ip]\n\t"
由于下一段进程以前也执行过这段代码,所以当我们切换到下个进程的时候,执行起点的也是标号“1:”所在的位置。
下面对汇编代码进行进一步分析。
"pushfl\n\t" /* save flags */ \
"pushl %%ebp\n\t" /* save EBP */
在最开始先对eflags和ebp入栈,实现现场保护,便于下次调度时进行恢复现场。
"movl %%esp,%[prev_sp]\n\t" /* save ESP */ \
将当前的esp保存到当前进程对应的esp中,即prev_sp中。
"movl %[next_sp],%%esp\n\t" /* restore ESP */ \
将下一个进程的esp替换到esp寄存器中,从这里开始实际上就开始为切换下一个进程做准备了。
"movl $1f,%[prev_ip]\n\t" /* save EIP */ \
将当前进程的eip设置为1f。由于下一个进程在上一次执行时也执行了这步,所以下一个进程切换过来之后,它对应的eip指向的实际上也是标识符“1:”所在的位置。
"pushl %[next_ip]\n\t" /* restore EIP */ \
将下一个进程的eip入栈,因为下面就要调用swtich了,这里是为了提供参数。
__switch_canary
"jmp __switch_to\n" /* regparm call */ \
当完成这两步之后进程就已经切换成下一个进程了,而这个进程所要执行的位置就是标识符“1:”所在的位置。