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