1.问题描述

计算机的3大法宝是存储程序计算机,函数调用堆栈和中断机制,存储程序计算机已经在上一个博客中进行具体描述,本文将在剩下两方面出发对操作系统是如何工作的进行学习和探讨。

2.解决过程

2.1 计算机的三大法宝概念

存储程序计算机:将程序存放在计算机存储器中,然后按照存储器中的存储程序的首地址执行程序的第一条指令,以后就按照该程序中编写好的指令执行,直至程序执行结束。

函数调用堆栈:C语言程序运行时必须使用的记录函数调用路径和参数存储的空间。

中断:计算机运行过程中,出现某些意外情况需主机干预时,机器能自动停止正在运行的程序并转入处理新情况的程序,处理完毕后又返回原被暂停的程序继续运行。

2.2 函数调用堆栈工作原理

堆栈调用中有两个非常重要的指针,ESP和EBP。

ESP:堆栈栈顶指针,用于指向一个堆栈的最顶层,也就是低地址。

EBP:堆栈基址指针,用于指向当前堆栈的始发地址,也就是高地址。

在C语言编码中,堆栈空间可能未一段连续地址的存储空间,但通过ESP和EBP指针,可以确定一段堆栈空间为函数堆栈。函数调用堆栈就是多个逻辑上的栈堆叠起来的框架,需要注意的是在x86体系结构中,堆栈空间是从高地址向低地址增加的,每个存储单元的地址相差4个字节。

堆栈的主要操作是push和pop,分别用于将操作数放入栈顶和将栈顶存储单元的内容放入操作数两个相反的操作。

以下是图解过程:

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

由上一节已经知道了函数调用堆栈的变化,中断机制与之类似,只不过处理者为CPU,处理的堆栈为内核堆栈而非一般堆栈。中断执行前后通过机器硬件会保护中断前现场,然后CPU会根据CS:EIP指向的中断处理程序入口地址执行中断后的程序,执行完后会恢复中断前现场。本节将虚拟一个x86的CPU,用于中断的演示和介绍。研究思路是在实验过程中通过程序模拟时钟中断,每隔一段时间发生一次时钟中断,通过时间轮转片调度操作系统内核。

2.3.1 代码分析

接下来将通过汇编一个简单的C语言程序并分析其汇编指令执行过程,该程序主要包括3个代码文件。

mypcb.h

#define MAX_TASK_NUM        4     #定义最大任务数
#define KERNEL_STACK_SIZE 1024*8 #定义内核堆栈的个数 struct Thread { #定义线程结构体
unsigned long ip; #对应eip寄存器
unsigned long sp; #赌赢eso寄存器
}; typedef struct PCB{ #定义进程控制块参数
int pid; #定义进程id
volatile long state; #定义状态,-1表示未运行,0表示运行,>0表示停止
char stack[KERNEL_STACK_SIZE]; #定义内核堆栈个数
struct Thread thread; #创建线程
unsigned long task_entry; #定义入口地址
struct PCB *next; #用链表链接进程控制块
}tPCB; void my_schedule(void);

mymain.c

#include <linux/types.h>
#include <linux/string.h>
#include <linux/ctype.h>
#include <linux/tty.h>
#include <linux/vmalloc.h> #include "mypcb.h" tPCB task[MAX_TASK_NUM];
tPCB * my_current_task = NULL;
volatile int my_need_sched = 0; void my_process(void); void __init my_start_kernel(void) #进入内核入口,初始化进程各参数
{
int pid = 0; #初始化0号进程
int i;
/* Initialize process 0*/
task[pid].pid = pid; #设置进程id
task[pid].state = 0; #设置进程状态为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]; #设置ESP指向栈顶
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]; #加入进程列表尾部
}
/* start process 0 by task[0] */
pid = 0;
my_current_task = &task[pid];
asm volatile(
"movl %1,%%esp\n\t" #将task[pid].thread.sp移入ESP
"pushl %1\n\t" #将EBP入栈
"pushl %0\n\t" #将task[pid].thread.ip入栈
"ret\n\t" #将task[pid].thread.ip返回赋入eip
"popl %%ebp\n\t" #将ebp压出栈
:
: "c" (task[pid].thread.ip),"d" (task[pid].thread.sp) #设置ecx和edx存储不同参数
);
}
void my_process(void)
{
int i = 0;
while(1)
{
i++;
if(i%10000000 == 0) #每计数10000000,会输出this is process 和当前进程任务号
{
printk(KERN_NOTICE "this is process %d -\n",my_current_task->pid);
if(my_need_sched == 1)
#判断是否需要切换进程,1需要切换,将状态值赋为0,并执行my_schedule(), 0不需要切换
{
my_need_sched = 0;
my_schedule();
}
printk(KERN_NOTICE "this is process %d +\n",my_current_task->pid); #输出this is process 和当前进程任务号
}
}
}

myinterrupt.c

#include <linux/types.h>
#include <linux/string.h>
#include <linux/ctype.h>
#include <linux/tty.h>
#include <linux/vmalloc.h> #include "mypcb.h" extern tPCB task[MAX_TASK_NUM];
extern tPCB * my_current_task;
extern volatile int my_need_sched;
volatile int time_count = 0;
#时钟中断程序
void my_timer_handler(void)
{
#if 1
if(time_count%1000 == 0 && my_need_sched != 1)
#如果时钟计数可以整出1000,且不需要切换进程,打印输出my_timer_handler here,并切换状态
{
printk(KERN_NOTICE ">>>my_timer_handler here<<<\n");
my_need_sched = 1;
}
time_count ++ ;
#endif
return;
} void my_schedule(void)
{
tPCB * next;
tPCB * prev; if(my_current_task == NULL #如果当前和下一个进程列表为空,则返回空结束
|| my_current_task->next == NULL)
{
return;
}
printk(KERN_NOTICE ">>>my_schedule<<<\n");
/* schedule */
next = my_current_task->next; #用指针next指向下一个进程
prev = my_current_task; #用指针prev指向当前进程
if(next->state == 0) #判断下一进程曾执行过
{
my_current_task = next;
printk(KERN_NOTICE ">>>switch %d to %d<<<\n",prev->pid,next->pid);
/* switch to next process */
asm volatile(
"pushl %%ebp\n\t" # 将ebp入栈保存
"movl %%esp,%0\n\t" #保存当前进程ESP到PCB
"movl %2,%%esp\n\t" #将next进程的栈顶地址存入ESP
"movl $1f,%1\n\t" #保存当前EIP寄存器值到PCB
"pushl %3\n\t" #把下一个进程代码入口地址入栈
"ret\n\t" #出栈进程的代码入口地址返回到EIP寄存器
"1:\t" #标号1,即next进程开始执行的位置
"popl %%ebp\n\t" #恢复EBP寄存器的值
: "=m" (prev->thread.sp),"=m" (prev->thread.ip)
#将当前和下一个进程栈顶地址和ip地址存入内存寄存器中,并根据变量%0%1%2%3命名
: "m" (next->thread.sp),"m" (next->thread.ip)
); }
else #判断下一进程未执行过
{
next->state = 0;
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" #保存当前进程EBP到堆栈
"movl %%esp,%0\n\t" #保存当前进程ESP到PCB
"movl %2,%%esp\n\t" #将next进程的栈顶地址保存到ESP寄存器
"movl %2,%%ebp\n\t" #将next进程的堆栈基地址保存到EBP寄存器
"movl $1f,%1\n\t" #将当前EIP寄存器值存到PCB,标号为1
"pushl %3\n\t" #把下一个进程入口地址入栈
"ret\n\t" #将出栈进程的代码入口地址存到EIP寄存器
: "=m" (prev->thread.sp),"=m" (prev->thread.ip)
: "m" (next->thread.sp),"m" (next->thread.ip)
);
}
return;
}

2.3.2 演示操作

本实验演示将在实验楼环境下运行,运行下段代码

# 注意路径是区分大小的
$ cd ~/LinuxKernel/linux-3.9.4
$ rm -rf mykernel
$ patch -p1 < ../mykernel_for_linux3.9.4sc.patch
$ make allnoconfig
# 编译内核请耐心等待
$ make
$ qemu -kernel arch/x86/boot/bzImage

运行结果如下图所示:

3.总结

本文主要研究了函数调用堆栈和中断机制,两者在思想上有一定的相似之处,都需要通过堆栈调用。但是前者主要通过用户空间进行调用,在用户态;后者则通过操作系统内核调用,在内核态。中断更多的用于异常操作,是一种硬件机制,具有不可预料性,一般没有返回值,而函数调用可以发生在任何时刻,可以认为控制,有返回值,能传递参数。在了解了两者的异同点后,又通过具体的堆栈调用图和代码进行分析,对函数调用堆栈和中断机制有了进一步的了解。

2019-2020-1 20199310《Linux内核原理与分析》第三周作业的更多相关文章

  1. 2019-2020-1 20199329《Linux内核原理与分析》第九周作业

    <Linux内核原理与分析>第九周作业 一.本周内容概述: 阐释linux操作系统的整体构架 理解linux系统的一般执行过程和进程调度的时机 理解linux系统的中断和进程上下文切换 二 ...

  2. 2019-2020-1 20199329《Linux内核原理与分析》第二周作业

    <Linux内核原理与分析>第二周作业 一.上周问题总结: 未能及时整理笔记 Linux还需要多用 markdown格式不熟练 发布博客时间超过规定期限 二.本周学习内容: <庖丁解 ...

  3. 20169212《Linux内核原理与分析》第二周作业

    <Linux内核原理与分析>第二周作业 这一周学习了MOOCLinux内核分析的第一讲,计算机是如何工作的?由于本科对相关知识的不熟悉,所以感觉有的知识理解起来了有一定的难度,不过多查查资 ...

  4. 20169210《Linux内核原理与分析》第二周作业

    <Linux内核原理与分析>第二周作业 本周作业分为两部分:第一部分为观看学习视频并完成实验楼实验一:第二部分为看<Linux内核设计与实现>1.2.18章并安装配置内核. 第 ...

  5. 2018-2019-1 20189221 《Linux内核原理与分析》第九周作业

    2018-2019-1 20189221 <Linux内核原理与分析>第九周作业 实验八 理理解进程调度时机跟踪分析进程调度与进程切换的过程 进程调度 进度调度时机: 1.中断处理过程(包 ...

  6. 2017-2018-1 20179215《Linux内核原理与分析》第二周作业

    20179215<Linux内核原理与分析>第二周作业 这一周主要了解了计算机是如何工作的,包括现在存储程序计算机的工作模型.X86汇编指令包括几种内存地址的寻址方式和push.pop.c ...

  7. 2019-2020-1 20209313《Linux内核原理与分析》第二周作业

    2019-2020-1 20209313<Linux内核原理与分析>第二周作业 零.总结 阐明自己对"计算机是如何工作的"理解. 一.myod 步骤 复习c文件处理内容 ...

  8. 2018-2019-1 20189221《Linux内核原理与分析》第一周作业

    Linux内核原理与分析 - 第一周作业 实验1 Linux系统简介 Linux历史 1991 年 10 月,Linus Torvalds想在自己的电脑上运行UNIX,可是 UNIX 的商业版本非常昂 ...

  9. 《Linux内核原理与分析》第一周作业 20189210

    实验一 Linux系统简介 这一节主要学习了Linux的历史,Linux有关的重要人物以及学习Linux的方法,Linux和Windows的区别.其中学到了LInux中的应用程序大都为开源自由的软件, ...

  10. 2018-2019-1 20189221《Linux内核原理与分析》第二周作业

    读书报告 <庖丁解牛Linux内核分析> 第 1 章 计算工作原理 1.1 存储程序计算机工作模型 1.2 x86-32汇编基础 1.3汇编一个简单的C语言程序并分析其汇编指令执行过程 因 ...

随机推荐

  1. Pytest系列(2) - assert断言详细使用

    如果你还想从头学起Pytest,可以看看这个系列的文章哦! https://www.cnblogs.com/poloyy/category/1690628.html 前言 与unittest不同,py ...

  2. Javascript/Jquery实现日期前一天后一天

    <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/stri ...

  3. SSM随笔

    1.搭建基本web项目2.在WEB-INF下面添加lib和classes包,并修改路径3.拷贝jar包 主要包括spring包+spring依赖包+myBatis包+mysql驱动包4.编辑sprin ...

  4. Spring钩子接口Aware

    前言 我们在编写代码的时候,有的时候想要使用Spring的底层组件,类似于 ApplicationContext, BeanFactory等等 那我们实现Spring提供的钩子方法xxxAware.在 ...

  5. Redis新手的坑,无法连接、缺少类、没有密码

    阿西吧,自己太菜了,用SpringBoot调用Redis缓存的时候,出了各种问题,记录一下,大家别学我 本文有自己的经验,也有从其他博客整理来的零零散散的经验. 1.安装Redis 安装redis,一 ...

  6. 为什么要用内插字符串代替string.format

    知道为什么要用内插字符串,只有踩过坑的人才能明白,如果你曾今使用string.format超5个以上占位符,那其中的痛苦我想你肯定是能够共鸣的. 一:痛苦经历 先上一段曾今写过的一段代码,大家来体会一 ...

  7. php静态变量的运用

    <?php $count = 5; function get_count() { static $count = 0; return $count++; } echo $count; echo ...

  8. Spring(一):Spring入门程序和IoC初步理解

    本文是按照狂神说的教学视频学习的笔记,强力推荐,教学深入浅出一遍就懂!b站搜索狂神说或点击下面链接 https://space.bilibili.com/95256449?spm_id_from=33 ...

  9. java中查询某个类已经创建了多少个对象了

    这个代码主要是使用类的静态字段和构造函数,可以跟踪某个类所创建对象的个数.请写一个类,在任何时候都可以向它查询“你已经创建了多少个对象? 主要是在构造函数中用到了静态数据,进行显示已经构造了多少个类对 ...

  10. 抓包——HTTP分析

      1.什么是HTTP请求(底层使用scoket TCP技术) HTTP是超文本传输协议.底层使用的scoket tcp长连接.基于请求和响应  同步请求. 2.重定向底层: 重定向原理:为什么会产生 ...