ev_qs can request fallback to active vcores (XCC)
[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 | EVENT_INDIR | EVENT_FALLBACK;
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 | EVENT_INDIR | EVENT_FALLBACK;
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         t->stacksize = USTACK_NUM_PAGES * PGSIZE;
129         t->stacktop = (void*)USTACKTOP;
130         t->detached = TRUE;
131         t->flags = 0;
132         t->finished = 0;
133         assert(t->id == 0);
134         /* Put the new pthread on the active queue */
135         mcs_lock_notifsafe(&queue_lock, &local_qn);
136         threads_active++;
137         TAILQ_INSERT_TAIL(&active_queue, t, next);
138         mcs_unlock_notifsafe(&queue_lock, &local_qn);
139         return (struct uthread*)t;
140 }
141
142 /* Called from vcore entry.  Options usually include restarting whoever was
143  * running there before or running a new thread.  Events are handled out of
144  * event.c (table of function pointers, stuff like that). */
145 void __attribute__((noreturn)) pth_sched_entry(void)
146 {
147         uint32_t vcoreid = vcore_id();
148         if (current_uthread) {
149                 run_current_uthread();
150                 assert(0);
151         }
152         /* no one currently running, so lets get someone from the ready queue */
153         struct pthread_tcb *new_thread = NULL;
154         struct mcs_lock_qnode local_qn = {0};
155         /* Try to get a thread.  If we get one, we'll break out and run it.  If not,
156          * we'll try to yield.  vcore_yield() might return, if we lost a race and
157          * had a new event come in, one that may make us able to get a new_thread */
158         do {
159                 handle_events(vcoreid);
160                 mcs_lock_notifsafe(&queue_lock, &local_qn);
161                 new_thread = TAILQ_FIRST(&ready_queue);
162                 if (new_thread) {
163                         TAILQ_REMOVE(&ready_queue, new_thread, next);
164                         TAILQ_INSERT_TAIL(&active_queue, new_thread, next);
165                         threads_active++;
166                         threads_ready--;
167                         mcs_unlock_notifsafe(&queue_lock, &local_qn);
168                         break;
169                 }
170                 mcs_unlock_notifsafe(&queue_lock, &local_qn);
171                 /* no new thread, try to yield */
172                 printd("[P] No threads, vcore %d is yielding\n", vcore_id());
173                 /* TODO: you can imagine having something smarter here, like spin for a
174                  * bit before yielding (or not at all if you want to be greedy). */
175                 vcore_yield();
176         } while (1);
177         assert(((struct uthread*)new_thread)->state != UT_RUNNING);
178         run_uthread((struct uthread*)new_thread);
179         assert(0);
180 }
181
182 /* Could move this, along with start_routine and arg, into the 2LSs */
183 static void __pthread_run(void)
184 {
185         struct pthread_tcb *me = pthread_self();
186         pthread_exit(me->start_routine(me->arg));
187 }
188
189 /* Responible for creating the uthread and initializing its user trap frame */
190 struct uthread *pth_thread_create(void (*func)(void), void *udata)
191 {
192         struct pthread_tcb *pthread;
193         pthread_attr_t *attr = (pthread_attr_t*)udata;
194         pthread = (pthread_t)calloc(1, sizeof(struct pthread_tcb));
195         assert(pthread);
196         pthread->stacksize = PTHREAD_STACK_SIZE;        /* default */
197         pthread->finished = 0;
198         pthread->flags = 0;
199         pthread->id = get_next_pid();
200         pthread->detached = FALSE;                              /* default */
201         /* Respect the attributes */
202         if (attr) {
203                 if (attr->stacksize)                                    /* don't set a 0 stacksize */
204                         pthread->stacksize = attr->stacksize;
205                 if (attr->detachstate == PTHREAD_CREATE_DETACHED)
206                         pthread->detached = TRUE;
207         }
208         /* allocate a stack */
209         if (__pthread_allocate_stack(pthread))
210                 printf("We're fucked\n");
211         /* Set the u_tf to start up in __pthread_run, which will call the real
212          * start_routine and pass it the arg.  Note those aren't set until later in
213          * pthread_create(). */
214         init_user_tf(&pthread->uthread.utf, (uint32_t)__pthread_run, 
215                  (uint32_t)(pthread->stacktop));
216         return (struct uthread*)pthread;
217 }
218
219 void pth_thread_runnable(struct uthread *uthread)
220 {
221         struct pthread_tcb *pthread = (struct pthread_tcb*)uthread;
222         struct mcs_lock_qnode local_qn = {0};
223         /* Insert the newly created thread into the ready queue of threads.
224          * It will be removed from this queue later when vcore_entry() comes up */
225         mcs_lock_notifsafe(&queue_lock, &local_qn);
226         TAILQ_INSERT_TAIL(&ready_queue, pthread, next);
227         threads_ready++;
228         mcs_unlock_notifsafe(&queue_lock, &local_qn);
229         /* Smarter schedulers should look at the num_vcores() and how much work is
230          * going on to make a decision about how many vcores to request. */
231         vcore_request(threads_ready);
232 }
233
234 /* The calling thread is yielding.  Do what you need to do to restart (like put
235  * yourself on a runqueue), or do some accounting.  Eventually, this might be a
236  * little more generic than just yield. */
237 void pth_thread_yield(struct uthread *uthread)
238 {
239         struct pthread_tcb *pthread = (struct pthread_tcb*)uthread;
240         struct mcs_lock_qnode local_qn = {0};
241         /* Remove from the active list, whether exiting or yielding.  We're holding
242          * the lock throughout both list modifications (if applicable). */
243         mcs_lock_notifsafe(&queue_lock, &local_qn);
244         threads_active--;
245         TAILQ_REMOVE(&active_queue, pthread, next);
246         if (pthread->flags & PTHREAD_EXITING) {
247                 mcs_unlock_notifsafe(&queue_lock, &local_qn);
248                 uthread_destroy(uthread);
249         } else {
250                 /* Put it on the ready list (tail).  Don't do this until we are done
251                  * completely with the thread, since it can be restarted somewhere else.
252                  * */
253                 threads_ready++;
254                 TAILQ_INSERT_TAIL(&ready_queue, pthread, next);
255                 mcs_unlock_notifsafe(&queue_lock, &local_qn);
256         }
257 }
258         
259 void pth_thread_destroy(struct uthread *uthread)
260 {
261         struct pthread_tcb *pthread = (struct pthread_tcb*)uthread;
262         /* Cleanup, mirroring pth_thread_create() */
263         __pthread_free_stack(pthread);
264         /* TODO: race on detach state */
265         if (pthread->detached)
266                 free(pthread);
267         else
268                 pthread->finished = 1;
269 }
270
271 void pth_preempt_pending(void)
272 {
273 }
274
275 void pth_spawn_thread(uintptr_t pc_start, void *data)
276 {
277 }
278
279 /* Restarts a uthread hanging off a syscall.  For the simple pthread case, we
280  * just make it runnable and let the main scheduler code handle it. */
281 static void restart_thread(struct syscall *sysc)
282 {
283         struct uthread *ut_restartee = (struct uthread*)sysc->u_data;
284         /* uthread stuff here: */
285         assert(ut_restartee);
286         assert(ut_restartee->state == UT_BLOCKED);
287         assert(ut_restartee->sysc == sysc);
288         ut_restartee->sysc = 0; /* so we don't 'reblock' on this later */
289         uthread_runnable(ut_restartee);
290 }
291
292 /* This handler is usually run in vcore context, though I can imagine it being
293  * called by a uthread in some other threading library. */
294 static void pth_handle_syscall(struct event_msg *ev_msg, unsigned int ev_type)
295 {
296         struct syscall *sysc;
297         assert(in_vcore_context());
298         /* It's a bug if we don't have a msg (we're handling a syscall bit-event) */
299         assert(ev_msg);
300         /* Get the sysc from the message and just restart it */
301         sysc = ev_msg->ev_arg3;
302         assert(sysc);
303         restart_thread(sysc);
304 }
305
306 /* This will be called from vcore context, after the current thread has yielded
307  * and is trying to block on sysc.  Need to put it somewhere were we can wake it
308  * up when the sysc is done.  For now, we'll have the kernel send us an event
309  * when the syscall is done. */
310 void pth_blockon_sysc(struct syscall *sysc)
311 {
312         int old_flags;
313         bool need_to_restart = FALSE;
314         uint32_t vcoreid = vcore_id();
315
316         assert(current_uthread->state == UT_BLOCKED);
317         /* rip from the active queue */
318         struct mcs_lock_qnode local_qn = {0};
319         struct pthread_tcb *pthread = (struct pthread_tcb*)current_uthread;
320         mcs_lock_notifsafe(&queue_lock, &local_qn);
321         threads_active--;
322         TAILQ_REMOVE(&active_queue, pthread, next);
323         mcs_unlock_notifsafe(&queue_lock, &local_qn);
324
325         /* Set things up so we can wake this thread up later */
326         sysc->u_data = current_uthread;
327         /* Register our vcore's syscall ev_q to hear about this syscall. */
328         if (!register_evq(sysc, sysc_mgmt[vcoreid].ev_q)) {
329                 /* Lost the race with the call being done.  The kernel won't send the
330                  * event.  Just restart him. */
331                 restart_thread(sysc);
332         }
333         /* GIANT WARNING: do not touch the thread after this point. */
334 }
335
336 /* Pthread interface stuff and helpers */
337
338 int pthread_attr_init(pthread_attr_t *a)
339 {
340         a->stacksize = PTHREAD_STACK_SIZE;
341         a->detachstate = PTHREAD_CREATE_JOINABLE;
342         return 0;
343 }
344
345 int pthread_attr_destroy(pthread_attr_t *a)
346 {
347         return 0;
348 }
349
350 static void __pthread_free_stack(struct pthread_tcb *pt)
351 {
352         assert(!munmap(pt->stacktop - pt->stacksize, pt->stacksize));
353 }
354
355 static int __pthread_allocate_stack(struct pthread_tcb *pt)
356 {
357         assert(pt->stacksize);
358         void* stackbot = mmap(0, pt->stacksize,
359                               PROT_READ|PROT_WRITE|PROT_EXEC,
360                               MAP_POPULATE|MAP_ANONYMOUS, -1, 0);
361         if (stackbot == MAP_FAILED)
362                 return -1; // errno set by mmap
363         pt->stacktop = stackbot + pt->stacksize;
364         return 0;
365 }
366
367 // Warning, this will reuse numbers eventually
368 static int get_next_pid(void)
369 {
370         static uint32_t next_pid = 0;
371         return next_pid++;
372 }
373
374 int pthread_attr_setstacksize(pthread_attr_t *attr, size_t stacksize)
375 {
376         attr->stacksize = stacksize;
377         return 0;
378 }
379 int pthread_attr_getstacksize(const pthread_attr_t *attr, size_t *stacksize)
380 {
381         *stacksize = attr->stacksize;
382         return 0;
383 }
384
385 int pthread_create(pthread_t* thread, const pthread_attr_t* attr,
386                    void *(*start_routine)(void *), void* arg)
387 {
388         struct pthread_tcb *pthread =
389                (struct pthread_tcb*)uthread_create(__pthread_run, (void*)attr);
390         if (!pthread)
391                 return -1;
392         pthread->start_routine = start_routine;
393         pthread->arg = arg;
394         uthread_runnable((struct uthread*)pthread);
395         *thread = pthread;
396         return 0;
397 }
398
399 int pthread_join(pthread_t thread, void** retval)
400 {
401         /* Not sure if this is the right semantics.  There is a race if we deref
402          * thread and he is already freed (which would have happened if he was
403          * detached. */
404         if (thread->detached) {
405                 printf("[pthread] trying to join on a detached pthread");
406                 return -1;
407         }
408         while (!thread->finished)
409                 pthread_yield();
410         if (retval)
411                 *retval = thread->retval;
412         free(thread);
413         return 0;
414 }
415
416 int pthread_yield(void)
417 {
418         uthread_yield(TRUE);
419         return 0;
420 }
421
422 int pthread_mutexattr_init(pthread_mutexattr_t* attr)
423 {
424   attr->type = PTHREAD_MUTEX_DEFAULT;
425   return 0;
426 }
427
428 int pthread_mutexattr_destroy(pthread_mutexattr_t* attr)
429 {
430   return 0;
431 }
432
433 int pthread_attr_setdetachstate(pthread_attr_t *__attr, int __detachstate)
434 {
435         __attr->detachstate = __detachstate;
436         return 0;
437 }
438
439 int pthread_mutexattr_gettype(const pthread_mutexattr_t* attr, int* type)
440 {
441   *type = attr ? attr->type : PTHREAD_MUTEX_DEFAULT;
442   return 0;
443 }
444
445 int pthread_mutexattr_settype(pthread_mutexattr_t* attr, int type)
446 {
447   if(type != PTHREAD_MUTEX_NORMAL)
448     return EINVAL;
449   attr->type = type;
450   return 0;
451 }
452
453 int pthread_mutex_init(pthread_mutex_t* m, const pthread_mutexattr_t* attr)
454 {
455   m->attr = attr;
456   atomic_init(&m->lock, 0);
457   return 0;
458 }
459
460 /* Set *spun to 0 when calling this the first time.  It will yield after 'spins'
461  * calls.  Use this for adaptive mutexes and such. */
462 static inline void spin_to_sleep(unsigned int spins, unsigned int *spun)
463 {
464         if ((*spun)++ == spins) {
465                 pthread_yield();
466                 *spun = 0;
467         }
468 }
469
470 int pthread_mutex_lock(pthread_mutex_t* m)
471 {
472         unsigned int spinner = 0;
473         while(pthread_mutex_trylock(m))
474                 while(*(volatile size_t*)&m->lock) {
475                         cpu_relax();
476                         spin_to_sleep(PTHREAD_MUTEX_SPINS, &spinner);
477                 }
478         return 0;
479 }
480
481 int pthread_mutex_trylock(pthread_mutex_t* m)
482 {
483   return atomic_swap(&m->lock, 1) == 0 ? 0 : EBUSY;
484 }
485
486 int pthread_mutex_unlock(pthread_mutex_t* m)
487 {
488   /* Need to prevent the compiler (and some arches) from reordering older
489    * stores */
490   wmb();
491   atomic_set(&m->lock, 0);
492   return 0;
493 }
494
495 int pthread_mutex_destroy(pthread_mutex_t* m)
496 {
497   return 0;
498 }
499
500 int pthread_cond_init(pthread_cond_t *c, const pthread_condattr_t *a)
501 {
502   c->attr = a;
503   memset(c->waiters,0,sizeof(c->waiters));
504   memset(c->in_use,0,sizeof(c->in_use));
505   c->next_waiter = 0;
506   return 0;
507 }
508
509 int pthread_cond_destroy(pthread_cond_t *c)
510 {
511   return 0;
512 }
513
514 int pthread_cond_broadcast(pthread_cond_t *c)
515 {
516   memset(c->waiters,0,sizeof(c->waiters));
517   return 0;
518 }
519
520 int pthread_cond_signal(pthread_cond_t *c)
521 {
522   int i;
523   for(i = 0; i < MAX_PTHREADS; i++)
524   {
525     if(c->waiters[i])
526     {
527       c->waiters[i] = 0;
528       break;
529     }
530   }
531   return 0;
532 }
533
534 int pthread_cond_wait(pthread_cond_t *c, pthread_mutex_t *m)
535 {
536   uint32_t old_waiter = c->next_waiter;
537   uint32_t my_waiter = c->next_waiter;
538   
539   //allocate a slot
540   while (atomic_swap_u32(& (c->in_use[my_waiter]), SLOT_IN_USE) == SLOT_IN_USE)
541   {
542     my_waiter = (my_waiter + 1) % MAX_PTHREADS;
543     assert (old_waiter != my_waiter);  // do not want to wrap around
544   }
545   c->waiters[my_waiter] = WAITER_WAITING;
546   c->next_waiter = (my_waiter+1) % MAX_PTHREADS;  // race on next_waiter but ok, because it is advisary
547
548   pthread_mutex_unlock(m);
549
550   volatile int* poll = &c->waiters[my_waiter];
551   while(*poll);
552   c->in_use[my_waiter] = SLOT_FREE;
553   pthread_mutex_lock(m);
554
555   return 0;
556 }
557
558 int pthread_condattr_init(pthread_condattr_t *a)
559 {
560   a = PTHREAD_PROCESS_PRIVATE;
561   return 0;
562 }
563
564 int pthread_condattr_destroy(pthread_condattr_t *a)
565 {
566   return 0;
567 }
568
569 int pthread_condattr_setpshared(pthread_condattr_t *a, int s)
570 {
571   a->pshared = s;
572   return 0;
573 }
574
575 int pthread_condattr_getpshared(pthread_condattr_t *a, int *s)
576 {
577   *s = a->pshared;
578   return 0;
579 }
580
581 pthread_t pthread_self()
582 {
583   return (struct pthread_tcb*)current_uthread;
584 }
585
586 int pthread_equal(pthread_t t1, pthread_t t2)
587 {
588   return t1 == t2;
589 }
590
591 /* This function cannot be migrated to a different vcore by the userspace
592  * scheduler.  Will need to sort that shit out. */
593 void pthread_exit(void *ret)
594 {
595         struct pthread_tcb *pthread = pthread_self();
596         pthread->retval = ret;
597         /* So our pth_thread_yield knows we want to exit */
598         pthread->flags |= PTHREAD_EXITING;
599         uthread_yield(FALSE);
600 }
601
602 int pthread_once(pthread_once_t* once_control, void (*init_routine)(void))
603 {
604   if (atomic_swap_u32(once_control, 1) == 0)
605     init_routine();
606   return 0;
607 }
608
609 int pthread_barrier_init(pthread_barrier_t* b, const pthread_barrierattr_t* a, int count)
610 {
611   b->nprocs = b->count = count;
612   b->sense = 0;
613   pthread_mutex_init(&b->pmutex, 0);
614   return 0;
615 }
616
617 int pthread_barrier_wait(pthread_barrier_t* b)
618 {
619   unsigned int spinner = 0;
620   int ls = !b->sense;
621
622   pthread_mutex_lock(&b->pmutex);
623   int count = --b->count;
624   pthread_mutex_unlock(&b->pmutex);
625
626   if(count == 0)
627   {
628     printd("Thread %d is last to hit the barrier, resetting...\n", pthread_self()->id);
629     b->count = b->nprocs;
630         wmb();
631     b->sense = ls;
632     return PTHREAD_BARRIER_SERIAL_THREAD;
633   }
634   else
635   {
636     while(b->sense != ls) {
637       cpu_relax();
638       spin_to_sleep(PTHREAD_BARRIER_SPINS, &spinner);
639     }
640     return 0;
641   }
642 }
643
644 int pthread_barrier_destroy(pthread_barrier_t* b)
645 {
646   pthread_mutex_destroy(&b->pmutex);
647   return 0;
648 }
649
650 int pthread_detach(pthread_t thread)
651 {
652         /* TODO: race on this state.  Someone could be trying to join now */
653         thread->detached = TRUE;
654         return 0;
655 }