标签：cal 核心 自己 lock des bsp 中断 back tab
1 在proc.c的scheduler函数中，有两行：
if(setjmp(&cpus[cpu()].jmpbuf) == 0)
longjmp(&p->jmpbuf);
把它修改为：
cprintf("setjmp called in scheduler\n");
if(setjmp(&cpus[cpu()].jmpbuf) == 0){
cprintf("setjmp in scheduler returned 0; longjmp\n");
longjmp(&p->jmpbuf);
}else
cprintf("setjmp in scheduler returned 1\n");
修改后，重编译内核，在Bochs中运行编译后的内核，你将会看到有规律的六行输出在屏幕上。
要求：
int setjmp(struct jmpbuf *jmp);
void longjmp(struct jmpbuf *jmp); 的函数解析!
# Setjmp saves its stack environment in jmp for later use by longjmp.
# It returns 0.
# Longjmp restores the environment saved by the last call of setjmp.
# It then causes execution to continue as if the call of setjmp
# had just returned 1.
# The caller of setjmp must not itself have returned in the interim.
# All accessible data have values as of the time longjmp was called.
# [Description, but not code, borrowed from Plan 9.]
这是setjmp和longjmp的函数解析。意思在于setjmp会保存当前环境，上下文。然后longjmp会回溯到最后一个setjmp所指向保存的环境。如图1所示
图1
cprintf("setjmp called in scheduler\n");
if(setjmp(&cpus[cpu()].jmpbuf) == 0){
cprintf("setjmp in scheduler returned 0; longjmp\n");
longjmp(&p->jmpbuf);
}else
cprintf("setjmp in scheduler returned 1\n");
一开始的时候没有longjmp的时候，setjmp返回的为0.
然后执行cprintf("setjmp in scheduler returned 0; longjmp\n");
接着到longjmp 于是跳回setjmp的位置。此时因为longjmp了于是setjpm返回1。
于是执行cprintf("setjmp in scheduler returned 1\n");
所以才有一次setjmp returned 才输出一行setjmp called。
可以从scheduler函数和sched函数的注释中看出.
对于scheduler函数
// Per-CPU process scheduler.
// Each CPU calls scheduler() after setting itself up.
// Scheduler never returns. It loops, doing:
// - choose a process to run
// - longjmp to start running that process
// - eventually that process transfers control back
// via longjmp back to the top of scheduler.
每一个CPU都有属于它自己的scheduler函数,当每一个CPU设置它本身的时候会调用scheduler函数的时候。Scheduler函数永远不会返回，它会不断的循环：（循环过程中)
1 选择一个进程，然后运行该进程。
2 使用longjmp跳到那个进程代码那，开始运行那个进程。
3 最后进程将控制权转移回来。
4 通过longjmp调到scheduler函数头。重新开始。
对于 sched函数
// Enter scheduler. Must already hold proc_table_lock
// and have changed curproc[cpu()]->state.
在进入scheduler 函数，而且会在持有 proc_table_lock
并且会改变 curproc[cpu()]的状态。
4. 阅读trap.c 第50行至第66行。Proc.c中的 yield函数、sched函数及scheduler函数，结合书本，确定xv6使用的是哪种调度算法。给出你的理由（通过分析代码证明你的观点）。
1先来先服务（FCFS）
2短作业优先（SF）
3高响应比优先
4时间片轮转（RR）
5多级队列调度算法
6多级反馈队列调度算法总共有6调度算法是XV6可能的选项。
前三种都是要安装进程的某个属性排序，比如进入时间，比如作业长短，响应比。并且选择进入时间最早，作业最短，响应比最高。
Scheduler 函数中的
for(i = 0; i < NPROC; i++){
p = &proc[i];
if(p->state != RUNNABLE)
continue;
这部分是调度算法的核心，证明了XV6是使用时间轮转（RR）。因为上面代码就是一个循环，在process数组里寻找可执行的进程。然后接下去的代码的意义才是跳到被选中的进程去进行执行。
// Switch to chosen process. It is the process‘s job
// to release proc_table_lock and then reacquire it
// before jumping back to us.
setupsegs(p);
curproc[cpu()] = p;
p->state = RUNNING;
if(setjmp(&cpus[cpu()].jmpbuf) == 0)
longjmp(&p->jmpbuf);
至于yield 函数 sched函数。当一个进程使用完时间片后，会中断调用yield函数来让出CPU给新的进程，yield调用sched函数，sched会切换：
void
sched(void)
{
struct proc *p = curproc[cpu()];
if(!holding(&proc_table_lock))
panic("sched");
if(cpus[cpu()].nlock != 1)
panic("sched locks");
if(setjmp(&p->jmpbuf) == 0)
longjmp(&cpus[cpu()].jmpbuf);
}
标签：cal 核心 自己 lock des bsp 中断 back tab
原文地址：http://www.cnblogs.com/zzzPark/p/6865625.html
