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 ...
随机推荐
- Android中如何使用xmlns
http://blog.csdn.net/lihenair/article/details/41009711 工作中时常需要自定义控件,除了按键,draw以外,还需要对控件属性进行一些初始化的操作,比 ...
- [国家集训队]JZPFAR
嘟嘟嘟 k-d tree模板之二:查询第k大距离.(所以是怎么上黑的) 因为k-d tree的查询就是暴力嘛,所以我就想到了一个很暴力的做法:每一次查询用一个长度为k的优先队列维护.按距离递增,编号递 ...
- E - The Balance POJ - 2142 (欧几里德)
题意:有两种砝码m1, m2和一个物体G,m1的个数x1, m2的个数为x2, 问令x1+x2最小,并且将天平保持平衡 !输出 x1 和 x2 题解:这是欧几里德拓展的一个应用,欧几里德求不定方程 ...
- M100 对频
- 运行tomcat7w.exe未安装指定的服务
新安装了tomcat7.042,但是启动tomcat7w.exe是提示未安装指定服务,解决方法如下: 在运行窗口输入cmd,运行DOS,输入以下命令: cd E:\apache-tomcat-7.0. ...
- (转)linux下查看已安装的软件与卸载
因为linux安装软件的方式比较多,所以没有一个通用的办法能查到某些软件是否安装了.总结起来就是这样几类: 1.rpm包安装的,可以用rpm -qa看到,如果要查找某软件包是否安装,用 rpm -qa ...
- spring-batch批处理框架
转自 http://www.cnblogs.com/gulvzhe/archive/2011/10/21/2220260.html 这个框架没有实际操作,只是从同事处学习到,先转个好文章,以后有机会再 ...
- oracle(sql)基础篇系列(五)——PLSQL、游标、存储过程、触发器
PL/SQL PL/SQL 简介 每一种数据库都有这样的一种语言,PL/SQL 是在Oracle里面的一种编程语言,在Oracle内部使用的编程语言.我们知道SQL语言是没有分支和循环的,而PL语言是 ...
- MP实战系列(四)之DAO讲解
说到DAO不得不提一个开发名词"三层架构",所谓的三层架构是什么呢?简单的可以概括为数据访问层,业务逻辑层,界面层(又称表现层). 这也是我们Java开发常用的手段,经常有人将三层 ...
- MATLAB——神经网络构造线性层函数linearlayer
% example5_7.m x=-:; y=*x-; randn(); % 设置种子,便于重复执行 y=y+randn(,length(y))*1.5; % 加入噪声的直线 plot(x,y,'o' ...