annotate src/proc.cbc @ 314:11cd1c607427

rename..
author anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
date Thu, 06 Feb 2020 17:40:44 +0900
parents 97c6157bac16
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 #include "types.h"
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
2 #include "defs.h"
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
3 #include "param.h"
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
4 #include "memlayout.h"
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
5 #include "mmu.h"
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
6 #include "arm.h"
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
7 #include "proc.h"
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
8 #include "spinlock.h"
263
a78f9919fcf0 cbc_init_vmm_dummy and initContext
tobaru
parents: 262
diff changeset
9 #interface "vm.h"
0
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
10
52
214d21c891c7 rename to cbc
kono
parents: 37
diff changeset
11 #define __ncode __code
214d21c891c7 rename to cbc
kono
parents: 37
diff changeset
12
0
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
13 //
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
14 // Process initialization:
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
15 // process initialize is somewhat tricky.
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
16 // 1. We need to fake the kernel stack of a new process as if the process
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
17 // has been interrupt (a trapframe on the stack), this would allow us
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
18 // to "return" to the correct user instruction.
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
19 // 2. We also need to fake the kernel execution for this new process. When
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
20 // swtch switches to this (new) process, it will switch to its stack,
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
21 // and reload registers with the saved context. We use forkret as the
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
22 // return address (in lr register). (In x86, it will be the return address
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
23 // pushed on the stack by the process.)
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
24 //
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
25 // The design of context switch in xv6 is interesting: after initialization,
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
26 // each CPU executes in the scheduler() function. The context switch is not
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
27 // between two processes, but instead, between the scheduler. Think of scheduler
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
28 // as the idle process.
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
29 //
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
30 struct {
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
31 struct spinlock lock;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
32 struct proc proc[NPROC];
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
33 } ptable;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
34
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
35 static struct proc *initproc;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
36 struct proc *proc;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
37
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
38 int nextpid = 1;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
39 extern void forkret(void);
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
40 extern void trapret(void);
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
41
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
42 static void wakeup1(void *chan);
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
43
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
44 void pinit(void)
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
45 {
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
46 initlock(&ptable.lock, "ptable");
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
47 }
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
48
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
49 //PAGEBREAK: 32
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
50 // Look in the process table for an UNUSED proc.
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
51 // If found, change state to EMBRYO and initialize
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
52 // state required to run in the kernel.
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
53 // Otherwise return 0.
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
54 static struct proc* allocproc(void)
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
55 {
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
56 struct proc *p;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
57 char *sp;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
58
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
59 acquire(&ptable.lock);
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
60
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
61 for(p = ptable.proc; p < &ptable.proc[NPROC]; p++) {
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
62 if(p->state == UNUSED) {
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
63 goto found;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
64 }
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
65
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
66 }
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
67
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
68 release(&ptable.lock);
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
69 return 0;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
70
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
71 found:
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
72 p->state = EMBRYO;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
73 p->pid = nextpid++;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
74 release(&ptable.lock);
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
75
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
76 // Allocate kernel stack.
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
77 if((p->kstack = alloc_page ()) == 0){
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
78 p->state = UNUSED;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
79 return 0;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
80 }
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
81
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
82 sp = p->kstack + KSTACKSIZE;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
83
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
84 // Leave room for trap frame.
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
85 sp -= sizeof (*p->tf);
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
86 p->tf = (struct trapframe*)sp;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
87
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
88 // Set up new context to start executing at forkret,
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
89 // which returns to trapret.
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
90 sp -= 4;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
91 *(uint*)sp = (uint)trapret;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
92
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
93 sp -= 4;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
94 *(uint*)sp = (uint)p->kstack + KSTACKSIZE;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
95
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
96 sp -= sizeof (*p->context);
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
97 p->context = (struct context*)sp;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
98 memset(p->context, 0, sizeof(*p->context));
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
99
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
100 // skip the push {fp, lr} instruction in the prologue of forkret.
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
101 // This is different from x86, in which the harderware pushes return
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
102 // address before executing the callee. In ARM, return address is
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
103 // loaded into the lr register, and push to the stack by the callee
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
104 // (if and when necessary). We need to skip that instruction and let
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
105 // it use our implementation.
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
106 p->context->lr = (uint)forkret+4;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
107
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
108 return p;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
109 }
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
110
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
111 void error_init ()
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
112 {
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
113 panic ("failed to craft first process\n");
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
114 }
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
115
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
116
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
117 //PAGEBREAK: 32
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
118 // hand-craft the first user process. We link initcode.S into the kernel
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
119 // as a binary, the linker will generate __binary_initcode_start/_size
263
a78f9919fcf0 cbc_init_vmm_dummy and initContext
tobaru
parents: 262
diff changeset
120 void dummy(struct proc *p, char _binary_initcode_start[], char _binary_initcode_size[])
a78f9919fcf0 cbc_init_vmm_dummy and initContext
tobaru
parents: 262
diff changeset
121 {
a78f9919fcf0 cbc_init_vmm_dummy and initContext
tobaru
parents: 262
diff changeset
122 // inituvm(p->pgdir, _binary_initcode_start, (int)_binary_initcode_size);
273
4e11e4fa3e11 fix_arg
anatofuz
parents: 272
diff changeset
123 goto cbc_init_vmm_dummy(&p->cbc_context, p, p->pgdir, _binary_initcode_start, (int)_binary_initcode_size);
263
a78f9919fcf0 cbc_init_vmm_dummy and initContext
tobaru
parents: 262
diff changeset
124
a78f9919fcf0 cbc_init_vmm_dummy and initContext
tobaru
parents: 262
diff changeset
125 }
a78f9919fcf0 cbc_init_vmm_dummy and initContext
tobaru
parents: 262
diff changeset
126
a78f9919fcf0 cbc_init_vmm_dummy and initContext
tobaru
parents: 262
diff changeset
127
a78f9919fcf0 cbc_init_vmm_dummy and initContext
tobaru
parents: 262
diff changeset
128
268
640599067820 tweak_cbc_context_propagation
anatofuz
parents: 263
diff changeset
129 __ncode cbc_init_vmm_dummy(struct Context* cbc_context, struct proc* p, pde_t* pgdir, char* init, uint sz){//:skip
263
a78f9919fcf0 cbc_init_vmm_dummy and initContext
tobaru
parents: 262
diff changeset
130
268
640599067820 tweak_cbc_context_propagation
anatofuz
parents: 263
diff changeset
131 struct vm* vm = createvm_impl(cbc_context);
270
052669f2ef74 mv vm_void_ret to interface
anatofuz
parents: 268
diff changeset
132 // goto vm->init_vmm(vm, pgdir, init, sz , vm->void_ret);
263
a78f9919fcf0 cbc_init_vmm_dummy and initContext
tobaru
parents: 262
diff changeset
133 Gearef(cbc_context, vm)->vm = (union Data*) vm;
a78f9919fcf0 cbc_init_vmm_dummy and initContext
tobaru
parents: 262
diff changeset
134 Gearef(cbc_context, vm)->pgdir = pgdir;
a78f9919fcf0 cbc_init_vmm_dummy and initContext
tobaru
parents: 262
diff changeset
135 Gearef(cbc_context, vm)->init = init;
a78f9919fcf0 cbc_init_vmm_dummy and initContext
tobaru
parents: 262
diff changeset
136 Gearef(cbc_context, vm)->sz = sz ;
270
052669f2ef74 mv vm_void_ret to interface
anatofuz
parents: 268
diff changeset
137 Gearef(cbc_context, vm)->next = C_vm_void_ret ;
272
4dfd1b3fb9f0 tweak_goto_init_vmm2init_inituvm
anatofuz
parents: 270
diff changeset
138 goto meta(cbc_context, vm->init_inituvm);
263
a78f9919fcf0 cbc_init_vmm_dummy and initContext
tobaru
parents: 262
diff changeset
139 }
a78f9919fcf0 cbc_init_vmm_dummy and initContext
tobaru
parents: 262
diff changeset
140
0
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
141 void userinit(void)
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
142 {
263
a78f9919fcf0 cbc_init_vmm_dummy and initContext
tobaru
parents: 262
diff changeset
143 struct proc* p;
0
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
144 extern char _binary_initcode_start[], _binary_initcode_size[];
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
145
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
146 p = allocproc();
263
a78f9919fcf0 cbc_init_vmm_dummy and initContext
tobaru
parents: 262
diff changeset
147 initContext(&p->cbc_context);
a78f9919fcf0 cbc_init_vmm_dummy and initContext
tobaru
parents: 262
diff changeset
148
0
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
149 initproc = p;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
150
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
151 if((p->pgdir = kpt_alloc()) == NULL) {
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
152 panic("userinit: out of memory?");
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
153 }
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
154
263
a78f9919fcf0 cbc_init_vmm_dummy and initContext
tobaru
parents: 262
diff changeset
155 dummy(p, _binary_initcode_start, _binary_initcode_size);
0
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
156
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
157 p->sz = PTE_SZ;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
158
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
159 // craft the trapframe as if
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
160 memset(p->tf, 0, sizeof(*p->tf));
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
161
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
162 p->tf->r14_svc = (uint)error_init;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
163 p->tf->spsr = spsr_usr ();
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
164 p->tf->sp_usr = PTE_SZ; // set the user stack
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
165 p->tf->lr_usr = 0;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
166
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
167 // set the user pc. The actual pc loaded into r15_usr is in
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
168 // p->tf, the trapframe.
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
169 p->tf->pc = 0; // beginning of initcode.S
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
170
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
171 safestrcpy(p->name, "initcode", sizeof(p->name));
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
172 p->cwd = namei("/");
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
173
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
174 p->state = RUNNABLE;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
175 }
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
176
284
1696f9c2ad0d call interface switchuvm
tobaru
parents: 273
diff changeset
177
1696f9c2ad0d call interface switchuvm
tobaru
parents: 273
diff changeset
178 void switchuvm_dummy(struct proc* proc)
1696f9c2ad0d call interface switchuvm
tobaru
parents: 273
diff changeset
179 {
1696f9c2ad0d call interface switchuvm
tobaru
parents: 273
diff changeset
180 goto cbc_switchuvm_dummy(&proc->cbc_context, proc);
1696f9c2ad0d call interface switchuvm
tobaru
parents: 273
diff changeset
181 }
1696f9c2ad0d call interface switchuvm
tobaru
parents: 273
diff changeset
182
1696f9c2ad0d call interface switchuvm
tobaru
parents: 273
diff changeset
183 __ncode cbc_switchuvm_dummy(struct Context* cbc_context, struct proc* proc){
1696f9c2ad0d call interface switchuvm
tobaru
parents: 273
diff changeset
184
1696f9c2ad0d call interface switchuvm
tobaru
parents: 273
diff changeset
185 struct vm* vm = createvm_impl(cbc_context);
306
97c6157bac16 fix_goto_switchuvm_check_pgdirvm_impl
anatofuz
parents: 284
diff changeset
186 //Gearef(cbc_context, vm)->vm = (union Data*) vm;
97c6157bac16 fix_goto_switchuvm_check_pgdirvm_impl
anatofuz
parents: 284
diff changeset
187 Gearef(cbc_context, vm)->p = proc;
97c6157bac16 fix_goto_switchuvm_check_pgdirvm_impl
anatofuz
parents: 284
diff changeset
188 Gearef(cbc_context, vm)->next = C_vm_void_ret ;
284
1696f9c2ad0d call interface switchuvm
tobaru
parents: 273
diff changeset
189 goto meta(cbc_context, vm->switchuvm);
1696f9c2ad0d call interface switchuvm
tobaru
parents: 273
diff changeset
190 }
1696f9c2ad0d call interface switchuvm
tobaru
parents: 273
diff changeset
191
0
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
192 // Grow current process's memory by n bytes.
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
193 // Return 0 on success, -1 on failure.
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
194 int growproc(int n)
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
195 {
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
196 uint sz;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
197
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
198 sz = proc->sz;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
199
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
200 if(n > 0){
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
201 if((sz = allocuvm(proc->pgdir, sz, sz + n)) == 0) {
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
202 return -1;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
203 }
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
204
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
205 } else if(n < 0){
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
206 if((sz = deallocuvm(proc->pgdir, sz, sz + n)) == 0) {
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
207 return -1;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
208 }
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
209 }
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
210
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
211 proc->sz = sz;
284
1696f9c2ad0d call interface switchuvm
tobaru
parents: 273
diff changeset
212 // switchuvm(proc);
1696f9c2ad0d call interface switchuvm
tobaru
parents: 273
diff changeset
213 switchuvm_dummy(proc);
0
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
214
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
215 return 0;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
216 }
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
217
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
218 // Create a new process copying p as the parent.
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
219 // Sets up stack to return as if from system call.
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
220 // Caller must set state of returned proc to RUNNABLE.
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
221 int fork(void)
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
222 {
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
223 int i, pid;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
224 struct proc *np;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
225
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
226 // Allocate process.
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
227 if((np = allocproc()) == 0) {
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
228 return -1;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
229 }
263
a78f9919fcf0 cbc_init_vmm_dummy and initContext
tobaru
parents: 262
diff changeset
230 initContext(&np->cbc_context);
0
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
231
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
232 // Copy process state from p.
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
233 if((np->pgdir = copyuvm(proc->pgdir, proc->sz)) == 0){
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
234 free_page(np->kstack);
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
235 np->kstack = 0;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
236 np->state = UNUSED;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
237 return -1;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
238 }
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
239
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
240 np->sz = proc->sz;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
241 np->parent = proc;
19
bf2f70fa8852 fix proc.c not generate memcpy4
tobaru
parents: 0
diff changeset
242 // *np->tf = *proc->tf; // This generate memcpy4 which is not in libgcc.a
bf2f70fa8852 fix proc.c not generate memcpy4
tobaru
parents: 0
diff changeset
243 memmove(np->tf, proc->tf, sizeof(*np->tf));
0
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
244
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
245 // Clear r0 so that fork returns 0 in the child.
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
246 np->tf->r0 = 0;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
247
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
248 for(i = 0; i < NOFILE; i++) {
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
249 if(proc->ofile[i]) {
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
250 np->ofile[i] = filedup(proc->ofile[i]);
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
251 }
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
252 }
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
253
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
254 np->cwd = idup(proc->cwd);
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
255
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
256 pid = np->pid;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
257 np->state = RUNNABLE;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
258 safestrcpy(np->name, proc->name, sizeof(proc->name));
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
259
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
260 return pid;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
261 }
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
262
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
263 // Exit the current process. Does not return.
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
264 // An exited process remains in the zombie state
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
265 // until its parent calls wait() to find out it exited.
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
266 void exit(void)
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
267 {
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
268 struct proc *p;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
269 int fd;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
270
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
271 if(proc == initproc) {
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
272 panic("init exiting");
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
273 }
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
274
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
275 // Close all open files.
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
276 for(fd = 0; fd < NOFILE; fd++){
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
277 if(proc->ofile[fd]){
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
278 fileclose(proc->ofile[fd]);
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
279 proc->ofile[fd] = 0;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
280 }
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
281 }
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
282
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
283 iput(proc->cwd);
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
284 proc->cwd = 0;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
285
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
286 acquire(&ptable.lock);
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
287
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
288 // Parent might be sleeping in wait().
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
289 wakeup1(proc->parent);
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
290
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
291 // Pass abandoned children to init.
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
292 for(p = ptable.proc; p < &ptable.proc[NPROC]; p++){
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
293 if(p->parent == proc){
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
294 p->parent = initproc;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
295
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
296 if(p->state == ZOMBIE) {
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
297 wakeup1(initproc);
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
298 }
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
299 }
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
300 }
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
301
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
302 // Jump into the scheduler, never to return.
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
303 proc->state = ZOMBIE;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
304 sched();
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
305
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
306 panic("zombie exit");
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
307 }
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
308
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
309 // Wait for a child process to exit and return its pid.
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
310 // Return -1 if this process has no children.
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
311 int wait(void)
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
312 {
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
313 struct proc *p;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
314 int havekids, pid;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
315
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
316 acquire(&ptable.lock);
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
317
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
318 for(;;){
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
319 // Scan through table looking for zombie children.
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
320 havekids = 0;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
321
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
322 for(p = ptable.proc; p < &ptable.proc[NPROC]; p++){
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
323 if(p->parent != proc) {
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
324 continue;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
325 }
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
326
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
327 havekids = 1;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
328
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
329 if(p->state == ZOMBIE){
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
330 // Found one.
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
331 pid = p->pid;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
332 free_page(p->kstack);
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
333 p->kstack = 0;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
334 freevm(p->pgdir);
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
335 p->state = UNUSED;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
336 p->pid = 0;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
337 p->parent = 0;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
338 p->name[0] = 0;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
339 p->killed = 0;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
340 release(&ptable.lock);
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
341
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
342 return pid;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
343 }
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
344 }
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
345
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
346 // No point waiting if we don't have any children.
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
347 if(!havekids || proc->killed){
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
348 release(&ptable.lock);
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
349 return -1;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
350 }
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
351
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
352 // Wait for children to exit. (See wakeup1 call in proc_exit.)
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
353 sleep(proc, &ptable.lock); //DOC: wait-sleep
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
354 }
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
355 }
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
356
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
357 //PAGEBREAK: 42
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
358 // Per-CPU process scheduler.
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
359 // Each CPU calls scheduler() after setting itself up.
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
360 // Scheduler never returns. It loops, doing:
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
361 // - choose a process to run
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
362 // - swtch to start running that process
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
363 // - eventually that process transfers control
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
364 // via swtch back to the scheduler.
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
365 void scheduler(void)
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
366 {
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
367 struct proc *p;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
368
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
369 for(;;){
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
370 // Enable interrupts on this processor.
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
371 sti();
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
372
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
373 // Loop over process table looking for process to run.
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
374 acquire(&ptable.lock);
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
375
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
376 for(p = ptable.proc; p < &ptable.proc[NPROC]; p++){
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
377 if(p->state != RUNNABLE) {
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
378 continue;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
379 }
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
380
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
381 // Switch to chosen process. It is the process's job
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
382 // to release ptable.lock and then reacquire it
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
383 // before jumping back to us.
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
384 proc = p;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
385 switchuvm(p);
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
386
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
387 p->state = RUNNING;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
388
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
389 swtch(&cpu->scheduler, proc->context);
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
390 // Process is done running for now.
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
391 // It should have changed its p->state before coming back.
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
392 proc = 0;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
393 }
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
394
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
395 release(&ptable.lock);
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
396 }
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
397 }
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
398
52
214d21c891c7 rename to cbc
kono
parents: 37
diff changeset
399 __ncode cbc_sched(__code(*next)())
28
68de775c3a29 add cbc_sched
mir3636
parents: 24
diff changeset
400 {
68de775c3a29 add cbc_sched
mir3636
parents: 24
diff changeset
401 int intena;
68de775c3a29 add cbc_sched
mir3636
parents: 24
diff changeset
402
68de775c3a29 add cbc_sched
mir3636
parents: 24
diff changeset
403 if(!holding(&ptable.lock)) {
68de775c3a29 add cbc_sched
mir3636
parents: 24
diff changeset
404 panic("sched ptable.lock");
68de775c3a29 add cbc_sched
mir3636
parents: 24
diff changeset
405 }
68de775c3a29 add cbc_sched
mir3636
parents: 24
diff changeset
406
68de775c3a29 add cbc_sched
mir3636
parents: 24
diff changeset
407 if(cpu->ncli != 1) {
68de775c3a29 add cbc_sched
mir3636
parents: 24
diff changeset
408 panic("sched locks");
68de775c3a29 add cbc_sched
mir3636
parents: 24
diff changeset
409 }
68de775c3a29 add cbc_sched
mir3636
parents: 24
diff changeset
410
68de775c3a29 add cbc_sched
mir3636
parents: 24
diff changeset
411 if(proc->state == RUNNING) {
68de775c3a29 add cbc_sched
mir3636
parents: 24
diff changeset
412 panic("sched running");
68de775c3a29 add cbc_sched
mir3636
parents: 24
diff changeset
413 }
68de775c3a29 add cbc_sched
mir3636
parents: 24
diff changeset
414
68de775c3a29 add cbc_sched
mir3636
parents: 24
diff changeset
415 if(int_enabled ()) {
68de775c3a29 add cbc_sched
mir3636
parents: 24
diff changeset
416 panic("sched interruptible");
68de775c3a29 add cbc_sched
mir3636
parents: 24
diff changeset
417 }
68de775c3a29 add cbc_sched
mir3636
parents: 24
diff changeset
418
68de775c3a29 add cbc_sched
mir3636
parents: 24
diff changeset
419 intena = cpu->intena;
68de775c3a29 add cbc_sched
mir3636
parents: 24
diff changeset
420 swtch(&proc->context, cpu->scheduler);
68de775c3a29 add cbc_sched
mir3636
parents: 24
diff changeset
421 cpu->intena = intena;
68de775c3a29 add cbc_sched
mir3636
parents: 24
diff changeset
422
68de775c3a29 add cbc_sched
mir3636
parents: 24
diff changeset
423 goto next();
68de775c3a29 add cbc_sched
mir3636
parents: 24
diff changeset
424 }
68de775c3a29 add cbc_sched
mir3636
parents: 24
diff changeset
425
68de775c3a29 add cbc_sched
mir3636
parents: 24
diff changeset
426
0
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
427 // Enter scheduler. Must hold only ptable.lock
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
428 // and have changed proc->state.
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
429 void sched(void)
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
430 {
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
431 int intena;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
432
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
433 //show_callstk ("sched");
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
434
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
435 if(!holding(&ptable.lock)) {
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
436 panic("sched ptable.lock");
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
437 }
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
438
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
439 if(cpu->ncli != 1) {
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
440 panic("sched locks");
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
441 }
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
442
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
443 if(proc->state == RUNNING) {
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
444 panic("sched running");
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
445 }
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
446
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
447 if(int_enabled ()) {
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
448 panic("sched interruptible");
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
449 }
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
450
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
451 intena = cpu->intena;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
452 swtch(&proc->context, cpu->scheduler);
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
453 cpu->intena = intena;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
454 }
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
455
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
456 // Give up the CPU for one scheduling round.
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
457 void yield(void)
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
458 {
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
459 acquire(&ptable.lock); //DOC: yieldlock
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
460 proc->state = RUNNABLE;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
461 sched();
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
462 release(&ptable.lock);
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
463 }
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
464
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
465 // A fork child's very first scheduling by scheduler()
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
466 // will swtch here. "Return" to user space.
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
467 void forkret(void)
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
468 {
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
469 static int first = 1;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
470
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
471 // Still holding ptable.lock from scheduler.
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
472 release(&ptable.lock);
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
473
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
474 if (first) {
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
475 // Some initialization functions must be run in the context
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
476 // of a regular process (e.g., they call sleep), and thus cannot
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
477 // be run from main().
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
478 first = 0;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
479 initlog();
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
480 }
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
481
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
482 // Return to "caller", actually trapret (see allocproc).
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
483 }
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
484
52
214d21c891c7 rename to cbc
kono
parents: 37
diff changeset
485 __ncode cbc_sleep1()
24
36bd61f5c847 rewrite sys_read cbc
mir3636
parents: 22
diff changeset
486 {
36bd61f5c847 rewrite sys_read cbc
mir3636
parents: 22
diff changeset
487 struct spinlock *lk = proc->lk;
36bd61f5c847 rewrite sys_read cbc
mir3636
parents: 22
diff changeset
488 // Tidy up.
36bd61f5c847 rewrite sys_read cbc
mir3636
parents: 22
diff changeset
489 proc->chan = 0;
36bd61f5c847 rewrite sys_read cbc
mir3636
parents: 22
diff changeset
490
36bd61f5c847 rewrite sys_read cbc
mir3636
parents: 22
diff changeset
491 // Reacquire original lock.
36bd61f5c847 rewrite sys_read cbc
mir3636
parents: 22
diff changeset
492 if(lk != &ptable.lock){ //DOC: sleeplock2
36bd61f5c847 rewrite sys_read cbc
mir3636
parents: 22
diff changeset
493 release(&ptable.lock);
36bd61f5c847 rewrite sys_read cbc
mir3636
parents: 22
diff changeset
494 acquire(lk);
36bd61f5c847 rewrite sys_read cbc
mir3636
parents: 22
diff changeset
495 }
36bd61f5c847 rewrite sys_read cbc
mir3636
parents: 22
diff changeset
496 goto proc->cbc_next();
36bd61f5c847 rewrite sys_read cbc
mir3636
parents: 22
diff changeset
497 }
36bd61f5c847 rewrite sys_read cbc
mir3636
parents: 22
diff changeset
498
52
214d21c891c7 rename to cbc
kono
parents: 37
diff changeset
499 __ncode cbc_sleep(void *chan, struct spinlock *lk, __code(*next1)())
24
36bd61f5c847 rewrite sys_read cbc
mir3636
parents: 22
diff changeset
500 {
36bd61f5c847 rewrite sys_read cbc
mir3636
parents: 22
diff changeset
501 //show_callstk("sleep");
36bd61f5c847 rewrite sys_read cbc
mir3636
parents: 22
diff changeset
502
36bd61f5c847 rewrite sys_read cbc
mir3636
parents: 22
diff changeset
503 if(proc == 0) {
36bd61f5c847 rewrite sys_read cbc
mir3636
parents: 22
diff changeset
504 panic("sleep");
36bd61f5c847 rewrite sys_read cbc
mir3636
parents: 22
diff changeset
505 }
36bd61f5c847 rewrite sys_read cbc
mir3636
parents: 22
diff changeset
506
36bd61f5c847 rewrite sys_read cbc
mir3636
parents: 22
diff changeset
507 if(lk == 0) {
36bd61f5c847 rewrite sys_read cbc
mir3636
parents: 22
diff changeset
508 panic("sleep without lk");
36bd61f5c847 rewrite sys_read cbc
mir3636
parents: 22
diff changeset
509 }
36bd61f5c847 rewrite sys_read cbc
mir3636
parents: 22
diff changeset
510
36bd61f5c847 rewrite sys_read cbc
mir3636
parents: 22
diff changeset
511 if(lk != &ptable.lock){ //DOC: sleeplock0
36bd61f5c847 rewrite sys_read cbc
mir3636
parents: 22
diff changeset
512 acquire(&ptable.lock); //DOC: sleeplock1
36bd61f5c847 rewrite sys_read cbc
mir3636
parents: 22
diff changeset
513 release(lk);
36bd61f5c847 rewrite sys_read cbc
mir3636
parents: 22
diff changeset
514 }
36bd61f5c847 rewrite sys_read cbc
mir3636
parents: 22
diff changeset
515 proc->chan = chan;
36bd61f5c847 rewrite sys_read cbc
mir3636
parents: 22
diff changeset
516 proc->state = SLEEPING;
32
96af12a50fdb fix cbc_read
mir3636
parents: 28
diff changeset
517 proc->lk = lk;
24
36bd61f5c847 rewrite sys_read cbc
mir3636
parents: 22
diff changeset
518 proc->cbc_next = next1;
36bd61f5c847 rewrite sys_read cbc
mir3636
parents: 22
diff changeset
519
36bd61f5c847 rewrite sys_read cbc
mir3636
parents: 22
diff changeset
520 goto cbc_sched(cbc_sleep1);
36bd61f5c847 rewrite sys_read cbc
mir3636
parents: 22
diff changeset
521 }
36bd61f5c847 rewrite sys_read cbc
mir3636
parents: 22
diff changeset
522
0
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
523 // Atomically release lock and sleep on chan.
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
524 // Reacquires lock when awakened.
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
525 void sleep(void *chan, struct spinlock *lk)
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
526 {
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
527 //show_callstk("sleep");
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
528
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
529 if(proc == 0) {
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
530 panic("sleep");
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
531 }
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
532
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
533 if(lk == 0) {
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
534 panic("sleep without lk");
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
535 }
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
536
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
537 // Must acquire ptable.lock in order to change p->state and then call
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
538 // sched. Once we hold ptable.lock, we can be guaranteed that we won't
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
539 // miss any wakeup (wakeup runs with ptable.lock locked), so it's okay
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
540 // to release lk.
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
541 if(lk != &ptable.lock){ //DOC: sleeplock0
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
542 acquire(&ptable.lock); //DOC: sleeplock1
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
543 release(lk);
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
544 }
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
545
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
546 // Go to sleep.
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
547 proc->chan = chan;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
548 proc->state = SLEEPING;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
549 sched();
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
550
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
551 // Tidy up.
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
552 proc->chan = 0;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
553
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
554 // Reacquire original lock.
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
555 if(lk != &ptable.lock){ //DOC: sleeplock2
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
556 release(&ptable.lock);
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
557 acquire(lk);
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
558 }
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
559 }
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
560
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
561 //PAGEBREAK!
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
562 // Wake up all processes sleeping on chan. The ptable lock must be held.
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
563 static void wakeup1(void *chan)
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
564 {
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
565 struct proc *p;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
566
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
567 for(p = ptable.proc; p < &ptable.proc[NPROC]; p++) {
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
568 if(p->state == SLEEPING && p->chan == chan) {
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
569 p->state = RUNNABLE;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
570 }
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
571 }
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
572 }
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
573
52
214d21c891c7 rename to cbc
kono
parents: 37
diff changeset
574 __ncode cbc_wakeup1(void *chan)
36
d4e5846ddb48 cbc_piperead
mir3636
parents: 32
diff changeset
575 {
d4e5846ddb48 cbc_piperead
mir3636
parents: 32
diff changeset
576 struct proc *p;
d4e5846ddb48 cbc_piperead
mir3636
parents: 32
diff changeset
577
d4e5846ddb48 cbc_piperead
mir3636
parents: 32
diff changeset
578 for(p = ptable.proc; p < &ptable.proc[NPROC]; p++) {
d4e5846ddb48 cbc_piperead
mir3636
parents: 32
diff changeset
579 if(p->state == SLEEPING && p->chan == chan) {
d4e5846ddb48 cbc_piperead
mir3636
parents: 32
diff changeset
580 p->state = RUNNABLE;
d4e5846ddb48 cbc_piperead
mir3636
parents: 32
diff changeset
581 }
d4e5846ddb48 cbc_piperead
mir3636
parents: 32
diff changeset
582 }
d4e5846ddb48 cbc_piperead
mir3636
parents: 32
diff changeset
583
d4e5846ddb48 cbc_piperead
mir3636
parents: 32
diff changeset
584 release(&ptable.lock);
37
mir3636
parents: 36
diff changeset
585 goto proc->cbc_next();
36
d4e5846ddb48 cbc_piperead
mir3636
parents: 32
diff changeset
586 }
d4e5846ddb48 cbc_piperead
mir3636
parents: 32
diff changeset
587
52
214d21c891c7 rename to cbc
kono
parents: 37
diff changeset
588 __ncode cbc_wakeup(void *chan, __code(*next1)())
36
d4e5846ddb48 cbc_piperead
mir3636
parents: 32
diff changeset
589 {
d4e5846ddb48 cbc_piperead
mir3636
parents: 32
diff changeset
590 acquire(&ptable.lock);
37
mir3636
parents: 36
diff changeset
591 proc->cbc_next = next1;
36
d4e5846ddb48 cbc_piperead
mir3636
parents: 32
diff changeset
592 cbc_wakeup1(chan);
d4e5846ddb48 cbc_piperead
mir3636
parents: 32
diff changeset
593 }
d4e5846ddb48 cbc_piperead
mir3636
parents: 32
diff changeset
594
0
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
595 // Wake up all processes sleeping on chan.
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
596 void wakeup(void *chan)
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
597 {
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
598 acquire(&ptable.lock);
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
599 wakeup1(chan);
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
600 release(&ptable.lock);
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
601 }
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
602
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
603 // Kill the process with the given pid. Process won't exit until it returns
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
604 // to user space (see trap in trap.c).
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
605 int kill(int pid)
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
606 {
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
607 struct proc *p;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
608
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
609 acquire(&ptable.lock);
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
610
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
611 for(p = ptable.proc; p < &ptable.proc[NPROC]; p++){
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
612 if(p->pid == pid){
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
613 p->killed = 1;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
614
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
615 // Wake process from sleep if necessary.
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
616 if(p->state == SLEEPING) {
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
617 p->state = RUNNABLE;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
618 }
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
619
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
620 release(&ptable.lock);
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
621 return 0;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
622 }
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
623 }
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
624
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
625 release(&ptable.lock);
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
626 return -1;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
627 }
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
628
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
629 //PAGEBREAK: 36
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
630 // Print a process listing to console. For debugging. Runs when user
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
631 // types ^P on console. No lock to avoid wedging a stuck machine further.
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
632 void procdump(void)
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
633 {
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
634 static char *states[] = {
22
397e74cbf14e fix warnings
mir3636
parents: 19
diff changeset
635 [UNUSED] ="unused",
397e74cbf14e fix warnings
mir3636
parents: 19
diff changeset
636 [EMBRYO] ="embryo",
397e74cbf14e fix warnings
mir3636
parents: 19
diff changeset
637 [SLEEPING] ="sleep ",
397e74cbf14e fix warnings
mir3636
parents: 19
diff changeset
638 [RUNNABLE] ="runble",
397e74cbf14e fix warnings
mir3636
parents: 19
diff changeset
639 [RUNNING] ="run ",
397e74cbf14e fix warnings
mir3636
parents: 19
diff changeset
640 [ZOMBIE] ="zombie"
0
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
641 };
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
642
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
643 struct proc *p;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
644 char *state;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
645
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
646 for(p = ptable.proc; p < &ptable.proc[NPROC]; p++){
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
647 if(p->state == UNUSED) {
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
648 continue;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
649 }
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
650
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
651 if(p->state >= 0 && p->state < NELEM(states) && states[p->state]) {
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
652 state = states[p->state];
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
653 } else {
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
654 state = "???";
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
655 }
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
656
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
657 cprintf("%d %s %d:%s %d\n", p->pid, state, p->pid, p->name, p->parent->pid);
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
658 }
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
659
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
660 show_callstk("procdump: \n");
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
661 }
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
662
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
663