基本上，我正在为实现多级优先级队列的xv6内核实现一个调度程序。我有一个严重的问题，我不明白，我的课程的TA不明白，我错过了这个项目的截止日期，所以现在帮助我不会给我任何额外的积分 - 但我想知道为什么我有以下行为......
首先，这是我正在为xv6 更改的原始调度程序（用于比较 - 这不是我的实现）：
// Per-CPU process scheduler.
// Each CPU calls scheduler() after setting itself up.
// Scheduler never returns. It loops, doing:
// - choose a process to run
// - swtch to start running that process
// - eventually that process transfers control
// via swtch back to the scheduler.
void
scheduler(void)
{
struct proc *p;
for(;;){
// Enable interrupts on this processor.
sti();
// Loop over process table looking for process to run.
acquire(&ptable.lock);
for(p = ptable.proc; p < &ptable.proc[NPROC]; p++){
if(p->state != RUNNABLE)
continue;
// Switch to chosen process. It is the process's job
// to release ptable.lock and then reacquire it
// before jumping back to us.
proc = p;
switchuvm(p);
p->state = RUNNING;
swtch(&cpu->scheduler, proc->context);
switchkvm();
// Process is done running for now.
// It should have changed its p->state before coming back.
proc = 0;
}
release(&ptable.lock);
}
}
新调度程序的想法是：在ptable中有一个填充了proc结构的数组。我将在这个proc数组'p'中调用这些元素中的每一个，并且它们包含基本信息（例如它们具有的“票证”数量，或者它的状态等）。我需要为一个时间片运行所有高优先级（HP）p，然后将其优先级更改为低。当没有HP过程时，我“随机”选择一个LP过程并运行两次时间片。我的算法如下：
scheduler()
for(;;) //scheduler NEVER completes
//information gathering
for (entire proc array) //goes over it once
gather how many HP and LP procs
count total HP and LP tickets in each proc (for lottery)
if #HP > 1 //randomly choose a HP proc
hold HP lottery, run one HP proc //afterwards,
int rand = random() % num_HP_tickets
for (entire array)
curr_index_of_tickets += p->num_tickets;
if (curr_index_of_tickets >= rand) //we found the right p!
run p for one time slice
else if #HP == 1
find and run the one HP proc
else if #HP < 1 //then no HP procs! Time to run LP
if #LP > 1
hold LP lottery, run one LP proc for two time slices, similar to above
else if #LP == 1
find the LP proc, run it
这是问题...我的proc似乎总是等于0.它从来没有看到p中的信息，没有从p等收集proc信息。我不知道为什么。
我测试了大量的打印输出声明。我先发布一下这里的输出：
entered scheduler
entered INFORMATION loop: iteration 0
Proc is 0
Proc is 0 even after proc gets p from for loop
Information 0: found 0 HP procs
Information 0: found 0 LP procs
Num HP: 0
Num LP: 0
Num HP Tickets: 0
Num LP Tickets: 0
This concludes loop #: 0
entered INFORMATION loop: 1
Proc is 0
entered INFORMATION loop: 2
Proc is 0
entered INFORMATION loop: 3
Proc is 0
etc.....
再次，不知道为什么这不起作用......我确定有多个错误，而且我有一堆垃圾打印声明只是为了看看哪里出了问题。这也需要相当多的调试工作，所以我不太乐观，如果有人有答案......为此目的，并且有了这些警告，这是我的整个调度程序功能。抱歉... ...
void
scheduler(void)
{
struct proc *p;
for(;;){
//TODO: Remove statement
cprintf("entered scheduler\n");
// Enable interrupts on this processor.
sti();
// Loop over process table looking for process to run.
acquire(&ptable.lock);
//keeps track of number of procs (to be used for lottery RNG)
int num_LP_t = 0;
int num_HP_t = 0;
int num_HP = 0;
int num_LP = 0;
int rand = 0;
int curr_tickets = 0;
//goes through once to complete information gathering for HP and LP queue
//TODO: remove i - for testing only
int i = -1;
for(p = ptable.proc; p < &ptable.proc[NPROC]; p++){
i++;
//TODO: Remove statement
cprintf("entered INFORMATION loop: %d\n", i);
if (proc == 0) cprintf("Proc is 0\n");
if(p->state != RUNNABLE)
continue;
// Switch to chosen process. It is the process's job
// to release ptable.lock and then reacquire it
// before jumping back to us.
//TODO: uncomment? proc = p;
if (proc == 0) cprintf("Proc is 0 even after proc gets p in INFORMATION LOOP\n");
cprintf("Information %d: found %d HP procs\n", i, num_HP);
cprintf("Information %d: found %d LP procs\n", i, num_LP);
cprintf("Num HP: %d\n", num_HP);
cprintf("Num LP: %d\n", num_LP);
cprintf("Num HP Tickets: %d\n", num_HP_t);
cprintf("Num LP Tickets: %d\n", num_LP_t);
cprintf("This concludes loop #: %d\n", i);
if (p->priority_level == 1){
num_HP++;
num_HP_t += p->num_tickets;
}
if (p->priority_level == 0){
num_LP++;
num_LP_t += p->num_tickets;
}
}//end information loop
cprintf("Begin HP Queue:\n");
if (num_HP > 1){
cprintf("HP Queue had: %d procs to run\n", num_HP);
rand = random() % num_HP_t;
cprintf("We choose our random to be: %d\n", rand);
for(p = ptable.proc; p < &ptable.proc[NPROC]; p++){
if (p->state != RUNNABLE) continue;
//TODO: uncomment? proc = p;
if (proc == 0) cprintf("Proc is 0 even after setting proc = p in HP queue\n");
if (p->priority_level == 1){
cprintf("Found a HP Proc while searching for rand, currently at: %d\n", curr_tickets);
curr_tickets += p->num_tickets;
if (curr_tickets >= rand){
if (proc == 0)
cprintf("proc is 0 while in HP queue 1\n");
//proc = p;
switchuvm(p);
p->state = RUNNING;
/*cprintf("Proc Info:");
cprintf("uint sz: %d", proc->sz);
cprintf("enum procstate state: %s", proc->state);
cprintf("volatile int pid: %d", proc->pid);
cprintf("int killed: %d", proc->killed);
cprintf("int priority_level: %d", proc->priority_level);*/
swtch(&cpu->scheduler, proc->context);
switchkvm();
if (p->state == RUNNABLE){
cprintf("HP process still runnable after 1 TS.\nHere is the updated information\n");
p->priority_level = 0;
num_HP--;
num_LP++;
num_HP_t -= p->num_tickets;
num_LP_t += p->num_tickets;
cprintf("Num HP: %d\n", num_HP);
cprintf("Num LP: %d\n", num_LP);
cprintf("Num HP Tickets: %d\n", num_HP_t);
cprintf("Num LP Tickets: %d\n", num_LP_t);
}
}
}
}
}
else if (num_HP == 1){
for(p = ptable.proc; p < &ptable.proc[NPROC]; p++){
if (p->state != RUNNABLE) continue;
//TODO: Uncomment? proc = p;
if (proc == 0) cprintf("Proc is 0 even after setting proc = p in HP == 1 queue\n");
if (p->priority_level == 1){
//proc = p;
switchuvm(p);
p->state = RUNNING;
swtch(&cpu->scheduler, proc->context);
switchkvm();
if (p->state == RUNNABLE){
p->priority_level = 0;
num_HP--;
num_LP++;
num_HP_t -= p->num_tickets;
num_LP_t += p->num_tickets;
}
}
}
}//end else num_HP = 1
else if (num_HP < 1){
if (num_LP > 1){
rand = random() % num_LP_t;
for(p = ptable.proc; p < &ptable.proc[NPROC]; p++){
if (p->state != RUNNABLE) continue;
//TODO: uncomment? proc = p;
if (proc == 0) cprintf("Proc is 0 even after setting proc = p in LP > 1 queue\n");
if (p->priority_level == 0){
curr_tickets += p->num_tickets;
if (curr_tickets >= rand) {
//proc = p;
switchuvm(p);
p->state = RUNNING;
swtch(&cpu->scheduler, proc->context);
switchkvm();
if (p->state != RUNNABLE){
num_LP--;
num_LP_t -= p->num_tickets;
}
}
}
}
}
else if (num_LP == 1){
for(p = ptable.proc; p < &ptable.proc[NPROC]; p++){
if (p->state != RUNNABLE) continue;
//TODO: Uncomment? proc = p;
if (proc == 0) cprintf("Proc is 0 even after setting proc = p in LP == 1 queue\n");
if (p->priority_level == 0){
//proc = p;
switchuvm(p);
p->state = RUNNING;
swtch(&cpu->scheduler, proc->context);
switchkvm();
if (p->state != RUNNABLE){
num_LP_t -= p->num_tickets;
}
}
}
}
}//end lp
proc = 0;
release(&ptable.lock);
}//end outer for loop (;;)
}// end scheduler
答案 0 :(得分：2)
注释掉proc = p。明显的事情很明显。