proc_restartcore() only used for current_tf, etc
[akaros.git] / kern / src / process.c
index 744963a..af3c7ba 100644 (file)
@@ -1,8 +1,6 @@
-/*
- * Copyright (c) 2009 The Regents of the University of California
+/* Copyright (c) 2009, 2010 The Regents of the University of California
  * Barret Rhoden <brho@cs.berkeley.edu>
- * See LICENSE for details.
- */
+ * See LICENSE for details. */
 
 #ifdef __SHARC__
 #pragma nosharc
@@ -27,6 +25,9 @@
 #include <frontend.h>
 #include <monitor.h>
 #include <resource.h>
+#include <elf.h>
+#include <arsc_server.h>
+#include <devfs.h>
 
 /* Process Lists */
 struct proc_list proc_runnablelist = TAILQ_HEAD_INITIALIZER(proc_runnablelist);
@@ -46,11 +47,6 @@ uint32_t num_mgmtcores = 1;
 void put_idle_core(uint32_t coreid)
 {
        spin_lock(&idle_lock);
-#ifdef __CONFIG_EXPER_TRADPROC__ /* often a good check, but hurts performance */
-       for (int i = 0; i < num_idlecores; i++)
-               if (idlecoremap[i] == coreid)
-                       warn("Core %d added to the freelist twice!", coreid);
-#endif /* __CONFIG_EXPER_TRADPROC__ */
        idlecoremap[num_idlecores++] = coreid;
        spin_unlock(&idle_lock);
 }
@@ -60,7 +56,9 @@ static void __proc_startcore(struct proc *p, trapframe_t *tf);
 static uint32_t get_free_vcoreid(struct proc *SAFE p, uint32_t prev);
 static uint32_t get_busy_vcoreid(struct proc *SAFE p, uint32_t prev);
 static bool is_mapped_vcore(struct proc *p, uint32_t pcoreid);
-static uint32_t get_vcoreid(struct proc *SAFE p, uint32_t pcoreid);
+static uint32_t get_vcoreid(struct proc *p, uint32_t pcoreid);
+static uint32_t get_pcoreid(struct proc *p, uint32_t vcoreid);
+static void __proc_free(struct kref *kref);
 
 /* PID management. */
 #define PID_MAX 32767 // goes from 0 to 32767, with 0 reserved
@@ -110,6 +108,7 @@ int __proc_set_state(struct proc *p, uint32_t state)
        uint32_t curstate = p->state;
        /* Valid transitions:
         * C   -> RBS
+        * C   -> D
         * RBS -> RGS
         * RGS -> RBS
         * RGS -> W
@@ -124,14 +123,11 @@ int __proc_set_state(struct proc *p, uint32_t state)
         * These ought to be implemented later (allowed, not thought through yet).
         * RBS -> D
         * RBM -> D
-        *
-        * This isn't allowed yet, should be later.  Is definitely causable.
-        * C   -> D
         */
        #if 1 // some sort of correctness flag
        switch (curstate) {
                case PROC_CREATED:
-                       if (state != PROC_RUNNABLE_S)
+                       if (!(state & (PROC_RUNNABLE_S | PROC_DYING)))
                                panic("Invalid State Transition! PROC_CREATED to %02x", state);
                        break;
                case PROC_RUNNABLE_S:
@@ -165,15 +161,20 @@ int __proc_set_state(struct proc *p, uint32_t state)
        return 0;
 }
 
-/* Returns a pointer to the proc with the given pid, or 0 if there is none */
+/* Returns a pointer to the proc with the given pid, or 0 if there is none.
+ * This uses get_not_zero, since it is possible the refcnt is 0, which means the
+ * process is dying and we should not have the ref (and thus return 0).  We need
+ * to lock to protect us from getting p, (someone else removes and frees p),
+ * then get_not_zero() on p.
+ * Don't push the locking into the hashtable without dealing with this. */
 struct proc *pid2proc(pid_t pid)
 {
        spin_lock(&pid_hash_lock);
        struct proc *p = hashtable_search(pid_hash, (void*)pid);
-       spin_unlock(&pid_hash_lock);
-       /* if the refcnt was 0, decref and return 0 (we failed). (TODO) */
        if (p)
-               proc_incref(p, 1); // TODO:(REF) to do this all atomically and not panic
+               if (!kref_get_not_zero(&p->kref, 1))
+                       p = 0;
+       spin_unlock(&pid_hash_lock);
        return p;
 }
 
@@ -199,9 +200,16 @@ void proc_init(void)
        assert(!(num_cpus % 2));
        // TODO: consider checking x86 for machines that actually hyperthread
        num_idlecores = num_cpus >> 1;
+#ifdef __CONFIG_ARSC_SERVER__
+       // Dedicate one core (core 2) to sysserver, might be able to share wit NIC
+       num_mgmtcores++;
+       assert(num_cpus >= num_mgmtcores);
+       send_kernel_message(2, (amr_t)arsc_server, 0,0,0, KMSG_ROUTINE);
+#endif
        for (int i = 0; i < num_idlecores; i++)
                idlecoremap[i] = (i * 2) + 1;
 #else
+       // __CONFIG_DISABLE_SMT__
        #ifdef __CONFIG_NETWORKING__
        num_mgmtcores++; // Next core is dedicated to the NIC
        assert(num_cpus >= num_mgmtcores);
@@ -214,10 +222,17 @@ void proc_init(void)
        send_kernel_message(num_mgmtcores-1, (amr_t)monitor, 0,0,0, KMSG_ROUTINE);
        #endif
        #endif
+#ifdef __CONFIG_ARSC_SERVER__
+       // Dedicate one core (core 2) to sysserver, might be able to share wit NIC
+       num_mgmtcores++;
+       assert(num_cpus >= num_mgmtcores);
+       send_kernel_message(num_mgmtcores-1, (amr_t)arsc_server, 0,0,0, KMSG_ROUTINE);
+#endif
        num_idlecores = num_cpus - num_mgmtcores;
        for (int i = 0; i < num_idlecores; i++)
                idlecoremap[i] = i + num_mgmtcores;
 #endif /* __CONFIG_DISABLE_SMT__ */
+
        spin_unlock(&idle_lock);
        atomic_init(&num_envs, 0);
 }
@@ -241,73 +256,12 @@ proc_init_procinfo(struct proc* p)
 #endif /* __CONFIG_DISABLE_SMT__ */
 }
 
-#ifdef __CONFIG_EXPER_TRADPROC__
-bool is_real_proc(struct proc *p)
-{
-       // the real proc has no true proc pointer
-       return !p->true_proc;
-}
-
-/* Make a _S process to represent a vcore in a traditional threading/scheduling
- * model.  Should be able to proc_run this once it's done.  Hold the parent's
- * lock when you call this. */
-int fake_proc_alloc(struct proc **pp, struct proc *parent, uint32_t vcoreid)
-{
-       error_t r;
-       struct proc *p;
-
-       if (!(p = kmem_cache_alloc(proc_cache, 0)))
-               return -ENOMEM;
-
-       spinlock_init(&p->proc_lock);
-       p->pid = parent->pid;
-       p->ppid = parent->ppid;
-       p->exitcode = 0;
-       p->state = PROC_RUNNING_M;
-       p->env_refcnt = 2;
-       p->env_entry = parent->env_entry;
-       p->cache_colors_map = parent->cache_colors_map;
-       p->next_cache_color = parent->next_cache_color;
-       p->heap_top = (void*)0xdeadbeef; // shouldn't use this.  poisoning.
-       p->env_pgdir = parent->env_pgdir;
-       p->env_cr3 = parent->env_cr3;
-       p->procinfo = parent->procinfo;
-       p->procdata = parent->procdata;
-       /* Don't use ARSCs, they aren't turned on */
-       // p->syscallbackring = not happening
-       p->true_proc = parent;
-       p->vcoreid = vcoreid;
-       /* there is a slight race on the old vcore mapping.  for a brief period, it
-        * is unmapped, but still tracked by the parent.  it's between the unmapping
-        * and the freeing (where the vcore_procs[i] is cleared, which we need to
-        * hold on to until the fake_proc has abandoned core.  a brief spin should
-        * be okay. */
-       spin_on(parent->vcore_procs[vcoreid]);
-       assert(!parent->vcore_procs[vcoreid]);
-       /* map us to the true parent vcoremap */
-       parent->vcore_procs[vcoreid] = p;
-       parent->env_refcnt++;
-
-       memset(&p->env_ancillary_state, 0, sizeof(p->env_ancillary_state));
-       /* env_tf is 0'd in init_trapframe */
-       struct preempt_data *vcpd = &p->procdata->vcore_preempt_data[vcoreid];
-       proc_init_trapframe(&p->env_tf, vcoreid, p->env_entry,
-                           vcpd->transition_stack);
-
-       *pp = p;
-       atomic_inc(&num_envs);
-
-       printd("[%08x] fake process %08x\n", current ? current->pid : 0, p->pid);
-       return 0;
-}
-#endif /* __CONFIG_EXPER_TRADPROC__ */
-
 /* Allocates and initializes a process, with the given parent.  Currently
  * writes the *p into **pp, and returns 0 on success, < 0 for an error.
  * Errors include:
  *  - ENOFREEPID if it can't get a PID
  *  - ENOMEM on memory exhaustion */
-static error_t proc_alloc(struct proc *SAFE*SAFE pp, pid_t parent_id)
+error_t proc_alloc(struct proc **pp, struct proc *parent)
 {
        error_t r;
        struct proc *p;
@@ -317,38 +271,33 @@ static error_t proc_alloc(struct proc *SAFE*SAFE pp, pid_t parent_id)
 
        { INITSTRUCT(*p)
 
+       /* one reference for the proc existing, and one for the ref we pass back. */
+       kref_init(&p->kref, __proc_free, 2);
        // Setup the default map of where to get cache colors from
        p->cache_colors_map = global_cache_colors_map;
        p->next_cache_color = 0;
-
        /* Initialize the address space */
        if ((r = env_setup_vm(p)) < 0) {
                kmem_cache_free(proc_cache, p);
                return r;
        }
-
-       /* Get a pid, then store a reference in the pid_hash */
        if (!(p->pid = get_free_pid())) {
                kmem_cache_free(proc_cache, p);
                return -ENOFREEPID;
        }
-       spin_lock(&pid_hash_lock);
-       hashtable_insert(pid_hash, (void*)p->pid, p);
-       spin_unlock(&pid_hash_lock);
-
        /* Set the basic status variables. */
        spinlock_init(&p->proc_lock);
        p->exitcode = 0;
-       p->ppid = parent_id;
-       p->state = PROC_CREATED; // shouldn't go through state machine for init
-       p->env_refcnt = 2; // one for the object, one for the ref we pass back
+       p->ppid = parent ? parent->pid : 0;
+       p->state = PROC_CREATED; /* shouldn't go through state machine for init */
        p->env_flags = 0;
-       p->env_entry = 0; // cheating.  this really gets set in load_icode
+       p->env_entry = 0; // cheating.  this really gets set later
        p->procinfo->heap_bottom = (void*)UTEXT;
        p->heap_top = (void*)UTEXT;
        memset(&p->resources, 0, sizeof(p->resources));
        memset(&p->env_ancillary_state, 0, sizeof(p->env_ancillary_state));
        memset(&p->env_tf, 0, sizeof(p->env_tf));
+       TAILQ_INIT(&p->vm_regions); /* could init this in the slab */
 
        /* Initialize the contents of the e->procinfo structure */
        proc_init_procinfo(p);
@@ -367,89 +316,90 @@ static error_t proc_alloc(struct proc *SAFE*SAFE pp, pid_t parent_id)
        FRONT_RING_INIT(&p->syseventfrontring,
                        &p->procdata->syseventring,
                        SYSEVENTRINGSIZE);
-       *pp = p;
-       atomic_inc(&num_envs);
 
-#ifdef __CONFIG_EXPER_TRADPROC__
-       p->true_proc = 0;
-       p->vcoreid = 0;
-       memset(p->vcore_procs, 0, sizeof(p->vcore_procs));
-#endif /* __CONFIG_EXPER_TRADPROC__ */
+       /* Init FS structures TODO: cleanup (might pull this out) */
+       kref_get(&default_ns.kref, 1);
+       p->ns = &default_ns;
+       spinlock_init(&p->fs_env.lock);
+       p->fs_env.umask = parent ? parent->fs_env.umask : S_IWGRP | S_IWOTH;
+       p->fs_env.root = p->ns->root->mnt_root;
+       kref_get(&p->fs_env.root->d_kref, 1);
+       p->fs_env.pwd = parent ? parent->fs_env.pwd : p->fs_env.root;
+       kref_get(&p->fs_env.pwd->d_kref, 1);
+       memset(&p->open_files, 0, sizeof(p->open_files));       /* slightly ghetto */
+       spinlock_init(&p->open_files.lock);
+       p->open_files.max_files = NR_OPEN_FILES_DEFAULT;
+       p->open_files.max_fdset = NR_FILE_DESC_DEFAULT;
+       p->open_files.fd = p->open_files.fd_array;
+       p->open_files.open_fds = (struct fd_set*)&p->open_files.open_fds_init;
 
+       atomic_inc(&num_envs);
        frontend_proc_init(p);
-
        printd("[%08x] new process %08x\n", current ? current->pid : 0, p->pid);
        } // INIT_STRUCT
+       *pp = p;
        return 0;
 }
 
-/* Creates a process from the specified binary, which is of size size.
- * Currently, the binary must be a contiguous block of memory, which needs to
- * change.  On any failure, it just panics, which ought to be sorted. */
-struct proc *proc_create(uint8_t *binary, size_t size)
+/* We have a bunch of different ways to make processes.  Call this once the
+ * process is ready to be used by the rest of the system.  For now, this just
+ * means when it is ready to be named via the pidhash.  In the future, we might
+ * push setting the state to CREATED into here. */
+void __proc_ready(struct proc *p)
+{
+       spin_lock(&pid_hash_lock);
+       hashtable_insert(pid_hash, (void*)p->pid, p);
+       spin_unlock(&pid_hash_lock);
+}
+
+/* Creates a process from the specified file, argvs, and envps.  Tempted to get
+ * rid of proc_alloc's style, but it is so quaint... */
+struct proc *proc_create(struct file *prog, char **argv, char **envp)
 {
        struct proc *p;
        error_t r;
-       pid_t curid;
-
-       curid = (current ? current->pid : 0);
-       if ((r = proc_alloc(&p, curid)) < 0)
-               panic("proc_create: %e", r); // one of 3 quaint usages of %e.
-       if(binary != NULL)
-               env_load_icode(p, NULL, binary, size);
+       if ((r = proc_alloc(&p, current)) < 0)
+               panic("proc_create: %e", r);    /* one of 3 quaint usages of %e */
+       procinfo_pack_args(p->procinfo, argv, envp);
+       assert(load_elf(p, prog) == 0);
+       /* Connect to stdin, stdout, stderr */
+       assert(insert_file(&p->open_files, dev_stdin,  0) == 0);
+       assert(insert_file(&p->open_files, dev_stdout, 0) == 1);
+       assert(insert_file(&p->open_files, dev_stderr, 0) == 2);
+       __proc_ready(p);
        return p;
 }
 
-/* This is called by proc_decref, once the last reference to the process is
+/* This is called by kref_put(), once the last reference to the process is
  * gone.  Don't call this otherwise (it will panic).  It will clean up the
  * address space and deallocate any other used memory. */
-static void __proc_free(struct proc *p)
+static void __proc_free(struct kref *kref)
 {
+       struct proc *p = container_of(kref, struct proc, kref);
        physaddr_t pa;
 
        printd("[PID %d] freeing proc: %d\n", current ? current->pid : 0, p->pid);
        // All parts of the kernel should have decref'd before __proc_free is called
-       assert(p->env_refcnt == 0);
-
-#ifdef __CONFIG_EXPER_TRADPROC__
-       if (!is_real_proc(p)) {
-               printd("Fake proc on core %d unmapping from parent\n", core_id());
-               p->true_proc->vcore_procs[p->vcoreid] = 0; /* unmap self */
-               proc_decref(p->true_proc, 1); // might deadlock
-               kmem_cache_free(proc_cache, p);
-               return;
-       } else {
-               /* make sure the kids are dead before spinning */
-               if (current && !is_real_proc(current)) {
-                       __abandon_core();
-               }
-               /* spin til my peeps are dead */
-               for (int i = 0; i < MAX_NUM_CPUS; i++) {
-                       for (int j = 0; p->vcore_procs[i]; j++) {
-                               cpu_relax();
-                               if (j == 10000) {
-                                       printk("Core %d stalled while waiting on peep %d\n",
-                                              core_id(), i);
-                                       //send_kernel_message(p->procinfo->vcoremap[i].pcoreid,
-                                       //                    __death, 0, 0, 0, KMSG_ROUTINE);
-                               }
-                       }
-               }
-       }
-       assert(is_real_proc(p));
-       printd("Core %d really trying to free proc %d (%p)\n", core_id(), p->pid, p);
-#endif /* __CONFIG_EXPER_TRADPROC__ */
-
-       frontend_proc_free(p);
-
-       // Free any colors allocated to this process
-       if(p->cache_colors_map != global_cache_colors_map) {
-               for(int i=0; i<llc_cache->num_colors; i++)
+       assert(kref_refcnt(&p->kref) == 0);
+
+       close_all_files(&p->open_files, FALSE);
+       kref_put(&p->fs_env.root->d_kref);
+       kref_put(&p->fs_env.pwd->d_kref);
+       destroy_vmrs(p);
+       frontend_proc_free(p);  /* TODO: please remove me one day */
+       /* Free any colors allocated to this process */
+       if (p->cache_colors_map != global_cache_colors_map) {
+               for(int i = 0; i < llc_cache->num_colors; i++)
                        cache_color_free(llc_cache, p->cache_colors_map);
                cache_colors_map_free(p->cache_colors_map);
        }
-
-       // Flush all mapped pages in the user portion of the address space
+       /* Remove us from the pid_hash and give our PID back (in that order). */
+       spin_lock(&pid_hash_lock);
+       if (!hashtable_remove(pid_hash, (void*)p->pid))
+               panic("Proc not in the pid table in %s", __FUNCTION__);
+       spin_unlock(&pid_hash_lock);
+       put_free_pid(p->pid);
+       /* Flush all mapped pages in the user portion of the address space */
        env_user_mem_free(p, 0, UVPT);
        /* These need to be free again, since they were allocated with a refcnt. */
        free_cont_pages(p->procinfo, LOG2_UP(PROCINFO_NUM_PAGES));
@@ -459,12 +409,6 @@ static void __proc_free(struct proc *p)
        p->env_pgdir = 0;
        p->env_cr3 = 0;
 
-       /* Remove self from the pid hash, return PID.  Note the reversed order. */
-       spin_lock(&pid_hash_lock);
-       if (!hashtable_remove(pid_hash, (void*)p->pid))
-               panic("Proc not in the pid table in %s", __FUNCTION__);
-       spin_unlock(&pid_hash_lock);
-       put_free_pid(p->pid);
        atomic_dec(&num_envs);
 
        /* Dealloc the struct proc */
@@ -478,6 +422,28 @@ bool proc_controls(struct proc *actor, struct proc *target)
        return ((actor == target) || (target->ppid == actor->pid));
 }
 
+/* Helper, makes p the 'current' process, dropping the old current/cr3.  Don't
+ * incref - this assumes the passed in reference already counted 'current'. */
+static void __set_proc_current(struct proc *p)
+{
+       /* We use the pcpui to access 'current' to cut down on the core_id() calls,
+        * though who know how expensive/painful they are. */
+       struct per_cpu_info *pcpui = &per_cpu_info[core_id()];
+       /* If the process wasn't here, then we need to load its address space. */
+       if (p != pcpui->cur_proc) {
+               /* Do not incref here.  We were given the reference to current,
+                * pre-upped. */
+               lcr3(p->env_cr3);
+               /* This is "leaving the process context" of the previous proc.  The
+                * previous lcr3 unloaded the previous proc's context.  This should
+                * rarely happen, since we usually proactively leave process context,
+                * but this is the fallback. */
+               if (pcpui->cur_proc)
+                       kref_put(&pcpui->cur_proc->kref);
+               pcpui->cur_proc = p;
+       }
+}
+
 /* Dispatches a process to run, either on the current core in the case of a
  * RUNNABLE_S, or on its partition in the case of a RUNNABLE_M.  This should
  * never be called to "restart" a core.  This expects that the "instructions"
@@ -497,40 +463,6 @@ void proc_run(struct proc *p)
        bool self_ipi_pending = FALSE;
        spin_lock(&p->proc_lock);
 
-#ifdef __CONFIG_EXPER_TRADPROC__
-       /* this filth is so the state won't affect how it's run.  whenever we call
-        * proc_run, we think we are RUNNABLE_S.  prob issues with DYING. */
-       switch (p->state) {
-               case (PROC_DYING):
-                       spin_unlock(&p->proc_lock);
-                       printk("Process %d not starting due to async death\n", p->pid);
-                       if (!management_core())
-                               smp_idle(); // this never returns
-                       return;
-               case (PROC_RUNNABLE_S):
-                       assert(current != p);
-                       __proc_set_state(p, PROC_RUNNING_S);
-                       __seq_start_write(&p->procinfo->coremap_seqctr);
-                       p->procinfo->num_vcores = 0;
-                       __map_vcore(p, p->vcoreid, core_id());
-                       __seq_end_write(&p->procinfo->coremap_seqctr);
-                       // fallthru
-               case (PROC_RUNNING_M):
-                       if (p == current)
-                               p->env_refcnt--; // TODO: (REF) use incref
-                       spin_unlock(&p->proc_lock);
-                       // TODO: HSS!!
-                       // restore fp state from the preempt slot?
-                       disable_irq();
-                       __proc_startcore(p, &p->env_tf);
-                       break;
-               default:
-                       panic("Weird state(%s) in %s()", procstate2str(p->state),
-                             __FUNCTION__);
-       }
-       return;
-#endif /* __CONFIG_EXPER_TRADPROC__ */
-
        switch (p->state) {
                case (PROC_DYING):
                        spin_unlock(&p->proc_lock);
@@ -550,18 +482,19 @@ void proc_run(struct proc *p)
                        p->procinfo->num_vcores = 0;
                        __map_vcore(p, 0, core_id()); // sort of.  this needs work.
                        __seq_end_write(&p->procinfo->coremap_seqctr);
-                       /* __proc_startcore assumes the reference we give it is for current.
-                        * Decref if current is already properly set. */
+                       /* __set_proc_current assumes the reference we give it is for
+                        * current.  Decref if current is already properly set, otherwise
+                        * ensure current is set. */
                        if (p == current)
-                               p->env_refcnt--; // TODO: (REF) use incref
-                       /* We don't want to process routine messages here, since it's a bit
-                        * different than when we perform a syscall in this process's
-                        * context.  We want interrupts disabled so that if there was a
-                        * routine message on the way, we'll get the interrupt once we pop
-                        * back to userspace.  */
+                               kref_put(&p->kref);
+                       else
+                               __set_proc_current(p);
+                       /* We restartcore, instead of startcore, since startcore is a bit
+                        * lower level and we want a chance to process kmsgs before starting
+                        * the process. */
                        spin_unlock(&p->proc_lock);
-                       disable_irq();
-                       __proc_startcore(p, &p->env_tf);
+                       current_tf = &p->env_tf;
+                       proc_restartcore();
                        break;
                case (PROC_RUNNABLE_M):
                        /* vcoremap[i] holds the coreid of the physical core allocated to
@@ -571,15 +504,14 @@ void proc_run(struct proc *p)
                                __proc_set_state(p, PROC_RUNNING_M);
                                /* Up the refcnt, since num_vcores are going to start using this
                                 * process and have it loaded in their 'current'. */
-                               p->env_refcnt += p->procinfo->num_vcores; // TODO: (REF) use incref
+                               kref_get(&p->kref, p->procinfo->num_vcores);
                                /* If the core we are running on is in the vcoremap, we will get
                                 * an IPI (once we reenable interrupts) and never return. */
                                if (is_mapped_vcore(p, core_id()))
                                        self_ipi_pending = TRUE;
                                for (int i = 0; i < p->procinfo->num_vcores; i++)
-                                       send_kernel_message(p->procinfo->vcoremap[i].pcoreid,
-                                                           (void *)__startcore, (void *)p, 0, 0,
-                                                           KMSG_ROUTINE);
+                                       send_kernel_message(get_pcoreid(p, i), __startcore, p, 0,
+                                                           0, KMSG_ROUTINE);
                        } else {
                                warn("Tried to proc_run() an _M with no vcores!");
                        }
@@ -618,19 +550,7 @@ void proc_run(struct proc *p)
 static void __proc_startcore(struct proc *p, trapframe_t *tf)
 {
        assert(!irq_is_enabled());
-       /* If the process wasn't here, then we need to load its address space. */
-       if (p != current) {
-               /* Do not incref here.  We were given the reference to current,
-                * pre-upped. */
-               lcr3(p->env_cr3);
-               /* This is "leaving the process context" of the previous proc.  The
-                * previous lcr3 unloaded the previous proc's context.  This should
-                * rarely happen, since we usually proactively leave process context,
-                * but is the fallback. */
-               if (current)
-                       proc_decref(current, 1);
-               set_current_proc(p);
-       }
+       __set_proc_current(p);
        /* need to load our silly state, preferably somewhere other than here so we
         * can avoid the case where the context was just running here.  it's not
         * sufficient to do it in the "new process" if-block above (could be things
@@ -642,11 +562,13 @@ static void __proc_startcore(struct proc *p, trapframe_t *tf)
         * __startcore.  */
        if (p->state == PROC_RUNNING_S)
                env_pop_ancillary_state(p);
+       /* Clear the current_tf, since it is no longer used */
+       current_tf = 0;
        env_pop_tf(tf);
 }
 
-/* Restarts the given context (trapframe) of process p on the core this code
- * executes on.  Calls an internal function to do the work.
+/* Restarts/runs the current_tf, which must be for the current process, on the
+ * core this code executes on.  Calls an internal function to do the work.
  *
  * In case there are pending routine messages, like __death, __preempt, or
  * __notify, we need to run them.  Alternatively, if there are any, we could
@@ -656,12 +578,23 @@ static void __proc_startcore(struct proc *p, trapframe_t *tf)
  * Refcnting: this will not return, and it assumes that you've accounted for
  * your reference as if it was the ref for "current" (which is what happens when
  * returning from local traps and such. */
-void proc_restartcore(struct proc *p, trapframe_t *tf)
+void proc_restartcore(void)
 {
+       struct per_cpu_info *pcpui = &per_cpu_info[core_id()];
+       /* If there is no cur_tf, it is because the old one was already restarted
+        * (and we weren't interrupting another one to finish).  In which case, we
+        * should just smp_idle() */
+       if (!pcpui->cur_tf) {
+               assert(!current);       /* might be wrong, but i want to know if it is */
+               smp_idle();
+       }
+       /* TODO: this is where we can decide to smp_idle() if there is no cur_tf */
        /* Need ints disabled when we return from processing (race) */
        disable_irq();
-       process_routine_kmsg();
-       __proc_startcore(p, tf);
+       /* Need to be current (set by the caller), in case a kmsg is there that
+        * tries to clobber us. */
+       process_routine_kmsg(pcpui->cur_tf);
+       __proc_startcore(pcpui->cur_proc, pcpui->cur_tf);
 }
 
 /*
@@ -687,24 +620,10 @@ void proc_restartcore(struct proc *p, trapframe_t *tf)
 void proc_destroy(struct proc *p)
 {
        bool self_ipi_pending = FALSE;
-
-#ifdef __CONFIG_EXPER_TRADPROC__
-       /* in case a fake proc tries to kill themselves directly */
-       if (!is_real_proc(p)) {
-               printd("Trying to destroy a fake proc, will kill true proc\n");
-               proc_destroy(p->true_proc);
-               return;
-       }
-#endif /* __CONFIG_EXPER_TRADPROC__ */
-
+       
        spin_lock(&p->proc_lock);
-
        /* TODO: (DEATH) look at this again when we sort the __death IPI */
-#ifdef __CONFIG_EXPER_TRADPROC__
-       if ((current == p) || (current && (current->true_proc == p)))
-#else
        if (current == p)
-#endif /* __CONFIG_EXPER_TRADPROC__ */
                self_ipi_pending = TRUE;
 
        switch (p->state) {
@@ -726,13 +645,12 @@ void proc_destroy(struct proc *p)
                        // here's how to do it manually
                        if (current == p) {
                                lcr3(boot_cr3);
-                               proc_decref(p, 1); // this decref is for the cr3
+                               kref_put(&p->kref);             /* this decref is for the cr3 */
                                current = NULL;
                        }
                        #endif
-                       send_kernel_message(p->procinfo->vcoremap[0].pcoreid, __death,
-                                          (void *SNT)0, (void *SNT)0, (void *SNT)0,
-                                          KMSG_ROUTINE);
+                       send_kernel_message(get_pcoreid(p, 0), __death, 0, 0, 0,
+                                           KMSG_ROUTINE);
                        __seq_start_write(&p->procinfo->coremap_seqctr);
                        // TODO: might need to sort num_vcores too later (VC#)
                        /* vcore is unmapped on the receive side */
@@ -740,7 +658,7 @@ void proc_destroy(struct proc *p)
                        #if 0
                        /* right now, RUNNING_S only runs on a mgmt core (0), not cores
                         * managed by the idlecoremap.  so don't do this yet. */
-                       put_idle_core(p->procinfo->vcoremap[0].pcoreid);
+                       put_idle_core(get_pcoreid(p, 0));
                        #endif
                        break;
                case PROC_RUNNING_M:
@@ -751,20 +669,22 @@ void proc_destroy(struct proc *p)
                        __proc_take_allcores(p, __death, (void *SNT)0, (void *SNT)0,
                                             (void *SNT)0);
                        break;
+               case PROC_CREATED:
+                       break;
                default:
                        panic("Weird state(%s) in %s()", procstate2str(p->state),
                              __FUNCTION__);
        }
        __proc_set_state(p, PROC_DYING);
-       /* this decref is for the process in general */
-       p->env_refcnt--; // TODO (REF)
-       //proc_decref(p, 1);
-
+       /* This kref_put() is for the process's existence. */
+       kref_put(&p->kref);
        /* Unlock and possible decref and wait.  A death IPI should be on its way,
         * either from the RUNNING_S one, or from proc_take_cores with a __death.
         * in general, interrupts should be on when you call proc_destroy locally,
         * but currently aren't for all things (like traphandlers). */
        spin_unlock(&p->proc_lock);
+       /* at this point, we normally have one ref to be eaten in kmsg_pending and
+        * one for every 'current'.  and maybe one for a parent */
        __proc_kmsg_pending(p, self_ipi_pending);
        return;
 }
@@ -797,21 +717,39 @@ static uint32_t get_busy_vcoreid(struct proc *SAFE p, uint32_t prev)
        return i;
 }
 
-/* Helper function.  Is the given pcore a mapped vcore?  Hold the lock before
- * calling. */
+/* Helper function.  Is the given pcore a mapped vcore?  No locking involved, be
+ * careful. */
 static bool is_mapped_vcore(struct proc *p, uint32_t pcoreid)
 {
        return p->procinfo->pcoremap[pcoreid].valid;
 }
 
 /* Helper function.  Find the vcoreid for a given physical core id for proc p.
- * You better hold the lock before calling this.  Panics on failure. */
-static uint32_t get_vcoreid(struct proc *SAFE p, uint32_t pcoreid)
+ * No locking involved, be careful.  Panics on failure. */
+static uint32_t get_vcoreid(struct proc *p, uint32_t pcoreid)
 {
        assert(is_mapped_vcore(p, pcoreid));
        return p->procinfo->pcoremap[pcoreid].vcoreid;
 }
 
+/* Helper function.  Find the pcoreid for a given virtual core id for proc p.
+ * No locking involved, be careful.  Panics on failure. */
+static uint32_t get_pcoreid(struct proc *p, uint32_t vcoreid)
+{
+       assert(p->procinfo->vcoremap[vcoreid].valid);
+       return p->procinfo->vcoremap[vcoreid].pcoreid;
+}
+
+/* Helper function: yields / wraps up current_tf and schedules the _S */
+void __proc_yield_s(struct proc *p, struct trapframe *tf)
+{
+       assert(p->state == PROC_RUNNING_S);
+       p->env_tf= *tf;
+       env_push_ancillary_state(p);                    /* TODO: (HSS) */
+       __proc_set_state(p, PROC_RUNNABLE_S);
+       schedule_proc(p);
+}
+
 /* Yields the calling core.  Must be called locally (not async) for now.
  * - If RUNNING_S, you just give up your time slice and will eventually return.
  * - If RUNNING_M, you give up the current vcore (which never returns), and
@@ -833,19 +771,10 @@ void proc_yield(struct proc *SAFE p, bool being_nice)
        uint32_t vcoreid = get_vcoreid(p, core_id());
        struct vcore *vc = &p->procinfo->vcoremap[vcoreid];
 
-#ifdef __CONFIG_OSDI__
-       bool new_idle_core = FALSE;
-#endif /* __CONFIG_OSDI__ */
-
        /* no reason to be nice, return */
        if (being_nice && !vc->preempt_pending)
                return;
 
-#ifdef __CONFIG_EXPER_TRADPROC__
-       if (p->state & (PROC_RUNNING_M | PROC_DYING))
-               return;
-#endif /* __CONFIG_EXPER_TRADPROC__ */
-
        spin_lock(&p->proc_lock); /* horrible scalability.  =( */
 
        /* fate is sealed, return and take the preempt message on the way out.
@@ -861,17 +790,13 @@ void proc_yield(struct proc *SAFE p, bool being_nice)
 
        switch (p->state) {
                case (PROC_RUNNING_S):
-                       p->env_tf= *current_tf;
-                       env_push_ancillary_state(p); // TODO: (HSS)
-                       __proc_set_state(p, PROC_RUNNABLE_S);
-                       schedule_proc(p);
+                       __proc_yield_s(p, current_tf);  /* current_tf 0'd in abandon core */
                        break;
                case (PROC_RUNNING_M):
                        printd("[K] Process %d (%p) is yielding on vcore %d\n", p->pid, p,
                               get_vcoreid(p, core_id()));
                        /* TODO: (RMS) the Scheduler cannot handle the Runnable Ms (RMS), so
-                        * don't yield the last vcore.  It's ghetto and for OSDI, but it
-                        * needs to be fixed for all builds, not just CONFIG_OSDI. */
+                        * don't yield the last vcore. */
                        if (p->procinfo->num_vcores == 1) {
                                spin_unlock(&p->proc_lock);
                                return;
@@ -885,9 +810,6 @@ void proc_yield(struct proc *SAFE p, bool being_nice)
                        __seq_end_write(&p->procinfo->coremap_seqctr);
                        // add to idle list
                        put_idle_core(core_id());
-#ifdef __CONFIG_OSDI__
-                       new_idle_core = TRUE;
-#endif /* __CONFIG_OSDI__ */
                        // last vcore?  then we really want 1, and to yield the gang
                        // TODO: (RMS) will actually do this.
                        if (p->procinfo->num_vcores == 0) {
@@ -902,25 +824,13 @@ void proc_yield(struct proc *SAFE p, bool being_nice)
                              __FUNCTION__);
        }
        spin_unlock(&p->proc_lock);
-       proc_decref(p, 1); // need to eat the ref passed in.
-#ifdef __CONFIG_OSDI__
-       /* If there was a change to the idle cores, try and give our core to someone who was
-        * preempted.  core_request likely won't return.  if that happens, p's
-        * context ought to be cleaned up in the proc_startcore of the new guy. (if
-        * we actually yielded)
-        * TODO: (RMS) do this more intelligently e.g.: kick_scheduler(); */
-       extern struct proc *victim;
-       if (new_idle_core && victim) {
-               /* this ghetto victim pointer is not an edible reference, and core
-                * request will eat it when it doesn't return. */
-               proc_incref(victim, 1);
-               core_request(victim);
-               proc_decref(victim, 1);
-       }
-#endif /* __CONFIG_OSDI__ */
+       kref_put(&p->kref);                     /* need to eat the ref passed in */
+       /* TODO: (RMS) If there was a change to the idle cores, try and give our
+        * core to someone who was preempted. */
        /* Clean up the core and idle.  For mgmt cores, they will ultimately call
         * manager, which will call schedule() and will repick the yielding proc. */
        abandon_core();
+       smp_idle();
 }
 
 /* If you expect to notify yourself, cleanup state and process_routine_kmsg() */
@@ -962,8 +872,8 @@ void do_notify(struct proc *p, uint32_t vcoreid, unsigned int notif,
                        if ((p->state & PROC_RUNNING_M) && // TODO: (VC#) (_S state)
                                      (p->procinfo->vcoremap[vcoreid].valid)) {
                                printd("[kernel] sending notif to vcore %d\n", vcoreid);
-                               send_kernel_message(p->procinfo->vcoremap[vcoreid].pcoreid,
-                                                   __notify, p, 0, 0, KMSG_ROUTINE);
+                               send_kernel_message(get_pcoreid(p, vcoreid), __notify, p, 0, 0,
+                                                   KMSG_ROUTINE);
                        } else { // TODO: think about this, fallback, etc
                                warn("Vcore unmapped, not receiving an active notif");
                        }
@@ -1186,9 +1096,6 @@ uint32_t proc_get_vcoreid(struct proc *SAFE p, uint32_t pcoreid)
  * WARNING: You must hold the proc_lock before calling this! */
 bool __proc_give_cores(struct proc *SAFE p, uint32_t *pcorelist, size_t num)
 { TRUSTEDBLOCK
-#ifdef __CONFIG_EXPER_TRADPROC__
-       assert(is_real_proc(p));
-#endif /* __CONFIG_EXPER_TRADPROC__ */
        bool self_ipi_pending = FALSE;
        uint32_t free_vcoreid = 0;
        switch (p->state) {
@@ -1211,9 +1118,6 @@ bool __proc_give_cores(struct proc *SAFE p, uint32_t *pcorelist, size_t num)
                                        assert(p->procinfo->vcoremap[i].valid);
                        }
                        // add new items to the vcoremap
-#ifdef __CONFIG_EXPER_TRADPROC__
-                       __proc_set_state(p, PROC_RUNNING_M);
-#endif /* __CONFIG_EXPER_TRADPROC__ */
                        __seq_start_write(&p->procinfo->coremap_seqctr);
                        for (int i = 0; i < num; i++) {
                                // find the next free slot, which should be the next one
@@ -1222,22 +1126,13 @@ bool __proc_give_cores(struct proc *SAFE p, uint32_t *pcorelist, size_t num)
                                       pcorelist[i]);
                                __map_vcore(p, free_vcoreid, pcorelist[i]);
                                p->procinfo->num_vcores++;
-#ifdef __CONFIG_EXPER_TRADPROC__
-                               struct proc *fake_proc;
-                               /* every vcore is a fake proc */
-                               fake_proc_alloc(&fake_proc, p, free_vcoreid);
-                               local_schedule_proc(pcorelist[i], fake_proc);
-#endif /* __CONFIG_EXPER_TRADPROC__ */
                        }
                        __seq_end_write(&p->procinfo->coremap_seqctr);
                        break;
                case (PROC_RUNNING_M):
                        /* Up the refcnt, since num cores are going to start using this
                         * process and have it loaded in their 'current'. */
-                       // TODO: (REF) use proc_incref once we have atomics
-#ifndef __CONFIG_EXPER_TRADPROC__ // the refcnt is done in fake_proc_alloc
-                       p->env_refcnt += num;
-#endif /* __CONFIG_EXPER_TRADPROC__ */
+                       kref_get(&p->kref, num);
                        __seq_start_write(&p->procinfo->coremap_seqctr);
                        for (int i = 0; i < num; i++) {
                                free_vcoreid = get_free_vcoreid(p, free_vcoreid);
@@ -1245,14 +1140,8 @@ bool __proc_give_cores(struct proc *SAFE p, uint32_t *pcorelist, size_t num)
                                       pcorelist[i]);
                                __map_vcore(p, free_vcoreid, pcorelist[i]);
                                p->procinfo->num_vcores++;
-#ifdef __CONFIG_EXPER_TRADPROC__
-                               struct proc *fake_proc;
-                               fake_proc_alloc(&fake_proc, p, free_vcoreid);
-                               local_schedule_proc(pcorelist[i], fake_proc);
-#else
                                send_kernel_message(pcorelist[i], __startcore, p, 0, 0,
                                                    KMSG_ROUTINE);
-#endif /* __CONFIG_EXPER_TRADPROC__ */
                                if (pcorelist[i] == core_id())
                                        self_ipi_pending = TRUE;
                        }
@@ -1293,10 +1182,6 @@ bool __proc_take_cores(struct proc *SAFE p, uint32_t *pcorelist,
                        size_t num, amr_t message, TV(a0t) arg0,
                        TV(a1t) arg1, TV(a2t) arg2)
 { TRUSTEDBLOCK
-#ifdef __CONFIG_EXPER_TRADPROC__
-       assert(is_real_proc(p));
-       assert(0);
-#endif /* __CONFIG_EXPER_TRADPROC__ */
        uint32_t vcoreid, pcoreid;
        bool self_ipi_pending = FALSE;
        switch (p->state) {
@@ -1318,7 +1203,7 @@ bool __proc_take_cores(struct proc *SAFE p, uint32_t *pcorelist,
        for (int i = 0; i < num; i++) {
                vcoreid = get_vcoreid(p, pcorelist[i]);
                // while ugly, this is done to facilitate merging with take_all_cores
-               pcoreid = p->procinfo->vcoremap[vcoreid].pcoreid;
+               pcoreid = get_pcoreid(p, vcoreid);
                assert(pcoreid == pcorelist[i]);
                if (message) {
                        if (pcoreid == core_id())
@@ -1348,9 +1233,6 @@ bool __proc_take_cores(struct proc *SAFE p, uint32_t *pcorelist,
 bool __proc_take_allcores(struct proc *SAFE p, amr_t message,
                           TV(a0t) arg0, TV(a1t) arg1, TV(a2t) arg2)
 {
-#ifdef __CONFIG_EXPER_TRADPROC__
-       assert(is_real_proc(p));
-#endif /* __CONFIG_EXPER_TRADPROC__ */
        uint32_t active_vcoreid = 0, pcoreid;
        bool self_ipi_pending = FALSE;
        switch (p->state) {
@@ -1368,17 +1250,10 @@ bool __proc_take_allcores(struct proc *SAFE p, amr_t message,
        assert(num_idlecores + p->procinfo->num_vcores <= num_cpus); // sanity
        spin_unlock(&idle_lock);
        __seq_start_write(&p->procinfo->coremap_seqctr);
-#ifdef __CONFIG_EXPER_TRADPROC__
-       /* Decref each child, so they will free themselves when they unmap */
-       for (int i = 0; i < MAX_NUM_CPUS; i++) {
-               if (p->vcore_procs[i])
-                       proc_decref(p->vcore_procs[i], 1);
-       }
-#endif /* __CONFIG_EXPER_TRADPROC__ */
        for (int i = 0; i < p->procinfo->num_vcores; i++) {
                // find next active vcore
                active_vcoreid = get_busy_vcoreid(p, active_vcoreid);
-               pcoreid = p->procinfo->vcoremap[active_vcoreid].pcoreid;
+               pcoreid = get_pcoreid(p, active_vcoreid);
                if (message) {
                        if (pcoreid == core_id())
                                self_ipi_pending = TRUE;
@@ -1416,8 +1291,8 @@ bool __proc_take_allcores(struct proc *SAFE p, amr_t message,
 void __proc_kmsg_pending(struct proc *p, bool ipi_pending)
 {
        if (ipi_pending) {
-               proc_decref(p, 1);
-               process_routine_kmsg();
+               kref_put(&p->kref);
+               process_routine_kmsg(0);
                panic("stack-killing kmsg not found in %s!!!", __FUNCTION__);
        }
 }
@@ -1440,54 +1315,15 @@ void __unmap_vcore(struct proc *p, uint32_t vcoreid)
        p->procinfo->pcoremap[p->procinfo->vcoremap[vcoreid].pcoreid].valid = FALSE;
 }
 
-/* This takes a referenced process and ups the refcnt by count.  If the refcnt
- * was already 0, then someone has a bug, so panic.  Check out the Documentation
- * for brutal details about refcnting.
- *
- * Implementation aside, the important thing is that we atomically increment
- * only if it wasn't already 0.  If it was 0, panic.
- *
- * TODO: (REF) change to use CAS / atomics. */
-void proc_incref(struct proc *p, size_t count)
-{
-       spin_lock_irqsave(&p->proc_lock);
-       if (p->env_refcnt)
-               p->env_refcnt += count;
-       else
-               panic("Tried to incref a proc with no existing references!");
-       spin_unlock_irqsave(&p->proc_lock);
-}
-
-/* When the kernel is done with a process, it decrements its reference count.
- * When the count hits 0, no one is using it and it should be freed.  "Last one
- * out" actually finalizes the death of the process.  This is tightly coupled
- * with the previous function (incref)
- *
- * TODO: (REF) change to use CAS.  Note that when we do so, we may be holding
- * the process lock when calling __proc_free().  Think about what order to do
- * those calls in (unlock, then decref?), and the race with someone unlocking
- * while someone else is __proc_free()ing. */
-void proc_decref(struct proc *p, size_t count)
-{
-       spin_lock_irqsave(&p->proc_lock);
-       p->env_refcnt -= count;
-       size_t refcnt = p->env_refcnt; // need to copy this in so it's not reloaded
-       spin_unlock_irqsave(&p->proc_lock);
-       // if we hit 0, no one else will increment and we can check outside the lock
-       if (!refcnt)
-               __proc_free(p);
-       if (refcnt < 0)
-               panic("Too many decrefs!");
-}
-
 /* Stop running whatever context is on this core, load a known-good cr3, and
  * 'idle'.  Note this leaves no trace of what was running. This "leaves the
  * process's context. */
 void abandon_core(void)
 {
-       if (current)
+       if (current) {
+               current_tf = 0;
                __abandon_core();
-       smp_idle();
+       }
 }
 
 /* Will send a TLB shootdown message to every vcore in the main address space
@@ -1504,15 +1340,25 @@ void abandon_core(void)
  * immediate message. */
 void __proc_tlbshootdown(struct proc *p, uintptr_t start, uintptr_t end)
 {
-       uint32_t active_vcoreid = 0, pcoreid;
-       /* TODO: (TLB) sanity checks and rounding on the ranges */
-       for (int i = 0; i < p->procinfo->num_vcores; i++) {
-               /* find next active vcore */
-               active_vcoreid = get_busy_vcoreid(p, active_vcoreid);
-               pcoreid = p->procinfo->vcoremap[active_vcoreid].pcoreid;
-               send_kernel_message(pcoreid, __tlbshootdown, (void*)start, (void*)end,
-                                   (void*)0, KMSG_IMMEDIATE);
-               active_vcoreid++; /* for the next loop, skip the one we just used */
+       uint32_t active_vcoreid = 0;
+       switch (p->state) {
+               case (PROC_RUNNING_S):
+                       tlbflush();
+                       break;
+               case (PROC_RUNNING_M):
+                       /* TODO: (TLB) sanity checks and rounding on the ranges */
+                       for (int i = 0; i < p->procinfo->num_vcores; i++) {
+                               /* find next active vcore */
+                               active_vcoreid = get_busy_vcoreid(p, active_vcoreid);
+                               send_kernel_message(get_pcoreid(p, active_vcoreid),
+                                                   __tlbshootdown, (void*)start, (void*)end,
+                                                   0, KMSG_IMMEDIATE);
+                               active_vcoreid++; /* next loop, skip the one we just used */
+                       }
+                       break;
+               default:
+                       /* will probably get this when we have the short handlers */
+                       warn("Unexpected case in %s\n", __FUNCTION__);
        }
 }
 
@@ -1528,7 +1374,7 @@ void __startcore(trapframe_t *tf, uint32_t srcid, void *a0, void *a1, void *a2)
        assert(p_to_run);
        /* the sender of the amsg increfed, thinking we weren't running current. */
        if (p_to_run == current)
-               proc_decref(p_to_run, 1);
+               kref_put(&p_to_run->kref);
        vcoreid = get_vcoreid(p_to_run, pcoreid);
        vcpd = &p_to_run->procdata->vcore_preempt_data[vcoreid];
        printd("[kernel] startcore on physical core %d for process %d's vcore %d\n",
@@ -1626,6 +1472,7 @@ void __preempt(trapframe_t *tf, uint32_t srcid, void *a0, void *a1, void *a2)
        __seq_start_write(&vcpd->preempt_tf_valid);
        __unmap_vcore(p, vcoreid);
        abandon_core();
+       smp_idle();
 }
 
 /* Kernel message handler to clean up the core when a process is dying.
@@ -1643,6 +1490,7 @@ void __death(trapframe_t *tf, uint32_t srcid, void *SNT a0, void *SNT a1,
                __unmap_vcore(current, vcoreid);
        }
        abandon_core();
+       smp_idle();
 }
 
 /* Kernel message handler, usually sent IMMEDIATE, to shoot down virtual
@@ -1682,12 +1530,7 @@ void print_allpids(void)
 void print_proc_info(pid_t pid)
 {
        int j = 0;
-       /* Doing this without the incref! careful! (avoiding deadlocks) TODO (REF)*/
-       //struct proc *p = pid2proc(pid);
-       spin_lock(&pid_hash_lock);
-       struct proc *p = hashtable_search(pid_hash, (void*)pid);
-       spin_unlock(&pid_hash_lock);
-       // not concerned with a race on the state...
+       struct proc *p = pid2proc(pid);
        if (!p) {
                printk("Bad PID.\n");
                return;
@@ -1698,45 +1541,34 @@ void print_proc_info(pid_t pid)
        printk("PID: %d\n", p->pid);
        printk("PPID: %d\n", p->ppid);
        printk("State: 0x%08x\n", p->state);
-       printk("Refcnt: %d\n", p->env_refcnt);
+       printk("Refcnt: %d\n", atomic_read(&p->kref.refcount) - 1);
        printk("Flags: 0x%08x\n", p->env_flags);
        printk("CR3(phys): 0x%08x\n", p->env_cr3);
        printk("Num Vcores: %d\n", p->procinfo->num_vcores);
        printk("Vcoremap:\n");
        for (int i = 0; i < p->procinfo->num_vcores; i++) {
                j = get_busy_vcoreid(p, j);
-               printk("\tVcore %d: Pcore %d\n", j, p->procinfo->vcoremap[j].pcoreid);
+               printk("\tVcore %d: Pcore %d\n", j, get_pcoreid(p, j));
                j++;
        }
        printk("Resources:\n");
        for (int i = 0; i < MAX_NUM_RESOURCES; i++)
                printk("\tRes type: %02d, amt wanted: %08d, amt granted: %08d\n", i,
                       p->resources[i].amt_wanted, p->resources[i].amt_granted);
-#ifdef __CONFIG_EXPER_TRADPROC__
-       void print_chain(struct proc *p)
-       {
-               if (!is_real_proc(p)) {
-                       printk("P is not a true_proc, parent is %p\n", p->true_proc);
-                       print_chain(p);
-               } else {
-                       printk("P is a true_proc\n");
-                       for (int i = 0; i < p->procinfo->num_vcores; i++) {
-                               printk("%p's child %d is %p\n", p, i, p->vcore_procs[i]);
-                               if (p->vcore_procs[i])
-                                       for (int j = 0; j < MAX_NUM_CPUS; j++)
-                                               if (p->vcore_procs[i]->vcore_procs[j])
-                                                       printk("Crap, child %p has its own child %p!!\n",
-                                                              p->vcore_procs[i],
-                                                              p->vcore_procs[i]->vcore_procs[j]);
-                       }
+       printk("Open Files:\n");
+       struct files_struct *files = &p->open_files;
+       spin_lock(&files->lock);
+       for (int i = 0; i < files->max_files; i++)
+               if (files->fd_array[i].fd_file) {
+                       printk("\tFD: %02d, File: %08p, File name: %s\n", i,
+                              files->fd_array[i].fd_file,
+                              file_name(files->fd_array[i].fd_file));
                }
-       }
-       print_chain(p);
-#endif /* __CONFIG_EXPER_TRADPROC__ */
+       spin_unlock(&files->lock);
        /* No one cares, and it clutters the terminal */
        //printk("Vcore 0's Last Trapframe:\n");
        //print_trapframe(&p->env_tf);
        /* no locking / unlocking or refcnting */
        // spin_unlock(&p->proc_lock);
-       // proc_decref(p, 1); /* decref for the pid2proc reference */
+       kref_put(&p->kref);
 }