20135337朱荟潼 Linux第二周学习总结——操作系统是如何工作的

时间:2023-12-19 12:44:32

一、计算机是如何工作的——总结

三个法宝

存储程序计算机、函数调用堆栈、中断机制

二、堆栈

1.是c语言程序运行时必须的一个记录调用路径和参数的空间。

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

2.相关寄存器

esp 堆栈指针
ebp 基址指针(记录当前函数调用基址)

3.操作

push 栈顶地址减少4个字节
pop 栈顶地址增加4个字节

4.其他寄存器

cs:eip	总是指向下一条的指令地址
-顺序:总是指向地址连续的下一条的指令地址;
-跳转/分支:根据程序需要被修改;
call:将当前cs:eip值压栈,cs:eip指向被调函数入口地址。
ret:从栈顶弹出原来保存在此的cs:eip值,放入cs:eip中。

20135337朱荟潼 Linux第二周学习总结——操作系统是如何工作的

5.参数传递与局部变量

举例分析

20135337朱荟潼 Linux第二周学习总结——操作系统是如何工作的

6.函数调用(两级、三级)

20135337朱荟潼 Linux第二周学习总结——操作系统是如何工作的

三、C代码中嵌入汇编代码

1.内嵌汇编语法

20135337朱荟潼 Linux第二周学习总结——操作系统是如何工作的

2.举例分析

20135337朱荟潼 Linux第二周学习总结——操作系统是如何工作的

四、实验及分析(mykernel)

20135337朱荟潼 Linux第二周学习总结——操作系统是如何工作的

执行

20135337朱荟潼 Linux第二周学习总结——操作系统是如何工作的

mymain.c

20135337朱荟潼 Linux第二周学习总结——操作系统是如何工作的

(分析:开始启动操作系统;1.【89行】每循环十万次打印一次mykernel(可以修改循环次数))

myinterrupt.c

20135337朱荟潼 Linux第二周学习总结——操作系统是如何工作的

(分析:每次时钟中断都调用一次printk并输出)

五、进程分析

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

1.mypcb.h

20135337朱荟潼 Linux第二周学习总结——操作系统是如何工作的

  • 分析:【14行】定义thread用于存储eip和esp。【20、21、22行】定义pid就是进程的ID;进程状态;内核堆栈。(进程管理相关的数据结构)【25行】程序入口。【26行】用链表连接起来。【29行】调度器。

2.mymain.c

内核初始化和0号进程启动

20135337朱荟潼 Linux第二周学习总结——操作系统是如何工作的

20135337朱荟潼 Linux第二周学习总结——操作系统是如何工作的

20135337朱荟潼 Linux第二周学习总结——操作系统是如何工作的

  • 分析:

【20行】设定是需要调度的标准。

【30、31、32行】初始化0号进程的数据结构;状态是正在运行;入口是myprocess。

【33行】堆栈的栈顶。【34行】进程刚启动时指向它自己(只有0号进程在)。

【35行】创建更多的进程。

【41行】每个进程都有自己的堆栈。

【42行】指向下一个进程。

【43行】将新创建的进程加到进程的尾部,从而建立很多的进程。

【46行】启动0号进程。

【48行——56行:汇编代码,内核初始化工作】%1-指55行的sp(可以看做是函数参数,1号参数就是指thread.sp)。【50行】push了1号参数ebp。【51行】将当前的eip压栈。【52行】ret之后0号进程正式启动。

(有主动调度机制)

【64行】循环1000万次判断一次是否需要调度。

3.myinterrupt.c

20135337朱荟潼 Linux第二周学习总结——操作系统是如何工作的

20135337朱荟潼 Linux第二周学习总结——操作系统是如何工作的

20135337朱荟潼 Linux第二周学习总结——操作系统是如何工作的

  • 分析:

【22——25行】my_timer_handler 函数会被内核周期性的调用,每调用1000次,就去将全局变量my_need_sched的值修改为1,通知正在执行的进程执行调度程序my_schedule。【22行】可以将时间片改小如:100,调度会频繁一点。

【52行】将当前进程付给下一个。

【57——71行】两个正在运行的进程之间进行上下文切换。【58】把当前进行的ebp保存起来,【59】把当前进程的esp赋给%0(指的是thread.sp),【60】把%2(指下一个进程的sp)放入esp中,【61】$1f是接下来的标号1:的位置,把eip保存,【62】把下一个进程eip压栈,【63】下一个进程开始执行

(###操作系统“两剑”:中断上下文、进程上下文的切换。)

【64行】切换到一个新进程的方法。【66、67行】将该进程置为执行状态,作为当前进程。

【71-79行:内嵌汇编】【71】保存ebp;【72】保存esp;【73、74】restore ebp;restore esp(此时ebp和esp都指向同一个位置,这个栈是空的);【75】保存eip;【76】把当前进程入口保存起来;

进程分析总结

在my_schedule函数中,完成进程的切换。进程的切换分两种。

1.下一个进程没有被调度过。
2.下一个进程被调度过,可以通过下一个进程的state知道其状态。

进程切换通过内联汇编代码实现,需要保存之前的进程的eip和堆栈,然后将新进程的eip和堆栈的值存入相对应的寄存器中。

六、学习总结

通过本周学习,主要掌握了函数调用堆栈、进程上下文切换方法,学习过程中孟老师通过举例分析使得知识更加容易掌握,(比如,分析参数传递与局部变量的案例,清楚的学习栈的变化,指针的变化情况,这样对上一周堆栈变化知识是一次巩固复习,同时也是对这一周参数传递引起的堆栈变化的内容的学习)。