2018-2019-1 20189201《Linux内核原理与分析》第三周作业
写作业之前,写了时光博物馆参观感受。1978-2018 40年的改革开放历程。
一、C语言中内嵌汇编语言的写法
内嵌汇编的语法如下:
asm volatile (
汇编语句模版;
输出部分;
输入部分;
破坏描述部分;
);
其中,asm 是GCC的关键字asm的宏定义,是内嵌汇编的关键字。
_volatile_是GCC的关键字,告诉编译器不要优化代码,汇编指令保留原样。
同时,%作为转义字符,寄存器前面会多一个转义符号
%加一个数字代表输入、输入和破坏描述的编号。
二、常见知识点
计算机的三个法宝:存储程序计算机、函数调用堆栈、中断。
堆栈相关的寄存器:ESP(堆栈指针)、EBP(基址指针)。
堆栈操作:push:栈顶地址减少4个字节,并将操作数放入栈顶存储单元。
Pop:栈顶地址增加4个字节,并将栈顶存储单元的内容放入操作数。
对于X86体系结构来说,栈是从高地址向低地址增加的。
其他关键寄存器:CS:EIP总是指向下一条的指令地址,这里用到了CS寄存器,也就是代码寄存器和EIP总是指向下一条的指令地址。
用堆栈来传递函数的参数:对32位的X86CPU来说,通过堆栈来传递函数的方法是从右到左依次压栈。
中断:有了中断才有了多道程序,在没有中断的机制之前,计算机只能一个程序一个程序地执行,也就是批处理,而无法多个程序并发工作。有了中断机制的CPU帮我们做了一件事情,就是当一个中断信号发生时,CPU把当时正在执行的程序地CS:EIP寄存器和ESP寄存器等都压到了一个叫做内核堆栈的地方,然后把CS:EIP指向一个中断处理程序的入口,做保存现场的工作,之后执行其他程序,等重新回来时再恢复现场,恢复CS:EIP寄存器和ESP寄存器等,继续执行程序。
三、函数调用堆栈
堆栈的由来:堆栈并不是一开始就有的,计算机没有高级语言的时候,只有机器语言时候,因为汇编可以跳转,没有太多函数的概念,有了高级语言,有了函数,就要借助堆栈了。
堆栈是c语言程序运行时必须的一个记录调用路径和参数的空间 ,具体作用有:记录函数调用框架、传递函数参数、保存返回地址、提供函数内部局部变量的存储空间等等。
堆栈相关的寄存器:
esp—堆栈指针 (stack pointer)
ebp—基址指针 (base pointer)— ebp在c语言中用作记录当前函数调用基址
堆栈操作:
push—栈顶地址减少4个字节
pop—栈顶地址增加4个字节
其他关键寄存器 :
cs:eip总是指向下一条的指令地址 ;
顺序执行:总是指向地址连续的下一条指令。
跳转/分支:执行这样的指令的时候,cs:eip的值会根据程序被修改。
call:将当前的cs:eip的值压入栈顶,cs:eip指向被调用函数的入口地址。
ret:从栈顶弹出原来的保存在这里的cd:eip的值,放入cs:eip中。
四、时间片轮转多道程序代码分析
计算机工作的三个法宝是存储程序计算机、函数调用堆栈、中断机制。mykernel 启动后,会调用 my_start_kernel 函数,完成进程的初始化,时钟中断周期性地调用 my_timer_handler函数,完成进程的调度。
扩展 my_start_kernel 和 my_timer_handler 函数,即修改 mymain.c 和 myinterrupt.c,新增 mypcb.h,模拟时间片轮转的多道程序,现在将内核核心代码加以分析:
mypcb.h
定义了PCB结构体,包括进程号、状态、堆栈、Thread结构体、入口地址、next指针。
mymain.c
(1)初始化所有进程,使成为循环链表:
(2)0号线程的启动:
asm volatile(
"movl %1,%%esp\n\t" //esp指向stack数组的末尾
"pushl %1\n\t" //将task[0].thread.sp压栈
"pushl %0\n\t" //将task[0].thread.ip压栈
"ret\n\t" //eip指向0进程起始地址,启动0号进程
"popl %%ebp\n\t" //释放栈空间
:
: "c" (task[pid].thread.ip),"d" (task[pid].thread.sp)
myinterrupt.c
my_timer_handler 函数每隔1000产生一个中断并把 my_need_sched 设置为1,此时 mymain.c 中 my_process 函数调用my_schedule 调度程序进行进程切换。
(1)时钟中断:
(2)进程调度
if(next->state == 0) //下一个进程可运行,执行进程切换
{
/* switch to next process */
asm volatile(
"pushl %%ebp\n\t" //保存当前进程的ebp
"movl %%esp,%0\n\t" //将当前进程的esp储存到当前进程的thread.sp
"movl %2,%%esp\n\t" //esp指向下一个进程
"movl $1f,%1\n\t" //将1f存储到thread.sp.$1f是“1:\t”处,再次调度到该进程时就会从1:开始执行
"pushl %3\n\t" //将下一个进程的thread.ip压栈
"ret\n\t" //eip指向下一个进程的起始地址
"1:\t"
"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);
当下一个进程一次也没运行过,执行else后的语句:
思考:
(1)相比if,else多了 "movl %2,%%ebp\n\t",少了"popl %%ebp\n\t",即将esp和ebp指向同一位置,并不恢复原进程,所以此部分是由于进程未运行过,所以要开始执行一个新进程;
(2)此部分的"movl $1f,%1\n\t"是将进程原来的ip(my_process)替换为$1f,使得它被切换回来(运行状态)进入if,可从标号1:处继续执行[参考Linux内核分析];
(3)为什么定义Thread时设置sp和ip保存esp和sip,而不设置bp来保存ebp呢?
pushl $ebp压栈保存现场,popl $ebp出栈恢复现场,不需要单独设置变量来保存ebp就可完成,而eip和esp在进程切换中需要不停地变动,必须设置变量来保存。
总结:操作系统内核从一个起始位置开始执行,完成初始化操作后,开始执行第一个进程。计算机为每个进程分配一个时间片,如果在时间片结束时进程仍在运行,该进程被阻塞,保存现场后切换到另一个进程,执行完后再返回原进程执行,从而完成进程调度。
五、课本内容总结:
进程是操作系统的核心。在Linux系统中,进程和线程不做特别区分,线程是一种特殊的进程。进程存放在每一项类型为 task_struct(进程描述符,包括进程的地址空间、挂起的信号、状态等)的双向循环链表中,在内核栈的尾部创建 thread_info 结构,通过计算偏移间接查找进程描述符。父进程通过调用fork()(fork()使用写时拷贝页实现,即不复制整个进程的地址空间,让父进程和子进程共享同一个拷贝)复制本进程来创建新进程,exec()读取可执行文件并将其载入地址空间开始执行,最终,程序通过exit()系统调用退出执行(如果父进程在子进程前退出,必须为其找到合适的养父进程)。
系统调用在用户空间进程和硬件设备之间添加了一个中间层。程序员只需和API打交道,内核只和系统调用打交道。访问系统调用,通常用C库中定义的函数调用来进行。每个系统调用被赋予了一个独一无二且不能更改的系统调用号,执行系统调用后陷入内核(内核代表进程执行并处于进程上下文),传递系统调用号和参数,执行系统调用函数,并把返回值带回用户空间。“提供机制而不是策略”,系统调用抽象出用于完成某种目的的函数,至于函数如何使用不需要关心。
注:在学习进程上下文时搜索到了中断上下文,对二者进行比较:用户空间与内核空间,进程上下文与中断上下文。
六、未解决问题:
(1)0号进程的启动中"pushl %1\n\t"是将0号进程的 thread.sp 压栈,这里为什么要将 sp 压栈?孟老师说因为是空栈所以 esp 和 ebp 相同。那 thread.sp 是指针吗?"movl %1,%%esp\n\t" 将esp指向 thread.sp,即 esp 和 thread.sp 相同,所以 ebp 和 thread.sp 相同,压 thread.sp 相当于压 ebp,可以这样理解吗?
(2)PCB结构体定义了stack数组,这个数组是本进程的栈吗?如果是,调度程序中保存当前进程的ebp和eip是压入当前进程的栈还是下一个进程的栈,亦或是各自压入两个栈?
参考:https://www.cnblogs.com/Jspo/p/7672728.html
2018-2019-1 20189201《Linux内核原理与分析》第三周作业的更多相关文章
- 2019-2020-1 20199329《Linux内核原理与分析》第九周作业
<Linux内核原理与分析>第九周作业 一.本周内容概述: 阐释linux操作系统的整体构架 理解linux系统的一般执行过程和进程调度的时机 理解linux系统的中断和进程上下文切换 二 ...
- 2019-2020-1 20199329《Linux内核原理与分析》第二周作业
<Linux内核原理与分析>第二周作业 一.上周问题总结: 未能及时整理笔记 Linux还需要多用 markdown格式不熟练 发布博客时间超过规定期限 二.本周学习内容: <庖丁解 ...
- 20169212《Linux内核原理与分析》第二周作业
<Linux内核原理与分析>第二周作业 这一周学习了MOOCLinux内核分析的第一讲,计算机是如何工作的?由于本科对相关知识的不熟悉,所以感觉有的知识理解起来了有一定的难度,不过多查查资 ...
- 20169210《Linux内核原理与分析》第二周作业
<Linux内核原理与分析>第二周作业 本周作业分为两部分:第一部分为观看学习视频并完成实验楼实验一:第二部分为看<Linux内核设计与实现>1.2.18章并安装配置内核. 第 ...
- 2018-2019-1 20189221 《Linux内核原理与分析》第九周作业
2018-2019-1 20189221 <Linux内核原理与分析>第九周作业 实验八 理理解进程调度时机跟踪分析进程调度与进程切换的过程 进程调度 进度调度时机: 1.中断处理过程(包 ...
- 2017-2018-1 20179215《Linux内核原理与分析》第二周作业
20179215<Linux内核原理与分析>第二周作业 这一周主要了解了计算机是如何工作的,包括现在存储程序计算机的工作模型.X86汇编指令包括几种内存地址的寻址方式和push.pop.c ...
- 2019-2020-1 20209313《Linux内核原理与分析》第二周作业
2019-2020-1 20209313<Linux内核原理与分析>第二周作业 零.总结 阐明自己对"计算机是如何工作的"理解. 一.myod 步骤 复习c文件处理内容 ...
- 2018-2019-1 20189221《Linux内核原理与分析》第一周作业
Linux内核原理与分析 - 第一周作业 实验1 Linux系统简介 Linux历史 1991 年 10 月,Linus Torvalds想在自己的电脑上运行UNIX,可是 UNIX 的商业版本非常昂 ...
- 《Linux内核原理与分析》第一周作业 20189210
实验一 Linux系统简介 这一节主要学习了Linux的历史,Linux有关的重要人物以及学习Linux的方法,Linux和Windows的区别.其中学到了LInux中的应用程序大都为开源自由的软件, ...
- 2018-2019-1 20189221《Linux内核原理与分析》第二周作业
读书报告 <庖丁解牛Linux内核分析> 第 1 章 计算工作原理 1.1 存储程序计算机工作模型 1.2 x86-32汇编基础 1.3汇编一个简单的C语言程序并分析其汇编指令执行过程 因 ...
随机推荐
- 2.2 collection 模块
2.2.1 定义命名元祖 2.2.2 定义双端队列 2.2.3 定义有序的字典 2.2.4 定义有默认值的字典
- webpack学习记录-认识loader(二)
Loader 就像是一个翻译员,能把源文件经过转化后输出新的结果,并且一个文件还可以链式的经过多个翻译员翻译. loader参考文章:https://webpack.docschina.org/loa ...
- LOJ#2723 多边形
解:首先,n<=20的直接暴力建图然后状压哈密顿回路,相信大家都会.固定1为起点,fi,s表示结尾为i点,状态为s.每次遍历i的出边转移,最后遍历1的出边统计答案.n22n. 然后就是正经题解了 ...
- (一)Qt5模块,QtCreator常用快捷键,命名规范
常用快捷键 1)帮助文件:F1 (光标在函数名字或类名上,按 F1 即可跳转到对应帮助文档,查看其详细用法) 2).h 文件和对应.cpp 文件切换:F4 3)编译并运行:Ctrl + R 4)函数声 ...
- Vue+koa2开发一款全栈小程序(7.图书录入功能)
1.图书录入功能 1.获取图书信息 1.在mydemo/src/until.js中封装工具函数post和get // 工具函数 import config from './config' // htt ...
- 应用调试(一)strace
目录 编译 使用 原理 深入文档 title: 应用调试(一)strace date: 2019/1/15 23:35:14 toc: true --- 编译 #tar -xjf strace-4.5 ...
- CMDB服务器管理系统【s5day89】:采集资产之汇报信息
1.服务器端收到的数据和客户端的数据不一样 print(request.post) 少发了,还是少取了,说明根本没有把数据全发过来 print(request.body) 1.只把字典的key给我发过 ...
- 金融量化分析【day110】:Pandas的Series对象
一.pandas简介安装 pandas是一个强大的python数据分析的工具包 pandsa是基于NumPy构建的 1.pandas的主要功能 1.具备对其功能的数据结构DataFrame.Serie ...
- 第十二节: 总结Quartz.Net几种部署模式(IIS、Exe、服务部署【借助TopSelf、服务类】)
一. IIS部署 比如在MVC框架中集成了Quartz.Net定时调度,此时该调度系统会随着MVC框架被挂在IIS下,IIS会进程回收,所以大部分开发都会遇到Quartz挂在IIS下一段时间不好用. ...
- Beamer 目录分栏
导言区加入 \usepackage{multicol} 然后 \section*{目录} \frame{\begin{multicols}{} \tableofcontents[hideallsubs ...