build: Don't include <config.h> in native programs when cross-compiling.
[bpt/guile.git] / libguile / threads.c
1 /* Copyright (C) 1995, 1996, 1997, 1998, 2000, 2001, 2002, 2003, 2004,
2 * 2005, 2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013,
3 * 2014 Free Software Foundation, Inc.
4 *
5 * This library is free software; you can redistribute it and/or
6 * modify it under the terms of the GNU Lesser General Public License
7 * as published by the Free Software Foundation; either version 3 of
8 * the License, or (at your option) any later version.
9 *
10 * This library is distributed in the hope that it will be useful, but
11 * WITHOUT ANY WARRANTY; without even the implied warranty of
12 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13 * Lesser General Public License for more details.
14 *
15 * You should have received a copy of the GNU Lesser General Public
16 * License along with this library; if not, write to the Free Software
17 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
18 * 02110-1301 USA
19 */
20
21
22 \f
23 #ifdef HAVE_CONFIG_H
24 # include <config.h>
25 #endif
26
27 #include "libguile/bdw-gc.h"
28 #include "libguile/_scm.h"
29
30 #include <stdlib.h>
31 #include <unistd.h>
32 #include <stdio.h>
33
34 #ifdef HAVE_STRING_H
35 #include <string.h> /* for memset used by FD_ZERO on Solaris 10 */
36 #endif
37
38 #if HAVE_SYS_TIME_H
39 #include <sys/time.h>
40 #endif
41
42 #if HAVE_PTHREAD_NP_H
43 # include <pthread_np.h>
44 #endif
45
46 #include <sys/select.h>
47
48 #include <assert.h>
49 #include <fcntl.h>
50 #include <nproc.h>
51
52 #include "libguile/validate.h"
53 #include "libguile/root.h"
54 #include "libguile/eval.h"
55 #include "libguile/async.h"
56 #include "libguile/ports.h"
57 #include "libguile/threads.h"
58 #include "libguile/dynwind.h"
59 #include "libguile/iselect.h"
60 #include "libguile/fluids.h"
61 #include "libguile/continuations.h"
62 #include "libguile/gc.h"
63 #include "libguile/init.h"
64 #include "libguile/scmsigs.h"
65 #include "libguile/strings.h"
66 #include "libguile/weaks.h"
67
68 #include <full-read.h>
69
70
71 \f
72
73 /* First some libgc shims. */
74
75 /* Make sure GC_fn_type is defined; it is missing from the public
76 headers of GC 7.1 and earlier. */
77 #ifndef HAVE_GC_FN_TYPE
78 typedef void * (* GC_fn_type) (void *);
79 #endif
80
81
82 #ifndef GC_SUCCESS
83 #define GC_SUCCESS 0
84 #endif
85
86 #ifndef GC_UNIMPLEMENTED
87 #define GC_UNIMPLEMENTED 3
88 #endif
89
90 /* Likewise struct GC_stack_base is missing before 7.1. */
91 #ifndef HAVE_GC_STACK_BASE
92 struct GC_stack_base {
93 void * mem_base; /* Base of memory stack. */
94 #ifdef __ia64__
95 void * reg_base; /* Base of separate register stack. */
96 #endif
97 };
98
99 static int
100 GC_register_my_thread (struct GC_stack_base *stack_base)
101 {
102 return GC_UNIMPLEMENTED;
103 }
104
105 static void
106 GC_unregister_my_thread ()
107 {
108 }
109
110 #if !SCM_USE_PTHREAD_THREADS
111 /* No threads; we can just use GC_stackbottom. */
112 static void *
113 get_thread_stack_base ()
114 {
115 return GC_stackbottom;
116 }
117
118 #elif defined HAVE_PTHREAD_ATTR_GETSTACK && defined HAVE_PTHREAD_GETATTR_NP \
119 && defined PTHREAD_ATTR_GETSTACK_WORKS
120 /* This method for GNU/Linux and perhaps some other systems.
121 It's not for MacOS X or Solaris 10, since pthread_getattr_np is not
122 available on them. */
123 static void *
124 get_thread_stack_base ()
125 {
126 pthread_attr_t attr;
127 void *start, *end;
128 size_t size;
129
130 pthread_getattr_np (pthread_self (), &attr);
131 pthread_attr_getstack (&attr, &start, &size);
132 end = (char *)start + size;
133
134 #if SCM_STACK_GROWS_UP
135 return start;
136 #else
137 return end;
138 #endif
139 }
140
141 #elif defined HAVE_PTHREAD_GET_STACKADDR_NP
142 /* This method for MacOS X.
143 It'd be nice if there was some documentation on pthread_get_stackaddr_np,
144 but as of 2006 there's nothing obvious at apple.com. */
145 static void *
146 get_thread_stack_base ()
147 {
148 return pthread_get_stackaddr_np (pthread_self ());
149 }
150
151 #elif HAVE_PTHREAD_ATTR_GET_NP
152 /* This one is for FreeBSD 9. */
153 static void *
154 get_thread_stack_base ()
155 {
156 pthread_attr_t attr;
157 void *start, *end;
158 size_t size;
159
160 pthread_attr_init (&attr);
161 pthread_attr_get_np (pthread_self (), &attr);
162 pthread_attr_getstack (&attr, &start, &size);
163 pthread_attr_destroy (&attr);
164
165 end = (char *)start + size;
166
167 #if SCM_STACK_GROWS_UP
168 return start;
169 #else
170 return end;
171 #endif
172 }
173
174 #else
175 #error Threads enabled with old BDW-GC, but missing get_thread_stack_base impl. Please upgrade to libgc >= 7.1.
176 #endif
177
178 static int
179 GC_get_stack_base (struct GC_stack_base *stack_base)
180 {
181 stack_base->mem_base = get_thread_stack_base ();
182 #ifdef __ia64__
183 /* Calculate and store off the base of this thread's register
184 backing store (RBS). Unfortunately our implementation(s) of
185 scm_ia64_register_backing_store_base are only reliable for the
186 main thread. For other threads, therefore, find out the current
187 top of the RBS, and use that as a maximum. */
188 stack_base->reg_base = scm_ia64_register_backing_store_base ();
189 {
190 ucontext_t ctx;
191 void *bsp;
192 getcontext (&ctx);
193 bsp = scm_ia64_ar_bsp (&ctx);
194 if (stack_base->reg_base > bsp)
195 stack_base->reg_base = bsp;
196 }
197 #endif
198 return GC_SUCCESS;
199 }
200
201 static void *
202 GC_call_with_stack_base(void * (*fn) (struct GC_stack_base*, void*), void *arg)
203 {
204 struct GC_stack_base stack_base;
205
206 stack_base.mem_base = (void*)&stack_base;
207 #ifdef __ia64__
208 /* FIXME: Untested. */
209 {
210 ucontext_t ctx;
211 getcontext (&ctx);
212 stack_base.reg_base = scm_ia64_ar_bsp (&ctx);
213 }
214 #endif
215
216 return fn (&stack_base, arg);
217 }
218 #endif /* HAVE_GC_STACK_BASE */
219
220
221 /* Now define with_gc_active and with_gc_inactive. */
222
223 #if (defined(HAVE_GC_DO_BLOCKING) && defined (HAVE_DECL_GC_DO_BLOCKING) && defined (HAVE_GC_CALL_WITH_GC_ACTIVE))
224
225 /* We have a sufficiently new libgc (7.2 or newer). */
226
227 static void*
228 with_gc_inactive (GC_fn_type func, void *data)
229 {
230 return GC_do_blocking (func, data);
231 }
232
233 static void*
234 with_gc_active (GC_fn_type func, void *data)
235 {
236 return GC_call_with_gc_active (func, data);
237 }
238
239 #else
240
241 /* libgc not new enough, so never actually deactivate GC.
242
243 Note that though GC 7.1 does have a GC_do_blocking, it doesn't have
244 GC_call_with_gc_active. */
245
246 static void*
247 with_gc_inactive (GC_fn_type func, void *data)
248 {
249 return func (data);
250 }
251
252 static void*
253 with_gc_active (GC_fn_type func, void *data)
254 {
255 return func (data);
256 }
257
258 #endif /* HAVE_GC_DO_BLOCKING */
259
260
261 \f
262 static void
263 to_timespec (SCM t, scm_t_timespec *waittime)
264 {
265 if (scm_is_pair (t))
266 {
267 waittime->tv_sec = scm_to_ulong (SCM_CAR (t));
268 waittime->tv_nsec = scm_to_ulong (SCM_CDR (t)) * 1000;
269 }
270 else
271 {
272 double time = scm_to_double (t);
273 double sec = scm_c_truncate (time);
274
275 waittime->tv_sec = (long) sec;
276 waittime->tv_nsec = (long) ((time - sec) * 1000000000);
277 }
278 }
279
280 \f
281 /*** Queues */
282
283 /* Note: We annotate with "GC-robust" assignments whose purpose is to avoid
284 the risk of false references leading to unbounded retained space as
285 described in "Bounding Space Usage of Conservative Garbage Collectors",
286 H.J. Boehm, 2001. */
287
288 /* Make an empty queue data structure.
289 */
290 static SCM
291 make_queue ()
292 {
293 return scm_cons (SCM_EOL, SCM_EOL);
294 }
295
296 /* Put T at the back of Q and return a handle that can be used with
297 remqueue to remove T from Q again.
298 */
299 static SCM
300 enqueue (SCM q, SCM t)
301 {
302 SCM c = scm_cons (t, SCM_EOL);
303 SCM_CRITICAL_SECTION_START;
304 if (scm_is_null (SCM_CDR (q)))
305 SCM_SETCDR (q, c);
306 else
307 SCM_SETCDR (SCM_CAR (q), c);
308 SCM_SETCAR (q, c);
309 SCM_CRITICAL_SECTION_END;
310 return c;
311 }
312
313 /* Remove the element that the handle C refers to from the queue Q. C
314 must have been returned from a call to enqueue. The return value
315 is zero when the element referred to by C has already been removed.
316 Otherwise, 1 is returned.
317 */
318 static int
319 remqueue (SCM q, SCM c)
320 {
321 SCM p, prev = q;
322 SCM_CRITICAL_SECTION_START;
323 for (p = SCM_CDR (q); !scm_is_null (p); p = SCM_CDR (p))
324 {
325 if (scm_is_eq (p, c))
326 {
327 if (scm_is_eq (c, SCM_CAR (q)))
328 SCM_SETCAR (q, scm_is_eq (prev, q) ? SCM_EOL : prev);
329 SCM_SETCDR (prev, SCM_CDR (c));
330
331 /* GC-robust */
332 SCM_SETCDR (c, SCM_EOL);
333
334 SCM_CRITICAL_SECTION_END;
335 return 1;
336 }
337 prev = p;
338 }
339 SCM_CRITICAL_SECTION_END;
340 return 0;
341 }
342
343 /* Remove the front-most element from the queue Q and return it.
344 Return SCM_BOOL_F when Q is empty.
345 */
346 static SCM
347 dequeue (SCM q)
348 {
349 SCM c;
350 SCM_CRITICAL_SECTION_START;
351 c = SCM_CDR (q);
352 if (scm_is_null (c))
353 {
354 SCM_CRITICAL_SECTION_END;
355 return SCM_BOOL_F;
356 }
357 else
358 {
359 SCM_SETCDR (q, SCM_CDR (c));
360 if (scm_is_null (SCM_CDR (q)))
361 SCM_SETCAR (q, SCM_EOL);
362 SCM_CRITICAL_SECTION_END;
363
364 /* GC-robust */
365 SCM_SETCDR (c, SCM_EOL);
366
367 return SCM_CAR (c);
368 }
369 }
370
371 /*** Thread smob routines */
372
373
374 static int
375 thread_print (SCM exp, SCM port, scm_print_state *pstate SCM_UNUSED)
376 {
377 /* On a Gnu system pthread_t is an unsigned long, but on mingw it's a
378 struct. A cast like "(unsigned long) t->pthread" is a syntax error in
379 the struct case, hence we go via a union, and extract according to the
380 size of pthread_t. */
381 union {
382 scm_i_pthread_t p;
383 unsigned short us;
384 unsigned int ui;
385 unsigned long ul;
386 scm_t_uintmax um;
387 } u;
388 scm_i_thread *t = SCM_I_THREAD_DATA (exp);
389 scm_i_pthread_t p = t->pthread;
390 scm_t_uintmax id;
391 u.p = p;
392 if (sizeof (p) == sizeof (unsigned short))
393 id = u.us;
394 else if (sizeof (p) == sizeof (unsigned int))
395 id = u.ui;
396 else if (sizeof (p) == sizeof (unsigned long))
397 id = u.ul;
398 else
399 id = u.um;
400
401 scm_puts ("#<thread ", port);
402 scm_uintprint (id, 10, port);
403 scm_puts (" (", port);
404 scm_uintprint ((scm_t_bits)t, 16, port);
405 scm_puts (")>", port);
406 return 1;
407 }
408
409 \f
410 /*** Blocking on queues. */
411
412 /* See also scm_i_queue_async_cell for how such a block is
413 interrputed.
414 */
415
416 /* Put the current thread on QUEUE and go to sleep, waiting for it to
417 be woken up by a call to 'unblock_from_queue', or to be
418 interrupted. Upon return of this function, the current thread is
419 no longer on QUEUE, even when the sleep has been interrupted.
420
421 The caller of block_self must hold MUTEX. It will be atomically
422 unlocked while sleeping, just as with scm_i_pthread_cond_wait.
423
424 SLEEP_OBJECT is an arbitrary SCM value that is kept alive as long
425 as MUTEX is needed.
426
427 When WAITTIME is not NULL, the sleep will be aborted at that time.
428
429 The return value of block_self is an errno value. It will be zero
430 when the sleep has been successfully completed by a call to
431 unblock_from_queue, EINTR when it has been interrupted by the
432 delivery of a system async, and ETIMEDOUT when the timeout has
433 expired.
434
435 The system asyncs themselves are not executed by block_self.
436 */
437 static int
438 block_self (SCM queue, SCM sleep_object, scm_i_pthread_mutex_t *mutex,
439 const scm_t_timespec *waittime)
440 {
441 scm_i_thread *t = SCM_I_CURRENT_THREAD;
442 SCM q_handle;
443 int err;
444
445 if (scm_i_setup_sleep (t, sleep_object, mutex, -1))
446 err = EINTR;
447 else
448 {
449 t->block_asyncs++;
450 q_handle = enqueue (queue, t->handle);
451 if (waittime == NULL)
452 err = scm_i_scm_pthread_cond_wait (&t->sleep_cond, mutex);
453 else
454 err = scm_i_scm_pthread_cond_timedwait (&t->sleep_cond, mutex, waittime);
455
456 /* When we are still on QUEUE, we have been interrupted. We
457 report this only when no other error (such as a timeout) has
458 happened above.
459 */
460 if (remqueue (queue, q_handle) && err == 0)
461 err = EINTR;
462 t->block_asyncs--;
463 scm_i_reset_sleep (t);
464 }
465
466 return err;
467 }
468
469 /* Wake up the first thread on QUEUE, if any. The awoken thread is
470 returned, or #f if the queue was empty.
471 */
472 static SCM
473 unblock_from_queue (SCM queue)
474 {
475 SCM thread = dequeue (queue);
476 if (scm_is_true (thread))
477 scm_i_pthread_cond_signal (&SCM_I_THREAD_DATA(thread)->sleep_cond);
478 return thread;
479 }
480
481 \f
482 /* Getting into and out of guile mode.
483 */
484
485 /* Key used to attach a cleanup handler to a given thread. Also, if
486 thread-local storage is unavailable, this key is used to retrieve the
487 current thread with `pthread_getspecific ()'. */
488 scm_i_pthread_key_t scm_i_thread_key;
489
490
491 #ifdef SCM_HAVE_THREAD_STORAGE_CLASS
492
493 /* When thread-local storage (TLS) is available, a pointer to the
494 current-thread object is kept in TLS. Note that storing the thread-object
495 itself in TLS (rather than a pointer to some malloc'd memory) is not
496 possible since thread objects may live longer than the actual thread they
497 represent. */
498 SCM_THREAD_LOCAL scm_i_thread *scm_i_current_thread = NULL;
499
500 #endif /* SCM_HAVE_THREAD_STORAGE_CLASS */
501
502
503 static scm_i_pthread_mutex_t thread_admin_mutex = SCM_I_PTHREAD_MUTEX_INITIALIZER;
504 static scm_i_thread *all_threads = NULL;
505 static int thread_count;
506
507 static SCM scm_i_default_dynamic_state;
508
509 /* Run when a fluid is collected. */
510 void
511 scm_i_reset_fluid (size_t n)
512 {
513 scm_i_thread *t;
514
515 scm_i_pthread_mutex_lock (&thread_admin_mutex);
516 for (t = all_threads; t; t = t->next_thread)
517 if (SCM_I_DYNAMIC_STATE_P (t->dynamic_state))
518 {
519 SCM v = SCM_I_DYNAMIC_STATE_FLUIDS (t->dynamic_state);
520
521 if (n < SCM_SIMPLE_VECTOR_LENGTH (v))
522 SCM_SIMPLE_VECTOR_SET (v, n, SCM_UNDEFINED);
523 }
524 scm_i_pthread_mutex_unlock (&thread_admin_mutex);
525 }
526
527 /* Perform first stage of thread initialisation, in non-guile mode.
528 */
529 static void
530 guilify_self_1 (struct GC_stack_base *base)
531 {
532 scm_i_thread t;
533
534 /* We must arrange for SCM_I_CURRENT_THREAD to point to a valid value
535 before allocating anything in this thread, because allocation could
536 cause GC to run, and GC could cause finalizers, which could invoke
537 Scheme functions, which need the current thread to be set. */
538
539 t.pthread = scm_i_pthread_self ();
540 t.handle = SCM_BOOL_F;
541 t.result = SCM_BOOL_F;
542 t.cleanup_handler = SCM_BOOL_F;
543 t.mutexes = SCM_EOL;
544 t.held_mutex = NULL;
545 t.join_queue = SCM_EOL;
546 t.dynamic_state = SCM_BOOL_F;
547 t.dynwinds = SCM_EOL;
548 t.active_asyncs = SCM_EOL;
549 t.block_asyncs = 1;
550 t.pending_asyncs = 1;
551 t.critical_section_level = 0;
552 t.base = base->mem_base;
553 #ifdef __ia64__
554 t.register_backing_store_base = base->reg_base;
555 #endif
556 t.continuation_root = SCM_EOL;
557 t.continuation_base = t.base;
558 scm_i_pthread_cond_init (&t.sleep_cond, NULL);
559 t.sleep_mutex = NULL;
560 t.sleep_object = SCM_BOOL_F;
561 t.sleep_fd = -1;
562
563 if (pipe2 (t.sleep_pipe, O_CLOEXEC) != 0)
564 /* FIXME: Error conditions during the initialization phase are handled
565 gracelessly since public functions such as `scm_init_guile ()'
566 currently have type `void'. */
567 abort ();
568
569 scm_i_pthread_mutex_init (&t.admin_mutex, NULL);
570 t.current_mark_stack_ptr = NULL;
571 t.current_mark_stack_limit = NULL;
572 t.canceled = 0;
573 t.exited = 0;
574 t.guile_mode = 0;
575
576 /* The switcheroo. */
577 {
578 scm_i_thread *t_ptr = &t;
579
580 GC_disable ();
581 t_ptr = GC_malloc (sizeof (scm_i_thread));
582 memcpy (t_ptr, &t, sizeof t);
583
584 scm_i_pthread_setspecific (scm_i_thread_key, t_ptr);
585
586 #ifdef SCM_HAVE_THREAD_STORAGE_CLASS
587 /* Cache the current thread in TLS for faster lookup. */
588 scm_i_current_thread = t_ptr;
589 #endif
590
591 scm_i_pthread_mutex_lock (&thread_admin_mutex);
592 t_ptr->next_thread = all_threads;
593 all_threads = t_ptr;
594 thread_count++;
595 scm_i_pthread_mutex_unlock (&thread_admin_mutex);
596
597 GC_enable ();
598 }
599 }
600
601 /* Perform second stage of thread initialisation, in guile mode.
602 */
603 static void
604 guilify_self_2 (SCM parent)
605 {
606 scm_i_thread *t = SCM_I_CURRENT_THREAD;
607
608 t->guile_mode = 1;
609
610 SCM_NEWSMOB (t->handle, scm_tc16_thread, t);
611
612 t->continuation_root = scm_cons (t->handle, SCM_EOL);
613 t->continuation_base = t->base;
614 t->vm = SCM_BOOL_F;
615
616 if (scm_is_true (parent))
617 t->dynamic_state = scm_make_dynamic_state (parent);
618 else
619 t->dynamic_state = scm_i_make_initial_dynamic_state ();
620
621 t->join_queue = make_queue ();
622 t->block_asyncs = 0;
623
624 /* See note in finalizers.c:queue_finalizer_async(). */
625 GC_invoke_finalizers ();
626 }
627
628 \f
629 /*** Fat mutexes */
630
631 /* We implement our own mutex type since we want them to be 'fair', we
632 want to do fancy things while waiting for them (like running
633 asyncs) and we might want to add things that are nice for
634 debugging.
635 */
636
637 typedef struct {
638 scm_i_pthread_mutex_t lock;
639 SCM owner;
640 int level; /* how much the owner owns us. <= 1 for non-recursive mutexes */
641
642 int recursive; /* allow recursive locking? */
643 int unchecked_unlock; /* is it an error to unlock an unlocked mutex? */
644 int allow_external_unlock; /* is it an error to unlock a mutex that is not
645 owned by the current thread? */
646
647 SCM waiting; /* the threads waiting for this mutex. */
648 } fat_mutex;
649
650 #define SCM_MUTEXP(x) SCM_SMOB_PREDICATE (scm_tc16_mutex, x)
651 #define SCM_MUTEX_DATA(x) ((fat_mutex *) SCM_SMOB_DATA (x))
652
653 static SCM
654 call_cleanup (void *data)
655 {
656 SCM *proc_p = data;
657 return scm_call_0 (*proc_p);
658 }
659
660 /* Perform thread tear-down, in guile mode.
661 */
662 static void *
663 do_thread_exit (void *v)
664 {
665 scm_i_thread *t = (scm_i_thread *) v;
666
667 /* Ensure the signal handling thread has been launched, because we might be
668 shutting it down. This needs to be done in Guile mode. */
669 scm_i_ensure_signal_delivery_thread ();
670
671 if (!scm_is_false (t->cleanup_handler))
672 {
673 SCM ptr = t->cleanup_handler;
674
675 t->cleanup_handler = SCM_BOOL_F;
676 t->result = scm_internal_catch (SCM_BOOL_T,
677 call_cleanup, &ptr,
678 scm_handle_by_message_noexit, NULL);
679 }
680
681 scm_i_scm_pthread_mutex_lock (&t->admin_mutex);
682
683 t->exited = 1;
684 close (t->sleep_pipe[0]);
685 close (t->sleep_pipe[1]);
686 while (scm_is_true (unblock_from_queue (t->join_queue)))
687 ;
688
689 while (!scm_is_null (t->mutexes))
690 {
691 SCM mutex = SCM_WEAK_PAIR_CAR (t->mutexes);
692
693 if (!SCM_UNBNDP (mutex))
694 {
695 fat_mutex *m = SCM_MUTEX_DATA (mutex);
696
697 scm_i_pthread_mutex_lock (&m->lock);
698
699 /* Check whether T owns MUTEX. This is usually the case, unless
700 T abandoned MUTEX; in that case, T is no longer its owner (see
701 `fat_mutex_lock') but MUTEX is still in `t->mutexes'. */
702 if (scm_is_eq (m->owner, t->handle))
703 unblock_from_queue (m->waiting);
704
705 scm_i_pthread_mutex_unlock (&m->lock);
706 }
707
708 t->mutexes = SCM_WEAK_PAIR_CDR (t->mutexes);
709 }
710
711 scm_i_pthread_mutex_unlock (&t->admin_mutex);
712
713 return NULL;
714 }
715
716 static void *
717 do_thread_exit_trampoline (struct GC_stack_base *sb, void *v)
718 {
719 /* Won't hurt if we are already registered. */
720 #if SCM_USE_PTHREAD_THREADS
721 GC_register_my_thread (sb);
722 #endif
723
724 return scm_with_guile (do_thread_exit, v);
725 }
726
727 static void
728 on_thread_exit (void *v)
729 {
730 /* This handler is executed in non-guile mode. */
731 scm_i_thread *t = (scm_i_thread *) v, **tp;
732
733 /* If we were canceled, we were unable to clear `t->guile_mode', so do
734 it here. */
735 t->guile_mode = 0;
736
737 /* If this thread was cancelled while doing a cond wait, it will
738 still have a mutex locked, so we unlock it here. */
739 if (t->held_mutex)
740 {
741 scm_i_pthread_mutex_unlock (t->held_mutex);
742 t->held_mutex = NULL;
743 }
744
745 /* Reinstate the current thread for purposes of scm_with_guile
746 guile-mode cleanup handlers. Only really needed in the non-TLS
747 case but it doesn't hurt to be consistent. */
748 scm_i_pthread_setspecific (scm_i_thread_key, t);
749
750 /* Scheme-level thread finalizers and other cleanup needs to happen in
751 guile mode. */
752 GC_call_with_stack_base (do_thread_exit_trampoline, t);
753
754 /* Removing ourself from the list of all threads needs to happen in
755 non-guile mode since all SCM values on our stack become
756 unprotected once we are no longer in the list. */
757 scm_i_pthread_mutex_lock (&thread_admin_mutex);
758 for (tp = &all_threads; *tp; tp = &(*tp)->next_thread)
759 if (*tp == t)
760 {
761 *tp = t->next_thread;
762
763 /* GC-robust */
764 t->next_thread = NULL;
765
766 break;
767 }
768 thread_count--;
769
770 /* If there's only one other thread, it could be the signal delivery
771 thread, so we need to notify it to shut down by closing its read pipe.
772 If it's not the signal delivery thread, then closing the read pipe isn't
773 going to hurt. */
774 if (thread_count <= 1)
775 scm_i_close_signal_pipe ();
776
777 scm_i_pthread_mutex_unlock (&thread_admin_mutex);
778
779 scm_i_pthread_setspecific (scm_i_thread_key, NULL);
780
781 #if SCM_USE_PTHREAD_THREADS
782 GC_unregister_my_thread ();
783 #endif
784 }
785
786 static scm_i_pthread_once_t init_thread_key_once = SCM_I_PTHREAD_ONCE_INIT;
787
788 static void
789 init_thread_key (void)
790 {
791 scm_i_pthread_key_create (&scm_i_thread_key, on_thread_exit);
792 }
793
794 /* Perform any initializations necessary to make the current thread
795 known to Guile (via SCM_I_CURRENT_THREAD), initializing Guile itself,
796 if necessary.
797
798 BASE is the stack base to use with GC.
799
800 PARENT is the dynamic state to use as the parent, ot SCM_BOOL_F in
801 which case the default dynamic state is used.
802
803 Returns zero when the thread was known to guile already; otherwise
804 return 1.
805
806 Note that it could be the case that the thread was known
807 to Guile, but not in guile mode (because we are within a
808 scm_without_guile call). Check SCM_I_CURRENT_THREAD->guile_mode to
809 be sure. New threads are put into guile mode implicitly. */
810
811 static int
812 scm_i_init_thread_for_guile (struct GC_stack_base *base, SCM parent)
813 {
814 scm_i_pthread_once (&init_thread_key_once, init_thread_key);
815
816 if (SCM_I_CURRENT_THREAD)
817 {
818 /* Thread is already known to Guile.
819 */
820 return 0;
821 }
822 else
823 {
824 /* This thread has not been guilified yet.
825 */
826
827 scm_i_pthread_mutex_lock (&scm_i_init_mutex);
828 if (scm_initialized_p == 0)
829 {
830 /* First thread ever to enter Guile. Run the full
831 initialization.
832 */
833 scm_i_init_guile (base);
834
835 #if defined (HAVE_GC_ALLOW_REGISTER_THREADS) && SCM_USE_PTHREAD_THREADS
836 /* Allow other threads to come in later. */
837 GC_allow_register_threads ();
838 #endif
839
840 scm_i_pthread_mutex_unlock (&scm_i_init_mutex);
841 }
842 else
843 {
844 /* Guile is already initialized, but this thread enters it for
845 the first time. Only initialize this thread.
846 */
847 scm_i_pthread_mutex_unlock (&scm_i_init_mutex);
848
849 /* Register this thread with libgc. */
850 #if SCM_USE_PTHREAD_THREADS
851 GC_register_my_thread (base);
852 #endif
853
854 guilify_self_1 (base);
855 guilify_self_2 (parent);
856 }
857 return 1;
858 }
859 }
860
861 void
862 scm_init_guile ()
863 {
864 struct GC_stack_base stack_base;
865
866 if (GC_get_stack_base (&stack_base) == GC_SUCCESS)
867 scm_i_init_thread_for_guile (&stack_base,
868 scm_i_default_dynamic_state);
869 else
870 {
871 fprintf (stderr, "Failed to get stack base for current thread.\n");
872 exit (EXIT_FAILURE);
873 }
874 }
875
876 struct with_guile_args
877 {
878 GC_fn_type func;
879 void *data;
880 SCM parent;
881 };
882
883 static void *
884 with_guile_trampoline (void *data)
885 {
886 struct with_guile_args *args = data;
887
888 return scm_c_with_continuation_barrier (args->func, args->data);
889 }
890
891 static void *
892 with_guile_and_parent (struct GC_stack_base *base, void *data)
893 {
894 void *res;
895 int new_thread;
896 scm_i_thread *t;
897 struct with_guile_args *args = data;
898
899 new_thread = scm_i_init_thread_for_guile (base, args->parent);
900 t = SCM_I_CURRENT_THREAD;
901 if (new_thread)
902 {
903 /* We are in Guile mode. */
904 assert (t->guile_mode);
905
906 res = scm_c_with_continuation_barrier (args->func, args->data);
907
908 /* Leave Guile mode. */
909 t->guile_mode = 0;
910 }
911 else if (t->guile_mode)
912 {
913 /* Already in Guile mode. */
914 res = scm_c_with_continuation_barrier (args->func, args->data);
915 }
916 else
917 {
918 /* We are not in Guile mode, either because we are not within a
919 scm_with_guile, or because we are within a scm_without_guile.
920
921 This call to scm_with_guile() could happen from anywhere on the
922 stack, and in particular lower on the stack than when it was
923 when this thread was first guilified. Thus, `base' must be
924 updated. */
925 #if SCM_STACK_GROWS_UP
926 if (SCM_STACK_PTR (base->mem_base) < t->base)
927 t->base = SCM_STACK_PTR (base->mem_base);
928 #else
929 if (SCM_STACK_PTR (base->mem_base) > t->base)
930 t->base = SCM_STACK_PTR (base->mem_base);
931 #endif
932
933 t->guile_mode = 1;
934 res = with_gc_active (with_guile_trampoline, args);
935 t->guile_mode = 0;
936 }
937 return res;
938 }
939
940 static void *
941 scm_i_with_guile_and_parent (void *(*func)(void *), void *data, SCM parent)
942 {
943 struct with_guile_args args;
944
945 args.func = func;
946 args.data = data;
947 args.parent = parent;
948
949 return GC_call_with_stack_base (with_guile_and_parent, &args);
950 }
951
952 void *
953 scm_with_guile (void *(*func)(void *), void *data)
954 {
955 return scm_i_with_guile_and_parent (func, data,
956 scm_i_default_dynamic_state);
957 }
958
959 void *
960 scm_without_guile (void *(*func)(void *), void *data)
961 {
962 void *result;
963 scm_i_thread *t = SCM_I_CURRENT_THREAD;
964
965 if (t->guile_mode)
966 {
967 SCM_I_CURRENT_THREAD->guile_mode = 0;
968 result = with_gc_inactive (func, data);
969 SCM_I_CURRENT_THREAD->guile_mode = 1;
970 }
971 else
972 /* Otherwise we're not in guile mode, so nothing to do. */
973 result = func (data);
974
975 return result;
976 }
977
978 \f
979 /*** Thread creation */
980
981 typedef struct {
982 SCM parent;
983 SCM thunk;
984 SCM handler;
985 SCM thread;
986 scm_i_pthread_mutex_t mutex;
987 scm_i_pthread_cond_t cond;
988 } launch_data;
989
990 static void *
991 really_launch (void *d)
992 {
993 launch_data *data = (launch_data *)d;
994 SCM thunk = data->thunk, handler = data->handler;
995 scm_i_thread *t;
996
997 t = SCM_I_CURRENT_THREAD;
998
999 scm_i_scm_pthread_mutex_lock (&data->mutex);
1000 data->thread = scm_current_thread ();
1001 scm_i_pthread_cond_signal (&data->cond);
1002 scm_i_pthread_mutex_unlock (&data->mutex);
1003
1004 if (SCM_UNBNDP (handler))
1005 t->result = scm_call_0 (thunk);
1006 else
1007 t->result = scm_catch (SCM_BOOL_T, thunk, handler);
1008
1009 return 0;
1010 }
1011
1012 static void *
1013 launch_thread (void *d)
1014 {
1015 launch_data *data = (launch_data *)d;
1016 scm_i_pthread_detach (scm_i_pthread_self ());
1017 scm_i_with_guile_and_parent (really_launch, d, data->parent);
1018 return NULL;
1019 }
1020
1021 SCM_DEFINE (scm_call_with_new_thread, "call-with-new-thread", 1, 1, 0,
1022 (SCM thunk, SCM handler),
1023 "Call @code{thunk} in a new thread and with a new dynamic state,\n"
1024 "returning a new thread object representing the thread. The procedure\n"
1025 "@var{thunk} is called via @code{with-continuation-barrier}.\n"
1026 "\n"
1027 "When @var{handler} is specified, then @var{thunk} is called from\n"
1028 "within a @code{catch} with tag @code{#t} that has @var{handler} as its\n"
1029 "handler. This catch is established inside the continuation barrier.\n"
1030 "\n"
1031 "Once @var{thunk} or @var{handler} returns, the return value is made\n"
1032 "the @emph{exit value} of the thread and the thread is terminated.")
1033 #define FUNC_NAME s_scm_call_with_new_thread
1034 {
1035 launch_data data;
1036 scm_i_pthread_t id;
1037 int err;
1038
1039 SCM_ASSERT (scm_is_true (scm_thunk_p (thunk)), thunk, SCM_ARG1, FUNC_NAME);
1040 SCM_ASSERT (SCM_UNBNDP (handler) || scm_is_true (scm_procedure_p (handler)),
1041 handler, SCM_ARG2, FUNC_NAME);
1042
1043 GC_collect_a_little ();
1044 data.parent = scm_current_dynamic_state ();
1045 data.thunk = thunk;
1046 data.handler = handler;
1047 data.thread = SCM_BOOL_F;
1048 scm_i_pthread_mutex_init (&data.mutex, NULL);
1049 scm_i_pthread_cond_init (&data.cond, NULL);
1050
1051 scm_i_scm_pthread_mutex_lock (&data.mutex);
1052 err = scm_i_pthread_create (&id, NULL, launch_thread, &data);
1053 if (err)
1054 {
1055 scm_i_pthread_mutex_unlock (&data.mutex);
1056 errno = err;
1057 scm_syserror (NULL);
1058 }
1059
1060 while (scm_is_false (data.thread))
1061 scm_i_scm_pthread_cond_wait (&data.cond, &data.mutex);
1062
1063 scm_i_pthread_mutex_unlock (&data.mutex);
1064
1065 return data.thread;
1066 }
1067 #undef FUNC_NAME
1068
1069 typedef struct {
1070 SCM parent;
1071 scm_t_catch_body body;
1072 void *body_data;
1073 scm_t_catch_handler handler;
1074 void *handler_data;
1075 SCM thread;
1076 scm_i_pthread_mutex_t mutex;
1077 scm_i_pthread_cond_t cond;
1078 } spawn_data;
1079
1080 static void *
1081 really_spawn (void *d)
1082 {
1083 spawn_data *data = (spawn_data *)d;
1084 scm_t_catch_body body = data->body;
1085 void *body_data = data->body_data;
1086 scm_t_catch_handler handler = data->handler;
1087 void *handler_data = data->handler_data;
1088 scm_i_thread *t = SCM_I_CURRENT_THREAD;
1089
1090 scm_i_scm_pthread_mutex_lock (&data->mutex);
1091 data->thread = scm_current_thread ();
1092 scm_i_pthread_cond_signal (&data->cond);
1093 scm_i_pthread_mutex_unlock (&data->mutex);
1094
1095 if (handler == NULL)
1096 t->result = body (body_data);
1097 else
1098 t->result = scm_internal_catch (SCM_BOOL_T,
1099 body, body_data,
1100 handler, handler_data);
1101
1102 return 0;
1103 }
1104
1105 static void *
1106 spawn_thread (void *d)
1107 {
1108 spawn_data *data = (spawn_data *)d;
1109 scm_i_pthread_detach (scm_i_pthread_self ());
1110 scm_i_with_guile_and_parent (really_spawn, d, data->parent);
1111 return NULL;
1112 }
1113
1114 SCM
1115 scm_spawn_thread (scm_t_catch_body body, void *body_data,
1116 scm_t_catch_handler handler, void *handler_data)
1117 {
1118 spawn_data data;
1119 scm_i_pthread_t id;
1120 int err;
1121
1122 data.parent = scm_current_dynamic_state ();
1123 data.body = body;
1124 data.body_data = body_data;
1125 data.handler = handler;
1126 data.handler_data = handler_data;
1127 data.thread = SCM_BOOL_F;
1128 scm_i_pthread_mutex_init (&data.mutex, NULL);
1129 scm_i_pthread_cond_init (&data.cond, NULL);
1130
1131 scm_i_scm_pthread_mutex_lock (&data.mutex);
1132 err = scm_i_pthread_create (&id, NULL, spawn_thread, &data);
1133 if (err)
1134 {
1135 scm_i_pthread_mutex_unlock (&data.mutex);
1136 errno = err;
1137 scm_syserror (NULL);
1138 }
1139
1140 while (scm_is_false (data.thread))
1141 scm_i_scm_pthread_cond_wait (&data.cond, &data.mutex);
1142
1143 scm_i_pthread_mutex_unlock (&data.mutex);
1144
1145 assert (SCM_I_IS_THREAD (data.thread));
1146
1147 return data.thread;
1148 }
1149
1150 SCM_DEFINE (scm_yield, "yield", 0, 0, 0,
1151 (),
1152 "Move the calling thread to the end of the scheduling queue.")
1153 #define FUNC_NAME s_scm_yield
1154 {
1155 return scm_from_bool (scm_i_sched_yield ());
1156 }
1157 #undef FUNC_NAME
1158
1159 SCM_DEFINE (scm_cancel_thread, "cancel-thread", 1, 0, 0,
1160 (SCM thread),
1161 "Asynchronously force the target @var{thread} to terminate. @var{thread} "
1162 "cannot be the current thread, and if @var{thread} has already terminated or "
1163 "been signaled to terminate, this function is a no-op.")
1164 #define FUNC_NAME s_scm_cancel_thread
1165 {
1166 scm_i_thread *t = NULL;
1167
1168 SCM_VALIDATE_THREAD (1, thread);
1169 t = SCM_I_THREAD_DATA (thread);
1170 scm_i_scm_pthread_mutex_lock (&t->admin_mutex);
1171 if (!t->canceled)
1172 {
1173 t->canceled = 1;
1174 scm_i_pthread_mutex_unlock (&t->admin_mutex);
1175 scm_i_pthread_cancel (t->pthread);
1176 }
1177 else
1178 scm_i_pthread_mutex_unlock (&t->admin_mutex);
1179
1180 return SCM_UNSPECIFIED;
1181 }
1182 #undef FUNC_NAME
1183
1184 SCM_DEFINE (scm_set_thread_cleanup_x, "set-thread-cleanup!", 2, 0, 0,
1185 (SCM thread, SCM proc),
1186 "Set the thunk @var{proc} as the cleanup handler for the thread @var{thread}. "
1187 "This handler will be called when the thread exits.")
1188 #define FUNC_NAME s_scm_set_thread_cleanup_x
1189 {
1190 scm_i_thread *t;
1191
1192 SCM_VALIDATE_THREAD (1, thread);
1193 if (!scm_is_false (proc))
1194 SCM_VALIDATE_THUNK (2, proc);
1195
1196 t = SCM_I_THREAD_DATA (thread);
1197 scm_i_pthread_mutex_lock (&t->admin_mutex);
1198
1199 if (!(t->exited || t->canceled))
1200 t->cleanup_handler = proc;
1201
1202 scm_i_pthread_mutex_unlock (&t->admin_mutex);
1203
1204 return SCM_UNSPECIFIED;
1205 }
1206 #undef FUNC_NAME
1207
1208 SCM_DEFINE (scm_thread_cleanup, "thread-cleanup", 1, 0, 0,
1209 (SCM thread),
1210 "Return the cleanup handler installed for the thread @var{thread}.")
1211 #define FUNC_NAME s_scm_thread_cleanup
1212 {
1213 scm_i_thread *t;
1214 SCM ret;
1215
1216 SCM_VALIDATE_THREAD (1, thread);
1217
1218 t = SCM_I_THREAD_DATA (thread);
1219 scm_i_pthread_mutex_lock (&t->admin_mutex);
1220 ret = (t->exited || t->canceled) ? SCM_BOOL_F : t->cleanup_handler;
1221 scm_i_pthread_mutex_unlock (&t->admin_mutex);
1222
1223 return ret;
1224 }
1225 #undef FUNC_NAME
1226
1227 SCM scm_join_thread (SCM thread)
1228 {
1229 return scm_join_thread_timed (thread, SCM_UNDEFINED, SCM_UNDEFINED);
1230 }
1231
1232 SCM_DEFINE (scm_join_thread_timed, "join-thread", 1, 2, 0,
1233 (SCM thread, SCM timeout, SCM timeoutval),
1234 "Suspend execution of the calling thread until the target @var{thread} "
1235 "terminates, unless the target @var{thread} has already terminated. ")
1236 #define FUNC_NAME s_scm_join_thread_timed
1237 {
1238 scm_i_thread *t;
1239 scm_t_timespec ctimeout, *timeout_ptr = NULL;
1240 SCM res = SCM_BOOL_F;
1241
1242 if (! (SCM_UNBNDP (timeoutval)))
1243 res = timeoutval;
1244
1245 SCM_VALIDATE_THREAD (1, thread);
1246 if (scm_is_eq (scm_current_thread (), thread))
1247 SCM_MISC_ERROR ("cannot join the current thread", SCM_EOL);
1248
1249 t = SCM_I_THREAD_DATA (thread);
1250 scm_i_scm_pthread_mutex_lock (&t->admin_mutex);
1251
1252 if (! SCM_UNBNDP (timeout))
1253 {
1254 to_timespec (timeout, &ctimeout);
1255 timeout_ptr = &ctimeout;
1256 }
1257
1258 if (t->exited)
1259 res = t->result;
1260 else
1261 {
1262 while (1)
1263 {
1264 int err = block_self (t->join_queue, thread, &t->admin_mutex,
1265 timeout_ptr);
1266 if (err == 0)
1267 {
1268 if (t->exited)
1269 {
1270 res = t->result;
1271 break;
1272 }
1273 }
1274 else if (err == ETIMEDOUT)
1275 break;
1276
1277 scm_i_pthread_mutex_unlock (&t->admin_mutex);
1278 SCM_TICK;
1279 scm_i_scm_pthread_mutex_lock (&t->admin_mutex);
1280
1281 /* Check for exit again, since we just released and
1282 reacquired the admin mutex, before the next block_self
1283 call (which would block forever if t has already
1284 exited). */
1285 if (t->exited)
1286 {
1287 res = t->result;
1288 break;
1289 }
1290 }
1291 }
1292
1293 scm_i_pthread_mutex_unlock (&t->admin_mutex);
1294
1295 return res;
1296 }
1297 #undef FUNC_NAME
1298
1299 SCM_DEFINE (scm_thread_p, "thread?", 1, 0, 0,
1300 (SCM obj),
1301 "Return @code{#t} if @var{obj} is a thread.")
1302 #define FUNC_NAME s_scm_thread_p
1303 {
1304 return SCM_I_IS_THREAD(obj) ? SCM_BOOL_T : SCM_BOOL_F;
1305 }
1306 #undef FUNC_NAME
1307
1308
1309 static size_t
1310 fat_mutex_free (SCM mx)
1311 {
1312 fat_mutex *m = SCM_MUTEX_DATA (mx);
1313 scm_i_pthread_mutex_destroy (&m->lock);
1314 return 0;
1315 }
1316
1317 static int
1318 fat_mutex_print (SCM mx, SCM port, scm_print_state *pstate SCM_UNUSED)
1319 {
1320 fat_mutex *m = SCM_MUTEX_DATA (mx);
1321 scm_puts ("#<mutex ", port);
1322 scm_uintprint ((scm_t_bits)m, 16, port);
1323 scm_puts (">", port);
1324 return 1;
1325 }
1326
1327 static SCM
1328 make_fat_mutex (int recursive, int unchecked_unlock, int external_unlock)
1329 {
1330 fat_mutex *m;
1331 SCM mx;
1332
1333 m = scm_gc_malloc (sizeof (fat_mutex), "mutex");
1334 scm_i_pthread_mutex_init (&m->lock, NULL);
1335 m->owner = SCM_BOOL_F;
1336 m->level = 0;
1337
1338 m->recursive = recursive;
1339 m->unchecked_unlock = unchecked_unlock;
1340 m->allow_external_unlock = external_unlock;
1341
1342 m->waiting = SCM_EOL;
1343 SCM_NEWSMOB (mx, scm_tc16_mutex, (scm_t_bits) m);
1344 m->waiting = make_queue ();
1345 return mx;
1346 }
1347
1348 SCM scm_make_mutex (void)
1349 {
1350 return scm_make_mutex_with_flags (SCM_EOL);
1351 }
1352
1353 SCM_SYMBOL (unchecked_unlock_sym, "unchecked-unlock");
1354 SCM_SYMBOL (allow_external_unlock_sym, "allow-external-unlock");
1355 SCM_SYMBOL (recursive_sym, "recursive");
1356
1357 SCM_DEFINE (scm_make_mutex_with_flags, "make-mutex", 0, 0, 1,
1358 (SCM flags),
1359 "Create a new mutex. ")
1360 #define FUNC_NAME s_scm_make_mutex_with_flags
1361 {
1362 int unchecked_unlock = 0, external_unlock = 0, recursive = 0;
1363
1364 SCM ptr = flags;
1365 while (! scm_is_null (ptr))
1366 {
1367 SCM flag = SCM_CAR (ptr);
1368 if (scm_is_eq (flag, unchecked_unlock_sym))
1369 unchecked_unlock = 1;
1370 else if (scm_is_eq (flag, allow_external_unlock_sym))
1371 external_unlock = 1;
1372 else if (scm_is_eq (flag, recursive_sym))
1373 recursive = 1;
1374 else
1375 SCM_MISC_ERROR ("unsupported mutex option: ~a", scm_list_1 (flag));
1376 ptr = SCM_CDR (ptr);
1377 }
1378 return make_fat_mutex (recursive, unchecked_unlock, external_unlock);
1379 }
1380 #undef FUNC_NAME
1381
1382 SCM_DEFINE (scm_make_recursive_mutex, "make-recursive-mutex", 0, 0, 0,
1383 (void),
1384 "Create a new recursive mutex. ")
1385 #define FUNC_NAME s_scm_make_recursive_mutex
1386 {
1387 return make_fat_mutex (1, 0, 0);
1388 }
1389 #undef FUNC_NAME
1390
1391 SCM_SYMBOL (scm_abandoned_mutex_error_key, "abandoned-mutex-error");
1392
1393 static SCM
1394 fat_mutex_lock (SCM mutex, scm_t_timespec *timeout, SCM owner, int *ret)
1395 {
1396 fat_mutex *m = SCM_MUTEX_DATA (mutex);
1397
1398 SCM new_owner = SCM_UNBNDP (owner) ? scm_current_thread() : owner;
1399 SCM err = SCM_BOOL_F;
1400
1401 struct timeval current_time;
1402
1403 scm_i_scm_pthread_mutex_lock (&m->lock);
1404
1405 while (1)
1406 {
1407 if (m->level == 0)
1408 {
1409 m->owner = new_owner;
1410 m->level++;
1411
1412 if (SCM_I_IS_THREAD (new_owner))
1413 {
1414 scm_i_thread *t = SCM_I_THREAD_DATA (new_owner);
1415
1416 /* FIXME: The order in which `t->admin_mutex' and
1417 `m->lock' are taken differs from that in
1418 `on_thread_exit', potentially leading to deadlocks. */
1419 scm_i_pthread_mutex_lock (&t->admin_mutex);
1420
1421 /* Only keep a weak reference to MUTEX so that it's not
1422 retained when not referenced elsewhere (bug #27450).
1423 The weak pair itself is eventually removed when MUTEX
1424 is unlocked. Note that `t->mutexes' lists mutexes
1425 currently held by T, so it should be small. */
1426 t->mutexes = scm_weak_car_pair (mutex, t->mutexes);
1427
1428 scm_i_pthread_mutex_unlock (&t->admin_mutex);
1429 }
1430 *ret = 1;
1431 break;
1432 }
1433 else if (SCM_I_IS_THREAD (m->owner) && scm_c_thread_exited_p (m->owner))
1434 {
1435 m->owner = new_owner;
1436 err = scm_cons (scm_abandoned_mutex_error_key,
1437 scm_from_locale_string ("lock obtained on abandoned "
1438 "mutex"));
1439 *ret = 1;
1440 break;
1441 }
1442 else if (scm_is_eq (m->owner, new_owner))
1443 {
1444 if (m->recursive)
1445 {
1446 m->level++;
1447 *ret = 1;
1448 }
1449 else
1450 {
1451 err = scm_cons (scm_misc_error_key,
1452 scm_from_locale_string ("mutex already locked "
1453 "by thread"));
1454 *ret = 0;
1455 }
1456 break;
1457 }
1458 else
1459 {
1460 if (timeout != NULL)
1461 {
1462 gettimeofday (&current_time, NULL);
1463 if (current_time.tv_sec > timeout->tv_sec ||
1464 (current_time.tv_sec == timeout->tv_sec &&
1465 current_time.tv_usec * 1000 > timeout->tv_nsec))
1466 {
1467 *ret = 0;
1468 break;
1469 }
1470 }
1471 block_self (m->waiting, mutex, &m->lock, timeout);
1472 scm_i_pthread_mutex_unlock (&m->lock);
1473 SCM_TICK;
1474 scm_i_scm_pthread_mutex_lock (&m->lock);
1475 }
1476 }
1477 scm_i_pthread_mutex_unlock (&m->lock);
1478 return err;
1479 }
1480
1481 SCM scm_lock_mutex (SCM mx)
1482 {
1483 return scm_lock_mutex_timed (mx, SCM_UNDEFINED, SCM_UNDEFINED);
1484 }
1485
1486 SCM_DEFINE (scm_lock_mutex_timed, "lock-mutex", 1, 2, 0,
1487 (SCM m, SCM timeout, SCM owner),
1488 "Lock mutex @var{m}. If the mutex is already locked, the calling\n"
1489 "thread blocks until the mutex becomes available. The function\n"
1490 "returns when the calling thread owns the lock on @var{m}.\n"
1491 "Locking a mutex that a thread already owns will succeed right\n"
1492 "away and will not block the thread. That is, Guile's mutexes\n"
1493 "are @emph{recursive}.")
1494 #define FUNC_NAME s_scm_lock_mutex_timed
1495 {
1496 SCM exception;
1497 int ret = 0;
1498 scm_t_timespec cwaittime, *waittime = NULL;
1499
1500 SCM_VALIDATE_MUTEX (1, m);
1501
1502 if (! SCM_UNBNDP (timeout) && ! scm_is_false (timeout))
1503 {
1504 to_timespec (timeout, &cwaittime);
1505 waittime = &cwaittime;
1506 }
1507
1508 if (!SCM_UNBNDP (owner) && !scm_is_false (owner))
1509 SCM_VALIDATE_THREAD (3, owner);
1510
1511 exception = fat_mutex_lock (m, waittime, owner, &ret);
1512 if (!scm_is_false (exception))
1513 scm_ithrow (SCM_CAR (exception), scm_list_1 (SCM_CDR (exception)), 1);
1514 return ret ? SCM_BOOL_T : SCM_BOOL_F;
1515 }
1516 #undef FUNC_NAME
1517
1518 static void
1519 lock_mutex_return_void (SCM mx)
1520 {
1521 (void) scm_lock_mutex (mx);
1522 }
1523
1524 static void
1525 unlock_mutex_return_void (SCM mx)
1526 {
1527 (void) scm_unlock_mutex (mx);
1528 }
1529
1530 void
1531 scm_dynwind_lock_mutex (SCM mutex)
1532 {
1533 scm_dynwind_unwind_handler_with_scm (unlock_mutex_return_void, mutex,
1534 SCM_F_WIND_EXPLICITLY);
1535 scm_dynwind_rewind_handler_with_scm (lock_mutex_return_void, mutex,
1536 SCM_F_WIND_EXPLICITLY);
1537 }
1538
1539 SCM_DEFINE (scm_try_mutex, "try-mutex", 1, 0, 0,
1540 (SCM mutex),
1541 "Try to lock @var{mutex}. If the mutex is already locked by someone "
1542 "else, return @code{#f}. Else lock the mutex and return @code{#t}. ")
1543 #define FUNC_NAME s_scm_try_mutex
1544 {
1545 SCM exception;
1546 int ret = 0;
1547 scm_t_timespec cwaittime, *waittime = NULL;
1548
1549 SCM_VALIDATE_MUTEX (1, mutex);
1550
1551 to_timespec (scm_from_int(0), &cwaittime);
1552 waittime = &cwaittime;
1553
1554 exception = fat_mutex_lock (mutex, waittime, SCM_UNDEFINED, &ret);
1555 if (!scm_is_false (exception))
1556 scm_ithrow (SCM_CAR (exception), scm_list_1 (SCM_CDR (exception)), 1);
1557 return ret ? SCM_BOOL_T : SCM_BOOL_F;
1558 }
1559 #undef FUNC_NAME
1560
1561 /*** Fat condition variables */
1562
1563 typedef struct {
1564 scm_i_pthread_mutex_t lock;
1565 SCM waiting; /* the threads waiting for this condition. */
1566 } fat_cond;
1567
1568 #define SCM_CONDVARP(x) SCM_SMOB_PREDICATE (scm_tc16_condvar, x)
1569 #define SCM_CONDVAR_DATA(x) ((fat_cond *) SCM_SMOB_DATA (x))
1570
1571 static int
1572 fat_mutex_unlock (SCM mutex, SCM cond,
1573 const scm_t_timespec *waittime, int relock)
1574 {
1575 SCM owner;
1576 fat_mutex *m = SCM_MUTEX_DATA (mutex);
1577 fat_cond *c = NULL;
1578 scm_i_thread *t = SCM_I_CURRENT_THREAD;
1579 int err = 0, ret = 0;
1580
1581 scm_i_scm_pthread_mutex_lock (&m->lock);
1582
1583 owner = m->owner;
1584
1585 if (!scm_is_eq (owner, t->handle))
1586 {
1587 if (m->level == 0)
1588 {
1589 if (!m->unchecked_unlock)
1590 {
1591 scm_i_pthread_mutex_unlock (&m->lock);
1592 scm_misc_error (NULL, "mutex not locked", SCM_EOL);
1593 }
1594 owner = t->handle;
1595 }
1596 else if (!m->allow_external_unlock)
1597 {
1598 scm_i_pthread_mutex_unlock (&m->lock);
1599 scm_misc_error (NULL, "mutex not locked by current thread", SCM_EOL);
1600 }
1601 }
1602
1603 if (! (SCM_UNBNDP (cond)))
1604 {
1605 c = SCM_CONDVAR_DATA (cond);
1606 while (1)
1607 {
1608 int brk = 0;
1609
1610 if (m->level > 0)
1611 m->level--;
1612 if (m->level == 0)
1613 {
1614 /* Change the owner of MUTEX. */
1615 t->mutexes = scm_delq_x (mutex, t->mutexes);
1616 m->owner = unblock_from_queue (m->waiting);
1617 }
1618
1619 t->block_asyncs++;
1620
1621 err = block_self (c->waiting, cond, &m->lock, waittime);
1622 scm_i_pthread_mutex_unlock (&m->lock);
1623
1624 if (err == 0)
1625 {
1626 ret = 1;
1627 brk = 1;
1628 }
1629 else if (err == ETIMEDOUT)
1630 {
1631 ret = 0;
1632 brk = 1;
1633 }
1634 else if (err != EINTR)
1635 {
1636 errno = err;
1637 scm_syserror (NULL);
1638 }
1639
1640 if (brk)
1641 {
1642 if (relock)
1643 scm_lock_mutex_timed (mutex, SCM_UNDEFINED, owner);
1644 t->block_asyncs--;
1645 break;
1646 }
1647
1648 t->block_asyncs--;
1649 scm_async_click ();
1650
1651 scm_remember_upto_here_2 (cond, mutex);
1652
1653 scm_i_scm_pthread_mutex_lock (&m->lock);
1654 }
1655 }
1656 else
1657 {
1658 if (m->level > 0)
1659 m->level--;
1660 if (m->level == 0)
1661 {
1662 /* Change the owner of MUTEX. */
1663 t->mutexes = scm_delq_x (mutex, t->mutexes);
1664 m->owner = unblock_from_queue (m->waiting);
1665 }
1666
1667 scm_i_pthread_mutex_unlock (&m->lock);
1668 ret = 1;
1669 }
1670
1671 return ret;
1672 }
1673
1674 SCM scm_unlock_mutex (SCM mx)
1675 {
1676 return scm_unlock_mutex_timed (mx, SCM_UNDEFINED, SCM_UNDEFINED);
1677 }
1678
1679 SCM_DEFINE (scm_unlock_mutex_timed, "unlock-mutex", 1, 2, 0,
1680 (SCM mx, SCM cond, SCM timeout),
1681 "Unlocks @var{mutex} if the calling thread owns the lock on "
1682 "@var{mutex}. Calling unlock-mutex on a mutex not owned by the current "
1683 "thread results in undefined behaviour. Once a mutex has been unlocked, "
1684 "one thread blocked on @var{mutex} is awakened and grabs the mutex "
1685 "lock. Every call to @code{lock-mutex} by this thread must be matched "
1686 "with a call to @code{unlock-mutex}. Only the last call to "
1687 "@code{unlock-mutex} will actually unlock the mutex. ")
1688 #define FUNC_NAME s_scm_unlock_mutex_timed
1689 {
1690 scm_t_timespec cwaittime, *waittime = NULL;
1691
1692 SCM_VALIDATE_MUTEX (1, mx);
1693 if (! (SCM_UNBNDP (cond)))
1694 {
1695 SCM_VALIDATE_CONDVAR (2, cond);
1696
1697 if (! SCM_UNBNDP (timeout) && ! scm_is_false (timeout))
1698 {
1699 to_timespec (timeout, &cwaittime);
1700 waittime = &cwaittime;
1701 }
1702 }
1703
1704 return fat_mutex_unlock (mx, cond, waittime, 0) ? SCM_BOOL_T : SCM_BOOL_F;
1705 }
1706 #undef FUNC_NAME
1707
1708 SCM_DEFINE (scm_mutex_p, "mutex?", 1, 0, 0,
1709 (SCM obj),
1710 "Return @code{#t} if @var{obj} is a mutex.")
1711 #define FUNC_NAME s_scm_mutex_p
1712 {
1713 return SCM_MUTEXP (obj) ? SCM_BOOL_T : SCM_BOOL_F;
1714 }
1715 #undef FUNC_NAME
1716
1717 SCM_DEFINE (scm_mutex_owner, "mutex-owner", 1, 0, 0,
1718 (SCM mx),
1719 "Return the thread owning @var{mx}, or @code{#f}.")
1720 #define FUNC_NAME s_scm_mutex_owner
1721 {
1722 SCM owner;
1723 fat_mutex *m = NULL;
1724
1725 SCM_VALIDATE_MUTEX (1, mx);
1726 m = SCM_MUTEX_DATA (mx);
1727 scm_i_pthread_mutex_lock (&m->lock);
1728 owner = m->owner;
1729 scm_i_pthread_mutex_unlock (&m->lock);
1730
1731 return owner;
1732 }
1733 #undef FUNC_NAME
1734
1735 SCM_DEFINE (scm_mutex_level, "mutex-level", 1, 0, 0,
1736 (SCM mx),
1737 "Return the lock level of mutex @var{mx}.")
1738 #define FUNC_NAME s_scm_mutex_level
1739 {
1740 SCM_VALIDATE_MUTEX (1, mx);
1741 return scm_from_int (SCM_MUTEX_DATA(mx)->level);
1742 }
1743 #undef FUNC_NAME
1744
1745 SCM_DEFINE (scm_mutex_locked_p, "mutex-locked?", 1, 0, 0,
1746 (SCM mx),
1747 "Returns @code{#t} if the mutex @var{mx} is locked.")
1748 #define FUNC_NAME s_scm_mutex_locked_p
1749 {
1750 SCM_VALIDATE_MUTEX (1, mx);
1751 return SCM_MUTEX_DATA (mx)->level > 0 ? SCM_BOOL_T : SCM_BOOL_F;
1752 }
1753 #undef FUNC_NAME
1754
1755 static int
1756 fat_cond_print (SCM cv, SCM port, scm_print_state *pstate SCM_UNUSED)
1757 {
1758 fat_cond *c = SCM_CONDVAR_DATA (cv);
1759 scm_puts ("#<condition-variable ", port);
1760 scm_uintprint ((scm_t_bits)c, 16, port);
1761 scm_puts (">", port);
1762 return 1;
1763 }
1764
1765 SCM_DEFINE (scm_make_condition_variable, "make-condition-variable", 0, 0, 0,
1766 (void),
1767 "Make a new condition variable.")
1768 #define FUNC_NAME s_scm_make_condition_variable
1769 {
1770 fat_cond *c;
1771 SCM cv;
1772
1773 c = scm_gc_malloc (sizeof (fat_cond), "condition variable");
1774 c->waiting = SCM_EOL;
1775 SCM_NEWSMOB (cv, scm_tc16_condvar, (scm_t_bits) c);
1776 c->waiting = make_queue ();
1777 return cv;
1778 }
1779 #undef FUNC_NAME
1780
1781 SCM_DEFINE (scm_timed_wait_condition_variable, "wait-condition-variable", 2, 1, 0,
1782 (SCM cv, SCM mx, SCM t),
1783 "Wait until condition variable @var{cv} has been signalled. While waiting, "
1784 "mutex @var{mx} is atomically unlocked (as with @code{unlock-mutex}) and "
1785 "is locked again when this function returns. When @var{t} is given, "
1786 "it specifies a point in time where the waiting should be aborted. It "
1787 "can be either a integer as returned by @code{current-time} or a pair "
1788 "as returned by @code{gettimeofday}. When the waiting is aborted the "
1789 "mutex is locked and @code{#f} is returned. When the condition "
1790 "variable is in fact signalled, the mutex is also locked and @code{#t} "
1791 "is returned. ")
1792 #define FUNC_NAME s_scm_timed_wait_condition_variable
1793 {
1794 scm_t_timespec waittime, *waitptr = NULL;
1795
1796 SCM_VALIDATE_CONDVAR (1, cv);
1797 SCM_VALIDATE_MUTEX (2, mx);
1798
1799 if (!SCM_UNBNDP (t))
1800 {
1801 to_timespec (t, &waittime);
1802 waitptr = &waittime;
1803 }
1804
1805 return fat_mutex_unlock (mx, cv, waitptr, 1) ? SCM_BOOL_T : SCM_BOOL_F;
1806 }
1807 #undef FUNC_NAME
1808
1809 static void
1810 fat_cond_signal (fat_cond *c)
1811 {
1812 unblock_from_queue (c->waiting);
1813 }
1814
1815 SCM_DEFINE (scm_signal_condition_variable, "signal-condition-variable", 1, 0, 0,
1816 (SCM cv),
1817 "Wake up one thread that is waiting for @var{cv}")
1818 #define FUNC_NAME s_scm_signal_condition_variable
1819 {
1820 SCM_VALIDATE_CONDVAR (1, cv);
1821 fat_cond_signal (SCM_CONDVAR_DATA (cv));
1822 return SCM_BOOL_T;
1823 }
1824 #undef FUNC_NAME
1825
1826 static void
1827 fat_cond_broadcast (fat_cond *c)
1828 {
1829 while (scm_is_true (unblock_from_queue (c->waiting)))
1830 ;
1831 }
1832
1833 SCM_DEFINE (scm_broadcast_condition_variable, "broadcast-condition-variable", 1, 0, 0,
1834 (SCM cv),
1835 "Wake up all threads that are waiting for @var{cv}. ")
1836 #define FUNC_NAME s_scm_broadcast_condition_variable
1837 {
1838 SCM_VALIDATE_CONDVAR (1, cv);
1839 fat_cond_broadcast (SCM_CONDVAR_DATA (cv));
1840 return SCM_BOOL_T;
1841 }
1842 #undef FUNC_NAME
1843
1844 SCM_DEFINE (scm_condition_variable_p, "condition-variable?", 1, 0, 0,
1845 (SCM obj),
1846 "Return @code{#t} if @var{obj} is a condition variable.")
1847 #define FUNC_NAME s_scm_condition_variable_p
1848 {
1849 return SCM_CONDVARP(obj) ? SCM_BOOL_T : SCM_BOOL_F;
1850 }
1851 #undef FUNC_NAME
1852
1853
1854 \f
1855 /*** Select */
1856
1857 struct select_args
1858 {
1859 int nfds;
1860 fd_set *read_fds;
1861 fd_set *write_fds;
1862 fd_set *except_fds;
1863 struct timeval *timeout;
1864
1865 int result;
1866 int errno_value;
1867 };
1868
1869 static void *
1870 do_std_select (void *args)
1871 {
1872 struct select_args *select_args;
1873
1874 select_args = (struct select_args *) args;
1875
1876 select_args->result =
1877 select (select_args->nfds,
1878 select_args->read_fds, select_args->write_fds,
1879 select_args->except_fds, select_args->timeout);
1880 select_args->errno_value = errno;
1881
1882 return NULL;
1883 }
1884
1885 int
1886 scm_std_select (int nfds,
1887 fd_set *readfds,
1888 fd_set *writefds,
1889 fd_set *exceptfds,
1890 struct timeval *timeout)
1891 {
1892 fd_set my_readfds;
1893 int res, eno, wakeup_fd;
1894 scm_i_thread *t = SCM_I_CURRENT_THREAD;
1895 struct select_args args;
1896
1897 if (readfds == NULL)
1898 {
1899 FD_ZERO (&my_readfds);
1900 readfds = &my_readfds;
1901 }
1902
1903 while (scm_i_setup_sleep (t, SCM_BOOL_F, NULL, t->sleep_pipe[1]))
1904 SCM_TICK;
1905
1906 wakeup_fd = t->sleep_pipe[0];
1907 FD_SET (wakeup_fd, readfds);
1908 if (wakeup_fd >= nfds)
1909 nfds = wakeup_fd+1;
1910
1911 args.nfds = nfds;
1912 args.read_fds = readfds;
1913 args.write_fds = writefds;
1914 args.except_fds = exceptfds;
1915 args.timeout = timeout;
1916
1917 /* Explicitly cooperate with the GC. */
1918 scm_without_guile (do_std_select, &args);
1919
1920 res = args.result;
1921 eno = args.errno_value;
1922
1923 t->sleep_fd = -1;
1924 scm_i_reset_sleep (t);
1925
1926 if (res > 0 && FD_ISSET (wakeup_fd, readfds))
1927 {
1928 char dummy;
1929 full_read (wakeup_fd, &dummy, 1);
1930
1931 FD_CLR (wakeup_fd, readfds);
1932 res -= 1;
1933 if (res == 0)
1934 {
1935 eno = EINTR;
1936 res = -1;
1937 }
1938 }
1939 errno = eno;
1940 return res;
1941 }
1942
1943 /* Convenience API for blocking while in guile mode. */
1944
1945 #if SCM_USE_PTHREAD_THREADS
1946
1947 /* It seems reasonable to not run procedures related to mutex and condition
1948 variables within `GC_do_blocking ()' since, (i) the GC can operate even
1949 without it, and (ii) the only potential gain would be GC latency. See
1950 http://thread.gmane.org/gmane.comp.programming.garbage-collection.boehmgc/2245/focus=2251
1951 for a discussion of the pros and cons. */
1952
1953 int
1954 scm_pthread_mutex_lock (scm_i_pthread_mutex_t *mutex)
1955 {
1956 int res = scm_i_pthread_mutex_lock (mutex);
1957 return res;
1958 }
1959
1960 static void
1961 do_unlock (void *data)
1962 {
1963 scm_i_pthread_mutex_unlock ((scm_i_pthread_mutex_t *)data);
1964 }
1965
1966 void
1967 scm_dynwind_pthread_mutex_lock (scm_i_pthread_mutex_t *mutex)
1968 {
1969 scm_i_scm_pthread_mutex_lock (mutex);
1970 scm_dynwind_unwind_handler (do_unlock, mutex, SCM_F_WIND_EXPLICITLY);
1971 }
1972
1973 int
1974 scm_pthread_cond_wait (scm_i_pthread_cond_t *cond, scm_i_pthread_mutex_t *mutex)
1975 {
1976 int res;
1977 scm_i_thread *t = SCM_I_CURRENT_THREAD;
1978
1979 t->held_mutex = mutex;
1980 res = scm_i_pthread_cond_wait (cond, mutex);
1981 t->held_mutex = NULL;
1982
1983 return res;
1984 }
1985
1986 int
1987 scm_pthread_cond_timedwait (scm_i_pthread_cond_t *cond,
1988 scm_i_pthread_mutex_t *mutex,
1989 const scm_t_timespec *wt)
1990 {
1991 int res;
1992 scm_i_thread *t = SCM_I_CURRENT_THREAD;
1993
1994 t->held_mutex = mutex;
1995 res = scm_i_pthread_cond_timedwait (cond, mutex, wt);
1996 t->held_mutex = NULL;
1997
1998 return res;
1999 }
2000
2001 #endif
2002
2003 static void
2004 do_unlock_with_asyncs (void *data)
2005 {
2006 scm_i_pthread_mutex_unlock ((scm_i_pthread_mutex_t *)data);
2007 SCM_I_CURRENT_THREAD->block_asyncs--;
2008 }
2009
2010 void
2011 scm_i_dynwind_pthread_mutex_lock_block_asyncs (scm_i_pthread_mutex_t *mutex)
2012 {
2013 SCM_I_CURRENT_THREAD->block_asyncs++;
2014 scm_i_scm_pthread_mutex_lock (mutex);
2015 scm_dynwind_unwind_handler (do_unlock_with_asyncs, mutex,
2016 SCM_F_WIND_EXPLICITLY);
2017 }
2018
2019 unsigned long
2020 scm_std_usleep (unsigned long usecs)
2021 {
2022 struct timeval tv;
2023 tv.tv_usec = usecs % 1000000;
2024 tv.tv_sec = usecs / 1000000;
2025 scm_std_select (0, NULL, NULL, NULL, &tv);
2026 return tv.tv_sec * 1000000 + tv.tv_usec;
2027 }
2028
2029 unsigned int
2030 scm_std_sleep (unsigned int secs)
2031 {
2032 struct timeval tv;
2033 tv.tv_usec = 0;
2034 tv.tv_sec = secs;
2035 scm_std_select (0, NULL, NULL, NULL, &tv);
2036 return tv.tv_sec;
2037 }
2038
2039 /*** Misc */
2040
2041 SCM_DEFINE (scm_current_thread, "current-thread", 0, 0, 0,
2042 (void),
2043 "Return the thread that called this function.")
2044 #define FUNC_NAME s_scm_current_thread
2045 {
2046 return SCM_I_CURRENT_THREAD->handle;
2047 }
2048 #undef FUNC_NAME
2049
2050 static SCM
2051 scm_c_make_list (size_t n, SCM fill)
2052 {
2053 SCM res = SCM_EOL;
2054 while (n-- > 0)
2055 res = scm_cons (fill, res);
2056 return res;
2057 }
2058
2059 SCM_DEFINE (scm_all_threads, "all-threads", 0, 0, 0,
2060 (void),
2061 "Return a list of all threads.")
2062 #define FUNC_NAME s_scm_all_threads
2063 {
2064 /* We can not allocate while holding the thread_admin_mutex because
2065 of the way GC is done.
2066 */
2067 int n = thread_count;
2068 scm_i_thread *t;
2069 SCM list = scm_c_make_list (n, SCM_UNSPECIFIED), *l;
2070
2071 scm_i_pthread_mutex_lock (&thread_admin_mutex);
2072 l = &list;
2073 for (t = all_threads; t && n > 0; t = t->next_thread)
2074 {
2075 if (t != scm_i_signal_delivery_thread)
2076 {
2077 SCM_SETCAR (*l, t->handle);
2078 l = SCM_CDRLOC (*l);
2079 }
2080 n--;
2081 }
2082 *l = SCM_EOL;
2083 scm_i_pthread_mutex_unlock (&thread_admin_mutex);
2084 return list;
2085 }
2086 #undef FUNC_NAME
2087
2088 SCM_DEFINE (scm_thread_exited_p, "thread-exited?", 1, 0, 0,
2089 (SCM thread),
2090 "Return @code{#t} iff @var{thread} has exited.\n")
2091 #define FUNC_NAME s_scm_thread_exited_p
2092 {
2093 return scm_from_bool (scm_c_thread_exited_p (thread));
2094 }
2095 #undef FUNC_NAME
2096
2097 int
2098 scm_c_thread_exited_p (SCM thread)
2099 #define FUNC_NAME s_scm_thread_exited_p
2100 {
2101 scm_i_thread *t;
2102 SCM_VALIDATE_THREAD (1, thread);
2103 t = SCM_I_THREAD_DATA (thread);
2104 return t->exited;
2105 }
2106 #undef FUNC_NAME
2107
2108 SCM_DEFINE (scm_total_processor_count, "total-processor-count", 0, 0, 0,
2109 (void),
2110 "Return the total number of processors of the machine, which\n"
2111 "is guaranteed to be at least 1. A ``processor'' here is a\n"
2112 "thread execution unit, which can be either:\n\n"
2113 "@itemize\n"
2114 "@item an execution core in a (possibly multi-core) chip, in a\n"
2115 " (possibly multi- chip) module, in a single computer, or\n"
2116 "@item a thread execution unit inside a core in the case of\n"
2117 " @dfn{hyper-threaded} CPUs.\n"
2118 "@end itemize\n\n"
2119 "Which of the two definitions is used, is unspecified.\n")
2120 #define FUNC_NAME s_scm_total_processor_count
2121 {
2122 return scm_from_ulong (num_processors (NPROC_ALL));
2123 }
2124 #undef FUNC_NAME
2125
2126 SCM_DEFINE (scm_current_processor_count, "current-processor-count", 0, 0, 0,
2127 (void),
2128 "Like @code{total-processor-count}, but return the number of\n"
2129 "processors available to the current process. See\n"
2130 "@code{setaffinity} and @code{getaffinity} for more\n"
2131 "information.\n")
2132 #define FUNC_NAME s_scm_current_processor_count
2133 {
2134 return scm_from_ulong (num_processors (NPROC_CURRENT));
2135 }
2136 #undef FUNC_NAME
2137
2138
2139 \f
2140
2141 static scm_i_pthread_cond_t wake_up_cond;
2142 static int threads_initialized_p = 0;
2143
2144
2145 /* This mutex is used by SCM_CRITICAL_SECTION_START/END.
2146 */
2147 scm_i_pthread_mutex_t scm_i_critical_section_mutex;
2148
2149 static SCM dynwind_critical_section_mutex;
2150
2151 void
2152 scm_dynwind_critical_section (SCM mutex)
2153 {
2154 if (scm_is_false (mutex))
2155 mutex = dynwind_critical_section_mutex;
2156 scm_dynwind_lock_mutex (mutex);
2157 scm_dynwind_block_asyncs ();
2158 }
2159
2160 /*** Initialization */
2161
2162 scm_i_pthread_mutex_t scm_i_misc_mutex;
2163
2164 #if SCM_USE_PTHREAD_THREADS
2165 pthread_mutexattr_t scm_i_pthread_mutexattr_recursive[1];
2166 #endif
2167
2168 void
2169 scm_threads_prehistory (void *base)
2170 {
2171 #if SCM_USE_PTHREAD_THREADS
2172 pthread_mutexattr_init (scm_i_pthread_mutexattr_recursive);
2173 pthread_mutexattr_settype (scm_i_pthread_mutexattr_recursive,
2174 PTHREAD_MUTEX_RECURSIVE);
2175 #endif
2176
2177 scm_i_pthread_mutex_init (&scm_i_critical_section_mutex,
2178 scm_i_pthread_mutexattr_recursive);
2179 scm_i_pthread_mutex_init (&scm_i_misc_mutex, NULL);
2180 scm_i_pthread_cond_init (&wake_up_cond, NULL);
2181
2182 guilify_self_1 ((struct GC_stack_base *) base);
2183 }
2184
2185 scm_t_bits scm_tc16_thread;
2186 scm_t_bits scm_tc16_mutex;
2187 scm_t_bits scm_tc16_condvar;
2188
2189 void
2190 scm_init_threads ()
2191 {
2192 scm_tc16_thread = scm_make_smob_type ("thread", sizeof (scm_i_thread));
2193 scm_set_smob_print (scm_tc16_thread, thread_print);
2194
2195 scm_tc16_mutex = scm_make_smob_type ("mutex", sizeof (fat_mutex));
2196 scm_set_smob_print (scm_tc16_mutex, fat_mutex_print);
2197 scm_set_smob_free (scm_tc16_mutex, fat_mutex_free);
2198
2199 scm_tc16_condvar = scm_make_smob_type ("condition-variable",
2200 sizeof (fat_cond));
2201 scm_set_smob_print (scm_tc16_condvar, fat_cond_print);
2202
2203 scm_i_default_dynamic_state = SCM_BOOL_F;
2204 guilify_self_2 (SCM_BOOL_F);
2205 threads_initialized_p = 1;
2206
2207 dynwind_critical_section_mutex = scm_make_recursive_mutex ();
2208 }
2209
2210 void
2211 scm_init_threads_default_dynamic_state ()
2212 {
2213 SCM state = scm_make_dynamic_state (scm_current_dynamic_state ());
2214 scm_i_default_dynamic_state = state;
2215 }
2216
2217 void
2218 scm_init_thread_procs ()
2219 {
2220 #include "libguile/threads.x"
2221 }
2222
2223 \f
2224 /* IA64-specific things. */
2225
2226 #ifdef __ia64__
2227 # ifdef __hpux
2228 # include <sys/param.h>
2229 # include <sys/pstat.h>
2230 void *
2231 scm_ia64_register_backing_store_base (void)
2232 {
2233 struct pst_vm_status vm_status;
2234 int i = 0;
2235 while (pstat_getprocvm (&vm_status, sizeof (vm_status), 0, i++) == 1)
2236 if (vm_status.pst_type == PS_RSESTACK)
2237 return (void *) vm_status.pst_vaddr;
2238 abort ();
2239 }
2240 void *
2241 scm_ia64_ar_bsp (const void *ctx)
2242 {
2243 uint64_t bsp;
2244 __uc_get_ar_bsp (ctx, &bsp);
2245 return (void *) bsp;
2246 }
2247 # endif /* hpux */
2248 # ifdef linux
2249 # include <ucontext.h>
2250 void *
2251 scm_ia64_register_backing_store_base (void)
2252 {
2253 extern void *__libc_ia64_register_backing_store_base;
2254 return __libc_ia64_register_backing_store_base;
2255 }
2256 void *
2257 scm_ia64_ar_bsp (const void *opaque)
2258 {
2259 const ucontext_t *ctx = opaque;
2260 return (void *) ctx->uc_mcontext.sc_ar_bsp;
2261 }
2262 # endif /* linux */
2263 # ifdef __FreeBSD__
2264 # include <ucontext.h>
2265 void *
2266 scm_ia64_register_backing_store_base (void)
2267 {
2268 return (void *)0x8000000000000000;
2269 }
2270 void *
2271 scm_ia64_ar_bsp (const void *opaque)
2272 {
2273 const ucontext_t *ctx = opaque;
2274 return (void *)(ctx->uc_mcontext.mc_special.bspstore
2275 + ctx->uc_mcontext.mc_special.ndirty);
2276 }
2277 # endif /* __FreeBSD__ */
2278 #endif /* __ia64__ */
2279
2280
2281 /*
2282 Local Variables:
2283 c-file-style: "gnu"
2284 End:
2285 */