ev_qs can request fallback to active vcores (XCC)
[akaros.git] / user / pthread / pthread.c
index 98cc05a..5a8f916 100644 (file)
@@ -5,7 +5,7 @@
 #include <stdlib.h>
 #include <string.h>
 #include <assert.h>
-#include <rstdio.h>
+#include <stdio.h>
 #include <errno.h>
 #include <parlib.h>
 #include <ros/event.h>
@@ -15,6 +15,7 @@
 #include <sys/mman.h>
 #include <assert.h>
 #include <event.h>
+#include <ucq.h>
 
 struct pthread_queue ready_queue = TAILQ_HEAD_INITIALIZER(ready_queue);
 struct pthread_queue active_queue = TAILQ_HEAD_INITIALIZER(active_queue);
@@ -23,19 +24,53 @@ pthread_once_t init_once = PTHREAD_ONCE_INIT;
 int threads_ready = 0;
 int threads_active = 0;
 
+/* Array of per-vcore structs to manage waiting on syscalls and handling
+ * overflow.  Init'd in pth_init(). */
+struct sysc_mgmt *sysc_mgmt = 0;
+
 /* Helper / local functions */
 static int get_next_pid(void);
 static inline void spin_to_sleep(unsigned int spins, unsigned int *spun);
 
-__thread struct pthread_tcb *current_thread = 0;
-
-void _pthread_init()
-{
-       if (vcore_init())
-               printf("vcore_init() failed, we're fucked!\n");
-       
-       assert(vcore_id() == 0);
-
+/* Pthread 2LS operations */
+struct uthread *pth_init(void);
+void pth_sched_entry(void);
+struct uthread *pth_thread_create(void (*func)(void), void *udata);
+void pth_thread_runnable(struct uthread *uthread);
+void pth_thread_yield(struct uthread *uthread);
+void pth_thread_destroy(struct uthread *uthread);
+void pth_preempt_pending(void);
+void pth_spawn_thread(uintptr_t pc_start, void *data);
+void pth_blockon_sysc(struct syscall *sysc);
+
+/* Event Handlers */
+static void pth_handle_syscall(struct event_msg *ev_msg, unsigned int ev_type);
+
+struct schedule_ops pthread_sched_ops = {
+       pth_init,
+       pth_sched_entry,
+       pth_thread_create,
+       pth_thread_runnable,
+       pth_thread_yield,
+       pth_thread_destroy,
+       pth_blockon_sysc,
+       0, /* pth_preempt_pending, */
+       0, /* pth_spawn_thread, */
+};
+
+/* Publish our sched_ops, overriding the weak defaults */
+struct schedule_ops *sched_ops = &pthread_sched_ops;
+
+/* Static helpers */
+static void __pthread_free_stack(struct pthread_tcb *pt);
+static int __pthread_allocate_stack(struct pthread_tcb *pt);
+
+/* Do whatever init you want.  Return a uthread representing thread0 (int
+ * main()) */
+struct uthread *pth_init(void)
+{
+       uintptr_t mmap_block;
+       struct mcs_lock_qnode local_qn = {0};
        /* Tell the kernel where and how we want to receive events.  This is just an
         * example of what to do to have a notification turned on.  We're turning on
         * USER_IPIs, posting events to vcore 0's vcpd, and telling the kernel to
@@ -44,131 +79,277 @@ void _pthread_init()
         * to use parts of event.c to do what you want. */
        enable_kevent(EV_USER_IPI, 0, EVENT_IPI);
 
-       /* don't forget to enable notifs on vcore0.  if you don't, the kernel will
-        * restart your _S with notifs disabled, which is a path to confusion. */
-       enable_notifs(0);
+       /* Handle syscall events.  Using small ev_qs, with no internal ev_mbox. */
+       ev_handlers[EV_SYSCALL] = pth_handle_syscall;
+       /* Set up the per-vcore structs to track outstanding syscalls */
+       sysc_mgmt = malloc(sizeof(struct sysc_mgmt) * max_vcores());
+       assert(sysc_mgmt);
+#if 1   /* Independent ev_mboxes per vcore */
+       /* Get a block of pages for our per-vcore (but non-VCPD) ev_qs */
+       mmap_block = (uintptr_t)mmap(0, PGSIZE * 2 * max_vcores(),
+                                    PROT_WRITE | PROT_READ,
+                                    MAP_POPULATE | MAP_ANONYMOUS, -1, 0);
+       assert(mmap_block);
+       /* Could be smarter and do this on demand (in case we don't actually want
+        * max_vcores()). */
+       for (int i = 0; i < max_vcores(); i++) {
+               /* Each vcore needs to point to a non-VCPD ev_q */
+               sysc_mgmt[i].ev_q = get_big_event_q_raw();
+               sysc_mgmt[i].ev_q->ev_flags = EVENT_IPI | EVENT_INDIR | EVENT_FALLBACK;
+               sysc_mgmt[i].ev_q->ev_vcore = i;
+               ucq_init_raw(&sysc_mgmt[i].ev_q->ev_mbox->ev_msgs, 
+                            mmap_block + (2 * i    ) * PGSIZE, 
+                            mmap_block + (2 * i + 1) * PGSIZE); 
+       }
+       /* Technically, we should munmap and free what we've alloc'd, but the
+        * kernel will clean it up for us when we exit. */
+#endif 
+#if 0   /* One global ev_mbox, separate ev_q per vcore */
+       struct event_mbox *sysc_mbox = malloc(sizeof(struct event_mbox));
+       uintptr_t two_pages = (uintptr_t)mmap(0, PGSIZE * 2, PROT_WRITE | PROT_READ,
+                                             MAP_POPULATE | MAP_ANONYMOUS, -1, 0);
+       printd("Global ucq: %08p\n", &sysc_mbox->ev_msgs);
+       assert(sysc_mbox);
+       assert(two_pages);
+       memset(sysc_mbox, 0, sizeof(struct event_mbox));
+       ucq_init_raw(&sysc_mbox->ev_msgs, two_pages, two_pages + PGSIZE);
+       for (int i = 0; i < max_vcores(); i++) {
+               sysc_mgmt[i].ev_q = get_event_q();
+               sysc_mgmt[i].ev_q->ev_flags = EVENT_IPI | EVENT_INDIR | EVENT_FALLBACK;
+               sysc_mgmt[i].ev_q->ev_vcore = i;
+               sysc_mgmt[i].ev_q->ev_mbox = sysc_mbox;
+       }
+#endif
 
        /* Create a pthread_tcb for the main thread */
        pthread_t t = (pthread_t)calloc(1, sizeof(struct pthread_tcb));
+       assert(t);
        t->id = get_next_pid();
+       t->stacksize = USTACK_NUM_PAGES * PGSIZE;
+       t->stacktop = (void*)USTACKTOP;
+       t->detached = TRUE;
+       t->flags = 0;
+       t->finished = 0;
        assert(t->id == 0);
        /* Put the new pthread on the active queue */
-       mcs_lock_lock(&queue_lock);
+       mcs_lock_notifsafe(&queue_lock, &local_qn);
        threads_active++;
        TAILQ_INSERT_TAIL(&active_queue, t, next);
-       mcs_lock_unlock(&queue_lock);
-       
-       /* Save a pointer to the newly created threads tls region into its tcb */
-       t->tls_desc = get_tls_desc(0);
-       /* Save a pointer to the pthread in its own TLS */
-       current_thread = t;
-
-       /* Change temporarily to vcore0s tls region so we can save the newly created
-        * tcb into its current_thread variable and then restore it.  One minor
-        * issue is that vcore0's transition-TLS isn't TLS_INITed yet.  Until it is
-        * (right before vcore_entry(), don't try and take the address of any of
-        * its TLS vars. */
-       extern void** vcore_thread_control_blocks;
-       set_tls_desc(vcore_thread_control_blocks[0], 0);
-       current_thread = t;
-       set_tls_desc(t->tls_desc, 0);
-
-       // TODO: consider replacing this when we have an interface allowing
-       // requesting absolute num vcores, and moving it to pthread_create and
-       // asking for 2
-       vcore_request(1);
+       mcs_unlock_notifsafe(&queue_lock, &local_qn);
+       return (struct uthread*)t;
 }
 
-void __attribute__((noreturn)) vcore_entry()
+/* Called from vcore entry.  Options usually include restarting whoever was
+ * running there before or running a new thread.  Events are handled out of
+ * event.c (table of function pointers, stuff like that). */
+void __attribute__((noreturn)) pth_sched_entry(void)
 {
        uint32_t vcoreid = vcore_id();
-
-       struct preempt_data *vcpd = &__procdata.vcore_preempt_data[vcoreid];
-
-       /* Should always have notifications disabled when coming in here. */
-       assert(vcpd->notif_enabled == FALSE);
-       assert(in_vcore_context());
-
-       check_preempt_pending(vcoreid);
-       handle_events(vcoreid);
-       // TODO: consider making this restart path work for restarting as well as
-       // freshly starting
-       if (current_thread) {
-               clear_notif_pending(vcoreid);
-               set_tls_desc(current_thread->tls_desc, vcoreid);
-               /* Pop the user trap frame */
-               pop_ros_tf(&vcpd->notif_tf, vcoreid);
+       if (current_uthread) {
+               run_current_uthread();
                assert(0);
        }
-
        /* no one currently running, so lets get someone from the ready queue */
        struct pthread_tcb *new_thread = NULL;
-       mcs_lock_lock(&queue_lock);
-       new_thread = TAILQ_FIRST(&ready_queue);
-       if (new_thread) {
-               TAILQ_REMOVE(&ready_queue, new_thread, next);
-               TAILQ_INSERT_TAIL(&active_queue, new_thread, next);
-               threads_active++;
-               threads_ready--;
-       }
-       mcs_lock_unlock(&queue_lock);
-       if (!new_thread) {
-               /* TODO: consider doing something more intelligent here */
-               printd("[P] No threads, vcore %d is yielding\n", vcoreid);
-               sys_yield(0);
-       }
-       /* Save a ptr to the pthread running in the transition context's TLS */
-       current_thread = new_thread;
-       printd("[P] Vcore %d is starting pthread %d\n", vcoreid, new_thread->id);
-
-       clear_notif_pending(vcoreid);
-       set_tls_desc(new_thread->tls_desc, vcoreid);
+       struct mcs_lock_qnode local_qn = {0};
+       /* Try to get a thread.  If we get one, we'll break out and run it.  If not,
+        * we'll try to yield.  vcore_yield() might return, if we lost a race and
+        * had a new event come in, one that may make us able to get a new_thread */
+       do {
+               handle_events(vcoreid);
+               mcs_lock_notifsafe(&queue_lock, &local_qn);
+               new_thread = TAILQ_FIRST(&ready_queue);
+               if (new_thread) {
+                       TAILQ_REMOVE(&ready_queue, new_thread, next);
+                       TAILQ_INSERT_TAIL(&active_queue, new_thread, next);
+                       threads_active++;
+                       threads_ready--;
+                       mcs_unlock_notifsafe(&queue_lock, &local_qn);
+                       break;
+               }
+               mcs_unlock_notifsafe(&queue_lock, &local_qn);
+               /* no new thread, try to yield */
+               printd("[P] No threads, vcore %d is yielding\n", vcore_id());
+               /* TODO: you can imagine having something smarter here, like spin for a
+                * bit before yielding (or not at all if you want to be greedy). */
+               vcore_yield();
+       } while (1);
+       assert(((struct uthread*)new_thread)->state != UT_RUNNING);
+       run_uthread((struct uthread*)new_thread);
+       assert(0);
+}
 
-       /* Load silly state (Floating point) too.  For real */
-       // TODO: (HSS)
+/* Could move this, along with start_routine and arg, into the 2LSs */
+static void __pthread_run(void)
+{
+       struct pthread_tcb *me = pthread_self();
+       pthread_exit(me->start_routine(me->arg));
+}
 
-       /* Pop the user trap frame */
-       pop_ros_tf(&new_thread->utf, vcoreid);
-       assert(0);
+/* Responible for creating the uthread and initializing its user trap frame */
+struct uthread *pth_thread_create(void (*func)(void), void *udata)
+{
+       struct pthread_tcb *pthread;
+       pthread_attr_t *attr = (pthread_attr_t*)udata;
+       pthread = (pthread_t)calloc(1, sizeof(struct pthread_tcb));
+       assert(pthread);
+       pthread->stacksize = PTHREAD_STACK_SIZE;        /* default */
+       pthread->finished = 0;
+       pthread->flags = 0;
+       pthread->id = get_next_pid();
+       pthread->detached = FALSE;                              /* default */
+       /* Respect the attributes */
+       if (attr) {
+               if (attr->stacksize)                                    /* don't set a 0 stacksize */
+                       pthread->stacksize = attr->stacksize;
+               if (attr->detachstate == PTHREAD_CREATE_DETACHED)
+                       pthread->detached = TRUE;
+       }
+       /* allocate a stack */
+       if (__pthread_allocate_stack(pthread))
+               printf("We're fucked\n");
+       /* Set the u_tf to start up in __pthread_run, which will call the real
+        * start_routine and pass it the arg.  Note those aren't set until later in
+        * pthread_create(). */
+       init_user_tf(&pthread->uthread.utf, (uint32_t)__pthread_run, 
+                 (uint32_t)(pthread->stacktop));
+       return (struct uthread*)pthread;
 }
 
-int pthread_attr_init(pthread_attr_t *a)
+void pth_thread_runnable(struct uthread *uthread)
 {
-       a->stacksize = PTHREAD_STACK_SIZE;
-       a->detachstate = PTHREAD_CREATE_JOINABLE;
-       return 0;
+       struct pthread_tcb *pthread = (struct pthread_tcb*)uthread;
+       struct mcs_lock_qnode local_qn = {0};
+       /* Insert the newly created thread into the ready queue of threads.
+        * It will be removed from this queue later when vcore_entry() comes up */
+       mcs_lock_notifsafe(&queue_lock, &local_qn);
+       TAILQ_INSERT_TAIL(&ready_queue, pthread, next);
+       threads_ready++;
+       mcs_unlock_notifsafe(&queue_lock, &local_qn);
+       /* Smarter schedulers should look at the num_vcores() and how much work is
+        * going on to make a decision about how many vcores to request. */
+       vcore_request(threads_ready);
+}
+
+/* The calling thread is yielding.  Do what you need to do to restart (like put
+ * yourself on a runqueue), or do some accounting.  Eventually, this might be a
+ * little more generic than just yield. */
+void pth_thread_yield(struct uthread *uthread)
+{
+       struct pthread_tcb *pthread = (struct pthread_tcb*)uthread;
+       struct mcs_lock_qnode local_qn = {0};
+       /* Remove from the active list, whether exiting or yielding.  We're holding
+        * the lock throughout both list modifications (if applicable). */
+       mcs_lock_notifsafe(&queue_lock, &local_qn);
+       threads_active--;
+       TAILQ_REMOVE(&active_queue, pthread, next);
+       if (pthread->flags & PTHREAD_EXITING) {
+               mcs_unlock_notifsafe(&queue_lock, &local_qn);
+               uthread_destroy(uthread);
+       } else {
+               /* Put it on the ready list (tail).  Don't do this until we are done
+                * completely with the thread, since it can be restarted somewhere else.
+                * */
+               threads_ready++;
+               TAILQ_INSERT_TAIL(&ready_queue, pthread, next);
+               mcs_unlock_notifsafe(&queue_lock, &local_qn);
+       }
+}
+       
+void pth_thread_destroy(struct uthread *uthread)
+{
+       struct pthread_tcb *pthread = (struct pthread_tcb*)uthread;
+       /* Cleanup, mirroring pth_thread_create() */
+       __pthread_free_stack(pthread);
+       /* TODO: race on detach state */
+       if (pthread->detached)
+               free(pthread);
+       else
+               pthread->finished = 1;
 }
 
-int pthread_attr_destroy(pthread_attr_t *a)
+void pth_preempt_pending(void)
 {
-       return 0;
 }
 
-/* TODO: probably don't want to dealloc.  Considering caching */
-static void __pthread_free_tls(struct pthread_tcb *pt)
+void pth_spawn_thread(uintptr_t pc_start, void *data)
 {
-       extern void _dl_deallocate_tls (void *tcb, bool dealloc_tcb) internal_function;
+}
 
-       assert(pt->tls_desc);
-       _dl_deallocate_tls(pt->tls_desc, TRUE);
-       pt->tls_desc = NULL;
+/* Restarts a uthread hanging off a syscall.  For the simple pthread case, we
+ * just make it runnable and let the main scheduler code handle it. */
+static void restart_thread(struct syscall *sysc)
+{
+       struct uthread *ut_restartee = (struct uthread*)sysc->u_data;
+       /* uthread stuff here: */
+       assert(ut_restartee);
+       assert(ut_restartee->state == UT_BLOCKED);
+       assert(ut_restartee->sysc == sysc);
+       ut_restartee->sysc = 0; /* so we don't 'reblock' on this later */
+       uthread_runnable(ut_restartee);
 }
 
-static int __pthread_allocate_tls(struct pthread_tcb *pt)
+/* This handler is usually run in vcore context, though I can imagine it being
+ * called by a uthread in some other threading library. */
+static void pth_handle_syscall(struct event_msg *ev_msg, unsigned int ev_type)
 {
-       assert(!pt->tls_desc);
-       pt->tls_desc = allocate_tls();
-       if (!pt->tls_desc) {
-               errno = ENOMEM;
-               return -1;
+       struct syscall *sysc;
+       assert(in_vcore_context());
+       /* It's a bug if we don't have a msg (we're handling a syscall bit-event) */
+       assert(ev_msg);
+       /* Get the sysc from the message and just restart it */
+       sysc = ev_msg->ev_arg3;
+       assert(sysc);
+       restart_thread(sysc);
+}
+
+/* This will be called from vcore context, after the current thread has yielded
+ * and is trying to block on sysc.  Need to put it somewhere were we can wake it
+ * up when the sysc is done.  For now, we'll have the kernel send us an event
+ * when the syscall is done. */
+void pth_blockon_sysc(struct syscall *sysc)
+{
+       int old_flags;
+       bool need_to_restart = FALSE;
+       uint32_t vcoreid = vcore_id();
+
+       assert(current_uthread->state == UT_BLOCKED);
+       /* rip from the active queue */
+       struct mcs_lock_qnode local_qn = {0};
+       struct pthread_tcb *pthread = (struct pthread_tcb*)current_uthread;
+       mcs_lock_notifsafe(&queue_lock, &local_qn);
+       threads_active--;
+       TAILQ_REMOVE(&active_queue, pthread, next);
+       mcs_unlock_notifsafe(&queue_lock, &local_qn);
+
+       /* Set things up so we can wake this thread up later */
+       sysc->u_data = current_uthread;
+       /* Register our vcore's syscall ev_q to hear about this syscall. */
+       if (!register_evq(sysc, sysc_mgmt[vcoreid].ev_q)) {
+               /* Lost the race with the call being done.  The kernel won't send the
+                * event.  Just restart him. */
+               restart_thread(sysc);
        }
-       return 0;
+       /* GIANT WARNING: do not touch the thread after this point. */
 }
 
+/* Pthread interface stuff and helpers */
+
+int pthread_attr_init(pthread_attr_t *a)
+{
+       a->stacksize = PTHREAD_STACK_SIZE;
+       a->detachstate = PTHREAD_CREATE_JOINABLE;
+       return 0;
+}
+
+int pthread_attr_destroy(pthread_attr_t *a)
+{
+       return 0;
+}
 
 static void __pthread_free_stack(struct pthread_tcb *pt)
 {
-       assert(!munmap(pt->stacktop - PTHREAD_STACK_SIZE, PTHREAD_STACK_SIZE));
+       assert(!munmap(pt->stacktop - pt->stacksize, pt->stacksize));
 }
 
 static int __pthread_allocate_stack(struct pthread_tcb *pt)
@@ -183,12 +364,6 @@ static int __pthread_allocate_stack(struct pthread_tcb *pt)
        return 0;
 }
 
-void __pthread_run(void)
-{
-       struct pthread_tcb *me = current_thread;
-       pthread_exit(me->start_routine(me->arg));
-}
-
 // Warning, this will reuse numbers eventually
 static int get_next_pid(void)
 {
@@ -196,7 +371,6 @@ static int get_next_pid(void)
        return next_pid++;
 }
 
-
 int pthread_attr_setstacksize(pthread_attr_t *attr, size_t stacksize)
 {
        attr->stacksize = stacksize;
@@ -211,48 +385,14 @@ int pthread_attr_getstacksize(const pthread_attr_t *attr, size_t *stacksize)
 int pthread_create(pthread_t* thread, const pthread_attr_t* attr,
                    void *(*start_routine)(void *), void* arg)
 {
-       /* After this init, we are an MCP and the caller is a pthread */
-       pthread_once(&init_once,&_pthread_init);
-
-       struct pthread_tcb *t = pthread_self();
-       assert(t); /* TODO/FYI: doesn't prevent this from being in vcore context */
-       /* Don't migrate this thread to anothe vcore, since it depends on being on
-        * the same vcore throughout. */
-       t->dont_migrate = TRUE;
-       uint32_t vcoreid = vcore_id();
-       *thread = (pthread_t)calloc(1, sizeof(struct pthread_tcb));
-       (*thread)->start_routine = start_routine;
-       (*thread)->arg = arg;
-       (*thread)->stacksize = PTHREAD_STACK_SIZE;      /* default */
-       (*thread)->id = get_next_pid();
-       (*thread)->detached = FALSE;                            /* default */
-       /* Respect the attributes*/
-       if (attr) {
-               if (attr->stacksize)                                    /* don't set a 0 stacksize */
-                       (*thread)->stacksize = attr->stacksize;
-               if (attr->detachstate == PTHREAD_CREATE_DETACHED)
-                       (*thread)->detached = TRUE;
-       }
-       if (__pthread_allocate_stack(*thread) ||  __pthread_allocate_tls(*thread))
-               printf("We're fucked\n");
-       /* Save the ptr to the new pthread in that pthread's TLS */
-       set_tls_desc((*thread)->tls_desc, vcoreid);
-       current_thread = *thread;
-       set_tls_desc(t->tls_desc, vcoreid);
-       /* Set the u_tf to start up in __pthread_run, which will call the real
-        * start_routine and pass it the arg. */
-       init_user_tf(&(*thread)->utf, (uint32_t)__pthread_run, 
-                 (uint32_t)((*thread)->stacktop));
-       /* Insert the newly created thread into the ready queue of threads.
-        * It will be removed from this queue later when vcore_entry() comes up */
-       mcs_lock_lock(&queue_lock);
-       TAILQ_INSERT_TAIL(&ready_queue, *thread, next);
-       threads_ready++;
-       mcs_lock_unlock(&queue_lock);
-       /* Okay to migrate now. */
-       t->dont_migrate = FALSE;
-       /* Attempt to request a new core, may or may not get it... */
-       vcore_request(1);
+       struct pthread_tcb *pthread =
+              (struct pthread_tcb*)uthread_create(__pthread_run, (void*)attr);
+       if (!pthread)
+               return -1;
+       pthread->start_routine = start_routine;
+       pthread->arg = arg;
+       uthread_runnable((struct uthread*)pthread);
+       *thread = pthread;
        return 0;
 }
 
@@ -273,71 +413,9 @@ int pthread_join(pthread_t thread, void** retval)
        return 0;
 }
 
-static void __attribute__((noinline, noreturn)) 
-__pthread_yield(struct pthread_tcb *t)
-{
-       /* TODO: want to set this to FALSE once we no longer depend on being on this
-        * vcore.  Though if we are using TLS, we are depending on the vcore.  Since
-        * notifs are disabled and we are in a transition context, we probably
-        * shouldn't be moved anyway.  It does mean that a pthread could get jammed.
-        * If we do this after putting it on the active list, we'll have a race on
-        * dont_migrate. */
-       t->dont_migrate = FALSE;
-       /* Take from the active list, and put on the ready list (tail).  Don't do
-        * this until we are done completely with the thread, since it can be
-        * restarted somewhere else. */
-       mcs_lock_lock(&queue_lock);
-       threads_active--;
-       TAILQ_REMOVE(&active_queue, t, next);
-       threads_ready++;
-       TAILQ_INSERT_TAIL(&ready_queue, t, next);
-       mcs_lock_unlock(&queue_lock);
-       /* Leave the current vcore completely */
-       current_thread = NULL; // this might be okay, even with a migration
-       /* Go back to the entry point, where we can handle notifications or
-        * reschedule someone. */
-       vcore_entry();
-}
-
 int pthread_yield(void)
 {
-       struct pthread_tcb *t = pthread_self();
-       volatile bool yielding = TRUE; /* signal to short circuit when restarting */
-
-       /* TODO: (HSS) Save silly state */
-       // save_fp_state(&t->as);
-
-       /* Don't migrate this thread to another vcore, since it depends on being on
-        * the same vcore throughout (once it disables notifs). */
-       t->dont_migrate = TRUE;
-       uint32_t vcoreid = vcore_id();
-       printd("[P] Pthread id %d is yielding on vcore %d\n", t->id, vcoreid);
-       struct preempt_data *vcpd = &__procdata.vcore_preempt_data[vcoreid];
-       /* once we do this, we might miss a notif_pending, so we need to enter vcore
-        * entry later.  Need to disable notifs so we don't get in weird loops with
-        * save_ros_tf() and pop_ros_tf(). */
-       disable_notifs(vcoreid);
-       /* take the current state and save it into t->utf when this pthread
-        * restarts, it will continue from right after this, see yielding is false,
-        * and short ciruit the function. */
-       save_ros_tf(&t->utf);
-       if (!yielding)
-               goto yield_return_path;
-       yielding = FALSE; /* for when it starts back up */
-       /* Change to the transition context (both TLS and stack). */
-       extern void** vcore_thread_control_blocks;
-       set_tls_desc(vcore_thread_control_blocks[vcoreid], vcoreid);
-       assert(current_thread == t);    
-       /* After this, make sure you don't use local variables.  Note the warning in
-        * pthread_exit() */
-       set_stack_pointer((void*)vcpd->transition_stack);
-       /* Finish exiting in another function. */
-       __pthread_yield(current_thread);
-       /* Should never get here */
-       assert(0);
-       /* Will jump here when the pthread's trapframe is restarted/popped. */
-yield_return_path:
-       printd("[P] pthread %d returning from a yield!\n", t->id);
+       uthread_yield(TRUE);
        return 0;
 }
 
@@ -352,7 +430,6 @@ int pthread_mutexattr_destroy(pthread_mutexattr_t* attr)
   return 0;
 }
 
-
 int pthread_attr_setdetachstate(pthread_attr_t *__attr, int __detachstate)
 {
        __attr->detachstate = __detachstate;
@@ -376,7 +453,7 @@ int pthread_mutexattr_settype(pthread_mutexattr_t* attr, int type)
 int pthread_mutex_init(pthread_mutex_t* m, const pthread_mutexattr_t* attr)
 {
   m->attr = attr;
-  m->lock = 0;
+  atomic_init(&m->lock, 0);
   return 0;
 }
 
@@ -403,7 +480,7 @@ int pthread_mutex_lock(pthread_mutex_t* m)
 
 int pthread_mutex_trylock(pthread_mutex_t* m)
 {
-  return atomic_swap(&m->lock,1) == 0 ? 0 : EBUSY;
+  return atomic_swap(&m->lock, 1) == 0 ? 0 : EBUSY;
 }
 
 int pthread_mutex_unlock(pthread_mutex_t* m)
@@ -411,7 +488,7 @@ int pthread_mutex_unlock(pthread_mutex_t* m)
   /* Need to prevent the compiler (and some arches) from reordering older
    * stores */
   wmb();
-  m->lock = 0;
+  atomic_set(&m->lock, 0);
   return 0;
 }
 
@@ -456,11 +533,11 @@ int pthread_cond_signal(pthread_cond_t *c)
 
 int pthread_cond_wait(pthread_cond_t *c, pthread_mutex_t *m)
 {
-  int old_waiter = c->next_waiter;
-  int my_waiter = c->next_waiter;
+  uint32_t old_waiter = c->next_waiter;
+  uint32_t my_waiter = c->next_waiter;
   
   //allocate a slot
-  while (atomic_swap (& (c->in_use[my_waiter]), SLOT_IN_USE) == SLOT_IN_USE)
+  while (atomic_swap_u32(& (c->in_use[my_waiter]), SLOT_IN_USE) == SLOT_IN_USE)
   {
     my_waiter = (my_waiter + 1) % MAX_PTHREADS;
     assert (old_waiter != my_waiter);  // do not want to wrap around
@@ -503,7 +580,7 @@ int pthread_condattr_getpshared(pthread_condattr_t *a, int *s)
 
 pthread_t pthread_self()
 {
-  return current_thread;
+  return (struct pthread_tcb*)current_uthread;
 }
 
 int pthread_equal(pthread_t t1, pthread_t t2)
@@ -511,70 +588,20 @@ int pthread_equal(pthread_t t1, pthread_t t2)
   return t1 == t2;
 }
 
-/* Need to have this as a separate, non-inlined function since we clobber the
- * stack pointer before calling it, and don't want the compiler to play games
- * with my hart. */
-static void __attribute__((noinline, noreturn)) 
-__pthread_exit(struct pthread_tcb *t)
-{
-       __pthread_free_tls(t);
-       __pthread_free_stack(t);
-       /* TODO: race on detach state */
-       if (t->detached)
-               free(t);
-       /* Once we do this, our joiner can free us.  He won't free us if we're
-        * detached, but there is still a potential race there (since he's accessing
-        * someone who is freed. */
-       t->finished = 1;
-       current_thread = NULL;
-       /* Go back to the entry point, where we can handle notifications or
-        * reschedule someone. */
-       vcore_entry();
-}
-
 /* This function cannot be migrated to a different vcore by the userspace
- * scheduler.  Will need to sort that shit out.  */
-void pthread_exit(voidret)
+ * scheduler.  Will need to sort that shit out. */
+void pthread_exit(void *ret)
 {
-       struct pthread_tcb *t = pthread_self();
-       /* Don't migrate this thread to anothe vcore, since it depends on being on
-        * the same vcore throughout. */
-       t->dont_migrate = TRUE; // won't set this to false later, since he is dying
-
-       uint32_t vcoreid = vcore_id();
-       struct preempt_data *vcpd = &__procdata.vcore_preempt_data[vcoreid];
-
-       t->retval = ret;
-       mcs_lock_lock(&queue_lock);
-       threads_active--;
-       TAILQ_REMOVE(&active_queue, t, next);
-       mcs_lock_unlock(&queue_lock);
-
-       printd("[P] Pthread id %d is exiting on vcore %d\n", t->id, vcoreid);
-       
-       /* once we do this, we might miss a notif_pending, so we need to enter vcore
-        * entry later. */
-       disable_notifs(vcoreid);
-
-       /* Change to the transition context (both TLS and stack). */
-       extern void** vcore_thread_control_blocks;
-       set_tls_desc(vcore_thread_control_blocks[vcoreid], vcoreid);
-       assert(current_thread == t);    
-       /* After this, make sure you don't use local variables.  Also, make sure the
-        * compiler doesn't use them without telling you (TODO).
-        *
-        * In each arch's set_stack_pointer, make sure you subtract off as much room
-        * as you need to any local vars that might be pushed before calling the
-        * next function, or for whatever other reason the compiler/hardware might
-        * walk up the stack a bit when calling a noreturn function. */
-       set_stack_pointer((void*)vcpd->transition_stack);
-       /* Finish exiting in another function.  Ugh. */
-       __pthread_exit(current_thread);
+       struct pthread_tcb *pthread = pthread_self();
+       pthread->retval = ret;
+       /* So our pth_thread_yield knows we want to exit */
+       pthread->flags |= PTHREAD_EXITING;
+       uthread_yield(FALSE);
 }
 
 int pthread_once(pthread_once_t* once_control, void (*init_routine)(void))
 {
-  if(atomic_swap(once_control,1) == 0)
+  if (atomic_swap_u32(once_control, 1) == 0)
     init_routine();
   return 0;
 }
@@ -622,6 +649,7 @@ int pthread_barrier_destroy(pthread_barrier_t* b)
 
 int pthread_detach(pthread_t thread)
 {
+       /* TODO: race on this state.  Someone could be trying to join now */
        thread->detached = TRUE;
        return 0;
 }