LINUX内核分析第二周学习总结——操作系统是如何工作的
LINUX内核分析第二周学习总结——操作系统是如何工作的
张忻（原创作品转载请注明出处）
《Linux内核分析》MOOC课程http://mooc.study.163.com/course/USTC-1000029000
一、知识点总结
（一）计算机是如何工作的？（总结）——三个法宝
-
存储程序计算机工作模型，计算机系统最最基础性的逻辑结构；
-
函数调用堆栈，高级语言得以运行的基础，只有机器语言和汇编语言的时候堆栈机制对于计算机来说并不那么重要，但有了高级语言及函数，堆栈成为了计算机的基础功能；
-
enter
-
pushl %ebp
-
movl %esp,%ebp
-
leave
-
movl %ebp,%esp
-
popl %ebp
-
函数参数传递机制和局部变量存储
-
中断，多道程序操作系统的基点，没有中断机制程序只能从头一直运行结束才有可能开始运行其他程序。
（二）函数调用堆栈
堆栈
1.堆栈是C语言程序运行时必须的一个记录调用路径和参数的空间。
2.堆栈存在的目的：函数调用框架；传递参数；保存返回地址；提供局部变量空间；等等。
3.C语言编译器对堆栈的使用有一套的规则。
4.了解堆栈存在的目的和编译器对堆栈使用的规则是理解操 作系统一些关键性代码的基础。
堆栈寄存器和堆栈操作
1.堆栈相关的寄存器：esp，堆栈指针（stack pointer）：ebp，基址指针（base pointer）
2.堆栈操作：push 栈顶地址减少4个字节（32位） pop 栈顶地址增加4个字节
3.ebp在C语言中用作记录当前函数调用基址
其他关键寄存器
cs : eip：总是指向下一条的指令地址
• 顺序执行：总是指向地址连续的下一条指令
• 跳转/分支：执行这样的指令的时候，cs : eip的值会 根据程序需要被修改
• call：将当前cs : eip的值压入栈顶，cs : eip指向被 调用函数的入口地址
• ret：从栈顶弹出原来保存在这里的cs : eip的值，放 入cs : eip中
• 发生中断时
举例分析函数调用堆栈
（三）借助Linux内核部分源代码模拟存储程序计算机工作模型及时钟中断
（四）在mykernel基础上构造一个简单的操作系统内核
C语言中代码嵌入汇编代码的方法
二、作业
1.实验
中断：CPU和内核代码共同实现了保存现场和恢复现场。
mypcb.h
有效esp ebp
typedef struct PCB{
...
...
进程用链表链接起来
}
mymain.c代码
1 /*
2 * linux/mykernel/myinterrupt.c
3 *
4 * Kernel internal my_timer_handler
5 *
6 * Copyright (C) 2013 Mengning
7 *
8 */
9 #include <linux/types.h>
10 #include <linux/string.h>
11 #include <linux/ctype.h>
12 #include <linux/tty.h>
13 #include <linux/vmalloc.h>
14
15 #include "mypcb.h"
16
17 extern tPCB task[MAX_TASK_NUM];
18 extern tPCB * my_current_task;
19 extern volatile int my_need_sched; //进程是否需要调度的标志
20 volatile int time_count = 0;
21
22 /*
23 * Called by timer interrupt.
24 * it runs in the name of current running process,
25 * so it use kernel stack of current running process
26 */
27 void my_timer_handler(void)用于设置时间片的大小，时间片用完时设置调度标志。
28 {
29 #if 1
30 if(time_count%1000 == 0 && my_need_sched != 1)
31 {
32 printk(KERN_NOTICE ">>>my_timer_handler here<<<\n");
33 my_need_sched = 1;
34 }
35 time_count ++ ;
36 #endif
37 return;
38 }
39
40 void my_schedule(void)
41 {
42 tPCB * next;
43 tPCB * prev;
44
45 if(my_current_task == NULL
46 || my_current_task->next == NULL)
47 {
48 return;
49 }
50 printk(KERN_NOTICE ">>>my_schedule<<<\n");
51 /* schedule */
52 next = my_current_task->next;
53 prev = my_current_task;
54 if(next->state == 0)/* -1 unrunnable, 0 runnable, >0 stopped */
55 {
56 /* switch to next process */
57 asm volatile(
58 "pushl %%ebp\n\t" /* save ebp */保存当前进程的ebp
59 "movl %%esp,%0\n\t" /* save esp */把当前进程的esp赋给%0（指的是thread.sp），即保存当前进程的esp
60 "movl %2,%%esp\n\t" /* restore esp */把%2（指下一个进程的sp）放入esp中
61 "movl $1f,%1\n\t" /* save eip */
62 "pushl %3\n\t"
63 "ret\n\t" /* restore eip */
64 "1:\t" /* next process start here */
65 "popl %%ebp\n\t"
66 : "=m" (prev->thread.sp),"=m" (prev->thread.ip)
67 : "m" (next->thread.sp),"m" (next->thread.ip)
68 );
69 my_current_task = next;
70 printk(KERN_NOTICE ">>>switch %d to %d<<<\n",prev->pid,next->pid);
71 }
72 else
73 {
74 next->state = 0;
75 my_current_task = next;
76 printk(KERN_NOTICE ">>>switch %d to %d<<<\n",prev->pid,next->pid);
77 /* switch to new process */
78 asm volatile(
79 "pushl %%ebp\n\t" /* save ebp */
80 "movl %%esp,%0\n\t" /* save esp */
81 "movl %2,%%esp\n\t" /* restore esp */
82 "movl %2,%%ebp\n\t" /* restore ebp */
83 "movl $1f,%1\n\t" /* save eip */
84 "pushl %3\n\t"
85 "ret\n\t" /* restore eip */
86 : "=m" (prev->thread.sp),"=m" (prev->thread.ip)
87 : "m" (next->thread.sp),"m" (next->thread.ip)
88 );
89 }
90 return;
91 }
视频中的详细分析：
1 #include <asm/io.h> 2 #include <asm/bugs.h> 3 #include <asm/setup.h> 4 #include <asm/sections.h> 5 #include <asm/cacheflush.h> 6 7 #ifdef CONFIG_X86_LOCAL_APIC 8 #include <asm/smp.h> 9 #endif 10 //之前为初始化 从这里开始是操作系统的入口 11 void __init my_start_kernel(void) 12 { 13 int i = 0; 14 while(1) 15 { 16 i++; 17 if(i%100000 == 0) 18 printk(KERN_NOTICE "my_start_kernel here %d \n",i); 19 20 } 21 }
每循环十万次打印一个。
myinterrupt.c代码
1 /*
2 * linux/mykernel/myinterrupt.c
3 *
4 * Kernel internal my_timer_handler
5 *
6 * Copyright (C) 2013 Mengning
7 *
8 */
9 #include <linux/types.h>
10 #include <linux/string.h>
11 #include <linux/ctype.h>
12 #include <linux/tty.h>
13 #include <linux/vmalloc.h>
14
15 #include "mypcb.h"
16
17 extern tPCB task[MAX_TASK_NUM];
18 extern tPCB * my_current_task;
19 extern volatile int my_need_sched;
20 volatile int time_count = 0;
21
22 /*
23 * Called by timer interrupt.
24 * it runs in the name of current running process,
25 * so it use kernel stack of current running process
26 */
27 void my_timer_handler(void)
28 {
29 #if 1
30 if(time_count%1000 == 0 && my_need_sched != 1)
31 {
32 printk(KERN_NOTICE ">>>my_timer_handler here<<<\n");
33 my_need_sched = 1;
34 }
35 time_count ++ ;
36 #endif
37 return;
38 }
39
40 void my_schedule(void)
41 {
42 tPCB * next;
43 tPCB * prev;
44
45 if(my_current_task == NULL task为空，即发生错误时返回
46 || my_current_task->next == NULL)
47 {
48 return;
49 }
50 printk(KERN_NOTICE ">>>my_schedule<<<\n");
51 /* schedule */
52 next = my_current_task->next;把当前进程的下一个进程赋给next
53 prev = my_current_task;当前进程为prev
54 if(next->state == 0)/* -1 unrunnable, 0 runnable, >0 stopped */
55 {
56 /* switch to next process */
如果下一个进程的状态是正在执行的话，就运用if语句中的代码表示的方法来切换进程
57 asm volatile(
58 "pushl %%ebp\n\t" /* save ebp */保存当前进程的ebp
59 "movl %%esp,%0\n\t" /* save esp */把当前进程的esp赋给%0（指的是thread.sp），即保存当前进程的esp
60 "movl %2,%%esp\n\t" /* restore esp */ 把%2（指下一个进程的sp）放入esp中
61 "movl $1f,%1\n\t" /* save eip */ 是接下来的标号“1：”的位置，把eip保存下来
62 "pushl %3\n\t" 把下一个进程eip压栈
63 "ret\n\t" /* restore eip */下一个进程开始执行
64 "1:\t" /* next process start here */
65 "popl %%ebp\n\t"
66 : "=m" (prev->thread.sp),"=m" (prev->thread.ip)
67 : "m" (next->thread.sp),"m" (next->thread.ip)
68 );
69 my_current_task = next;
70 printk(KERN_NOTICE ">>>switch %d to %d<<<\n",prev->pid,next->pid);
71 }
72 else
73 {
74 next->state = 0;
75 my_current_task = next;
76 printk(KERN_NOTICE ">>>switch %d to %d<<<\n",prev->pid,next->pid);
77 /* switch to new process */
78 asm volatile(
79 "pushl %%ebp\n\t" /* save ebp */
80 "movl %%esp,%0\n\t" /* save esp */
81 "movl %2,%%esp\n\t" /* restore esp */
82 "movl %2,%%ebp\n\t" /* restore ebp */
83 "movl $1f,%1\n\t" /* save eip */
84 "pushl %3\n\t"
85 "ret\n\t" /* restore eip */
86 : "=m" (prev->thread.sp),"=m" (prev->thread.ip)
87 : "m" (next->thread.sp),"m" (next->thread.ip)
88 );
89 }
90 return;
91 }
视频中的详细分析：
1 #include <asm/uaccess.h> 2 #include <asm/unistd.h> 3 #include <asm/div64.h> 4 #include <asm/timex.h> 5 #include <asm/io.h> 6 7 #define CREATE_TRACE_POINTS 8 #include <trace/events/timer.h> 9 10 /* 11 * Called by timer interrupt. 12 */ 13 void my_timer_handler(void) 14 { 15 printk(KERN_NOTICE "\n>>>>>>>>>>>>>>>>>my_timer_handler here<<<<<<<<<<<<<<<<<<\n\n"); 16 }
每次时钟中断都调用一次printk（）
2.总结：操作系统是如何工作的
（1）工作的基础：存储程序计算机、堆栈机制、中断机制
（2）操作系统内核是如何工作的
进程是动态执行的实体，内核是进程的管理者。进程不但包括程序的指令和数据，而且包括程序计数器和CPU的所有寄存器以及存储临时数据的进程堆栈。所以，正在执行的进程包括处理器当前的一切活动。进程既可以在用户态下运行，也能在内核下运行，只是内核提供了一些用户态没有的核心服务，因此进程在访问这些服务时会产生中断，必须进行用户态与内核态的切换。
Linux是一个多进程的操作系统，所以，其他的进程必须等到正在运行的进程空闲CPU后才能运行。当正在运行的进程等待其他的系统资源时，Linux内核将取得CPU的控制权，并将CPU分配给其他正在等待的进程，这就是进程切换。内核中的调度算法决定将CPU分配给哪一个进程。
Linux系统有一个进程控制表（process table），一个进程就是其中的一项。进程控制表中的每一项都是一个task_struct结构，在task_struct结构中存储各种低级和高级的信息，包括从一些硬件设备的寄存器拷贝到进程的工作目录的链接点。进程控制表既是一个数组，又是一个双向链表，同时又是一个树，其物理实现是一个包括多个指针的静态数组。系统启动后，内核通常作为某一个进程的代表。一个指向task_struct的全局指针变量current用来记录正在运行的进程。
参考资料：http://blog.chinaunix.net/uid-28281877-id-3778550.html
