一、学习笔记
1.计算机的三个法宝:a.存储程序计算机;b.函数调用堆栈;c.中断
- 存储程序计算机(所有计算机的基础性的逻辑框架);
- 函数调用堆栈(C语言程序运行时必须使用的记录函数调用路径和参数存储的空间);
- 堆栈具体的作用:
- 记录函数调用框架
- 传递函数参数
- 保存返回值的地址
- 提供函数内部局部变量的存储空间
- 堆栈相关的寄存器:
- ESP:堆栈指针
- EBP:基址指针
- 堆栈操作:
- push:栈顶地址减少4个字节,并将操作数放进栈顶存储单元
- pop:栈顶地址增加4个字节,并将栈顶存储单元的内容放入操作数
- 其他关键寄存器:
- CS:EIP:总是指向地址连续的下一条指令
- 跳转/分支:执行这样的命令时,CS:EIP的值会根据程序需要被修改
- call:将当前CS:EIP的值压入栈顶,CS:EIP指向被调用函数的入口地址
- ret:从栈顶弹出原来保存在这里CS:EIP的值,放入CS:EIP中
- 堆栈具体的作用:
二、实验
-
进入终端,输入如下代码:
-
> cd ~/LinuxKernel/linux-3.9.4 > rm -rf mykernel > patch -p1 < ../mykernel_for_linux3.9.4sc.patch > make allnoconfig > qemu -kernel arch/x86/boot/bzImage
-
-
-
进入kernel,查看并修改文件
-
-
mypcb.h
#define MAX_TASK_NUM 4 #define KERNEL_STACK_SIZE 1024*8 /* CPU-specific state of this task */ struct Thread { unsigned long ip; unsigned long sp; }; typedef struct PCB{ int 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
主要功能是让程序从0号进程开始运行,只列下面这段代码是核心。
asm volatile( //%0表示参数thread.ip,%1表示参数thread.sp。 "movl %1,%%esp\n\t" /* set task[pid].thread.sp to esp 把参数thread.sp放到esp中*/ "pushl %1\n\t" /* push ebp 由于当前栈是空的,esp与ebp指向相同,所以等价于push ebp*/ "pushl %0\n\t" /* push task[pid].thread.ip */ "ret\n\t" /* pop task[pid].thread.ip to eip */ "popl %%ebp\n\t" : : "c" (task[pid].thread.ip),"d" (task[pid].thread.sp) /* input c or d mean %ecx/%edx*/ );
myinterrupt.c
主要功能是用于时钟中断处理和进程调度算法。
asm volatile( "pushl %%ebp\n\t" /* save ebp 保存当前进程的ebp*/ "movl %%esp,%0\n\t" /* save esp 把当前进程的esp赋给%0(指的是thread.sp),即保存当前进程的esp*/ "movl %2,%%esp\n\t" /* restore esp 把%2(指下一个进程的sp)放入esp中*/ "movl $1f,%1\n\t" /* save eip $1f是接下来的标号“1:”的位置,把eip保存下来*/ "pushl %3\n\t" /*把下一个进程eip压栈*/ "ret\n\t" /* restore eip 下一个进程开始执行*/ "1:\t" /* next process start here */ "popl %%ebp\n\t" : "=m" (prev->thread.sp),"=m" (prev->thread.ip) : "m" (next->thread.sp),"m" (next->thread.ip) );