2006-06-12 15:22:12 +00:00
|
|
|
#include "types.h"
|
|
|
|
#include "mmu.h"
|
|
|
|
#include "x86.h"
|
|
|
|
#include "param.h"
|
2006-06-27 14:35:53 +00:00
|
|
|
#include "fd.h"
|
2006-06-22 20:47:23 +00:00
|
|
|
#include "proc.h"
|
2006-06-12 15:22:12 +00:00
|
|
|
#include "defs.h"
|
2006-07-12 01:48:35 +00:00
|
|
|
#include "spinlock.h"
|
|
|
|
|
2006-08-10 22:08:14 +00:00
|
|
|
struct spinlock proc_table_lock;
|
2006-06-12 15:22:12 +00:00
|
|
|
|
|
|
|
struct proc proc[NPROC];
|
2006-06-22 20:47:23 +00:00
|
|
|
struct proc *curproc[NCPU];
|
2006-08-08 19:58:06 +00:00
|
|
|
int next_pid = NCPU;
|
2006-07-16 01:15:28 +00:00
|
|
|
extern void forkret(void);
|
2006-07-17 01:58:13 +00:00
|
|
|
extern void forkret1(struct trapframe*);
|
2006-06-12 15:22:12 +00:00
|
|
|
|
2006-08-10 22:08:14 +00:00
|
|
|
void
|
|
|
|
pinit(void)
|
|
|
|
{
|
|
|
|
initlock(&proc_table_lock, "proc_table");
|
|
|
|
}
|
|
|
|
|
2006-06-12 15:22:12 +00:00
|
|
|
/*
|
|
|
|
* set up a process's task state and segment descriptors
|
|
|
|
* correctly, given its current size and address in memory.
|
|
|
|
* this should be called whenever the latter change.
|
|
|
|
* doesn't change the cpu's current segmentation setup.
|
|
|
|
*/
|
|
|
|
void
|
|
|
|
setupsegs(struct proc *p)
|
|
|
|
{
|
2006-07-17 01:58:13 +00:00
|
|
|
memset(&p->ts, 0, sizeof(struct taskstate));
|
2006-07-16 15:41:47 +00:00
|
|
|
p->ts.ss0 = SEG_KDATA << 3;
|
2006-07-17 01:52:13 +00:00
|
|
|
p->ts.esp0 = (uint)(p->kstack + KSTACKSIZE);
|
2006-06-12 15:22:12 +00:00
|
|
|
|
2006-06-13 15:50:06 +00:00
|
|
|
// XXX it may be wrong to modify the current segment table!
|
|
|
|
|
2006-06-12 15:22:12 +00:00
|
|
|
p->gdt[0] = SEG_NULL;
|
2006-08-08 19:58:06 +00:00
|
|
|
p->gdt[SEG_KCODE] = SEG(STA_X|STA_R, 0, 0x100000 + 64*1024, 0); // xxx
|
2006-06-12 15:22:12 +00:00
|
|
|
p->gdt[SEG_KDATA] = SEG(STA_W, 0, 0xffffffff, 0);
|
2006-07-17 01:52:13 +00:00
|
|
|
p->gdt[SEG_TSS] = SEG16(STS_T32A, (uint) &p->ts,
|
2006-06-15 16:02:20 +00:00
|
|
|
sizeof(p->ts), 0);
|
2006-07-16 15:41:47 +00:00
|
|
|
p->gdt[SEG_TSS].s = 0;
|
2006-07-17 01:52:13 +00:00
|
|
|
p->gdt[SEG_UCODE] = SEG(STA_X|STA_R, (uint)p->mem, p->sz, 3);
|
|
|
|
p->gdt[SEG_UDATA] = SEG(STA_W, (uint)p->mem, p->sz, 3);
|
2006-06-12 15:22:12 +00:00
|
|
|
}
|
|
|
|
|
2006-07-16 01:47:40 +00:00
|
|
|
// Look in the process table for an UNUSED proc.
|
|
|
|
// If found, change state to EMBRYO and return it.
|
|
|
|
// Otherwise return 0.
|
|
|
|
struct proc*
|
|
|
|
allocproc(void)
|
|
|
|
{
|
|
|
|
int i;
|
|
|
|
struct proc *p;
|
|
|
|
|
|
|
|
for(i = 0; i < NPROC; i++){
|
|
|
|
p = &proc[i];
|
|
|
|
if(p->state == UNUSED){
|
|
|
|
p->state = EMBRYO;
|
|
|
|
return p;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return 0;
|
|
|
|
}
|
2006-06-12 15:22:12 +00:00
|
|
|
|
2006-07-16 01:47:40 +00:00
|
|
|
// Create a new process copying p as the parent.
|
|
|
|
// Does not copy the kernel stack.
|
|
|
|
// Instead, sets up stack to return as if from system call.
|
|
|
|
// Caller must arrange for process to run (set state to RUNNABLE).
|
2006-06-12 15:22:12 +00:00
|
|
|
struct proc *
|
2006-07-16 01:47:40 +00:00
|
|
|
copyproc(struct proc* p)
|
2006-06-12 15:22:12 +00:00
|
|
|
{
|
2006-07-16 01:47:40 +00:00
|
|
|
int i;
|
2006-06-12 15:22:12 +00:00
|
|
|
struct proc *np;
|
|
|
|
|
2006-07-16 01:47:40 +00:00
|
|
|
// Allocate process.
|
2006-07-12 01:48:35 +00:00
|
|
|
acquire(&proc_table_lock);
|
2006-07-16 01:47:40 +00:00
|
|
|
if((np = allocproc()) == 0){
|
2006-07-12 01:48:35 +00:00
|
|
|
release(&proc_table_lock);
|
2006-06-12 15:22:12 +00:00
|
|
|
return 0;
|
2006-07-12 01:48:35 +00:00
|
|
|
}
|
2006-06-15 19:58:01 +00:00
|
|
|
np->pid = next_pid++;
|
2006-07-16 01:47:40 +00:00
|
|
|
np->ppid = p->pid;
|
2006-07-12 01:48:35 +00:00
|
|
|
release(&proc_table_lock);
|
|
|
|
|
2006-07-16 01:47:40 +00:00
|
|
|
// Copy process image memory.
|
|
|
|
np->sz = p->sz;
|
|
|
|
np->mem = kalloc(np->sz);
|
|
|
|
if(np->mem == 0){
|
|
|
|
np->state = UNUSED;
|
2006-06-12 15:22:12 +00:00
|
|
|
return 0;
|
2006-07-16 01:47:40 +00:00
|
|
|
}
|
|
|
|
memmove(np->mem, p->mem, np->sz);
|
|
|
|
|
|
|
|
// Allocate kernel stack.
|
2006-06-12 15:22:12 +00:00
|
|
|
np->kstack = kalloc(KSTACKSIZE);
|
|
|
|
if(np->kstack == 0){
|
2006-07-16 01:47:40 +00:00
|
|
|
kfree(np->mem, np->sz);
|
2006-07-12 01:48:35 +00:00
|
|
|
np->state = UNUSED;
|
2006-06-12 15:22:12 +00:00
|
|
|
return 0;
|
|
|
|
}
|
2006-07-16 01:47:40 +00:00
|
|
|
|
|
|
|
// Initialize segment table.
|
2006-06-12 15:22:12 +00:00
|
|
|
setupsegs(np);
|
2006-07-16 01:47:40 +00:00
|
|
|
|
|
|
|
// Copy trapframe registers from parent.
|
2006-07-17 01:58:13 +00:00
|
|
|
np->tf = (struct trapframe*)(np->kstack + KSTACKSIZE) - 1;
|
2006-07-16 01:47:40 +00:00
|
|
|
*np->tf = *p->tf;
|
2006-06-12 15:22:12 +00:00
|
|
|
|
2006-07-16 01:47:40 +00:00
|
|
|
// Clear %eax so that fork system call returns 0 in child.
|
2006-07-17 01:36:39 +00:00
|
|
|
np->tf->eax = 0;
|
2006-07-16 01:47:40 +00:00
|
|
|
|
|
|
|
// Set up new jmpbuf to start executing at forkret (see below).
|
Changes to allow use of native x86 ELF compilers, which on my
Linux 2.4 box using gcc 3.4.6 don't seem to follow the same
conventions as the i386-jos-elf-gcc compilers.
Can run make 'TOOLPREFIX=' or edit the Makefile.
curproc[cpu()] can now be NULL, indicating that no proc is running.
This seemed safer to me than having curproc[0] and curproc[1]
both pointing at proc[0] potentially.
The old implementation of swtch depended on the stack frame layout
used inside swtch being okay to return from on the other stack
(exactly the V6 you are not expected to understand this).
It also could be called in two contexts: at boot time, to schedule
the very first process, and later, on behalf of a process, to sleep
or schedule some other process.
I split this into two functions: scheduler and swtch.
The scheduler is now a separate never-returning function, invoked
by each cpu once set up. The scheduler looks like:
scheduler() {
setjmp(cpu.context);
pick proc to schedule
blah blah blah
longjmp(proc.context)
}
The new swtch is intended to be called only when curproc[cpu()] is not NULL,
that is, only on behalf of a user proc. It does:
swtch() {
if(setjmp(proc.context) == 0)
longjmp(cpu.context)
}
to save the current proc context and then jump over to the scheduler,
running on the cpu stack.
Similarly the system call stubs are now in assembly in usys.S to avoid
needing to know the details of stack frame layout used by the compiler.
Also various changes in the debugging prints.
2006-07-11 01:07:40 +00:00
|
|
|
memset(&np->jmpbuf, 0, sizeof np->jmpbuf);
|
2006-07-17 01:52:13 +00:00
|
|
|
np->jmpbuf.eip = (uint)forkret;
|
2006-07-18 19:22:37 +00:00
|
|
|
np->jmpbuf.esp = (uint)np->tf - 4;
|
2006-06-12 15:22:12 +00:00
|
|
|
|
2006-07-16 01:15:28 +00:00
|
|
|
// Copy file descriptors
|
2006-07-16 01:47:40 +00:00
|
|
|
for(i = 0; i < NOFILE; i++){
|
|
|
|
np->fds[i] = p->fds[i];
|
|
|
|
if(np->fds[i])
|
2006-07-16 01:49:03 +00:00
|
|
|
fd_incref(np->fds[i]);
|
2006-06-27 14:35:53 +00:00
|
|
|
}
|
|
|
|
|
2006-08-15 15:53:46 +00:00
|
|
|
// np->cwd = p->cwd;
|
|
|
|
// iincref(p->cwd);
|
|
|
|
|
2006-06-12 15:22:12 +00:00
|
|
|
return np;
|
|
|
|
}
|
|
|
|
|
2006-07-16 01:15:28 +00:00
|
|
|
// 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.
|
2006-06-12 15:22:12 +00:00
|
|
|
void
|
Changes to allow use of native x86 ELF compilers, which on my
Linux 2.4 box using gcc 3.4.6 don't seem to follow the same
conventions as the i386-jos-elf-gcc compilers.
Can run make 'TOOLPREFIX=' or edit the Makefile.
curproc[cpu()] can now be NULL, indicating that no proc is running.
This seemed safer to me than having curproc[0] and curproc[1]
both pointing at proc[0] potentially.
The old implementation of swtch depended on the stack frame layout
used inside swtch being okay to return from on the other stack
(exactly the V6 you are not expected to understand this).
It also could be called in two contexts: at boot time, to schedule
the very first process, and later, on behalf of a process, to sleep
or schedule some other process.
I split this into two functions: scheduler and swtch.
The scheduler is now a separate never-returning function, invoked
by each cpu once set up. The scheduler looks like:
scheduler() {
setjmp(cpu.context);
pick proc to schedule
blah blah blah
longjmp(proc.context)
}
The new swtch is intended to be called only when curproc[cpu()] is not NULL,
that is, only on behalf of a user proc. It does:
swtch() {
if(setjmp(proc.context) == 0)
longjmp(cpu.context)
}
to save the current proc context and then jump over to the scheduler,
running on the cpu stack.
Similarly the system call stubs are now in assembly in usys.S to avoid
needing to know the details of stack frame layout used by the compiler.
Also various changes in the debugging prints.
2006-07-11 01:07:40 +00:00
|
|
|
scheduler(void)
|
2006-06-12 15:22:12 +00:00
|
|
|
{
|
2006-07-16 01:15:28 +00:00
|
|
|
struct proc *p;
|
2006-07-01 21:26:01 +00:00
|
|
|
int i;
|
|
|
|
|
2006-07-29 09:35:02 +00:00
|
|
|
if(cpus[cpu()].nlock != 0){
|
|
|
|
cprintf("la %x lr %x\n", cpus[cpu()].lastacquire, cpus[cpu()].lastrelease );
|
2006-07-27 21:10:00 +00:00
|
|
|
panic("holding locks at first entry to scheduler");
|
2006-07-29 09:35:02 +00:00
|
|
|
}
|
2006-07-27 21:10:00 +00:00
|
|
|
|
2006-07-16 01:15:28 +00:00
|
|
|
for(;;){
|
|
|
|
// Loop over process table looking for process to run.
|
|
|
|
acquire(&proc_table_lock);
|
2006-07-01 21:26:01 +00:00
|
|
|
for(i = 0; i < NPROC; i++){
|
2006-08-10 22:08:14 +00:00
|
|
|
if(cpus[cpu()].guard1 != 0xdeadbeef ||
|
|
|
|
cpus[cpu()].guard2 != 0xdeadbeef)
|
|
|
|
panic("cpu guard");
|
2006-07-16 01:15:28 +00:00
|
|
|
p = &proc[i];
|
|
|
|
if(p->state != RUNNABLE)
|
|
|
|
continue;
|
|
|
|
|
|
|
|
// Run this process.
|
|
|
|
// XXX move this into swtch or trapret or something.
|
|
|
|
// It can run on the other stack.
|
|
|
|
// h/w sets busy bit in TSS descriptor sometimes, and faults
|
|
|
|
// if it's set in LTR. so clear tss descriptor busy bit.
|
2006-07-16 15:41:47 +00:00
|
|
|
p->gdt[SEG_TSS].type = STS_T32A;
|
2006-07-16 01:15:28 +00:00
|
|
|
|
|
|
|
// XXX should probably have an lgdt() function in x86.h
|
|
|
|
// to confine all the inline assembly.
|
|
|
|
// XXX probably ought to lgdt on trap return too, in case
|
|
|
|
// a system call has moved a program or changed its size.
|
2006-07-16 16:55:52 +00:00
|
|
|
lgdt(p->gdt, sizeof p->gdt);
|
|
|
|
// asm volatile("lgdt %0" : : "g" (p->gdt_pd.lim));
|
|
|
|
|
2006-07-16 01:15:28 +00:00
|
|
|
ltr(SEG_TSS << 3);
|
|
|
|
|
|
|
|
// Switch to chosen process. It is the process's job
|
|
|
|
// to release proc_table_lock and then reacquire it
|
|
|
|
// before jumping back to us.
|
|
|
|
if(0) cprintf("cpu%d: run %d\n", cpu(), p-proc);
|
|
|
|
curproc[cpu()] = p;
|
|
|
|
p->state = RUNNING;
|
|
|
|
if(setjmp(&cpus[cpu()].jmpbuf) == 0)
|
|
|
|
longjmp(&p->jmpbuf);
|
|
|
|
|
|
|
|
// Process is done running for now.
|
|
|
|
// It should have changed its p->state before coming back.
|
|
|
|
curproc[cpu()] = 0;
|
|
|
|
if(p->state == RUNNING)
|
|
|
|
panic("swtch to scheduler with state=RUNNING");
|
|
|
|
|
2006-07-17 05:00:25 +00:00
|
|
|
if(!holding(&proc_table_lock)){
|
|
|
|
cprintf("back to scheduler without proc_table_lock (pid=%d state=%d)", p->pid, p->state);
|
|
|
|
panic("scheduler lock");
|
|
|
|
}
|
|
|
|
if(cpus[cpu()].nlock != 1){
|
|
|
|
cprintf("holding %d locks in scheduler (pid=%d state=%d)\n", cpus[cpu()].nlock, p->pid, p->state);
|
|
|
|
panic("scheduler lock");
|
|
|
|
}
|
|
|
|
|
2006-08-08 19:58:06 +00:00
|
|
|
setupsegs(&proc[cpu()]);
|
|
|
|
|
2006-07-16 01:15:28 +00:00
|
|
|
// XXX if not holding proc_table_lock panic.
|
2006-07-12 01:48:35 +00:00
|
|
|
}
|
2006-08-10 22:08:14 +00:00
|
|
|
|
2006-07-16 01:15:28 +00:00
|
|
|
release(&proc_table_lock);
|
2006-07-12 01:48:35 +00:00
|
|
|
|
2006-07-16 01:15:28 +00:00
|
|
|
if(cpus[cpu()].nlock != 0)
|
|
|
|
panic("holding locks in scheduler");
|
|
|
|
|
|
|
|
// With proc_table_lock released, there are no
|
|
|
|
// locks held on this cpu, so interrupts are enabled.
|
|
|
|
// Hardware interrupts can happen here.
|
|
|
|
// Also, releasing the lock here lets the other CPUs
|
|
|
|
// look for runnable processes too.
|
2006-06-12 15:22:12 +00:00
|
|
|
}
|
2006-07-16 01:15:28 +00:00
|
|
|
}
|
2006-06-12 15:22:12 +00:00
|
|
|
|
2006-07-16 01:15:28 +00:00
|
|
|
// Enter scheduler. Must already hold proc_table_lock
|
|
|
|
// and have changed curproc[cpu()]->state.
|
|
|
|
void
|
|
|
|
sched(void)
|
|
|
|
{
|
2006-08-10 22:08:14 +00:00
|
|
|
struct proc *p = curproc[cpu()];
|
|
|
|
|
|
|
|
if(setjmp(&p->jmpbuf) == 0)
|
2006-07-16 01:15:28 +00:00
|
|
|
longjmp(&cpus[cpu()].jmpbuf);
|
Changes to allow use of native x86 ELF compilers, which on my
Linux 2.4 box using gcc 3.4.6 don't seem to follow the same
conventions as the i386-jos-elf-gcc compilers.
Can run make 'TOOLPREFIX=' or edit the Makefile.
curproc[cpu()] can now be NULL, indicating that no proc is running.
This seemed safer to me than having curproc[0] and curproc[1]
both pointing at proc[0] potentially.
The old implementation of swtch depended on the stack frame layout
used inside swtch being okay to return from on the other stack
(exactly the V6 you are not expected to understand this).
It also could be called in two contexts: at boot time, to schedule
the very first process, and later, on behalf of a process, to sleep
or schedule some other process.
I split this into two functions: scheduler and swtch.
The scheduler is now a separate never-returning function, invoked
by each cpu once set up. The scheduler looks like:
scheduler() {
setjmp(cpu.context);
pick proc to schedule
blah blah blah
longjmp(proc.context)
}
The new swtch is intended to be called only when curproc[cpu()] is not NULL,
that is, only on behalf of a user proc. It does:
swtch() {
if(setjmp(proc.context) == 0)
longjmp(cpu.context)
}
to save the current proc context and then jump over to the scheduler,
running on the cpu stack.
Similarly the system call stubs are now in assembly in usys.S to avoid
needing to know the details of stack frame layout used by the compiler.
Also various changes in the debugging prints.
2006-07-11 01:07:40 +00:00
|
|
|
}
|
|
|
|
|
2006-07-16 01:15:28 +00:00
|
|
|
// Give up the CPU for one scheduling round.
|
Changes to allow use of native x86 ELF compilers, which on my
Linux 2.4 box using gcc 3.4.6 don't seem to follow the same
conventions as the i386-jos-elf-gcc compilers.
Can run make 'TOOLPREFIX=' or edit the Makefile.
curproc[cpu()] can now be NULL, indicating that no proc is running.
This seemed safer to me than having curproc[0] and curproc[1]
both pointing at proc[0] potentially.
The old implementation of swtch depended on the stack frame layout
used inside swtch being okay to return from on the other stack
(exactly the V6 you are not expected to understand this).
It also could be called in two contexts: at boot time, to schedule
the very first process, and later, on behalf of a process, to sleep
or schedule some other process.
I split this into two functions: scheduler and swtch.
The scheduler is now a separate never-returning function, invoked
by each cpu once set up. The scheduler looks like:
scheduler() {
setjmp(cpu.context);
pick proc to schedule
blah blah blah
longjmp(proc.context)
}
The new swtch is intended to be called only when curproc[cpu()] is not NULL,
that is, only on behalf of a user proc. It does:
swtch() {
if(setjmp(proc.context) == 0)
longjmp(cpu.context)
}
to save the current proc context and then jump over to the scheduler,
running on the cpu stack.
Similarly the system call stubs are now in assembly in usys.S to avoid
needing to know the details of stack frame layout used by the compiler.
Also various changes in the debugging prints.
2006-07-11 01:07:40 +00:00
|
|
|
void
|
2006-07-16 01:47:40 +00:00
|
|
|
yield(void)
|
Changes to allow use of native x86 ELF compilers, which on my
Linux 2.4 box using gcc 3.4.6 don't seem to follow the same
conventions as the i386-jos-elf-gcc compilers.
Can run make 'TOOLPREFIX=' or edit the Makefile.
curproc[cpu()] can now be NULL, indicating that no proc is running.
This seemed safer to me than having curproc[0] and curproc[1]
both pointing at proc[0] potentially.
The old implementation of swtch depended on the stack frame layout
used inside swtch being okay to return from on the other stack
(exactly the V6 you are not expected to understand this).
It also could be called in two contexts: at boot time, to schedule
the very first process, and later, on behalf of a process, to sleep
or schedule some other process.
I split this into two functions: scheduler and swtch.
The scheduler is now a separate never-returning function, invoked
by each cpu once set up. The scheduler looks like:
scheduler() {
setjmp(cpu.context);
pick proc to schedule
blah blah blah
longjmp(proc.context)
}
The new swtch is intended to be called only when curproc[cpu()] is not NULL,
that is, only on behalf of a user proc. It does:
swtch() {
if(setjmp(proc.context) == 0)
longjmp(cpu.context)
}
to save the current proc context and then jump over to the scheduler,
running on the cpu stack.
Similarly the system call stubs are now in assembly in usys.S to avoid
needing to know the details of stack frame layout used by the compiler.
Also various changes in the debugging prints.
2006-07-11 01:07:40 +00:00
|
|
|
{
|
2006-07-16 01:15:28 +00:00
|
|
|
struct proc *p;
|
2006-07-15 12:03:57 +00:00
|
|
|
|
2006-07-16 01:15:28 +00:00
|
|
|
if((p=curproc[cpu()]) == 0 || curproc[cpu()]->state != RUNNING)
|
|
|
|
panic("yield");
|
|
|
|
acquire(&proc_table_lock);
|
|
|
|
p->state = RUNNABLE;
|
|
|
|
sched();
|
|
|
|
release(&proc_table_lock);
|
2006-06-12 15:22:12 +00:00
|
|
|
}
|
2006-06-15 19:58:01 +00:00
|
|
|
|
2006-07-16 01:47:40 +00:00
|
|
|
// A process's very first scheduling by scheduler()
|
|
|
|
// will longjmp here to do the first jump into user space.
|
|
|
|
void
|
|
|
|
forkret(void)
|
|
|
|
{
|
|
|
|
// Still holding proc_table_lock from scheduler.
|
|
|
|
release(&proc_table_lock);
|
|
|
|
|
|
|
|
// Jump into assembly, never to return.
|
|
|
|
forkret1(curproc[cpu()]->tf);
|
|
|
|
}
|
|
|
|
|
2006-07-16 01:15:28 +00:00
|
|
|
// Atomically release lock and sleep on chan.
|
|
|
|
// Reacquires lock when reawakened.
|
2006-06-15 19:58:01 +00:00
|
|
|
void
|
2006-07-16 01:15:28 +00:00
|
|
|
sleep(void *chan, struct spinlock *lk)
|
2006-06-15 19:58:01 +00:00
|
|
|
{
|
Changes to allow use of native x86 ELF compilers, which on my
Linux 2.4 box using gcc 3.4.6 don't seem to follow the same
conventions as the i386-jos-elf-gcc compilers.
Can run make 'TOOLPREFIX=' or edit the Makefile.
curproc[cpu()] can now be NULL, indicating that no proc is running.
This seemed safer to me than having curproc[0] and curproc[1]
both pointing at proc[0] potentially.
The old implementation of swtch depended on the stack frame layout
used inside swtch being okay to return from on the other stack
(exactly the V6 you are not expected to understand this).
It also could be called in two contexts: at boot time, to schedule
the very first process, and later, on behalf of a process, to sleep
or schedule some other process.
I split this into two functions: scheduler and swtch.
The scheduler is now a separate never-returning function, invoked
by each cpu once set up. The scheduler looks like:
scheduler() {
setjmp(cpu.context);
pick proc to schedule
blah blah blah
longjmp(proc.context)
}
The new swtch is intended to be called only when curproc[cpu()] is not NULL,
that is, only on behalf of a user proc. It does:
swtch() {
if(setjmp(proc.context) == 0)
longjmp(cpu.context)
}
to save the current proc context and then jump over to the scheduler,
running on the cpu stack.
Similarly the system call stubs are now in assembly in usys.S to avoid
needing to know the details of stack frame layout used by the compiler.
Also various changes in the debugging prints.
2006-07-11 01:07:40 +00:00
|
|
|
struct proc *p = curproc[cpu()];
|
2006-07-15 12:03:57 +00:00
|
|
|
|
Changes to allow use of native x86 ELF compilers, which on my
Linux 2.4 box using gcc 3.4.6 don't seem to follow the same
conventions as the i386-jos-elf-gcc compilers.
Can run make 'TOOLPREFIX=' or edit the Makefile.
curproc[cpu()] can now be NULL, indicating that no proc is running.
This seemed safer to me than having curproc[0] and curproc[1]
both pointing at proc[0] potentially.
The old implementation of swtch depended on the stack frame layout
used inside swtch being okay to return from on the other stack
(exactly the V6 you are not expected to understand this).
It also could be called in two contexts: at boot time, to schedule
the very first process, and later, on behalf of a process, to sleep
or schedule some other process.
I split this into two functions: scheduler and swtch.
The scheduler is now a separate never-returning function, invoked
by each cpu once set up. The scheduler looks like:
scheduler() {
setjmp(cpu.context);
pick proc to schedule
blah blah blah
longjmp(proc.context)
}
The new swtch is intended to be called only when curproc[cpu()] is not NULL,
that is, only on behalf of a user proc. It does:
swtch() {
if(setjmp(proc.context) == 0)
longjmp(cpu.context)
}
to save the current proc context and then jump over to the scheduler,
running on the cpu stack.
Similarly the system call stubs are now in assembly in usys.S to avoid
needing to know the details of stack frame layout used by the compiler.
Also various changes in the debugging prints.
2006-07-11 01:07:40 +00:00
|
|
|
if(p == 0)
|
|
|
|
panic("sleep");
|
2006-07-15 12:03:57 +00:00
|
|
|
|
2006-07-17 05:00:25 +00:00
|
|
|
if(lk == 0)
|
|
|
|
panic("sleep without lk");
|
|
|
|
|
2006-07-16 01:15:28 +00:00
|
|
|
// Must acquire proc_table_lock in order to
|
|
|
|
// change p->state and then call sched.
|
|
|
|
// Once we hold proc_table_lock, we can be
|
|
|
|
// guaranteed that we won't miss any wakeup
|
|
|
|
// (wakeup runs with proc_table_lock locked),
|
|
|
|
// so it's okay to release lk.
|
|
|
|
if(lk != &proc_table_lock){
|
|
|
|
acquire(&proc_table_lock);
|
|
|
|
release(lk);
|
|
|
|
}
|
|
|
|
|
|
|
|
// Go to sleep.
|
Changes to allow use of native x86 ELF compilers, which on my
Linux 2.4 box using gcc 3.4.6 don't seem to follow the same
conventions as the i386-jos-elf-gcc compilers.
Can run make 'TOOLPREFIX=' or edit the Makefile.
curproc[cpu()] can now be NULL, indicating that no proc is running.
This seemed safer to me than having curproc[0] and curproc[1]
both pointing at proc[0] potentially.
The old implementation of swtch depended on the stack frame layout
used inside swtch being okay to return from on the other stack
(exactly the V6 you are not expected to understand this).
It also could be called in two contexts: at boot time, to schedule
the very first process, and later, on behalf of a process, to sleep
or schedule some other process.
I split this into two functions: scheduler and swtch.
The scheduler is now a separate never-returning function, invoked
by each cpu once set up. The scheduler looks like:
scheduler() {
setjmp(cpu.context);
pick proc to schedule
blah blah blah
longjmp(proc.context)
}
The new swtch is intended to be called only when curproc[cpu()] is not NULL,
that is, only on behalf of a user proc. It does:
swtch() {
if(setjmp(proc.context) == 0)
longjmp(cpu.context)
}
to save the current proc context and then jump over to the scheduler,
running on the cpu stack.
Similarly the system call stubs are now in assembly in usys.S to avoid
needing to know the details of stack frame layout used by the compiler.
Also various changes in the debugging prints.
2006-07-11 01:07:40 +00:00
|
|
|
p->chan = chan;
|
2006-07-16 01:15:28 +00:00
|
|
|
p->state = SLEEPING;
|
|
|
|
sched();
|
2006-07-15 12:03:57 +00:00
|
|
|
|
2006-07-16 01:15:28 +00:00
|
|
|
// Tidy up.
|
2006-07-15 12:03:57 +00:00
|
|
|
p->chan = 0;
|
2006-07-16 01:15:28 +00:00
|
|
|
|
|
|
|
// Reacquire original lock.
|
|
|
|
if(lk != &proc_table_lock){
|
|
|
|
release(&proc_table_lock);
|
|
|
|
acquire(lk);
|
|
|
|
}
|
2006-06-15 19:58:01 +00:00
|
|
|
}
|
|
|
|
|
2006-07-16 01:15:28 +00:00
|
|
|
// Wake up all processes sleeping on chan.
|
|
|
|
// Proc_table_lock must be held.
|
2006-06-15 19:58:01 +00:00
|
|
|
void
|
2006-07-15 12:03:57 +00:00
|
|
|
wakeup1(void *chan)
|
2006-06-15 19:58:01 +00:00
|
|
|
{
|
|
|
|
struct proc *p;
|
|
|
|
|
2006-07-15 12:03:57 +00:00
|
|
|
for(p = proc; p < &proc[NPROC]; p++)
|
2006-07-16 01:15:28 +00:00
|
|
|
if(p->state == SLEEPING && p->chan == chan)
|
2006-06-15 19:58:01 +00:00
|
|
|
p->state = RUNNABLE;
|
2006-07-15 12:03:57 +00:00
|
|
|
}
|
|
|
|
|
2006-07-16 01:15:28 +00:00
|
|
|
// Wake up all processes sleeping on chan.
|
|
|
|
// Proc_table_lock is acquired and released.
|
2006-07-15 12:03:57 +00:00
|
|
|
void
|
|
|
|
wakeup(void *chan)
|
|
|
|
{
|
|
|
|
acquire(&proc_table_lock);
|
|
|
|
wakeup1(chan);
|
2006-07-12 01:48:35 +00:00
|
|
|
release(&proc_table_lock);
|
2006-06-15 19:58:01 +00:00
|
|
|
}
|
2006-07-11 17:39:45 +00:00
|
|
|
|
2006-07-16 01:15:28 +00:00
|
|
|
// Kill the process with the given pid.
|
|
|
|
// Process won't actually exit until it returns
|
|
|
|
// to user space (see trap in trap.c).
|
|
|
|
int
|
|
|
|
proc_kill(int pid)
|
2006-07-11 17:39:45 +00:00
|
|
|
{
|
2006-07-16 01:15:28 +00:00
|
|
|
struct proc *p;
|
|
|
|
|
|
|
|
acquire(&proc_table_lock);
|
|
|
|
for(p = proc; p < &proc[NPROC]; p++){
|
|
|
|
if(p->pid == pid){
|
|
|
|
p->killed = 1;
|
|
|
|
// Wake process from sleep if necessary.
|
|
|
|
if(p->state == SLEEPING)
|
|
|
|
p->state = RUNNABLE;
|
|
|
|
release(&proc_table_lock);
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
release(&proc_table_lock);
|
|
|
|
return -1;
|
2006-07-11 17:39:45 +00:00
|
|
|
}
|
|
|
|
|
2006-07-16 01:15:28 +00:00
|
|
|
// Exit the current process. Does not return.
|
|
|
|
// Exited processes remain in the zombie state
|
|
|
|
// until their parent calls wait() to find out they exited.
|
2006-07-11 17:39:45 +00:00
|
|
|
void
|
2006-07-17 01:25:22 +00:00
|
|
|
proc_exit(void)
|
2006-07-11 17:39:45 +00:00
|
|
|
{
|
|
|
|
struct proc *p;
|
|
|
|
struct proc *cp = curproc[cpu()];
|
|
|
|
int fd;
|
|
|
|
|
2006-07-16 01:15:28 +00:00
|
|
|
// Close all open files.
|
2006-07-11 17:39:45 +00:00
|
|
|
for(fd = 0; fd < NOFILE; fd++){
|
|
|
|
if(cp->fds[fd]){
|
|
|
|
fd_close(cp->fds[fd]);
|
|
|
|
cp->fds[fd] = 0;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2006-07-12 01:48:35 +00:00
|
|
|
acquire(&proc_table_lock);
|
2006-07-11 17:39:45 +00:00
|
|
|
|
2006-07-16 01:15:28 +00:00
|
|
|
// Wake up our parent.
|
2006-07-11 17:39:45 +00:00
|
|
|
for(p = proc; p < &proc[NPROC]; p++)
|
|
|
|
if(p->pid == cp->ppid)
|
2006-07-15 12:03:57 +00:00
|
|
|
wakeup1(p);
|
2006-07-11 17:39:45 +00:00
|
|
|
|
2006-07-16 01:15:28 +00:00
|
|
|
// Reparent our children to process 1.
|
2006-07-11 17:39:45 +00:00
|
|
|
for(p = proc; p < &proc[NPROC]; p++)
|
|
|
|
if(p->ppid == cp->pid)
|
2006-07-16 01:15:28 +00:00
|
|
|
p->ppid = 1;
|
2006-07-15 12:03:57 +00:00
|
|
|
|
2006-07-16 01:15:28 +00:00
|
|
|
// Jump into the scheduler, never to return.
|
|
|
|
cp->state = ZOMBIE;
|
|
|
|
sched();
|
|
|
|
panic("zombie exit");
|
2006-07-11 17:39:45 +00:00
|
|
|
}
|
2006-07-12 11:15:38 +00:00
|
|
|
|
2006-07-16 01:15:28 +00:00
|
|
|
// Wait for a child process to exit and return its pid.
|
|
|
|
// Return -1 if this process has no children.
|
2006-07-15 17:24:54 +00:00
|
|
|
int
|
|
|
|
proc_wait(void)
|
|
|
|
{
|
|
|
|
struct proc *p;
|
|
|
|
struct proc *cp = curproc[cpu()];
|
2006-07-16 01:15:28 +00:00
|
|
|
int i, havekids, pid;
|
2006-07-15 17:24:54 +00:00
|
|
|
|
|
|
|
acquire(&proc_table_lock);
|
2006-07-16 01:15:28 +00:00
|
|
|
for(;;){
|
|
|
|
// Scan through table looking zombie children.
|
|
|
|
havekids = 0;
|
|
|
|
for(i = 0; i < NPROC; i++){
|
|
|
|
p = &proc[i];
|
|
|
|
if(p->ppid == cp->pid){
|
|
|
|
if(p->state == ZOMBIE){
|
|
|
|
// Found one.
|
|
|
|
kfree(p->mem, p->sz);
|
|
|
|
kfree(p->kstack, KSTACKSIZE);
|
|
|
|
pid = p->pid;
|
|
|
|
p->state = UNUSED;
|
|
|
|
p->pid = 0;
|
|
|
|
release(&proc_table_lock);
|
|
|
|
return pid;
|
|
|
|
}
|
|
|
|
havekids = 1;
|
2006-07-15 17:24:54 +00:00
|
|
|
}
|
|
|
|
}
|
2006-07-16 01:15:28 +00:00
|
|
|
|
|
|
|
// No point waiting if we don't have any children.
|
|
|
|
if(!havekids){
|
2006-07-15 17:24:54 +00:00
|
|
|
release(&proc_table_lock);
|
|
|
|
return -1;
|
|
|
|
}
|
2006-07-16 01:15:28 +00:00
|
|
|
|
|
|
|
// Wait for children to exit. (See wakeup1 call in proc_exit.)
|
2006-07-15 17:24:54 +00:00
|
|
|
sleep(cp, &proc_table_lock);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|