操作系统是如何工作的
于佳心 原创作品转载请注明出处 《Linux内核分析》MOOC课程http://mooc.study.163.com/course/USTC-1000029000
本章所学内容主要围绕着三个方面。
1.函数调用堆栈
2.中断机制
3.mykernel上实际操作构建内核
操作系统的三个法宝指的是:存储程序计算机，函数调用堆栈，中断机制
其中函数调用堆栈是高级语言的起点，它的作用是记录调用路径和参数（调用框架，传递参数，保存返回地址，提供局部变量空间）
这里涉及到了esp，ebp两个相关寄存器，以及push、pop、call、ret寄存器，还有cs代码段寄存器及总是指向下一条指令地址的eip，这些内容在上一周的学习过程中都详细了解过了，所以在这里就不多讲了
我们还学到了调用框架的固定格式
建立框架：
pushl %ebp
movl %esp，%ebp
拆除框架：
movl %ebp，%esp
popl %ebp
ret
它们的中间便是call要调用的内容
关于另一个“法宝”——中断，我对它非常陌生。发生中断的原因是cpu内部做了工作，中断的出现来源于多道程序设计的出现，CPU把寄存器们压到一个叫内核的堆栈，把EIP指向中断处理程序的入口，保存现场。CPU和内核程序共同实现了保存现场和恢复现场。
课程中我们主要分析了周期性的时间中断，即内核时间片轮转。
另一个重要的东西是C代码中嵌入汇编代码——内嵌汇编语法
asm（
汇编语句模板；
输出部分；
输入部分；
破坏描述部分）；
在前面如果需要可以加上volatile，这是指编译器不优化，后面的指令保持原样
在转移的过程中会遇到好多限定符，在此不详述。
操作系统除了“三大法宝”之外，还有“两把剑"——中断上下文切换和进程上下文切换
在试验中，输入要求的代码来运行初始程序
结果如下：
为何会出现这个结果呢？我们来看系统中的代码
我们可以看到图中有两个c程序，myinterrupt.c（时钟中断处理程序）和mymain.c（系统中唯一的一个进程）
我们先来看mymain.c中的内容
这个函数是操作系统的入口（在此之前的代码都是将操作系统初始化），每循环100000次，打印一个”my_start_kernel"。
再看myinterrupt.c
这是时间中断处理程序，每次时钟中断一次都调用一次上图的语句，在中断发生时进行中断处理动作
这是一个最简单直接的中断处理程序了，接下来我们来看一个更复杂的例子
mypcd.h
定义一个进程控制块
（程序中//的注释是自己加的，*/的注释是代码自带的，后面的代码都是）
/*
* linux/mykernel/mypcb.h
*
* Kernel internal PCB types
*
* Copyright (C) 2013 Mengning
*
*/ #define MAX_TASK_NUM 4
#define KERNEL_STACK_SIZE 1024*8 /* CPU-specific state of this task */
struct Thread { //Thread用于存储eip和esp
unsigned long ip;
unsigned long sp;
}; typedef struct PCB{
int pid; //pid：进程的状态
volatile long state; /* -1 unrunnable, 0 runnable, >0 stopped */
char stack[KERNEL_STACK_SIZE]; //定义内核堆栈
/* CPU-specific state of this task */
struct Thread thread;
unsigned long task_entry; //定义入口
struct PCB *next; //把进程用一个链表链起来
}tPCB; void my_schedule(void); //调度器
mymain.c
/*
* linux/mykernel/mymain.c
*
* Kernel internal my_start_kernel
*
* Copyright (C) 2013 Mengning
*
*/
#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]; //声明一个数组（task是数组）
tPCB * my_current_task = NULL; //声明当前task的一个指针
volatile int my_need_sched = ; //是否需要调度的标识 void my_process(void); void __init my_start_kernel(void) //初始化
{
int pid = ; //先初始化0号进程
int i;
/* Initialize process 0*/
task[pid].pid = pid;
task[pid].state = ;/* -1 unrunnable, 0 runnable, >0 stopped */ //状态：正在运行
task[pid].task_entry = task[pid].thread.ip = (unsigned long)my_process; //入口：my_process
task[pid].thread.sp = (unsigned long)&task[pid].stack[KERNEL_STACK_SIZE-]; //栈顶：之前定义的stack
task[pid].next = &task[pid]; //指向它自己
/*fork more process */ //初始化更多的进程
for(i=;i<MAX_TASK_NUM;i++) //共有MAX_TASK_NUM个进程
{
memcpy(&task[i],&task[],sizeof(tPCB)); //复制了0号进程的状态
task[i].pid = i;
task[i].state = -;
task[i].thread.sp = (unsigned long)&task[i].stack[KERNEL_STACK_SIZE-]; //每个进程都有自己的堆栈
task[i].next = task[i-].next; //指向下一个进程
task[i-].next = &task[i]; //将新进程加到进程列表的尾部
}
/* start process 0 by task[0] */
pid = ; //从0号进程开始运行
my_current_task = &task[pid];
asm volatile( //嵌入的汇编代码，构建了cpu的运行环境，0号进程设立的堆栈和0号 进程的入口
"movl %1,%%esp\n\t" /* set task[pid].thread.sp to esp */ //将第一号参数放入栈顶
"pushl %1\n\t" /* push ebp */ //pushl %ebp（现在栈是空的，esp==ebp）
"pushl %0\n\t" /* push task[pid].thread.ip */ //将eip压栈
"ret\n\t" /* pop task[pid].thread.ip to eip */ //pop eip，此后0号进程正式启动
"popl %%ebp\n\t"
:
: "c" (task[pid].thread.ip),"d" (task[pid].thread.sp) /* input c or d mean %ecx/%edx*/ //这里是第0号参数和第1号参数
);
}
void my_process(void) //有主动调度的机制
{
int i = ;
while()
{
i++;
if(i% == )
{
printk(KERN_NOTICE "this is process %d -\n",my_current_task->pid); //循环100000次有一次机会判断是否需要调度，调度完继续执行
if(my_need_sched == )
{
my_need_sched = ;
my_schedule();
}
printk(KERN_NOTICE "this is process %d +\n",my_current_task->pid);
}
}
}
myinterrupt.c
/*
* linux/mykernel/myinterrupt.c
*
* Kernel internal my_timer_handler
*
* Copyright (C) 2013 Mengning
*
*/
#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 = ; //时间计数 /*
* Called by timer interrupt.
* it runs in the name of current running process,
* so it use kernel stack of current running process
*/
void my_timer_handler(void)
{
#if 1
if(time_count% == && my_need_sched != )
{
printk(KERN_NOTICE ">>>my_timer_handler here<<<\n");
my_need_sched = ; //发现my_need_sched==1，就会调度一次，执行my_schedule
}
time_count ++ ;
#endif
return;
} void my_schedule(void)
{
tPCB * next;
tPCB * prev; if(my_current_task == NULL //出错处理，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 == )/* -1 unrunnable, 0 runnable, >0 stopped */ //判定：如果下一个进程正在执行，就用下面的汇编代码切换进程
（进程间上下文的切换）
{
/* switch to next process */
asm volatile( //进程上下文切换的关键代码
"pushl %%ebp\n\t" /* save ebp */ //保存当前进程的ebp
"movl %%esp,%0\n\t" /* save esp */ //将当前进程的esp赋给0
"movl %2,%%esp\n\t" /* restore esp */ //将下一进程的esp放到esp里面
"movl $1f,%1\n\t" /* save eip */ //保存eip
"pushl %3\n\t" //push下一进程的eip
"ret\n\t" /* restore eip */ //下一个进程开始执行
"1:\t" /* next process start here */
"popl %%ebp\n\t"
: "=m" (prev->thread.sp),"=m" (prev->thread.ip) //0,1
: "m" (next->thread.sp),"m" (next->thread.ip) //2,3
);
my_current_task = next;
printk(KERN_NOTICE ">>>switch %d to %d<<<\n",prev->pid,next->pid);
}
else //这个进程是新的从未执行过
{
next->state = ; //置为运行时状态
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" /* save ebp */ //保存ebp
"movl %%esp,%0\n\t" /* save esp */ //保存esp在当前程序的esp里
"movl %2,%%esp\n\t" /* restore esp */ //将下一个进程的esp保存到esp里
"movl %2,%%ebp\n\t" /* restore ebp */ //将下一个进程的ebp保存到ebp里（栈是空的
"movl $1f,%1\n\t" /* save eip */ //将eip保存起来
"pushl %3\n\t" //将当前进程的入口保存起来
"ret\n\t" /* restore eip */
: "=m" (prev->thread.sp),"=m" (prev->thread.ip) //0，1
: "m" (next->thread.sp),"m" (next->thread.ip) //2，3
);
}
return;
}
总结：
操作系统是如何工作的：我认为，操作系统的工作离不开“三大法宝和”两把剑“
三大法宝中，存储程序计算机便是冯诺依曼体系结构，自不必说；函数调用堆栈记录了函数调用路径和参数，保存返回地址和临时需要用到的参数，提供局部变量空间；中断是为了多道程序设计的，当有多个程序需要执行时，每次执行的只能是一个程序，所以需要中断来调节，我们在这一章介绍的是时钟中断，即是否调用中断处理程序的判定是由时间来决定的，如果需要处理，CPU便将寄存器压入内核，将eip指向中断处理程序的入口。
两把剑中，中断上下文切换就是保护现场和恢复现场，而进程上下文的切换则决定了进程的执行顺序，在上面都有可执行的代码，所以就不仔细讲了
这一次学的东西比上一次难多了，比如说，那个分析代码的视频我就看了至少三遍才懂，而且也并没有完全理解透彻，想到以后的课程也许会更难，有点害怕。
学校网不好，实验楼总是卡，但是如果用自己的虚拟机调配环境可能也要花好长时间，所以就非常缓慢的做了实验，其实感觉实验只是对所学课程的一个复习，这样挺好的，可以发现一些自己以为会了的东西其实不会。
没什么可说的了，求大家高抬贵手。
