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