《Linux内核分析》第二周学习小结 操作系统是如何工作的?

时间:2022-08-17 16:31:52

郝智宇   无转载   《Linux内核分析》MOOC课程http://mooc.study.163.com/course/USTC-1000029000

一.函数调用堆栈:

1.计算机是如何工作的:

三个法宝:存储程序计算机、函数调用堆栈(堆栈机制是高级语言的起点)、中断机制。

2.堆栈作用:

函数调用框架、传递参数、保存返回地址、提供局部变量空间...

3.堆栈寄存器(esp,ebp)和堆栈操作(push,pop)

其他关键寄存器:cs:eip(call,ret)

4.中断机制是如何工作的?

CPU很笨,只能从一个指令跳到另一个指令,中断机制是指计算机在执行一条指令的时候,调到另外一条指令执行,再跳回来还能接着执行原来的指令。

5.深入理解函数调用堆栈的工作机制:(看视频总结

函数调用时堆栈的变化,举例分析函数调用堆栈

二.借助Linux内核部分源代码模拟存储程序计算机工作模型及时钟中断

1.Kernel实验背后涉及的思想:

由CPU和内核代码共同实现了保存现场和恢复现场。

2.利用mykernel实验模拟计算机硬件平台:

运行:

《Linux内核分析》第二周学习小结  操作系统是如何工作的?

【一些说明】

打开mymain.c:

《Linux内核分析》第二周学习小结  操作系统是如何工作的?

My_start_kernel :操作系统的入口

《Linux内核分析》第二周学习小结  操作系统是如何工作的?

每循环十万次,打印一个my_start_kernel。可以将十万改成一百万:

《Linux内核分析》第二周学习小结  操作系统是如何工作的?

打开 Myinterrupt.c:

它每次时钟中断都调用一次printk,输出一次myinterrupt kernel。

《Linux内核分析》第二周学习小结  操作系统是如何工作的?

三.在mykernel基础上构造一个简单的操作系统内核

1.C代码中嵌入汇编代码的写法:

内嵌汇编语法_asm_(

汇编语句模板:

输出部分:

输入部分:

变化描述部分);

内嵌汇编常用限定符:

b,c,...     m:内存变量;    =:操作数在指令中是只写的;    +:操作数在指令中是读写类型的;   r:将输入变量放入通用寄存器,任一个;

2.一个简单的操作系统内核源代码

(1)进程的启动:

/* start process 0 by task[0] */
pid = ;
my_current_task = &task[pid];
asm volatile(
"movl %1,%%esp\n\t" /* set task[pid].thread.sp to esp */ //确定esp的位置;
"pushl %1\n\t" /* push ebp */ //因为栈为空,所以pushl的%1就是esp=ebp;
"pushl %0\n\t" /* push task[pid].thread.ip */ //IP压栈
"ret\n\t" /* pop task[pid].thread.ip to eip */ //弹出来eip,0号进程正式启动;
"popl %%ebp\n\t" //弹出来ebp,内核初始化完成; :
: "c" (task[pid].thread.ip),"d" (task[pid].thread.sp) /* input c or d mean %ecx/%edx*/
);

(2)进程的切换:

有两种方式,分别是:

【1】next->state == 0(即下一个进程正在执行  在两个正在运行的进程之间做进程上下文切换):

if(next->state == )/* -1 unrunnable, 0 runnable, >0 stopped */
{
/* switch to next process */
asm volatile(
"pushl %%ebp\n\t" /* save ebp */ //保存ebp;
"movl %%esp,%0\n\t" /* save esp */ //把esp赋值给sp并保存;
"movl %2,%%esp\n\t" /* restore esp */ //把第二个进程的sp放到esp中;
"movl $1f,%1\n\t" /* save eip */ //$1f是指接下来的标号1:的位置;
"pushl %3\n\t"
"ret\n\t" /* restore eip */
"1:\t" /* next process start here */ //下一进程开始;
"popl %%ebp\n\t"
: "=m" (prev->thread.sp),"=m" (prev->thread.ip)
: "m" (next->thread.sp),"m" (next->thread.ip)
);
my_current_task = next;
printk(KERN_NOTICE ">>>switch %d to %d<<<\n",prev->pid,next->pid);
}

【2】进程是新的,还没有执行过:

else
{
next->state = ;
my_current_task = next;
printk(KERN_NOTICE ">>>switch %d to %d<<<\n",prev->pid,next->pid);
/* switch to new process */
asm volatile(
"pushl %%ebp\n\t" /* save ebp */ //保存ebp;
"movl %%esp,%0\n\t" /* save esp */ //保存esp;
"movl %2,%%esp\n\t" /* restore esp */ //将下一进程sp存入esp;
"movl %2,%%ebp\n\t" /* restore ebp */ //将下一进程sp存入esp, 栈空,所以esp和ebp指向同一位置;
"movl $1f,%1\n\t" /* save eip */
"pushl %3\n\t" //保存当前进程入口;
"ret\n\t" /* restore eip */
: "=m" (prev->thread.sp),"=m" (prev->thread.ip)
: "m" (next->thread.sp),"m" (next->thread.ip)
);
}

四. 关于操作系统是如何工作的的理解

操作系统有“两把剑”,为中断上下文和进程上下文的切换,有了这两把剑,操作系统便能够有序地管理进程。

多道程序中断发生时,cpu把当前的进程中断,,然后指向中断处理程序的入口。操作系统会判断何时进行进程切换、什么条件下进行切换。因为是时间片轮转,所以需要设置时间片的大小,时间片用完时设置一下调度标志。例如循环1000万次才有一次机会判断一下是否需要调度,如果是的话就进行切换。