uthread_exit() replaced with uthread_destroy()
[akaros.git] / user / pthread / pthread.c
1 #include <ros/arch/trapframe.h>
2 #include <pthread.h>
3 #include <vcore.h>
4 #include <mcs.h>
5 #include <stdlib.h>
6 #include <string.h>
7 #include <assert.h>
8 #include <stdio.h>
9 #include <errno.h>
10 #include <parlib.h>
11 #include <ros/event.h>
12 #include <arch/atomic.h>
13 #include <arch/arch.h>
14 #include <sys/queue.h>
15 #include <sys/mman.h>
16 #include <assert.h>
17 #include <event.h>
18 #include <ucq.h>
19
20 struct pthread_queue ready_queue = TAILQ_HEAD_INITIALIZER(ready_queue);
21 struct pthread_queue active_queue = TAILQ_HEAD_INITIALIZER(active_queue);
22 mcs_lock_t queue_lock = MCS_LOCK_INIT;
23 pthread_once_t init_once = PTHREAD_ONCE_INIT;
24 int threads_ready = 0;
25 int threads_active = 0;
26
27 /* Array of per-vcore structs to manage waiting on syscalls and handling
28  * overflow.  Init'd in pth_init(). */
29 struct sysc_mgmt *sysc_mgmt = 0;
30
31 /* Helper / local functions */
32 static int get_next_pid(void);
33 static inline void spin_to_sleep(unsigned int spins, unsigned int *spun);
34
35 /* Pthread 2LS operations */
36 struct uthread *pth_init(void);
37 void pth_sched_entry(void);
38 struct uthread *pth_thread_create(void (*func)(void), void *udata);
39 void pth_thread_runnable(struct uthread *uthread);
40 void pth_thread_yield(struct uthread *uthread);
41 void pth_thread_destroy(struct uthread *uthread);
42 void pth_preempt_pending(void);
43 void pth_spawn_thread(uintptr_t pc_start, void *data);
44 void pth_blockon_sysc(struct syscall *sysc);
45
46 /* Event Handlers */
47 static void pth_handle_syscall(struct event_msg *ev_msg, unsigned int ev_type);
48
49 struct schedule_ops pthread_sched_ops = {
50         pth_init,
51         pth_sched_entry,
52         pth_thread_create,
53         pth_thread_runnable,
54         pth_thread_yield,
55         pth_thread_destroy,
56         pth_blockon_sysc,
57         0, /* pth_preempt_pending, */
58         0, /* pth_spawn_thread, */
59 };
60
61 /* Publish our sched_ops, overriding the weak defaults */
62 struct schedule_ops *sched_ops = &pthread_sched_ops;
63
64 /* Static helpers */
65 static void __pthread_free_stack(struct pthread_tcb *pt);
66 static int __pthread_allocate_stack(struct pthread_tcb *pt);
67
68 /* Do whatever init you want.  Return a uthread representing thread0 (int
69  * main()) */
70 struct uthread *pth_init(void)
71 {
72         uintptr_t mmap_block;
73         struct mcs_lock_qnode local_qn = {0};
74         /* Tell the kernel where and how we want to receive events.  This is just an
75          * example of what to do to have a notification turned on.  We're turning on
76          * USER_IPIs, posting events to vcore 0's vcpd, and telling the kernel to
77          * send to vcore 0.  Note sys_self_notify will ignore the vcoreid pref.
78          * Also note that enable_kevent() is just an example, and you probably want
79          * to use parts of event.c to do what you want. */
80         enable_kevent(EV_USER_IPI, 0, EVENT_IPI);
81
82         /* Handle syscall events.  Using small ev_qs, with no internal ev_mbox. */
83         ev_handlers[EV_SYSCALL] = pth_handle_syscall;
84         /* Set up the per-vcore structs to track outstanding syscalls */
85         sysc_mgmt = malloc(sizeof(struct sysc_mgmt) * max_vcores());
86         assert(sysc_mgmt);
87 #if 1   /* Independent ev_mboxes per vcore */
88         /* Get a block of pages for our per-vcore (but non-VCPD) ev_qs */
89         mmap_block = (uintptr_t)mmap(0, PGSIZE * 2 * max_vcores(),
90                                      PROT_WRITE | PROT_READ,
91                                      MAP_POPULATE | MAP_ANONYMOUS, -1, 0);
92         assert(mmap_block);
93         /* Could be smarter and do this on demand (in case we don't actually want
94          * max_vcores()). */
95         for (int i = 0; i < max_vcores(); i++) {
96                 /* Each vcore needs to point to a non-VCPD ev_q */
97                 sysc_mgmt[i].ev_q = get_big_event_q_raw();
98                 sysc_mgmt[i].ev_q->ev_flags = EVENT_IPI;                /* totally up to you */
99                 sysc_mgmt[i].ev_q->ev_vcore = i;
100                 ucq_init_raw(&sysc_mgmt[i].ev_q->ev_mbox->ev_msgs, 
101                              mmap_block + (2 * i    ) * PGSIZE, 
102                              mmap_block + (2 * i + 1) * PGSIZE); 
103         }
104         /* Technically, we should munmap and free what we've alloc'd, but the
105          * kernel will clean it up for us when we exit. */
106 #endif 
107 #if 0   /* One global ev_mbox, separate ev_q per vcore */
108         struct event_mbox *sysc_mbox = malloc(sizeof(struct event_mbox));
109         uintptr_t two_pages = (uintptr_t)mmap(0, PGSIZE * 2, PROT_WRITE | PROT_READ,
110                                               MAP_POPULATE | MAP_ANONYMOUS, -1, 0);
111         printd("Global ucq: %08p\n", &sysc_mbox->ev_msgs);
112         assert(sysc_mbox);
113         assert(two_pages);
114         memset(sysc_mbox, 0, sizeof(struct event_mbox));
115         ucq_init_raw(&sysc_mbox->ev_msgs, two_pages, two_pages + PGSIZE);
116         for (int i = 0; i < max_vcores(); i++) {
117                 sysc_mgmt[i].ev_q = get_event_q();
118                 sysc_mgmt[i].ev_q->ev_flags = EVENT_IPI;
119                 sysc_mgmt[i].ev_q->ev_vcore = i;
120                 sysc_mgmt[i].ev_q->ev_mbox = sysc_mbox;
121         }
122 #endif
123
124         /* Create a pthread_tcb for the main thread */
125         pthread_t t = (pthread_t)calloc(1, sizeof(struct pthread_tcb));
126         assert(t);
127         t->id = get_next_pid();
128         assert(t->id == 0);
129         /* Put the new pthread on the active queue */
130         mcs_lock_notifsafe(&queue_lock, &local_qn);
131         threads_active++;
132         TAILQ_INSERT_TAIL(&active_queue, t, next);
133         mcs_unlock_notifsafe(&queue_lock, &local_qn);
134         return (struct uthread*)t;
135 }
136
137 /* Called from vcore entry.  Options usually include restarting whoever was
138  * running there before or running a new thread.  Events are handled out of
139  * event.c (table of function pointers, stuff like that). */
140 void __attribute__((noreturn)) pth_sched_entry(void)
141 {
142         uint32_t vcoreid = vcore_id();
143         if (current_uthread) {
144                 run_current_uthread();
145                 assert(0);
146         }
147         /* no one currently running, so lets get someone from the ready queue */
148         struct pthread_tcb *new_thread = NULL;
149         struct mcs_lock_qnode local_qn = {0};
150         /* For now, let's spin and handle events til we get a thread to run.  This
151          * will help catch races, instead of only having one core ever run a thread
152          * (if there is just one, etc).  Also, we don't need the EVENT_IPIs for this
153          * to work (since we poll handle_events() */
154         while (!new_thread) {
155                 handle_events(vcoreid);
156                 mcs_lock_notifsafe(&queue_lock, &local_qn);
157                 new_thread = TAILQ_FIRST(&ready_queue);
158                 if (new_thread) {
159                         TAILQ_REMOVE(&ready_queue, new_thread, next);
160                         TAILQ_INSERT_TAIL(&active_queue, new_thread, next);
161                         threads_active++;
162                         threads_ready--;
163                 }
164                 mcs_unlock_notifsafe(&queue_lock, &local_qn);
165         }
166         /* Instead of yielding, you could spin, turn off the core, set an alarm,
167          * whatever.  You want some logic to decide this.  Uthread code wil have
168          * helpers for this (like how we provide run_uthread()) */
169         if (!new_thread) {
170                 /* Note, we currently don't get here (due to the while loop) */
171                 printd("[P] No threads, vcore %d is yielding\n", vcore_id());
172                 /* Not actually yielding - just spin for now, so we can get syscall
173                  * unblocking events */
174                 vcore_idle();
175                 //sys_yield(0);
176                 assert(0);
177         }
178         assert(((struct uthread*)new_thread)->state != UT_RUNNING);
179         run_uthread((struct uthread*)new_thread);
180         assert(0);
181 }
182
183 /* Could move this, along with start_routine and arg, into the 2LSs */
184 static void __pthread_run(void)
185 {
186         struct pthread_tcb *me = pthread_self();
187         pthread_exit(me->start_routine(me->arg));
188 }
189
190 /* Responible for creating the uthread and initializing its user trap frame */
191 struct uthread *pth_thread_create(void (*func)(void), void *udata)
192 {
193         struct pthread_tcb *pthread;
194         pthread_attr_t *attr = (pthread_attr_t*)udata;
195         pthread = (pthread_t)calloc(1, sizeof(struct pthread_tcb));
196         assert(pthread);
197         pthread->stacksize = PTHREAD_STACK_SIZE;        /* default */
198         pthread->finished = 0;
199         pthread->flags = 0;
200         pthread->id = get_next_pid();
201         pthread->detached = FALSE;                              /* default */
202         /* Respect the attributes */
203         if (attr) {
204                 if (attr->stacksize)                                    /* don't set a 0 stacksize */
205                         pthread->stacksize = attr->stacksize;
206                 if (attr->detachstate == PTHREAD_CREATE_DETACHED)
207                         pthread->detached = TRUE;
208         }
209         /* allocate a stack */
210         if (__pthread_allocate_stack(pthread))
211                 printf("We're fucked\n");
212         /* Set the u_tf to start up in __pthread_run, which will call the real
213          * start_routine and pass it the arg.  Note those aren't set until later in
214          * pthread_create(). */
215         init_user_tf(&pthread->uthread.utf, (uint32_t)__pthread_run, 
216                  (uint32_t)(pthread->stacktop));
217         return (struct uthread*)pthread;
218 }
219
220 void pth_thread_runnable(struct uthread *uthread)
221 {
222         struct pthread_tcb *pthread = (struct pthread_tcb*)uthread;
223         struct mcs_lock_qnode local_qn = {0};
224         /* Insert the newly created thread into the ready queue of threads.
225          * It will be removed from this queue later when vcore_entry() comes up */
226         mcs_lock_notifsafe(&queue_lock, &local_qn);
227         TAILQ_INSERT_TAIL(&ready_queue, pthread, next);
228         threads_ready++;
229         mcs_unlock_notifsafe(&queue_lock, &local_qn);
230         /* Smarter schedulers should look at the num_vcores() and how much work is
231          * going on to make a decision about how many vcores to request. */
232         vcore_request(threads_ready);
233 }
234
235 /* The calling thread is yielding.  Do what you need to do to restart (like put
236  * yourself on a runqueue), or do some accounting.  Eventually, this might be a
237  * little more generic than just yield. */
238 void pth_thread_yield(struct uthread *uthread)
239 {
240         struct pthread_tcb *pthread = (struct pthread_tcb*)uthread;
241         struct mcs_lock_qnode local_qn = {0};
242         /* Remove from the active list, whether exiting or yielding.  We're holding
243          * the lock throughout both list modifications (if applicable). */
244         mcs_lock_notifsafe(&queue_lock, &local_qn);
245         threads_active--;
246         TAILQ_REMOVE(&active_queue, pthread, next);
247         if (pthread->flags & PTHREAD_EXITING) {
248                 mcs_unlock_notifsafe(&queue_lock, &local_qn);
249                 uthread_destroy(uthread);
250         } else {
251                 /* Put it on the ready list (tail).  Don't do this until we are done
252                  * completely with the thread, since it can be restarted somewhere else.
253                  * */
254                 threads_ready++;
255                 TAILQ_INSERT_TAIL(&ready_queue, pthread, next);
256                 mcs_unlock_notifsafe(&queue_lock, &local_qn);
257         }
258 }
259         
260 void pth_thread_destroy(struct uthread *uthread)
261 {
262         struct pthread_tcb *pthread = (struct pthread_tcb*)uthread;
263         /* Cleanup, mirroring pth_thread_create() */
264         __pthread_free_stack(pthread);
265         /* TODO: race on detach state */
266         if (pthread->detached)
267                 free(pthread);
268         else
269                 pthread->finished = 1;
270 }
271
272 void pth_preempt_pending(void)
273 {
274 }
275
276 void pth_spawn_thread(uintptr_t pc_start, void *data)
277 {
278 }
279
280 /* Restarts a uthread hanging off a syscall.  For the simple pthread case, we
281  * just make it runnable and let the main scheduler code handle it. */
282 static void restart_thread(struct syscall *sysc)
283 {
284         struct uthread *ut_restartee = (struct uthread*)sysc->u_data;
285         /* uthread stuff here: */
286         assert(ut_restartee);
287         assert(ut_restartee->state == UT_BLOCKED);
288         assert(ut_restartee->sysc == sysc);
289         ut_restartee->sysc = 0; /* so we don't 'reblock' on this later */
290         uthread_runnable(ut_restartee);
291 }
292
293 /* This handler is usually run in vcore context, though I can imagine it being
294  * called by a uthread in some other threading library. */
295 static void pth_handle_syscall(struct event_msg *ev_msg, unsigned int ev_type)
296 {
297         struct syscall *sysc;
298         assert(in_vcore_context());
299         /* It's a bug if we don't have a msg (we're handling a syscall bit-event) */
300         assert(ev_msg);
301         /* Get the sysc from the message and just restart it */
302         sysc = ev_msg->ev_arg3;
303         assert(sysc);
304         restart_thread(sysc);
305 }
306
307 /* This will be called from vcore context, after the current thread has yielded
308  * and is trying to block on sysc.  Need to put it somewhere were we can wake it
309  * up when the sysc is done.  For now, we'll have the kernel send us an event
310  * when the syscall is done. */
311 void pth_blockon_sysc(struct syscall *sysc)
312 {
313         int old_flags;
314         bool need_to_restart = FALSE;
315         uint32_t vcoreid = vcore_id();
316
317         assert(current_uthread->state == UT_BLOCKED);
318         /* rip from the active queue */
319         struct mcs_lock_qnode local_qn = {0};
320         struct pthread_tcb *pthread = (struct pthread_tcb*)current_uthread;
321         mcs_lock_notifsafe(&queue_lock, &local_qn);
322         threads_active--;
323         TAILQ_REMOVE(&active_queue, pthread, next);
324         mcs_unlock_notifsafe(&queue_lock, &local_qn);
325
326         /* Set things up so we can wake this thread up later */
327         sysc->u_data = current_uthread;
328         /* Register our vcore's syscall ev_q to hear about this syscall. */
329         if (!register_evq(sysc, sysc_mgmt[vcoreid].ev_q)) {
330                 /* Lost the race with the call being done.  The kernel won't send the
331                  * event.  Just restart him. */
332                 restart_thread(sysc);
333         }
334         /* GIANT WARNING: do not touch the thread after this point. */
335 }
336
337 /* Pthread interface stuff and helpers */
338
339 int pthread_attr_init(pthread_attr_t *a)
340 {
341         a->stacksize = PTHREAD_STACK_SIZE;
342         a->detachstate = PTHREAD_CREATE_JOINABLE;
343         return 0;
344 }
345
346 int pthread_attr_destroy(pthread_attr_t *a)
347 {
348         return 0;
349 }
350
351 static void __pthread_free_stack(struct pthread_tcb *pt)
352 {
353         assert(!munmap(pt->stacktop - pt->stacksize, pt->stacksize));
354 }
355
356 static int __pthread_allocate_stack(struct pthread_tcb *pt)
357 {
358         assert(pt->stacksize);
359         void* stackbot = mmap(0, pt->stacksize,
360                               PROT_READ|PROT_WRITE|PROT_EXEC,
361                               MAP_POPULATE|MAP_ANONYMOUS, -1, 0);
362         if (stackbot == MAP_FAILED)
363                 return -1; // errno set by mmap
364         pt->stacktop = stackbot + pt->stacksize;
365         return 0;
366 }
367
368 // Warning, this will reuse numbers eventually
369 static int get_next_pid(void)
370 {
371         static uint32_t next_pid = 0;
372         return next_pid++;
373 }
374
375 int pthread_attr_setstacksize(pthread_attr_t *attr, size_t stacksize)
376 {
377         attr->stacksize = stacksize;
378         return 0;
379 }
380 int pthread_attr_getstacksize(const pthread_attr_t *attr, size_t *stacksize)
381 {
382         *stacksize = attr->stacksize;
383         return 0;
384 }
385
386 int pthread_create(pthread_t* thread, const pthread_attr_t* attr,
387                    void *(*start_routine)(void *), void* arg)
388 {
389         struct pthread_tcb *pthread =
390                (struct pthread_tcb*)uthread_create(__pthread_run, (void*)attr);
391         if (!pthread)
392                 return -1;
393         pthread->start_routine = start_routine;
394         pthread->arg = arg;
395         uthread_runnable((struct uthread*)pthread);
396         *thread = pthread;
397         return 0;
398 }
399
400 int pthread_join(pthread_t thread, void** retval)
401 {
402         /* Not sure if this is the right semantics.  There is a race if we deref
403          * thread and he is already freed (which would have happened if he was
404          * detached. */
405         if (thread->detached) {
406                 printf("[pthread] trying to join on a detached pthread");
407                 return -1;
408         }
409         while (!thread->finished)
410                 pthread_yield();
411         if (retval)
412                 *retval = thread->retval;
413         free(thread);
414         return 0;
415 }
416
417 int pthread_yield(void)
418 {
419         uthread_yield(TRUE);
420         return 0;
421 }
422
423 int pthread_mutexattr_init(pthread_mutexattr_t* attr)
424 {
425   attr->type = PTHREAD_MUTEX_DEFAULT;
426   return 0;
427 }
428
429 int pthread_mutexattr_destroy(pthread_mutexattr_t* attr)
430 {
431   return 0;
432 }
433
434 int pthread_attr_setdetachstate(pthread_attr_t *__attr, int __detachstate)
435 {
436         __attr->detachstate = __detachstate;
437         return 0;
438 }
439
440 int pthread_mutexattr_gettype(const pthread_mutexattr_t* attr, int* type)
441 {
442   *type = attr ? attr->type : PTHREAD_MUTEX_DEFAULT;
443   return 0;
444 }
445
446 int pthread_mutexattr_settype(pthread_mutexattr_t* attr, int type)
447 {
448   if(type != PTHREAD_MUTEX_NORMAL)
449     return EINVAL;
450   attr->type = type;
451   return 0;
452 }
453
454 int pthread_mutex_init(pthread_mutex_t* m, const pthread_mutexattr_t* attr)
455 {
456   m->attr = attr;
457   atomic_init(&m->lock, 0);
458   return 0;
459 }
460
461 /* Set *spun to 0 when calling this the first time.  It will yield after 'spins'
462  * calls.  Use this for adaptive mutexes and such. */
463 static inline void spin_to_sleep(unsigned int spins, unsigned int *spun)
464 {
465         if ((*spun)++ == spins) {
466                 pthread_yield();
467                 *spun = 0;
468         }
469 }
470
471 int pthread_mutex_lock(pthread_mutex_t* m)
472 {
473         unsigned int spinner = 0;
474         while(pthread_mutex_trylock(m))
475                 while(*(volatile size_t*)&m->lock) {
476                         cpu_relax();
477                         spin_to_sleep(PTHREAD_MUTEX_SPINS, &spinner);
478                 }
479         return 0;
480 }
481
482 int pthread_mutex_trylock(pthread_mutex_t* m)
483 {
484   return atomic_swap(&m->lock, 1) == 0 ? 0 : EBUSY;
485 }
486
487 int pthread_mutex_unlock(pthread_mutex_t* m)
488 {
489   /* Need to prevent the compiler (and some arches) from reordering older
490    * stores */
491   wmb();
492   atomic_set(&m->lock, 0);
493   return 0;
494 }
495
496 int pthread_mutex_destroy(pthread_mutex_t* m)
497 {
498   return 0;
499 }
500
501 int pthread_cond_init(pthread_cond_t *c, const pthread_condattr_t *a)
502 {
503   c->attr = a;
504   memset(c->waiters,0,sizeof(c->waiters));
505   memset(c->in_use,0,sizeof(c->in_use));
506   c->next_waiter = 0;
507   return 0;
508 }
509
510 int pthread_cond_destroy(pthread_cond_t *c)
511 {
512   return 0;
513 }
514
515 int pthread_cond_broadcast(pthread_cond_t *c)
516 {
517   memset(c->waiters,0,sizeof(c->waiters));
518   return 0;
519 }
520
521 int pthread_cond_signal(pthread_cond_t *c)
522 {
523   int i;
524   for(i = 0; i < MAX_PTHREADS; i++)
525   {
526     if(c->waiters[i])
527     {
528       c->waiters[i] = 0;
529       break;
530     }
531   }
532   return 0;
533 }
534
535 int pthread_cond_wait(pthread_cond_t *c, pthread_mutex_t *m)
536 {
537   uint32_t old_waiter = c->next_waiter;
538   uint32_t my_waiter = c->next_waiter;
539   
540   //allocate a slot
541   while (atomic_swap_u32(& (c->in_use[my_waiter]), SLOT_IN_USE) == SLOT_IN_USE)
542   {
543     my_waiter = (my_waiter + 1) % MAX_PTHREADS;
544     assert (old_waiter != my_waiter);  // do not want to wrap around
545   }
546   c->waiters[my_waiter] = WAITER_WAITING;
547   c->next_waiter = (my_waiter+1) % MAX_PTHREADS;  // race on next_waiter but ok, because it is advisary
548
549   pthread_mutex_unlock(m);
550
551   volatile int* poll = &c->waiters[my_waiter];
552   while(*poll);
553   c->in_use[my_waiter] = SLOT_FREE;
554   pthread_mutex_lock(m);
555
556   return 0;
557 }
558
559 int pthread_condattr_init(pthread_condattr_t *a)
560 {
561   a = PTHREAD_PROCESS_PRIVATE;
562   return 0;
563 }
564
565 int pthread_condattr_destroy(pthread_condattr_t *a)
566 {
567   return 0;
568 }
569
570 int pthread_condattr_setpshared(pthread_condattr_t *a, int s)
571 {
572   a->pshared = s;
573   return 0;
574 }
575
576 int pthread_condattr_getpshared(pthread_condattr_t *a, int *s)
577 {
578   *s = a->pshared;
579   return 0;
580 }
581
582 pthread_t pthread_self()
583 {
584   return (struct pthread_tcb*)current_uthread;
585 }
586
587 int pthread_equal(pthread_t t1, pthread_t t2)
588 {
589   return t1 == t2;
590 }
591
592 /* This function cannot be migrated to a different vcore by the userspace
593  * scheduler.  Will need to sort that shit out. */
594 void pthread_exit(void *ret)
595 {
596         struct pthread_tcb *pthread = pthread_self();
597         pthread->retval = ret;
598         /* So our pth_thread_yield knows we want to exit */
599         pthread->flags |= PTHREAD_EXITING;
600         uthread_yield(FALSE);
601 }
602
603 int pthread_once(pthread_once_t* once_control, void (*init_routine)(void))
604 {
605   if (atomic_swap_u32(once_control, 1) == 0)
606     init_routine();
607   return 0;
608 }
609
610 int pthread_barrier_init(pthread_barrier_t* b, const pthread_barrierattr_t* a, int count)
611 {
612   b->nprocs = b->count = count;
613   b->sense = 0;
614   pthread_mutex_init(&b->pmutex, 0);
615   return 0;
616 }
617
618 int pthread_barrier_wait(pthread_barrier_t* b)
619 {
620   unsigned int spinner = 0;
621   int ls = !b->sense;
622
623   pthread_mutex_lock(&b->pmutex);
624   int count = --b->count;
625   pthread_mutex_unlock(&b->pmutex);
626
627   if(count == 0)
628   {
629     printd("Thread %d is last to hit the barrier, resetting...\n", pthread_self()->id);
630     b->count = b->nprocs;
631         wmb();
632     b->sense = ls;
633     return PTHREAD_BARRIER_SERIAL_THREAD;
634   }
635   else
636   {
637     while(b->sense != ls) {
638       cpu_relax();
639       spin_to_sleep(PTHREAD_BARRIER_SPINS, &spinner);
640     }
641     return 0;
642   }
643 }
644
645 int pthread_barrier_destroy(pthread_barrier_t* b)
646 {
647   pthread_mutex_destroy(&b->pmutex);
648   return 0;
649 }
650
651 int pthread_detach(pthread_t thread)
652 {
653         /* TODO: race on this state.  Someone could be trying to join now */
654         thread->detached = TRUE;
655         return 0;
656 }