20135302魏静静Linux内核分析第二周学习总结

操作系统是如何工作的

1. 小结：计算机是怎样工作的

三个法宝

存储程序计算机、函数调用堆栈、中断机制

两把宝剑

中断上下文、进程上下文的切换

2. 堆栈

esp：堆栈指针——指向系统栈最上面一个栈帧的栈顶
ebp: 基址指针——指向系统栈最上面一个栈帧的底部
cs:eip：指令寄存器——指向下一条等待执行的指令地址

pushl %ebp

movl %esp,%ebp

3. 函数调用约定

Windows中C/C++程序的缺省函数调用约定是__cdecl
linux中gcc默认用的规则是__stdcall

4、C代码中嵌入汇编代码的写法

汇编语句模板由汇编语句序列组成，语句之间使用“;”、“\n”或“\n\t”分开。指令中的操作数可以使用占位符引用C语言变量，操作数占位符最多10个，名称如下：%0，%1，…，%9。

输出部分描述输出操作数，不同的操作数描述符之间用逗号格开，每个操作数描述符由限定字符串和C语言变量组成。

输入部分描述输入操作数，不同的操作数描述符之间使用逗号格开，每个操作数描述符由限定字符串和C语言表达式或者C语言变量组成。

破坏描述符用于通知编译器我们使用了哪些寄存器或内存，由逗号格开的字符串组成，每个字符串描述一种情况，一般是寄存器名；除寄存器外还有“memory”。

限制字符有很多种，有些是与特定体系结构相关，它们的作用是指示编译器如何处理其后的C语言变量与指令操作数之间的关系。

5.mykernel实验

cd LinuxKernel/linux-3.9.4

qemu -kernel arch/x86/boot/bzImage

/*mymain.c*/
/* start process 0 by task[0] */
pid = 0;
my_current_task = &task[pid];
asm volatile(
"movl %1,%%esp\n\t"     /* 将进程的sp赋给esp寄存器 */
"pushl %1\n\t"          /* ebp入栈：因为在这里栈为空，esp=ebp，所以push的%1就是esp就是ebp。*/
"pushl %0\n\t"          /* 进程入口ip入栈 */
"ret\n\t"               /* 把进程入口ip赋给eip，即从这之后0号进程启动。*/
"popl %%ebp\n\t"
:
: "c" (task[pid].thread.ip),"d" (task[pid].thread.sp)   /* input c or d mean %ecx/%edx*/
);

/*myinterrupt.c*/
//两个正在运行的进程之间做进程上下文切换

if(next->state == 0)
/* state值的含义：-1表示没有执行，0表示正在执行，>0表示停止，这里为0，即进程正在执行 */
{
/* 以下是进程切换关键代码 */
asm volatile(
"pushl %%ebp\n\t"       /* 把当前进程的ebp保存*/
"movl %%esp,%0\n\t"     /* 把当前进程的esp赋值到sp中保存下来*/
"movl %2,%%esp\n\t"     /* 把下一个进程的sp放到esp中*/
"movl $1f,%1\n\t"       /* 把eip保存起来，$1f指接下来的标号1:的位置*/
"pushl %3\n\t"          /*把下一个进程的eip保存起来*/
"ret\n\t"               /* 还原eip */
"1:\t"                  /* 标号1，下一进程从此开始 */
"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);
}

/*myinterrupt.c*/
/*这段代码是当进程从未执行过时，所执行的动作，即启动一个进程

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"       /* 保存ebp */
"movl %%esp,%0\n\t"     /* 保存esp */
"movl %2,%%esp\n\t"     /* 将下一进程的sp存入esp */
"movl %2,%%ebp\n\t"     /* 将下一进程的bp存入ebp，因为栈空，所以esp和ebp指向同一位置 */
"movl $1f,%1\n\t"       /* 保存eip */
"pushl %3\n\t"          /*保存当前进程入口 */
"ret\n\t"               /* 还原eip */
: "=m" (prev->thread.sp),"=m" (prev->thread.ip)
: "m" (next->thread.sp),"m" (next->thread.ip)
);

实验截图