Kernel messages infrastructure
[akaros.git] / kern / src / process.c
1 /*
2  * Copyright (c) 2009 The Regents of the University of California
3  * Barret Rhoden <brho@cs.berkeley.edu>
4  * See LICENSE for details.
5  */
6
7 #ifdef __SHARC__
8 #pragma nosharc
9 #endif
10
11 #include <arch/arch.h>
12 #include <arch/bitmask.h>
13 #include <process.h>
14 #include <atomic.h>
15 #include <smp.h>
16 #include <pmap.h>
17 #include <trap.h>
18 #include <schedule.h>
19 #include <manager.h>
20 #include <stdio.h>
21 #include <assert.h>
22 #include <timing.h>
23 #include <hashtable.h>
24 #include <slab.h>
25 #include <sys/queue.h>
26 #include <frontend.h>
27
28 /* Process Lists */
29 struct proc_list proc_runnablelist = TAILQ_HEAD_INITIALIZER(proc_runnablelist);
30 spinlock_t runnablelist_lock = SPINLOCK_INITIALIZER;
31 struct kmem_cache *proc_cache;
32
33 /* Tracks which cores are idle, similar to the vcoremap.  Each value is the
34  * physical coreid of an unallocated core. */
35 spinlock_t idle_lock = SPINLOCK_INITIALIZER;
36 uint32_t LCKD(&idle_lock) (RO idlecoremap)[MAX_NUM_CPUS];
37 uint32_t LCKD(&idle_lock) num_idlecores = 0;
38
39 /* Helper function to return a core to the idlemap.  It causes some more lock
40  * acquisitions (like in a for loop), but it's a little easier.  Plus, one day
41  * we might be able to do this without locks (for the putting). */
42 static void put_idle_core(uint32_t coreid)
43 {
44         spin_lock(&idle_lock);
45         idlecoremap[num_idlecores++] = coreid;
46         spin_unlock(&idle_lock);
47 }
48
49 /* Other helpers, implemented later. */
50 static uint32_t get_free_vcoreid(struct proc *SAFE p, uint32_t prev);
51 static uint32_t get_busy_vcoreid(struct proc *SAFE p, uint32_t prev);
52 static bool is_mapped_vcore(struct proc *p, uint32_t pcoreid);
53 static uint32_t get_vcoreid(struct proc *SAFE p, uint32_t pcoreid);
54 static inline void __wait_for_ipi(const char *fnname);
55
56 /* PID management. */
57 #define PID_MAX 32767 // goes from 0 to 32767, with 0 reserved
58 static DECL_BITMASK(pid_bmask, PID_MAX + 1);
59 spinlock_t pid_bmask_lock = SPINLOCK_INITIALIZER;
60 struct hashtable *pid_hash;
61 spinlock_t pid_hash_lock; // initialized in proc_init
62
63 /* Finds the next free entry (zero) entry in the pid_bitmask.  Set means busy.
64  * PID 0 is reserved (in proc_init).  A return value of 0 is a failure (and
65  * you'll also see a warning, for now).  Consider doing this with atomics. */
66 static pid_t get_free_pid(void)
67 {
68         static pid_t next_free_pid = 1;
69         pid_t my_pid = 0;
70
71         spin_lock(&pid_bmask_lock);
72         // atomically (can lock for now, then change to atomic_and_return
73         FOR_CIRC_BUFFER(next_free_pid, PID_MAX + 1, i) {
74                 // always points to the next to test
75                 next_free_pid = (next_free_pid + 1) % (PID_MAX + 1);
76                 if (!GET_BITMASK_BIT(pid_bmask, i)) {
77                         SET_BITMASK_BIT(pid_bmask, i);
78                         my_pid = i;
79                         break;
80                 }
81         }
82         spin_unlock(&pid_bmask_lock);
83         if (!my_pid)
84                 warn("Shazbot!  Unable to find a PID!  You need to deal with this!\n");
85         return my_pid;
86 }
87
88 /* Return a pid to the pid bitmask */
89 static void put_free_pid(pid_t pid)
90 {
91         spin_lock(&pid_bmask_lock);
92         CLR_BITMASK_BIT(pid_bmask, pid);
93         spin_unlock(&pid_bmask_lock);
94 }
95
96 /* While this could be done with just an assignment, this gives us the
97  * opportunity to check for bad transitions.  Might compile these out later, so
98  * we shouldn't rely on them for sanity checking from userspace.  */
99 int __proc_set_state(struct proc *p, uint32_t state)
100 {
101         uint32_t curstate = p->state;
102         /* Valid transitions:
103          * C   -> RBS
104          * RBS -> RGS
105          * RGS -> RBS
106          * RGS -> W
107          * W   -> RBS
108          * RGS -> RBM
109          * RBM -> RGM
110          * RGM -> RBM
111          * RGM -> RBS
112          * RGS -> D
113          * RGM -> D
114          *
115          * These ought to be implemented later (allowed, not thought through yet).
116          * RBS -> D
117          * RBM -> D
118          *
119          * This isn't allowed yet, should be later.  Is definitely causable.
120          * C   -> D
121          */
122         #if 1 // some sort of correctness flag
123         switch (curstate) {
124                 case PROC_CREATED:
125                         if (state != PROC_RUNNABLE_S)
126                                 panic("Invalid State Transition! PROC_CREATED to %d", state);
127                         break;
128                 case PROC_RUNNABLE_S:
129                         if (!(state & (PROC_RUNNING_S | PROC_DYING)))
130                                 panic("Invalid State Transition! PROC_RUNNABLE_S to %d", state);
131                         break;
132                 case PROC_RUNNING_S:
133                         if (!(state & (PROC_RUNNABLE_S | PROC_RUNNABLE_M | PROC_WAITING |
134                                        PROC_DYING)))
135                                 panic("Invalid State Transition! PROC_RUNNING_S to %d", state);
136                         break;
137                 case PROC_WAITING:
138                         if (state != PROC_RUNNABLE_S)
139                                 panic("Invalid State Transition! PROC_WAITING to %d", state);
140                         break;
141                 case PROC_DYING:
142                         if (state != PROC_CREATED) // when it is reused (TODO)
143                                 panic("Invalid State Transition! PROC_DYING to %d", state);
144                         break;
145                 case PROC_RUNNABLE_M:
146                         if (!(state & (PROC_RUNNING_M | PROC_DYING)))
147                                 panic("Invalid State Transition! PROC_RUNNABLE_M to %d", state);
148                         break;
149                 case PROC_RUNNING_M:
150                         if (!(state & (PROC_RUNNABLE_S | PROC_RUNNABLE_M | PROC_DYING)))
151                                 panic("Invalid State Transition! PROC_RUNNING_M to %d", state);
152                         break;
153         }
154         #endif
155         p->state = state;
156         return 0;
157 }
158
159 /* Returns a pointer to the proc with the given pid, or 0 if there is none */
160 struct proc *pid2proc(pid_t pid)
161 {
162         spin_lock(&pid_hash_lock);
163         struct proc *p = hashtable_search(pid_hash, (void*)pid);
164         spin_unlock(&pid_hash_lock);
165         /* if the refcnt was 0, decref and return 0 (we failed). (TODO) */
166         if (p)
167                 proc_incref(p, 1); // TODO:(REF) to do this all atomically and not panic
168         return p;
169 }
170
171 /* Performs any initialization related to processes, such as create the proc
172  * cache, prep the scheduler, etc.  When this returns, we should be ready to use
173  * any process related function. */
174 void proc_init(void)
175 {
176         proc_cache = kmem_cache_create("proc", sizeof(struct proc),
177                      MAX(HW_CACHE_ALIGN, __alignof__(struct proc)), 0, 0, 0);
178         /* Init PID mask and hash.  pid 0 is reserved. */
179         SET_BITMASK_BIT(pid_bmask, 0);
180         spinlock_init(&pid_hash_lock);
181         spin_lock(&pid_hash_lock);
182         pid_hash = create_hashtable(100, __generic_hash, __generic_eq);
183         spin_unlock(&pid_hash_lock);
184         schedule_init();
185         /* Init idle cores. Core 0 is the management core, and core 1 is
186      * dedicated to the NIC currently */
187         spin_lock(&idle_lock);
188         #ifdef __CONFIG_NETWORKING__
189         assert(num_cpus >= 2);
190         int reserved_cores = 2;
191         #else
192         int reserved_cores = 1;
193         #endif
194         num_idlecores = num_cpus - reserved_cores;
195         for (int i = 0; i < num_idlecores; i++)
196                 idlecoremap[i] = i + reserved_cores;
197         spin_unlock(&idle_lock);
198         atomic_init(&num_envs, 0);
199 }
200
201 void
202 proc_init_procinfo(struct proc* p)
203 {
204         memset(&p->procinfo->vcoremap, 0, sizeof(p->procinfo->vcoremap));
205         memset(&p->procinfo->pcoremap, 0, sizeof(p->procinfo->pcoremap));
206         p->procinfo->num_vcores = 0;
207         p->procinfo->coremap_seqctr = SEQCTR_INITIALIZER;
208         // TODO: change these too
209         p->procinfo->pid = p->pid;
210         p->procinfo->ppid = p->ppid;
211         p->procinfo->tsc_freq = system_timing.tsc_freq;
212         // TODO: maybe do something smarter here
213         p->procinfo->max_harts = MAX(1,num_cpus-1);
214 }
215
216 /* Allocates and initializes a process, with the given parent.  Currently
217  * writes the *p into **pp, and returns 0 on success, < 0 for an error.
218  * Errors include:
219  *  - ENOFREEPID if it can't get a PID
220  *  - ENOMEM on memory exhaustion */
221 static error_t proc_alloc(struct proc *SAFE*SAFE pp, pid_t parent_id)
222 {
223         error_t r;
224         struct proc *p;
225
226         if (!(p = kmem_cache_alloc(proc_cache, 0)))
227                 return -ENOMEM;
228
229         { INITSTRUCT(*p)
230
231         // Setup the default map of where to get cache colors from
232         p->cache_colors_map = global_cache_colors_map;
233         p->next_cache_color = 0;
234
235         /* Initialize the address space */
236         if ((r = env_setup_vm(p)) < 0) {
237                 kmem_cache_free(proc_cache, p);
238                 return r;
239         }
240
241         /* Get a pid, then store a reference in the pid_hash */
242         if (!(p->pid = get_free_pid())) {
243                 kmem_cache_free(proc_cache, p);
244                 return -ENOFREEPID;
245         }
246         spin_lock(&pid_hash_lock);
247         hashtable_insert(pid_hash, (void*)p->pid, p);
248         spin_unlock(&pid_hash_lock);
249
250         /* Set the basic status variables. */
251         spinlock_init(&p->proc_lock);
252         p->exitcode = 0;
253         p->ppid = parent_id;
254         p->state = PROC_CREATED; // shouldn't go through state machine for init
255         p->env_refcnt = 2; // one for the object, one for the ref we pass back
256         p->env_flags = 0;
257         p->env_entry = 0; // cheating.  this really gets set in load_icode
258         p->procinfo->heap_bottom = (void*)UTEXT;
259         p->heap_top = (void*)UTEXT;
260         memset(&p->resources, 0, sizeof(p->resources));
261         memset(&p->env_ancillary_state, 0, sizeof(p->env_ancillary_state));
262         memset(&p->env_tf, 0, sizeof(p->env_tf));
263
264         /* Initialize the contents of the e->procinfo structure */
265         proc_init_procinfo(p);
266         /* Initialize the contents of the e->procdata structure */
267
268         /* Initialize the generic syscall ring buffer */
269         SHARED_RING_INIT(&p->procdata->syscallring);
270         /* Initialize the backend of the syscall ring buffer */
271         BACK_RING_INIT(&p->syscallbackring,
272                        &p->procdata->syscallring,
273                        SYSCALLRINGSIZE);
274
275         /* Initialize the generic sysevent ring buffer */
276         SHARED_RING_INIT(&p->procdata->syseventring);
277         /* Initialize the frontend of the sysevent ring buffer */
278         FRONT_RING_INIT(&p->syseventfrontring,
279                         &p->procdata->syseventring,
280                         SYSEVENTRINGSIZE);
281         *pp = p;
282         atomic_inc(&num_envs);
283
284         frontend_proc_init(p);
285
286         printd("[%08x] new process %08x\n", current ? current->pid : 0, p->pid);
287         } // INIT_STRUCT
288         return 0;
289 }
290
291 /* Creates a process from the specified binary, which is of size size.
292  * Currently, the binary must be a contiguous block of memory, which needs to
293  * change.  On any failure, it just panics, which ought to be sorted. */
294 struct proc *proc_create(uint8_t *binary, size_t size)
295 {
296         struct proc *p;
297         error_t r;
298         pid_t curid;
299
300         curid = (current ? current->pid : 0);
301         if ((r = proc_alloc(&p, curid)) < 0)
302                 panic("proc_create: %e", r); // one of 3 quaint usages of %e.
303         if(binary != NULL)
304                 env_load_icode(p, NULL, binary, size);
305         return p;
306 }
307
308 /* This is called by proc_decref, once the last reference to the process is
309  * gone.  Don't call this otherwise (it will panic).  It will clean up the
310  * address space and deallocate any other used memory. */
311 static void __proc_free(struct proc *p)
312 {
313         physaddr_t pa;
314
315         printd("[PID %d] freeing proc: %d\n", current ? current->pid : 0, p->pid);
316         // All parts of the kernel should have decref'd before __proc_free is called
317         assert(p->env_refcnt == 0);
318
319         frontend_proc_free(p);
320
321         // Free any colors allocated to this process
322         if(p->cache_colors_map != global_cache_colors_map) {
323                 for(int i=0; i<llc_cache->num_colors; i++)
324                         cache_color_free(llc_cache, p->cache_colors_map);
325                 cache_colors_map_free(p->cache_colors_map);
326         }
327
328         // Flush all mapped pages in the user portion of the address space
329         env_user_mem_free(p, 0, UVPT);
330         /* These need to be free again, since they were allocated with a refcnt. */
331         free_cont_pages(p->procinfo, LOG2_UP(PROCINFO_NUM_PAGES));
332         free_cont_pages(p->procdata, LOG2_UP(PROCDATA_NUM_PAGES));
333
334         env_pagetable_free(p);
335         p->env_pgdir = 0;
336         p->env_cr3 = 0;
337
338         /* Remove self from the pid hash, return PID.  Note the reversed order. */
339         spin_lock(&pid_hash_lock);
340         if (!hashtable_remove(pid_hash, (void*)p->pid))
341                 panic("Proc not in the pid table in %s", __FUNCTION__);
342         spin_unlock(&pid_hash_lock);
343         put_free_pid(p->pid);
344         atomic_dec(&num_envs);
345
346         /* Dealloc the struct proc */
347         kmem_cache_free(proc_cache, p);
348 }
349
350 /* Whether or not actor can control target.  Note we currently don't need
351  * locking for this. TODO: think about that, esp wrt proc's dying. */
352 bool proc_controls(struct proc *actor, struct proc *target)
353 {
354         return ((actor == target) || (target->ppid == actor->pid));
355 }
356
357 /* Dispatches a process to run, either on the current core in the case of a
358  * RUNNABLE_S, or on its partition in the case of a RUNNABLE_M.  This should
359  * never be called to "restart" a core.  This expects that the "instructions"
360  * for which core(s) to run this on will be in the vcoremap, which needs to be
361  * set externally.
362  *
363  * When a process goes from RUNNABLE_M to RUNNING_M, its vcoremap will be
364  * "packed" (no holes in the vcore->pcore mapping), vcore0 will continue to run
365  * it's old core0 context, and the other cores will come in at the entry point.
366  * Including in the case of preemption.
367  *
368  * This won't return if the current core is going to be one of the processes
369  * cores (either for _S mode or for _M if it's in the vcoremap).  proc_run will
370  * eat your reference if it does not return. */
371 void proc_run(struct proc *p)
372 {
373         bool self_ipi_pending = FALSE;
374         spin_lock_irqsave(&p->proc_lock);
375         switch (p->state) {
376                 case (PROC_DYING):
377                         spin_unlock_irqsave(&p->proc_lock);
378                         printk("Process %d not starting due to async death\n", p->pid);
379                         // if we're a worker core, smp_idle, o/w return
380                         if (!management_core())
381                                 smp_idle(); // this never returns
382                         return;
383                 case (PROC_RUNNABLE_S):
384                         __proc_set_state(p, PROC_RUNNING_S);
385                         /* We will want to know where this process is running, even if it is
386                          * only in RUNNING_S.  can use the vcoremap, which makes death easy.
387                          * Also, this is the signal used in trap.c to know to save the tf in
388                          * env_tf. */
389                         __seq_start_write(&p->procinfo->coremap_seqctr);
390                         p->procinfo->num_vcores = 0;
391                         __map_vcore(p, 0, core_id()); // sort of.  this needs work.
392                         __seq_end_write(&p->procinfo->coremap_seqctr);
393                         spin_unlock_irqsave(&p->proc_lock);
394                         /* Transferring our reference to startcore, where p will become
395                          * current.  If it already is, decref in advance.  This is similar
396                          * to __startcore(), in that it sorts out the refcnt accounting.  */
397                         if (current == p)
398                                 proc_decref(p, 1);
399                         proc_startcore(p, &p->env_tf);
400                         break;
401                 case (PROC_RUNNABLE_M):
402                         /* vcoremap[i] holds the coreid of the physical core allocated to
403                          * this process.  It is set outside proc_run.  For the kernel
404                          * message, a0 = struct proc*, a1 = struct trapframe*.   */
405                         if (p->procinfo->num_vcores) {
406                                 __proc_set_state(p, PROC_RUNNING_M);
407                                 /* Up the refcnt, since num_vcores are going to start using this
408                                  * process and have it loaded in their 'current'. */
409                                 p->env_refcnt += p->procinfo->num_vcores; // TODO: (REF) use incref
410                                 /* If the core we are running on is in the vcoremap, we will get
411                                  * an IPI (once we reenable interrupts) and never return. */
412                                 if (is_mapped_vcore(p, core_id()))
413                                         self_ipi_pending = TRUE;
414                                 // TODO: handle silly state (HSS)
415                                 // set virtual core 0 to run the main context on transition
416                                 if (p->env_flags & PROC_TRANSITION_TO_M) {
417                                         p->env_flags &= !PROC_TRANSITION_TO_M;
418                                         p->procinfo->vcoremap[0].tf_to_run = &p->env_tf;
419                                 } else {
420                                         assert(!p->procinfo->vcoremap[0].tf_to_run);
421                                 }
422                                 /* others should be zeroed after a previous use too. */
423                                 for (int i = 1; i < p->procinfo->num_vcores; i++)
424                                         assert(!p->procinfo->vcoremap[i].tf_to_run);
425                                 for (int i = 0; i < p->procinfo->num_vcores; i++)
426                                         send_kernel_message(p->procinfo->vcoremap[i].pcoreid,
427                                                             (void *)__startcore, (void *)p, 0, 0,
428                                                             AMSG_IMMEDIATE);
429                         } else {
430                                 warn("Tried to proc_run() an _M with no vcores!");
431                         }
432                         /* Unlock and decref/wait for the IPI if one is pending.  This will
433                          * eat the reference if we aren't returning. 
434                          *
435                          * There a subtle race avoidance here.  proc_startcore can handle a
436                          * death message, but we can't have the startcore come after the
437                          * death message.  Otherwise, it would look like a new process.  So
438                          * we hold the lock til after we send our message, which prevents a
439                          * possible death message.
440                          * - Likewise, we need interrupts to be disabled, in case one of the
441                          *   messages was for us, and reenable them after letting go of the
442                          *   lock.  This is done by spin_lock_irqsave, so be careful if you
443                          *   change this.
444                          * - Note there is no guarantee this core's interrupts were on, so
445                          *   it may not get the message for a while... */
446                         __proc_unlock_ipi_pending(p, self_ipi_pending);
447                         break;
448                 default:
449                         spin_unlock_irqsave(&p->proc_lock);
450                         panic("Invalid process state %p in proc_run()!!", p->state);
451         }
452 }
453
454 /* Runs the given context (trapframe) of process p on the core this code
455  * executes on.
456  *
457  * Given we are RUNNING_*, an IPI for death or preemption could come in:
458  * 1. death attempt (IPI to kill whatever is on your core):
459  *              we don't need to worry about protecting the stack, since we're
460  *              abandoning ship - just need to get a good cr3 and decref current, which
461  *              the death handler will do.
462  *              If a death IPI comes in, we immediately stop this function and will
463  *              never come back.
464  * 2. preempt attempt (IPI to package state and maybe run something else):
465  *              - if a preempt attempt comes in while we're in the kernel, it'll
466  *              just set a flag.  we could attempt to bundle the kernel state
467  *              and rerun it later, but it's really messy (and possibly given
468  *              back to userspace).  we'll disable ints, check this flag, and if
469  *              so, handle the preemption using the same funcs as the normal
470  *              preemption handler.  nonblocking kernel calls will just slow
471  *              down the preemption while they work.  blocking kernel calls will
472  *              need to package their state properly anyway.
473  *
474  * TODO: in general, think about when we no longer need the stack, in case we
475  * are preempted and expected to run again from somewhere else.  we can't
476  * expect to have the kernel stack around anymore.  the nice thing about being
477  * at this point is that we are just about ready to give up the stack anyways.
478  *
479  * I think we need to make it such that the kernel in "process context" never
480  * gets removed from the core (displaced from its stack) without going through
481  * some "bundling" code.
482  *
483  * A note on refcnting: this function will not return, and your proc reference
484  * will end up stored in current.  This will make no changes to p's refcnt, so
485  * do your accounting such that there is only the +1 for current.  This means if
486  * it is already in current (like in the trap return path), don't up it.  If
487  * it's already in current and you have another reference (like pid2proc or from
488  * an IPI), then down it (which is what happens in __startcore()).  If it's not
489  * in current and you have one reference, like proc_run(non_current_p), then
490  * also do nothing.  The refcnt for your *p will count for the reference stored
491  * in current. */
492 void proc_startcore(struct proc *p, trapframe_t *tf) {
493         // it's possible to be DYING, but it's a rare race.
494         //if (p->state & (PROC_RUNNING_S | PROC_RUNNING_M))
495         //      printk("dying before (re)startcore on core %d\n", core_id());
496         // sucks to have ints disabled when doing env_decref and possibly freeing
497         disable_irq();
498         if (per_cpu_info[core_id()].preempt_pending) {
499                 // TODO: handle preemption
500                 // the functions will need to consider deal with current like down below
501                 panic("Preemption not supported!");
502         }
503         /* If the process wasn't here, then we need to load its address space. */
504         if (p != current) {
505                 /* Do not incref here.  We were given the reference to current,
506                  * pre-upped. */
507                 lcr3(p->env_cr3);
508                 /* This is "leaving the process context" of the previous proc.  The
509                  * previous lcr3 unloaded the previous proc's context.  This should
510                  * rarely happen, since we usually proactively leave process context,
511                  * but is the fallback. */
512                 if (current)
513                         proc_decref(current, 1);
514                 set_current_proc(p);
515         }
516         /* need to load our silly state, preferably somewhere other than here so we
517          * can avoid the case where the context was just running here.  it's not
518          * sufficient to do it in the "new process" if-block above (could be things
519          * like page faults that cause us to keep the same process, but want a
520          * different context.
521          * for now, we load this silly state here. (TODO) (HSS)
522          * We also need this to be per trapframe, and not per process...
523          */
524         env_pop_ancillary_state(p);
525         env_pop_tf(tf);
526 }
527
528 /*
529  * Destroys the given process.  This may be called from another process, a light
530  * kernel thread (no real process context), asynchronously/cross-core, or from
531  * the process on its own core.
532  *
533  * Here's the way process death works:
534  * 0. grab the lock (protects state transition and core map)
535  * 1. set state to dying.  that keeps the kernel from doing anything for the
536  * process (like proc_running it).
537  * 2. figure out where the process is running (cross-core/async or RUNNING_M)
538  * 3. IPI to clean up those cores (decref, etc).
539  * 4. Unlock
540  * 5. Clean up your core, if applicable
541  * (Last core/kernel thread to decref cleans up and deallocates resources.)
542  *
543  * Note that some cores can be processing async calls, but will eventually
544  * decref.  Should think about this more, like some sort of callback/revocation.
545  *
546  * This will eat your reference if it won't return.  Note that this function
547  * needs to change anyways when we make __death more like __preempt.  (TODO) */
548 void proc_destroy(struct proc *p)
549 {
550         bool self_ipi_pending = FALSE;
551         spin_lock_irqsave(&p->proc_lock);
552
553         /* TODO: (DEATH) look at this again when we sort the __death IPI */
554         if (current == p)
555                 self_ipi_pending = TRUE;
556
557         switch (p->state) {
558                 case PROC_DYING: // someone else killed this already.
559                         __proc_unlock_ipi_pending(p, self_ipi_pending);
560                         return;
561                 case PROC_RUNNABLE_M:
562                         /* Need to reclaim any cores this proc might have, even though it's
563                          * not running yet. */
564                         __proc_take_allcores(p, NULL, NULL, NULL, NULL);
565                         // fallthrough
566                 case PROC_RUNNABLE_S:
567                         // Think about other lists, like WAITING, or better ways to do this
568                         deschedule_proc(p);
569                         break;
570                 case PROC_RUNNING_S:
571                         #if 0
572                         // here's how to do it manually
573                         if (current == p) {
574                                 lcr3(boot_cr3);
575                                 proc_decref(p, 1); // this decref is for the cr3
576                                 current = NULL;
577                         }
578                         #endif
579                         send_kernel_message(p->procinfo->vcoremap[0].pcoreid, __death,
580                                            (void *SNT)0, (void *SNT)0, (void *SNT)0,
581                                            AMSG_IMMEDIATE);
582                         __seq_start_write(&p->procinfo->coremap_seqctr);
583                         // TODO: might need to sort num_vcores too later (VC#)
584                         /* vcore is unmapped on the receive side */
585                         __seq_end_write(&p->procinfo->coremap_seqctr);
586                         #if 0
587                         /* right now, RUNNING_S only runs on a mgmt core (0), not cores
588                          * managed by the idlecoremap.  so don't do this yet. */
589                         put_idle_core(p->procinfo->vcoremap[0].pcoreid);
590                         #endif
591                         break;
592                 case PROC_RUNNING_M:
593                         /* Send the DEATH message to every core running this process, and
594                          * deallocate the cores.
595                          * The rule is that the vcoremap is set before proc_run, and reset
596                          * within proc_destroy */
597                         __proc_take_allcores(p, __death, (void *SNT)0, (void *SNT)0,
598                                              (void *SNT)0);
599                         break;
600                 default:
601                         panic("Weird state(%s) in %s()", procstate2str(p->state),
602                               __FUNCTION__);
603         }
604         __proc_set_state(p, PROC_DYING);
605         /* this decref is for the process in general */
606         p->env_refcnt--; // TODO (REF)
607         //proc_decref(p, 1);
608
609         /* Unlock and possible decref and wait.  A death IPI should be on its way,
610          * either from the RUNNING_S one, or from proc_take_cores with a __death.
611          * in general, interrupts should be on when you call proc_destroy locally,
612          * but currently aren't for all things (like traphandlers). */
613         __proc_unlock_ipi_pending(p, self_ipi_pending);
614         return;
615 }
616
617 /* Helper function.  Starting from prev, it will find the next free vcoreid,
618  * which is the next vcore that is not valid.
619  * You better hold the lock before calling this. */
620 static uint32_t get_free_vcoreid(struct proc *SAFE p, uint32_t prev)
621 {
622         uint32_t i;
623         for (i = prev; i < MAX_NUM_CPUS; i++)
624                 if (!p->procinfo->vcoremap[i].valid)
625                         break;
626         if (i + 1 >= MAX_NUM_CPUS)
627                 warn("At the end of the vcorelist.  Might want to check that out.");
628         return i;
629 }
630
631 /* Helper function.  Starting from prev, it will find the next busy vcoreid,
632  * which is the next vcore that is valid.
633  * You better hold the lock before calling this. */
634 static uint32_t get_busy_vcoreid(struct proc *SAFE p, uint32_t prev)
635 {
636         uint32_t i;
637         for (i = prev; i < MAX_NUM_CPUS; i++)
638                 if (p->procinfo->vcoremap[i].valid)
639                         break;
640         if (i + 1 >= MAX_NUM_CPUS)
641                 warn("At the end of the vcorelist.  Might want to check that out.");
642         return i;
643 }
644
645 /* Helper function.  Is the given pcore a mapped vcore?  Hold the lock before
646  * calling. */
647 static bool is_mapped_vcore(struct proc *p, uint32_t pcoreid)
648 {
649         return p->procinfo->pcoremap[pcoreid].valid;
650 }
651
652 /* Helper function.  Find the vcoreid for a given physical core id for proc p.
653  * You better hold the lock before calling this.  Panics on failure. */
654 static uint32_t get_vcoreid(struct proc *SAFE p, uint32_t pcoreid)
655 {
656         assert(is_mapped_vcore(p, pcoreid));
657         return p->procinfo->pcoremap[pcoreid].vcoreid;
658 }
659
660 /* Use this when you are waiting for an IPI that you sent yourself.  In most
661  * cases, interrupts should already be on (like after a spin_unlock_irqsave from
662  * process context), but aren't always, like in proc_destroy().  We might be
663  * able to remove the enable_irq in the future.  Think about this (TODO).
664  *
665  * Note this means all non-proc management interrupt handlers must return (which
666  * they need to do anyway), so that we get back to this point.  */
667 static inline void __wait_for_ipi(const char *fnname)
668 {
669         enable_irq();
670         udelay(1000000);
671         panic("Waiting too long on core %d for an IPI in %s()!", core_id(), fnname);
672 }
673
674 /* Yields the calling core.  Must be called locally (not async) for now.
675  * - If RUNNING_S, you just give up your time slice and will eventually return.
676  * - If RUNNING_M, you give up the current vcore (which never returns), and
677  *   adjust the amount of cores wanted/granted.
678  * - If you have only one vcore, you switch to RUNNABLE_M.  When you run again,
679  *   you'll have one guaranteed core, starting from the entry point.
680  *
681  * - RES_CORES amt_wanted will be the amount running after taking away the
682  *   yielder, unless there are none left, in which case it will be 1.
683  *
684  * This does not return (abandon_core()), so it will eat your reference.  */
685 void proc_yield(struct proc *SAFE p)
686 {
687         spin_lock_irqsave(&p->proc_lock);
688         switch (p->state) {
689                 case (PROC_RUNNING_S):
690                         p->env_tf= *current_tf;
691                         env_push_ancillary_state(p);
692                         __proc_set_state(p, PROC_RUNNABLE_S);
693                         schedule_proc(p);
694                         break;
695                 case (PROC_RUNNING_M):
696                         __seq_start_write(&p->procinfo->coremap_seqctr);
697                         // give up core
698                         __unmap_vcore(p, get_vcoreid(p, core_id()));
699                         p->resources[RES_CORES].amt_granted = --(p->procinfo->num_vcores);
700                         p->resources[RES_CORES].amt_wanted = p->procinfo->num_vcores;
701                         __seq_end_write(&p->procinfo->coremap_seqctr);
702                         // add to idle list
703                         put_idle_core(core_id());
704                         // last vcore?  then we really want 1, and to yield the gang
705                         if (p->procinfo->num_vcores == 0) {
706                                 // might replace this with m_yield, if we have it directly
707                                 p->resources[RES_CORES].amt_wanted = 1;
708                                 __proc_set_state(p, PROC_RUNNABLE_M);
709                                 schedule_proc(p);
710                         }
711                         break;
712                 default:
713                         // there are races that can lead to this (async death, preempt, etc)
714                         panic("Weird state(%s) in %s()", procstate2str(p->state),
715                               __FUNCTION__);
716         }
717         spin_unlock_irqsave(&p->proc_lock);
718         proc_decref(p, 1);
719         /* Clean up the core and idle.  For mgmt cores, they will ultimately call
720          * manager, which will call schedule() and will repick the yielding proc. */
721         abandon_core();
722 }
723
724 /* Global version of the helper, for sys_get_vcoreid (might phase that syscall
725  * out). */
726 uint32_t proc_get_vcoreid(struct proc *SAFE p, uint32_t pcoreid)
727 {
728         uint32_t vcoreid;
729         // TODO: the code currently doesn't track the vcoreid properly for _S
730         spin_lock_irqsave(&p->proc_lock);
731         switch (p->state) {
732                 case PROC_RUNNING_S:
733                         spin_unlock_irqsave(&p->proc_lock);
734                         return 0; // TODO: here's the ugly part
735                 case PROC_RUNNING_M:
736                         vcoreid = get_vcoreid(p, pcoreid);
737                         spin_unlock_irqsave(&p->proc_lock);
738                         return vcoreid;
739                 default:
740                         spin_unlock_irqsave(&p->proc_lock);
741                         panic("Weird state(%s) in %s()", procstate2str(p->state),
742                               __FUNCTION__);
743         }
744 }
745
746 /* Gives process p the additional num cores listed in pcorelist.  You must be
747  * RUNNABLE_M or RUNNING_M before calling this.  If you're RUNNING_M, this will
748  * startup your new cores at the entry point with their virtual IDs.  If you're
749  * RUNNABLE_M, you should call proc_run after this so that the process can start
750  * to use its cores.
751  *
752  * If you're *_S, make sure your core0's TF is set (which is done when coming in
753  * via arch/trap.c and we are RUNNING_S), change your state, then call this.
754  * Then call proc_run().
755  *
756  * The reason I didn't bring the _S cases from core_request over here is so we
757  * can keep this family of calls dealing with only *_Ms, to avoiding caring if
758  * this is called from another core, and to avoid the need_to_idle business.
759  * The other way would be to have this function have the side effect of changing
760  * state, and finding another way to do the need_to_idle.
761  *
762  * The returned bool signals whether or not a stack-crushing IPI will come in
763  * once you unlock after this function.
764  *
765  * WARNING: You must hold the proc_lock before calling this! */
766 bool __proc_give_cores(struct proc *SAFE p, uint32_t *pcorelist, size_t num)
767 { TRUSTEDBLOCK
768         bool self_ipi_pending = FALSE;
769         uint32_t free_vcoreid = 0;
770         switch (p->state) {
771                 case (PROC_RUNNABLE_S):
772                 case (PROC_RUNNING_S):
773                         panic("Don't give cores to a process in a *_S state!\n");
774                         break;
775                 case (PROC_DYING):
776                         panic("Attempted to give cores to a DYING process.\n");
777                         break;
778                 case (PROC_RUNNABLE_M):
779                         // set up vcoremap.  list should be empty, but could be called
780                         // multiple times before proc_running (someone changed their mind?)
781                         if (p->procinfo->num_vcores) {
782                                 printk("[kernel] Yaaaaaarrrrr!  Giving extra cores, are we?\n");
783                                 // debugging: if we aren't packed, then there's a problem
784                                 // somewhere, like someone forgot to take vcores after
785                                 // preempting.
786                                 for (int i = 0; i < p->procinfo->num_vcores; i++)
787                                         assert(p->procinfo->vcoremap[i].valid);
788                         }
789                         // add new items to the vcoremap
790                         __seq_start_write(&p->procinfo->coremap_seqctr);
791                         for (int i = 0; i < num; i++) {
792                                 // find the next free slot, which should be the next one
793                                 free_vcoreid = get_free_vcoreid(p, free_vcoreid);
794                                 printd("setting vcore %d to pcore %d\n", free_vcoreid,
795                                        pcorelist[i]);
796                                 __map_vcore(p, free_vcoreid, pcorelist[i]);
797                                 p->procinfo->num_vcores++;
798                         }
799                         __seq_end_write(&p->procinfo->coremap_seqctr);
800                         break;
801                 case (PROC_RUNNING_M):
802                         /* Up the refcnt, since num cores are going to start using this
803                          * process and have it loaded in their 'current'. */
804                         // TODO: (REF) use proc_incref once we have atomics
805                         p->env_refcnt += num;
806                         __seq_start_write(&p->procinfo->coremap_seqctr);
807                         for (int i = 0; i < num; i++) {
808                                 free_vcoreid = get_free_vcoreid(p, free_vcoreid);
809                                 printd("setting vcore %d to pcore %d\n", free_vcoreid,
810                                        pcorelist[i]);
811                                 __map_vcore(p, free_vcoreid, pcorelist[i]);
812                                 p->procinfo->num_vcores++;
813                                 /* should be a fresh core */
814                                 assert(!p->procinfo->vcoremap[i].tf_to_run);
815                                 send_kernel_message(pcorelist[i], __startcore, p, 0, 0,
816                                                     AMSG_IMMEDIATE);
817                                 if (pcorelist[i] == core_id())
818                                         self_ipi_pending = TRUE;
819                         }
820                         __seq_end_write(&p->procinfo->coremap_seqctr);
821                         break;
822                 default:
823                         panic("Weird state(%s) in %s()", procstate2str(p->state),
824                               __FUNCTION__);
825         }
826         return self_ipi_pending;
827 }
828
829 /* Makes process p's coremap look like pcorelist (add, remove, etc).  Caller
830  * needs to know what cores are free after this call (removed, failed, etc).
831  * This info will be returned via corelist and *num.  This will send message to
832  * any cores that are getting removed.
833  *
834  * Before implementing this, we should probably think about when this will be
835  * used.  Implies preempting for the message.  The more that I think about this,
836  * the less I like it.  For now, don't use this, and think hard before
837  * implementing it.
838  *
839  * WARNING: You must hold the proc_lock before calling this! */
840 bool __proc_set_allcores(struct proc *SAFE p, uint32_t *pcorelist,
841                          size_t *num, amr_t message,TV(a0t) arg0,
842                          TV(a1t) arg1, TV(a2t) arg2)
843 {
844         panic("Set all cores not implemented.\n");
845 }
846
847 /* Takes from process p the num cores listed in pcorelist, using the given
848  * message for the kernel message (__death, __preempt, etc).  Like the others
849  * in this function group, bool signals whether or not an IPI is pending.
850  *
851  * WARNING: You must hold the proc_lock before calling this! */
852 bool __proc_take_cores(struct proc *SAFE p, uint32_t *pcorelist,
853                        size_t num, amr_t message, TV(a0t) arg0,
854                        TV(a1t) arg1, TV(a2t) arg2)
855 { TRUSTEDBLOCK
856         uint32_t vcoreid, pcoreid;
857         bool self_ipi_pending = FALSE;
858         switch (p->state) {
859                 case (PROC_RUNNABLE_M):
860                         assert(!message);
861                         break;
862                 case (PROC_RUNNING_M):
863                         assert(message);
864                         break;
865                 default:
866                         panic("Weird state(%s) in %s()", procstate2str(p->state),
867                               __FUNCTION__);
868         }
869         spin_lock(&idle_lock);
870         assert((num <= p->procinfo->num_vcores) &&
871                (num_idlecores + num <= num_cpus));
872         spin_unlock(&idle_lock);
873         __seq_start_write(&p->procinfo->coremap_seqctr);
874         for (int i = 0; i < num; i++) {
875                 vcoreid = get_vcoreid(p, pcorelist[i]);
876                 // while ugly, this is done to facilitate merging with take_all_cores
877                 pcoreid = p->procinfo->vcoremap[vcoreid].pcoreid;
878                 assert(pcoreid == pcorelist[i]);
879                 if (message) {
880                         if (pcoreid == core_id())
881                                 self_ipi_pending = TRUE;
882                         send_kernel_message(pcoreid, message, arg0, arg1, arg2,
883                                             AMSG_IMMEDIATE);
884                 } else {
885                         /* if there was a msg, the vcore is unmapped on the receive side.
886                          * o/w, we need to do it here. */
887                         __unmap_vcore(p, vcoreid);
888                 }
889                 // give the pcore back to the idlecoremap
890                 put_idle_core(pcoreid);
891         }
892         p->procinfo->num_vcores -= num;
893         __seq_end_write(&p->procinfo->coremap_seqctr);
894         p->resources[RES_CORES].amt_granted -= num;
895         return self_ipi_pending;
896 }
897
898 /* Takes all cores from a process, which must be in an _M state.  Cores are
899  * placed back in the idlecoremap.  If there's a message, such as __death or
900  * __preempt, it will be sent to the cores.  The bool signals whether or not an
901  * IPI is coming in once you unlock.
902  *
903  * WARNING: You must hold the proc_lock before calling this! */
904 bool __proc_take_allcores(struct proc *SAFE p, amr_t message,
905                           TV(a0t) arg0, TV(a1t) arg1, TV(a2t) arg2)
906 {
907         uint32_t active_vcoreid = 0, pcoreid;
908         bool self_ipi_pending = FALSE;
909         switch (p->state) {
910                 case (PROC_RUNNABLE_M):
911                         assert(!message);
912                         break;
913                 case (PROC_RUNNING_M):
914                         assert(message);
915                         break;
916                 default:
917                         panic("Weird state(%s) in %s()", procstate2str(p->state),
918                               __FUNCTION__);
919         }
920         spin_lock(&idle_lock);
921         assert(num_idlecores + p->procinfo->num_vcores <= num_cpus); // sanity
922         spin_unlock(&idle_lock);
923         __seq_start_write(&p->procinfo->coremap_seqctr);
924         for (int i = 0; i < p->procinfo->num_vcores; i++) {
925                 // find next active vcore
926                 active_vcoreid = get_busy_vcoreid(p, active_vcoreid);
927                 pcoreid = p->procinfo->vcoremap[active_vcoreid].pcoreid;
928                 if (message) {
929                         if (pcoreid == core_id())
930                                 self_ipi_pending = TRUE;
931                         send_kernel_message(pcoreid, message, arg0, arg1, arg2,
932                                             AMSG_IMMEDIATE);
933                 } else {
934                         /* if there was a msg, the vcore is unmapped on the receive side.
935                          * o/w, we need to do it here. */
936                         __unmap_vcore(p, active_vcoreid);
937                 }
938                 // give the pcore back to the idlecoremap
939                 put_idle_core(pcoreid);
940                 active_vcoreid++; // for the next loop, skip the one we just used
941         }
942         p->procinfo->num_vcores = 0;
943         __seq_end_write(&p->procinfo->coremap_seqctr);
944         p->resources[RES_CORES].amt_granted = 0;
945         return self_ipi_pending;
946 }
947
948 /* Helper, to be used when unlocking after calling the above functions that
949  * might cause an IPI to be sent.  TODO inline this, so the __FUNCTION__ works.
950  * Will require an overhaul of core_request (break it up, etc) */
951 void __proc_unlock_ipi_pending(struct proc *p, bool ipi_pending)
952 {
953         if (ipi_pending) {
954                 p->env_refcnt--; // TODO: (REF) (atomics)
955                 spin_unlock_irqsave(&p->proc_lock);
956                 __wait_for_ipi(__FUNCTION__);
957         } else {
958                 spin_unlock_irqsave(&p->proc_lock);
959         }
960 }
961
962 /* Helper to do the vcore->pcore and inverse mapping.  Hold the lock when
963  * calling. */
964 void __map_vcore(struct proc *p, uint32_t vcoreid, uint32_t pcoreid)
965 {
966         p->procinfo->vcoremap[vcoreid].pcoreid = pcoreid;
967         p->procinfo->vcoremap[vcoreid].valid = TRUE;
968         p->procinfo->pcoremap[pcoreid].vcoreid = vcoreid;
969         p->procinfo->pcoremap[pcoreid].valid = TRUE;
970 }
971
972 /* Helper to unmap the vcore->pcore and inverse mapping.  Hold the lock when
973  * calling. */
974 void __unmap_vcore(struct proc *p, uint32_t vcoreid)
975 {
976         p->procinfo->vcoremap[vcoreid].valid = FALSE;
977         p->procinfo->pcoremap[p->procinfo->vcoremap[vcoreid].pcoreid].valid = FALSE;
978 }
979
980 /* This takes a referenced process and ups the refcnt by count.  If the refcnt
981  * was already 0, then someone has a bug, so panic.  Check out the Documentation
982  * for brutal details about refcnting.
983  *
984  * Implementation aside, the important thing is that we atomically increment
985  * only if it wasn't already 0.  If it was 0, panic.
986  *
987  * TODO: (REF) change to use CAS / atomics. */
988 void proc_incref(struct proc *p, size_t count)
989 {
990         spin_lock_irqsave(&p->proc_lock);
991         if (p->env_refcnt)
992                 p->env_refcnt += count;
993         else
994                 panic("Tried to incref a proc with no existing refernces!");
995         spin_unlock_irqsave(&p->proc_lock);
996 }
997
998 /* When the kernel is done with a process, it decrements its reference count.
999  * When the count hits 0, no one is using it and it should be freed.  "Last one
1000  * out" actually finalizes the death of the process.  This is tightly coupled
1001  * with the previous function (incref)
1002  *
1003  * TODO: (REF) change to use CAS.  Note that when we do so, we may be holding
1004  * the process lock when calling __proc_free(). */
1005 void proc_decref(struct proc *p, size_t count)
1006 {
1007         spin_lock_irqsave(&p->proc_lock);
1008         p->env_refcnt -= count;
1009         size_t refcnt = p->env_refcnt; // need to copy this in so it's not reloaded
1010         spin_unlock_irqsave(&p->proc_lock);
1011         // if we hit 0, no one else will increment and we can check outside the lock
1012         if (!refcnt)
1013                 __proc_free(p);
1014         if (refcnt < 0)
1015                 panic("Too many decrefs!");
1016 }
1017
1018 /* Kernel message handler to start a process's context on this core.  Tightly
1019  * coupled with proc_run() */
1020 void __startcore(trapframe_t *tf, uint32_t srcid, void *a0, void *a1, void *a2)
1021 {
1022         uint32_t pcoreid = core_id(), vcoreid;
1023         struct proc *p_to_run = (struct proc *CT(1))a0;
1024         struct trapframe local_tf, *tf_to_pop;
1025
1026         assert(p_to_run);
1027         vcoreid = get_vcoreid(p_to_run, pcoreid);
1028         tf_to_pop = p_to_run->procinfo->vcoremap[vcoreid].tf_to_run;
1029         printd("[kernel] startcore on physical core %d for process %d's vcore %d\n",
1030                pcoreid, p_to_run->pid, vcoreid);
1031         // TODO: handle silly state (HSS)
1032         if (!tf_to_pop) {
1033                 tf_to_pop = &local_tf;
1034                 memset(tf_to_pop, 0, sizeof(*tf_to_pop));
1035                 proc_init_trapframe(tf_to_pop, vcoreid, p_to_run->env_entry,
1036                                     p_to_run->procdata->stack_pointers[vcoreid]);
1037         } else {
1038                 /* Don't want to accidentally reuse this tf (saves on a for loop in
1039                  * proc_run, though we check there to be safe for now). */
1040                 p_to_run->procinfo->vcoremap[vcoreid].tf_to_run = 0;
1041         }
1042         /* the sender of the amsg increfed, thinking we weren't running current. */
1043         if (p_to_run == current)
1044                 proc_decref(p_to_run, 1);
1045         proc_startcore(p_to_run, tf_to_pop);
1046 }
1047
1048 /* Stop running whatever context is on this core, load a known-good cr3, and
1049  * 'idle'.  Note this leaves no trace of what was running. This "leaves the
1050  * process's context. */
1051 void abandon_core(void)
1052 {
1053         if (current)
1054                 __abandon_core();
1055         smp_idle();
1056 }
1057
1058 /* Kernel message handler to clean up the core when a process is dying.
1059  * Note this leaves no trace of what was running.
1060  * It's okay if death comes to a core that's already idling and has no current.
1061  * It could happen if a process decref'd before proc_startcore could incref. */
1062 void __death(trapframe_t *tf, uint32_t srcid, void *SNT a0, void *SNT a1,
1063              void *SNT a2)
1064 {
1065         uint32_t coreid = core_id();
1066         if (current) {
1067                 printd("[kernel] death on physical core %d for process %d's vcore %d\n",
1068                        coreid, current->pid, get_vcoreid(current, coreid));
1069                 __unmap_vcore(current, coreid);
1070         }
1071         abandon_core();
1072 }
1073
1074 void print_idlecoremap(void)
1075 {
1076         spin_lock(&idle_lock);
1077         printk("There are %d idle cores.\n", num_idlecores);
1078         for (int i = 0; i < num_idlecores; i++)
1079                 printk("idlecoremap[%d] = %d\n", i, idlecoremap[i]);
1080         spin_unlock(&idle_lock);
1081 }
1082
1083 void print_allpids(void)
1084 {
1085         spin_lock(&pid_hash_lock);
1086         if (hashtable_count(pid_hash)) {
1087                 hashtable_itr_t *phtable_i = hashtable_iterator(pid_hash);
1088                 printk("PID      STATE    \n");
1089                 printk("------------------\n");
1090                 do {
1091                         struct proc *p = hashtable_iterator_value(phtable_i);
1092                         printk("%8d %s\n", hashtable_iterator_key(phtable_i),
1093                                p ? procstate2str(p->state) : "(null)");
1094                 } while (hashtable_iterator_advance(phtable_i));
1095         }
1096         spin_unlock(&pid_hash_lock);
1097 }
1098
1099 void print_proc_info(pid_t pid)
1100 {
1101         int j = 0;
1102         struct proc *p = pid2proc(pid);
1103         // not concerned with a race on the state...
1104         if (!p) {
1105                 printk("Bad PID.\n");
1106                 return;
1107         }
1108         spinlock_debug(&p->proc_lock);
1109         spin_lock_irqsave(&p->proc_lock);
1110         printk("struct proc: %p\n", p);
1111         printk("PID: %d\n", p->pid);
1112         printk("PPID: %d\n", p->ppid);
1113         printk("State: 0x%08x\n", p->state);
1114         printk("Refcnt: %d\n", p->env_refcnt - 1); // don't report our ref
1115         printk("Flags: 0x%08x\n", p->env_flags);
1116         printk("CR3(phys): 0x%08x\n", p->env_cr3);
1117         printk("Num Vcores: %d\n", p->procinfo->num_vcores);
1118         printk("Vcoremap:\n");
1119         for (int i = 0; i < p->procinfo->num_vcores; i++) {
1120                 j = get_busy_vcoreid(p, j);
1121                 printk("\tVcore %d: Pcore %d\n", j, p->procinfo->vcoremap[j].pcoreid);
1122                 j++;
1123         }
1124         printk("Resources:\n");
1125         for (int i = 0; i < MAX_NUM_RESOURCES; i++)
1126                 printk("\tRes type: %02d, amt wanted: %08d, amt granted: %08d\n", i,
1127                        p->resources[i].amt_wanted, p->resources[i].amt_granted);
1128         printk("Vcore 0's Last Trapframe:\n");
1129         print_trapframe(&p->env_tf);
1130         spin_unlock_irqsave(&p->proc_lock);
1131         proc_decref(p, 1); /* decref for the pid2proc reference */
1132 }