Linux内核分析— —操作系统是如何工作的(20135213林涵锦)
mykernel实验指导(操作系统是如何工作的)
实验要求
运行并分析一个精简的操作系统内核,理解操作系统是如何工作的
使用实验楼的虚拟机打开shell
- cd LinuxKernel/linux-3.9.4
- qemu -kernel arch/x86/boot/bzImage
然后cd mykernel 您可以看到qemu窗口输出的内容的代码mymain.c和myinterrupt.c
实验截图
首先是

然后是

之后是

要建立一个简单的时间片轮转多道程序,按照实验楼给的链接,找到了几个源代码,如图

然后按这些修改文件,并加入文件mypcb.h

再运行,0,1,2,3,之间的进程切换


分析进程的启动和进程的切换机制
mypcb.h:
#define MAX_TASK_NUM 4 //定义总有4个任务/进程
#define KERNEL_STACK_SIZE 1024*8 //每个进程的堆栈大小为8KB
/*用于保有存当前进程的esp和eip*/
struct Thread {
unsigned long ip; //eip
unsigned long sp; //esp
};
/*定义进程结构体*/
typedef struct PCB {
int pid;//进程ID
volatile long state; //进程状态
char stack[KERNEL_STACK_SIZE];//进程堆栈
struct Thread thread;//保存esp、eip
unsigned long task_entry;//f进程入口
struct PCB * next;//在进程链表中指向下一个进程
struct PCB * prev;//在进程链表中指向上一个进程
}tPCB;
/*声明调度函数*/
void my_schedule(void);
mymain.c:
#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;
int i = 0;
/*初始化0号进程*/
task[pid].pid = pid;
task[pid].state = 0;
/*进程入口指向进程处理函数*/
task[pid].task_entry = task[pid].thread.ip = (unsigned long)my_process;
/*指向进程栈进址*/
task[pid].thread.sp = (unsigned long)&task[i].stack[KERNEL_STACK_SIZE -1];
/*进程链表中,next指向指向自己*/
task[pid].next = &task[pid];
/*创建其他进程*/
for(i=1; i< MAX_TASK_NUM; i++)
{
/*把0号进程的状态拷贝给当前进程,不同成员值再单独赋值*/
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];
}
/* 运行0号进程*/
pid = 0;
/*把0号进程的地址赋给当前进程指针*/
my_current_task = &task[pid];
/*嵌入式汇编中%0,%1,%2,%3表示下面的参数,编号从0开始*/
asm volatile(
"movl %1, %%esp\n\t" /*把当前进程的栈指针赋给esp*/
"pushl %1\n\t"/*把当前进程的栈指保存到栈中*/
"pushl %0\n\t"/*保存当前进程的eip到栈中*/
"ret\n\t"/*返回操作*/
"popl %%ebp\n\t"/*弹出栈顶内容赋给ebp*/
:
: "c" (task[pid].thread.ip), "d" (task[pid].thread.sp)/*ecx=当前进程的eip, edx=当前进程的栈指针*/
);
//到此为止,0号进程就启动起来了
//end
}
void my_process(void)
{
int i=0;
while(1)
{
i++;
if(i%100 == 0) {
printk(KERN_NOTICE "this is process %d- \n", my_current_task->pid);
/*判断是否需要切换进程,1需要切换,0不需要切换*/
if(my_need_sched == 1){
my_need_sched = 0;
/*切换进程*/
my_schedule();
}
printk(KERN_NOTICE "this is process %d +\n", my_current_task->pid);
}
}
}
myinterrupt.c
#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(time_count % 100 == 0 && my_need_sched != 1) {
printk(KERN_NOTICE ">>>my_timer_handler here<<<\n");
/*将进程切换标记为需要切换*/
my_need_sched = 1;
}
/* 计数器自加 */
time_count ++;
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");
next = my_current_task->next;
prev = my_current_task;
//state:-1表示不可用,0表示正在执行,>0表示没有运行
if(next->state == 0) {
/*切换进程*/
asm volatile (
"pushl %%ebp\n\t" /*保存当前进程的ebp*/
"movl %%esp, %0\n\t" /*保存当前的栈指针到上一个进程的sp中*/
"movl %2, %%esp\n\t" /*把下一个进程的sp赋给esp*/
"movl $1f, %1\n\t" /*保存当前进程的eip到上进一个进程的ip中*/
"pushl %3\n\t" /*将下一个进程的ip压到栈中*/
"ret\n\t"/*返回*/
"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
{
/*将当前进程状态改为运行*/
next->state = 0;
/*当前进程指针指向下一下进程*/
my_current_task = next;
printk(KERN_NOTICE ">>>switch %d to %d<<<\n", prev->pid, next->pid);
asm volatile (
"pushl %%ebp\n\t"
"movl %%esp, %0\n\t"
"movl %2, %%esp\n\t"
"movl %2, %%ebp\n\t"
"movl $1f, %1\n\t"
"pushl %3\n\t"
"ret\n\t"
"popl %%ebp\n\t"
:"=m" (prev->thread.sp), "=m" (prev->thread.ip)
:"m" (next->thread.sp), "m" (next->thread.ip)
);
}
}
总结部分
首先要了解计算机工作的三个法宝:
1.存储程序计算机
所有计算机的基础性的逻辑框架。
2.函数调用堆栈
在低级语言中并不很重要,但是堆栈技术是高级语言可以运行的基础。
3.中断机制
有了中断后,就有了多道程序设计
每个程序有自己的执行流。
中断发生时,cpu把当前的eip等压入内核堆栈中,然后把eip指向中断处理程序的入口。
然后我们知道:操作系统是一管理电脑硬件与软件资源的程序,同时也是计算机系统的内核与基石。操作系统身负诸如管理与配置内存、决定系统资源供需的优先次序、控制输入与输出设备、操作网络与管理文件系统等基本事务。操作系统是管理计算机系统的全部硬件资源包括软件资源及数据资源;控制程序运行;改善人机界面;为其它应用软件提供支持等,使计算机系统所有资源最大限度地发挥作用,为用户提供方便的、有效的、友善的服务界面。(源自百度)
操作系统是一个庞大的管理控制程序,大致包括5个方面的管理功能:进程与处理机管理、作业管理、存储管理、设备管理、文件管理。
最终可知:操作系统保存了一些队列,每个队列都是一组等待某些资源的进程。资源在操作系统中得以合理的分配以及调度,用于解决处理这些进程。
注:
姓名:林涵锦
《Linux内核分析》MOOC课程http://mooc.study.163.com/course/USTC-1000029000
Linux内核分析— —操作系统是如何工作的(20135213林涵锦)的更多相关文章
- Linux内核分析——操作系统是如何工作的
万子惠 + 原创作品转载请注明出处 + <Linux内核分析> 实验部分 使用实验楼的虚拟机打开shell 然后cd mykernel 您可以看到qemu窗口输出的内容的代码mymain. ...
- linux内核分析--操作系统是如何工作的?
一个简单的时间片轮转多道程序 操作系统的"两把剑":中断上下文(保存现场和恢复现场)和进程上下文的切换 源代码的分析 *使用的源代码为视频中所使用的精简内核的源代码 首先分析myp ...
- Linux内核分析--操作系统是如何工作的
“平安的祝福 + 原创作品转载请注明出处 + <Linux内核分析>MOOC课程http://mooc.study.163.com/course/USTC-1000029000 ” 一.初 ...
- 20135239益西拉姆 Linux内核分析 操作系统是怎样工作的?
益西拉姆+ 原创作品+ <Linux内核分析>MOOC课程http://mooc.study.163.com/course/USTC-1000029000 ” 堆栈 堆栈是C语言程序运行时 ...
- LInux内核分析——计算机是如何工作的进行
万子惠 + 原创作品转载请注明出处 + <Linux内核分析>MOOC课程http://mooc.study.163.com/course/USTC-1000029000 " 实 ...
- linux内核分析--计算机是如何工作的
实验部分 使用gcc -S -o main.s main.c -m32命令将源代码编译成汇编代码. 源代码如下: int g(int x) { return x + 9; } int f(int x) ...
- Linux内核分析— —计算机是如何工作的(20135213林涵锦)
实验部分 (以下命令为实验楼64位Linux虚拟机环境下适用,32位Linux环境可能会稍有不同) 使用 gcc –S –o main.s main.c -m32 命令编译成汇编代码, int g(i ...
- Linux内核分析——计算机是如何工作的
马悦+原创作品转载请注明出处+<Linux内核分析>MOOC课程http://mooc.study.163.com/course/USTC-1000029000 一.计算机是如何工作的 ( ...
- Linux内核分析— —构造一个简单的Linux系统MenuOS(20135213林涵锦)
Linux内核分析— —构造一个简单的Linux系统MenuOS 实验内容 Linux内核的启动过程,从start_kernel到init进程启动 使用实验楼的虚拟机打开shell cd LinuxK ...
随机推荐
- Html引入百度富文本编辑器ueditor
在日常工作用,肯定有用到富文本编辑器的时候,富文本编辑器功能强大使用方便,我用的是百度富文本编辑器,首先需要下载好百度编辑器的demo, 然后创建ueditor.html文件,引入百度编辑器,然后在h ...
- python学习-判断是否是IP地址
1.使用正则表达式 首先分析IP地址的组成,十进制的合法IP地址由32位数字组成 使用.分割开 每个分组可出现的情况: 第一个分组: 1-9:一位数字 10-99:两位数字 100-199:三位数字且 ...
- January 30th, 2018 Week 05th Tuesday
The things you own end up owning you. 你占有的东西终将会占有你. When we are longing for something, we would be w ...
- SQL注入的绕过
一.常用符号的绕过 1.空格 1 空格代替:+ %20 %09 %0a %0b %0c %0d %a0 %00 /**/ /*!*/ 2 括号绕过:常用于基于时间延迟的盲注,例如构造语句: ?id=1 ...
- 改变javascript函数内部this指针指向的三种方法
在查了大量的资料后,我总结了下面的三条规则,这三条规则,已经可以解决目前我所遇到的所有问题.规则0:函数本身是一个特殊类型,大多数时候,可以认为是一个变量. function a() { alert( ...
- 个人技术博客(α)------javaweb的学习路程
该博文大致内容是学习的一个过程,心得,并不是以技术博客为主,在此说明. 关于javaweb的学习开始的时间大概是从大二下(2017年6.7月份)的暑假开始的,在学长的介绍下加入了实验室进行学习,由于是 ...
- kuangbin fire搜索bfs
Joe works in a maze. Unfortunately, portions of the maze have caught on fire, and the owner of the ma ...
- 【剑指offer】推断二叉树平衡
版权声明:本文为博主原创文章.未经博主同意不得转载. https://blog.csdn.net/mmc_maodun/article/details/27242575 转载请注明出处:http:// ...
- springboot 传值到页面
每天学习一点点 编程PDF电子书.视频教程免费下载:http://www.shitanlife.com/code <!DOCTYPE html> 2 <html> 3 &l ...
- metamask源码学习-inpage.js
The most confusing part about porting MetaMask to a new platform is the way we provide the Web3 API ...