1 2 3 4 5 6 7 8 9 实验要求: 完成一个简单的时间片轮转多道程序内核代码,代码见视频中或从[mykernel](https://github.com/mengning/mykernel)找。 详细分析该精简内核的源代码并给出实验截图,撰写一篇署名博客,并在博客文章中注明“真实姓名(与最后申请证书的姓名务必一致) + 原创作品转载请注明出处 + 《Linux内核分析》MOOC课程http://mooc.study.163.com/course/USTC-1000029000 ”,博客内容的具体要求如下: - 题目自拟,内容围绕操作系统是如何工作的进行; - 博客中需要使用实验截图 - 博客内容中需要仔细分析进程的启动和进程的切换机制 - 总结部分需要阐明自己对“操作系统是如何工作的”理解。
中断
现代计算机实现多道程序设计的基础是出现了中断这一技术。中断意如其名,打断你原来的正在做的事情,比如说放假的时候在家看苦逼的写着作业的时候,突然有人打来电话约你。应约,还是继续写作业,具体你会怎么做呢?具体的行为,可以认为是中断处理程序。
进程调度实现
程序加载完后就会执行这段初始化代码
同时还会检测时钟中断,并调用这段中断处理程序 ,
my_start_kernel
都做了写什么呢?
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 void __init my_start_kernel (void ) { int pid = 0 ; int i; task[pid].pid = pid; task[pid].state = 0 ; task[pid].task_entry = task[pid].thread.ip = (unsigned long )my_process; task[pid].thread.sp = (unsigned long )&task[pid].stack [KERNEL_STACK_SIZE-1 ]; task[pid].next = &task[pid]; for (i=1 ;i<MAX_TASK_NUM;i++) { memcpy (&task[i],&task[0 ],sizeof (tPCB)); task[i].pid = i; task[i].state = -1 ; task[i].thread.sp = (unsigned long )&task[i].stack [KERNEL_STACK_SIZE-1 ]; task[i].next = task[i-1 ].next; task[i-1 ].next = &task[i]; } pid = 0 ; my_current_task = &task[pid]; asm volatile ( "movl %1,%%esp\n\t" "pushl %1\n\t" "pushl %0\n\t" "ret\n\t" "popl %%ebp\n\t" : : "c" (task[pid].thread.ip),"d" (task[pid].thread.sp) ) ; }
初始化代码做的事情
创建进程
初始化每个进程的堆栈位置
进程之间的调度顺序,其实就是一个接一个的执行,没有什么优先级
初始化根进程
每个进程的功能都是一样的,指向了void my_process(void)
,即代码注释中所说的
fork
启动pid=0的进程,即代码中嵌入式汇编代码
1 2 3 4 5 6 7 8 9 10 11 { asm volatile ( "movl %1,%%esp\n\t" "pushl %1\n\t" "pushl %0\n\t" "ret\n\t" "popl %%ebp\n\t" : : "c" (task[pid].thread.ip),"d" (task[pid].thread.sp) ) ; }
这段代码什么做了那些事情那呢?
1 2 "movl %1,%%esp\n\t" "pushl %1\n\t"
1 2 "pushl %0\n\t" "ret\n\t"
进程如何切换的?
从void my_process(void)
,可以看出进程是每经过一段时间检查一下(利用硬件中断实现的)是否需要执行my_schedule();
函数进行进程切换(根据my_need_sched
来判断)。
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 void my_process (void ) { int i = 0 ; while (1 ) { i + + ; if (i % 10000000 == 0 ) { printk (KERN_NOTICE "this is process %d -\n " ,my_current_task - > pid ); if (my_need_sched == 1 ) { my_need_sched = 0 ; my_schedule (); } printk (KERN_NOTICE "this is process %d +\n " ,my_current_task - > pid ); } } }
下面分析一下进程切换的时候所做的一些事情。(去除了部分代码,以两个都是在运行态进程间的切换代码为例)
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 void my_schedule (void ) { ... ... asm volatile ( "pushl %%ebp\n\t" "movl %%esp,%0\n\t" "movl %2,%%esp\n\t" "movl $1f,%1\n\t" "pushl %3\n\t" "ret\n\t" "1:\t" "popl %%ebp\n\t" : "=m" (prev->thread.sp),"=m" (prev->thread.ip) : "m" (next->thread.sp),"m" (next->thread.ip) ) ; ... ... }
切换堆栈,包括旧堆栈以及现场保存,新堆栈的建立 1 2 3 4 "pushl %%ebp\n\t" "movl %%esp,%0\n\t" "movl %2,%%esp\n\t" "movl $1f,%1\n\t"
改变cpu IP 指向的位置,执行新进程直到完毕 1 2 "pushl %3\n\t" "ret\n\t"
堆栈销毁与旧堆栈的恢复
对于运行态切换A到刚加载进来的进程B之间的切换,从代码 看到相比运行态进程间的切换,就多出来一条指令
"movl %2,%%ebp\n\t" /* restore ebp */
,其含义是初始B进程的栈基址。也就是说只需要初始化一下栈基址。进程间的切换,这还是一个非常的粗糙,但也基本上整个模型已经建立起来,稍加优化,就非常完美。