configure.ac (cxx_compat_warn): Set if -Wc++-compat is supported.
[official-gcc.git] / boehm-gc / pthread_support.c
blob4271803c7c2a2f8443b1663ab0953ed6e810d14f
1 /*
2 * Copyright (c) 1994 by Xerox Corporation. All rights reserved.
3 * Copyright (c) 1996 by Silicon Graphics. All rights reserved.
4 * Copyright (c) 1998 by Fergus Henderson. All rights reserved.
5 * Copyright (c) 2000-2004 by Hewlett-Packard Company. All rights reserved.
7 * THIS MATERIAL IS PROVIDED AS IS, WITH ABSOLUTELY NO WARRANTY EXPRESSED
8 * OR IMPLIED. ANY USE IS AT YOUR OWN RISK.
10 * Permission is hereby granted to use or copy this program
11 * for any purpose, provided the above notices are retained on all copies.
12 * Permission to modify the code and to distribute modified code is granted,
13 * provided the above notices are retained, and a notice that the code was
14 * modified is included with the above copyright notice.
17 * Support code for LinuxThreads, the clone()-based kernel
18 * thread package for Linux which is included in libc6.
20 * This code relies on implementation details of LinuxThreads,
21 * (i.e. properties not guaranteed by the Pthread standard),
22 * though this version now does less of that than the other Pthreads
23 * support code.
25 * Note that there is a lot of code duplication between linux_threads.c
26 * and thread support for some of the other Posix platforms; any changes
27 * made here may need to be reflected there too.
29 /* DG/UX ix86 support <takis@xfree86.org> */
31 * Linux_threads.c now also includes some code to support HPUX and
32 * OSF1 (Compaq Tru64 Unix, really). The OSF1 support is based on Eric Benson's
33 * patch.
35 * Eric also suggested an alternate basis for a lock implementation in
36 * his code:
37 * + #elif defined(OSF1)
38 * + unsigned long GC_allocate_lock = 0;
39 * + msemaphore GC_allocate_semaphore;
40 * + # define GC_TRY_LOCK() \
41 * + ((msem_lock(&GC_allocate_semaphore, MSEM_IF_NOWAIT) == 0) \
42 * + ? (GC_allocate_lock = 1) \
43 * + : 0)
44 * + # define GC_LOCK_TAKEN GC_allocate_lock
47 /*#define DEBUG_THREADS 1*/
48 /*#define GC_ASSERTIONS*/
50 # include "gc.h"
51 # include "private/pthread_support.h"
53 # if defined(GC_PTHREADS) && !defined(GC_SOLARIS_THREADS) \
54 && !defined(GC_WIN32_THREADS)
56 # if defined(GC_HPUX_THREADS) && !defined(USE_PTHREAD_SPECIFIC) \
57 && !defined(USE_COMPILER_TLS)
58 # ifdef __GNUC__
59 # define USE_PTHREAD_SPECIFIC
60 /* Empirically, as of gcc 3.3, USE_COMPILER_TLS doesn't work. */
61 # else
62 # define USE_COMPILER_TLS
63 # endif
64 # endif
66 # if defined USE_HPUX_TLS
67 --> Macro replaced by USE_COMPILER_TLS
68 # endif
70 # if (defined(GC_DGUX386_THREADS) || defined(GC_OSF1_THREADS) || \
71 defined(GC_DARWIN_THREADS) || defined(GC_AIX_THREADS)) \
72 && !defined(USE_PTHREAD_SPECIFIC)
73 # define USE_PTHREAD_SPECIFIC
74 # endif
76 # if defined(GC_DGUX386_THREADS) && !defined(_POSIX4A_DRAFT10_SOURCE)
77 # define _POSIX4A_DRAFT10_SOURCE 1
78 # endif
80 # if defined(GC_DGUX386_THREADS) && !defined(_USING_POSIX4A_DRAFT10)
81 # define _USING_POSIX4A_DRAFT10 1
82 # endif
84 # ifdef THREAD_LOCAL_ALLOC
85 # if !defined(USE_PTHREAD_SPECIFIC) && !defined(USE_COMPILER_TLS)
86 # include "private/specific.h"
87 # endif
88 # if defined(USE_PTHREAD_SPECIFIC)
89 # define GC_getspecific pthread_getspecific
90 # define GC_setspecific pthread_setspecific
91 # define GC_key_create pthread_key_create
92 typedef pthread_key_t GC_key_t;
93 # endif
94 # if defined(USE_COMPILER_TLS)
95 # define GC_getspecific(x) (x)
96 # define GC_setspecific(key, v) ((key) = (v), 0)
97 # define GC_key_create(key, d) 0
98 typedef void * GC_key_t;
99 # endif
100 # endif
101 # include <stdlib.h>
102 # include <pthread.h>
103 # include <sched.h>
104 # include <time.h>
105 # include <errno.h>
106 # include <unistd.h>
107 # include <sys/mman.h>
108 # include <sys/time.h>
109 # include <sys/types.h>
110 # include <sys/stat.h>
111 # include <fcntl.h>
112 # include <signal.h>
114 #if defined(GC_DARWIN_THREADS)
115 # include "private/darwin_semaphore.h"
116 #else
117 # include <semaphore.h>
118 #endif /* !GC_DARWIN_THREADS */
120 #if defined(GC_DARWIN_THREADS) || defined(GC_FREEBSD_THREADS)
121 # include <sys/sysctl.h>
122 #endif /* GC_DARWIN_THREADS */
126 #if defined(GC_DGUX386_THREADS)
127 # include <sys/dg_sys_info.h>
128 # include <sys/_int_psem.h>
129 /* sem_t is an uint in DG/UX */
130 typedef unsigned int sem_t;
131 #endif /* GC_DGUX386_THREADS */
133 #ifndef __GNUC__
134 # define __inline__
135 #endif
137 #ifdef GC_USE_LD_WRAP
138 # define WRAP_FUNC(f) __wrap_##f
139 # define REAL_FUNC(f) __real_##f
140 #else
141 # define WRAP_FUNC(f) GC_##f
142 # if !defined(GC_DGUX386_THREADS)
143 # define REAL_FUNC(f) f
144 # else /* GC_DGUX386_THREADS */
145 # define REAL_FUNC(f) __d10_##f
146 # endif /* GC_DGUX386_THREADS */
147 # undef pthread_create
148 # if !defined(GC_DARWIN_THREADS)
149 # undef pthread_sigmask
150 # endif
151 # undef pthread_join
152 # undef pthread_detach
153 # if defined(GC_OSF1_THREADS) && defined(_PTHREAD_USE_MANGLED_NAMES_) \
154 && !defined(_PTHREAD_USE_PTDNAM_)
155 /* Restore the original mangled names on Tru64 UNIX. */
156 # define pthread_create __pthread_create
157 # define pthread_join __pthread_join
158 # define pthread_detach __pthread_detach
159 # endif
160 #endif
162 void GC_thr_init();
164 static GC_bool parallel_initialized = FALSE;
166 void GC_init_parallel();
168 # if defined(THREAD_LOCAL_ALLOC) && !defined(DBG_HDRS_ALL)
170 /* We don't really support thread-local allocation with DBG_HDRS_ALL */
172 #ifdef USE_COMPILER_TLS
173 __thread
174 #endif
175 GC_key_t GC_thread_key;
177 static GC_bool keys_initialized;
179 /* Recover the contents of the freelist array fl into the global one gfl.*/
180 /* Note that the indexing scheme differs, in that gfl has finer size */
181 /* resolution, even if not all entries are used. */
182 /* We hold the allocator lock. */
183 static void return_freelists(ptr_t *fl, ptr_t *gfl)
185 int i;
186 ptr_t q, *qptr;
187 size_t nwords;
189 for (i = 1; i < NFREELISTS; ++i) {
190 nwords = i * (GRANULARITY/sizeof(word));
191 qptr = fl + i;
192 q = *qptr;
193 if ((word)q >= HBLKSIZE) {
194 if (gfl[nwords] == 0) {
195 gfl[nwords] = q;
196 } else {
197 /* Concatenate: */
198 for (; (word)q >= HBLKSIZE; qptr = &(obj_link(q)), q = *qptr);
199 GC_ASSERT(0 == q);
200 *qptr = gfl[nwords];
201 gfl[nwords] = fl[i];
204 /* Clear fl[i], since the thread structure may hang around. */
205 /* Do it in a way that is likely to trap if we access it. */
206 fl[i] = (ptr_t)HBLKSIZE;
210 /* We statically allocate a single "size 0" object. It is linked to */
211 /* itself, and is thus repeatedly reused for all size 0 allocation */
212 /* requests. (Size 0 gcj allocation requests are incorrect, and */
213 /* we arrange for those to fault asap.) */
214 static ptr_t size_zero_object = (ptr_t)(&size_zero_object);
216 /* Each thread structure must be initialized. */
217 /* This call must be made from the new thread. */
218 /* Caller holds allocation lock. */
219 void GC_init_thread_local(GC_thread p)
221 int i;
223 if (!keys_initialized) {
224 if (0 != GC_key_create(&GC_thread_key, 0)) {
225 ABORT("Failed to create key for local allocator");
227 keys_initialized = TRUE;
229 if (0 != GC_setspecific(GC_thread_key, p)) {
230 ABORT("Failed to set thread specific allocation pointers");
232 for (i = 1; i < NFREELISTS; ++i) {
233 p -> ptrfree_freelists[i] = (ptr_t)1;
234 p -> normal_freelists[i] = (ptr_t)1;
235 # ifdef GC_GCJ_SUPPORT
236 p -> gcj_freelists[i] = (ptr_t)1;
237 # endif
239 /* Set up the size 0 free lists. */
240 p -> ptrfree_freelists[0] = (ptr_t)(&size_zero_object);
241 p -> normal_freelists[0] = (ptr_t)(&size_zero_object);
242 # ifdef GC_GCJ_SUPPORT
243 p -> gcj_freelists[0] = (ptr_t)(-1);
244 # endif
247 #ifdef GC_GCJ_SUPPORT
248 extern ptr_t * GC_gcjobjfreelist;
249 #endif
251 /* We hold the allocator lock. */
252 void GC_destroy_thread_local(GC_thread p)
254 /* We currently only do this from the thread itself or from */
255 /* the fork handler for a child process. */
256 # ifndef HANDLE_FORK
257 GC_ASSERT(GC_getspecific(GC_thread_key) == (void *)p);
258 # endif
259 return_freelists(p -> ptrfree_freelists, GC_aobjfreelist);
260 return_freelists(p -> normal_freelists, GC_objfreelist);
261 # ifdef GC_GCJ_SUPPORT
262 return_freelists(p -> gcj_freelists, GC_gcjobjfreelist);
263 # endif
266 extern GC_PTR GC_generic_malloc_many();
268 GC_PTR GC_local_malloc(size_t bytes)
270 if (EXPECT(!SMALL_ENOUGH(bytes),0)) {
271 return(GC_malloc(bytes));
272 } else {
273 int index = INDEX_FROM_BYTES(bytes);
274 ptr_t * my_fl;
275 ptr_t my_entry;
276 # if defined(REDIRECT_MALLOC) && !defined(USE_PTHREAD_SPECIFIC)
277 GC_key_t k = GC_thread_key;
278 # endif
279 void * tsd;
281 # if defined(REDIRECT_MALLOC) && !defined(USE_PTHREAD_SPECIFIC)
282 if (EXPECT(0 == k, 0)) {
283 /* This can happen if we get called when the world is */
284 /* being initialized. Whether we can actually complete */
285 /* the initialization then is unclear. */
286 GC_init_parallel();
287 k = GC_thread_key;
289 # endif
290 tsd = GC_getspecific(GC_thread_key);
291 # ifdef GC_ASSERTIONS
292 LOCK();
293 GC_ASSERT(tsd == (void *)GC_lookup_thread(pthread_self()));
294 UNLOCK();
295 # endif
296 my_fl = ((GC_thread)tsd) -> normal_freelists + index;
297 my_entry = *my_fl;
298 if (EXPECT((word)my_entry >= HBLKSIZE, 1)) {
299 ptr_t next = obj_link(my_entry);
300 GC_PTR result = (GC_PTR)my_entry;
301 *my_fl = next;
302 obj_link(my_entry) = 0;
303 PREFETCH_FOR_WRITE(next);
304 return result;
305 } else if ((word)my_entry - 1 < DIRECT_GRANULES) {
306 *my_fl = my_entry + index + 1;
307 return GC_malloc(bytes);
308 } else {
309 GC_generic_malloc_many(BYTES_FROM_INDEX(index), NORMAL, my_fl);
310 if (*my_fl == 0) return GC_oom_fn(bytes);
311 return GC_local_malloc(bytes);
316 GC_PTR GC_local_malloc_atomic(size_t bytes)
318 if (EXPECT(!SMALL_ENOUGH(bytes), 0)) {
319 return(GC_malloc_atomic(bytes));
320 } else {
321 int index = INDEX_FROM_BYTES(bytes);
322 ptr_t * my_fl = ((GC_thread)GC_getspecific(GC_thread_key))
323 -> ptrfree_freelists + index;
324 ptr_t my_entry = *my_fl;
326 if (EXPECT((word)my_entry >= HBLKSIZE, 1)) {
327 GC_PTR result = (GC_PTR)my_entry;
328 *my_fl = obj_link(my_entry);
329 return result;
330 } else if ((word)my_entry - 1 < DIRECT_GRANULES) {
331 *my_fl = my_entry + index + 1;
332 return GC_malloc_atomic(bytes);
333 } else {
334 GC_generic_malloc_many(BYTES_FROM_INDEX(index), PTRFREE, my_fl);
335 /* *my_fl is updated while the collector is excluded; */
336 /* the free list is always visible to the collector as */
337 /* such. */
338 if (*my_fl == 0) return GC_oom_fn(bytes);
339 return GC_local_malloc_atomic(bytes);
344 #ifdef GC_GCJ_SUPPORT
346 #include "include/gc_gcj.h"
348 #ifdef GC_ASSERTIONS
349 extern GC_bool GC_gcj_malloc_initialized;
350 #endif
352 extern int GC_gcj_kind;
354 GC_PTR GC_local_gcj_malloc(size_t bytes,
355 void * ptr_to_struct_containing_descr)
357 GC_ASSERT(GC_gcj_malloc_initialized);
358 if (EXPECT(!SMALL_ENOUGH(bytes), 0)) {
359 return GC_gcj_malloc(bytes, ptr_to_struct_containing_descr);
360 } else {
361 int index = INDEX_FROM_BYTES(bytes);
362 ptr_t * my_fl = ((GC_thread)GC_getspecific(GC_thread_key))
363 -> gcj_freelists + index;
364 ptr_t my_entry = *my_fl;
365 if (EXPECT((word)my_entry >= HBLKSIZE, 1)) {
366 GC_PTR result = (GC_PTR)my_entry;
367 GC_ASSERT(!GC_incremental);
368 /* We assert that any concurrent marker will stop us. */
369 /* Thus it is impossible for a mark procedure to see the */
370 /* allocation of the next object, but to see this object */
371 /* still containing a free list pointer. Otherwise the */
372 /* marker might find a random "mark descriptor". */
373 *(volatile ptr_t *)my_fl = obj_link(my_entry);
374 /* We must update the freelist before we store the pointer. */
375 /* Otherwise a GC at this point would see a corrupted */
376 /* free list. */
377 /* A memory barrier is probably never needed, since the */
378 /* action of stopping this thread will cause prior writes */
379 /* to complete. */
380 GC_ASSERT(((void * volatile *)result)[1] == 0);
381 *(void * volatile *)result = ptr_to_struct_containing_descr;
382 return result;
383 } else if ((word)my_entry - 1 < DIRECT_GRANULES) {
384 if (!GC_incremental) *my_fl = my_entry + index + 1;
385 /* In the incremental case, we always have to take this */
386 /* path. Thus we leave the counter alone. */
387 return GC_gcj_malloc(bytes, ptr_to_struct_containing_descr);
388 } else {
389 GC_generic_malloc_many(BYTES_FROM_INDEX(index), GC_gcj_kind, my_fl);
390 if (*my_fl == 0) return GC_oom_fn(bytes);
391 return GC_local_gcj_malloc(bytes, ptr_to_struct_containing_descr);
396 #endif /* GC_GCJ_SUPPORT */
398 # else /* !THREAD_LOCAL_ALLOC && !DBG_HDRS_ALL */
400 # define GC_destroy_thread_local(t)
402 # endif /* !THREAD_LOCAL_ALLOC */
404 #if 0
406 To make sure that we're using LinuxThreads and not some other thread
407 package, we generate a dummy reference to `pthread_kill_other_threads_np'
408 (was `__pthread_initial_thread_bos' but that disappeared),
409 which is a symbol defined in LinuxThreads, but (hopefully) not in other
410 thread packages.
412 We no longer do this, since this code is now portable enough that it might
413 actually work for something else.
415 void (*dummy_var_to_force_linux_threads)() = pthread_kill_other_threads_np;
416 #endif /* 0 */
418 long GC_nprocs = 1; /* Number of processors. We may not have */
419 /* access to all of them, but this is as good */
420 /* a guess as any ... */
422 #ifdef PARALLEL_MARK
424 # ifndef MAX_MARKERS
425 # define MAX_MARKERS 16
426 # endif
428 static ptr_t marker_sp[MAX_MARKERS] = {0};
430 void * GC_mark_thread(void * id)
432 word my_mark_no = 0;
434 marker_sp[(word)id] = GC_approx_sp();
435 for (;; ++my_mark_no) {
436 /* GC_mark_no is passed only to allow GC_help_marker to terminate */
437 /* promptly. This is important if it were called from the signal */
438 /* handler or from the GC lock acquisition code. Under Linux, it's */
439 /* not safe to call it from a signal handler, since it uses mutexes */
440 /* and condition variables. Since it is called only here, the */
441 /* argument is unnecessary. */
442 if (my_mark_no < GC_mark_no || my_mark_no > GC_mark_no + 2) {
443 /* resynchronize if we get far off, e.g. because GC_mark_no */
444 /* wrapped. */
445 my_mark_no = GC_mark_no;
447 # ifdef DEBUG_THREADS
448 GC_printf1("Starting mark helper for mark number %ld\n", my_mark_no);
449 # endif
450 GC_help_marker(my_mark_no);
454 extern long GC_markers; /* Number of mark threads we would */
455 /* like to have. Includes the */
456 /* initiating thread. */
458 pthread_t GC_mark_threads[MAX_MARKERS];
460 #define PTHREAD_CREATE REAL_FUNC(pthread_create)
462 static void start_mark_threads()
464 unsigned i;
465 pthread_attr_t attr;
467 if (GC_markers > MAX_MARKERS) {
468 WARN("Limiting number of mark threads\n", 0);
469 GC_markers = MAX_MARKERS;
471 if (0 != pthread_attr_init(&attr)) ABORT("pthread_attr_init failed");
473 if (0 != pthread_attr_setdetachstate(&attr, PTHREAD_CREATE_DETACHED))
474 ABORT("pthread_attr_setdetachstate failed");
476 # if defined(HPUX) || defined(GC_DGUX386_THREADS)
477 /* Default stack size is usually too small: fix it. */
478 /* Otherwise marker threads or GC may run out of */
479 /* space. */
480 # define MIN_STACK_SIZE (8*HBLKSIZE*sizeof(word))
482 size_t old_size;
483 int code;
485 if (pthread_attr_getstacksize(&attr, &old_size) != 0)
486 ABORT("pthread_attr_getstacksize failed\n");
487 if (old_size < MIN_STACK_SIZE) {
488 if (pthread_attr_setstacksize(&attr, MIN_STACK_SIZE) != 0)
489 ABORT("pthread_attr_setstacksize failed\n");
492 # endif /* HPUX || GC_DGUX386_THREADS */
493 # ifdef CONDPRINT
494 if (GC_print_stats) {
495 GC_printf1("Starting %ld marker threads\n", GC_markers - 1);
497 # endif
498 for (i = 0; i < GC_markers - 1; ++i) {
499 if (0 != PTHREAD_CREATE(GC_mark_threads + i, &attr,
500 GC_mark_thread, (void *)(word)i)) {
501 WARN("Marker thread creation failed, errno = %ld.\n", errno);
506 #else /* !PARALLEL_MARK */
508 static __inline__ void start_mark_threads()
512 #endif /* !PARALLEL_MARK */
514 GC_bool GC_thr_initialized = FALSE;
516 volatile GC_thread GC_threads[THREAD_TABLE_SZ];
518 void GC_push_thread_structures GC_PROTO((void))
520 GC_push_all((ptr_t)(GC_threads), (ptr_t)(GC_threads)+sizeof(GC_threads));
521 # if defined(THREAD_LOCAL_ALLOC) && !defined(DBG_HDRS_ALL)
522 GC_push_all((ptr_t)(&GC_thread_key),
523 (ptr_t)(&GC_thread_key)+sizeof(&GC_thread_key));
524 # endif
527 #ifdef THREAD_LOCAL_ALLOC
528 /* We must explicitly mark ptrfree and gcj free lists, since the free */
529 /* list links wouldn't otherwise be found. We also set them in the */
530 /* normal free lists, since that involves touching less memory than if */
531 /* we scanned them normally. */
532 void GC_mark_thread_local_free_lists(void)
534 int i, j;
535 GC_thread p;
536 ptr_t q;
538 for (i = 0; i < THREAD_TABLE_SZ; ++i) {
539 for (p = GC_threads[i]; 0 != p; p = p -> next) {
540 for (j = 1; j < NFREELISTS; ++j) {
541 q = p -> ptrfree_freelists[j];
542 if ((word)q > HBLKSIZE) GC_set_fl_marks(q);
543 q = p -> normal_freelists[j];
544 if ((word)q > HBLKSIZE) GC_set_fl_marks(q);
545 # ifdef GC_GCJ_SUPPORT
546 q = p -> gcj_freelists[j];
547 if ((word)q > HBLKSIZE) GC_set_fl_marks(q);
548 # endif /* GC_GCJ_SUPPORT */
553 #endif /* THREAD_LOCAL_ALLOC */
555 static struct GC_Thread_Rep first_thread;
557 /* Add a thread to GC_threads. We assume it wasn't already there. */
558 /* Caller holds allocation lock. */
559 GC_thread GC_new_thread(pthread_t id)
561 int hv = ((word)id) % THREAD_TABLE_SZ;
562 GC_thread result;
563 static GC_bool first_thread_used = FALSE;
565 if (!first_thread_used) {
566 result = &first_thread;
567 first_thread_used = TRUE;
568 } else {
569 result = (struct GC_Thread_Rep *)
570 GC_INTERNAL_MALLOC(sizeof(struct GC_Thread_Rep), NORMAL);
572 if (result == 0) return(0);
573 result -> id = id;
574 result -> next = GC_threads[hv];
575 GC_threads[hv] = result;
576 GC_ASSERT(result -> flags == 0 && result -> thread_blocked == 0);
577 return(result);
580 /* Delete a thread from GC_threads. We assume it is there. */
581 /* (The code intentionally traps if it wasn't.) */
582 /* Caller holds allocation lock. */
583 void GC_delete_thread(pthread_t id)
585 int hv = ((word)id) % THREAD_TABLE_SZ;
586 register GC_thread p = GC_threads[hv];
587 register GC_thread prev = 0;
589 while (!pthread_equal(p -> id, id)) {
590 prev = p;
591 p = p -> next;
593 if (prev == 0) {
594 GC_threads[hv] = p -> next;
595 } else {
596 prev -> next = p -> next;
598 GC_INTERNAL_FREE(p);
601 /* If a thread has been joined, but we have not yet */
602 /* been notified, then there may be more than one thread */
603 /* in the table with the same pthread id. */
604 /* This is OK, but we need a way to delete a specific one. */
605 void GC_delete_gc_thread(pthread_t id, GC_thread gc_id)
607 int hv = ((word)id) % THREAD_TABLE_SZ;
608 register GC_thread p = GC_threads[hv];
609 register GC_thread prev = 0;
611 while (p != gc_id) {
612 prev = p;
613 p = p -> next;
615 if (prev == 0) {
616 GC_threads[hv] = p -> next;
617 } else {
618 prev -> next = p -> next;
620 GC_INTERNAL_FREE(p);
623 /* Return a GC_thread corresponding to a given pthread_t. */
624 /* Returns 0 if it's not there. */
625 /* Caller holds allocation lock or otherwise inhibits */
626 /* updates. */
627 /* If there is more than one thread with the given id we */
628 /* return the most recent one. */
629 GC_thread GC_lookup_thread(pthread_t id)
631 int hv = ((word)id) % THREAD_TABLE_SZ;
632 register GC_thread p = GC_threads[hv];
634 while (p != 0 && !pthread_equal(p -> id, id)) p = p -> next;
635 return(p);
638 #ifdef HANDLE_FORK
639 /* Remove all entries from the GC_threads table, except the */
640 /* one for the current thread. We need to do this in the child */
641 /* process after a fork(), since only the current thread */
642 /* survives in the child. */
643 void GC_remove_all_threads_but_me(void)
645 pthread_t self = pthread_self();
646 int hv;
647 GC_thread p, next, me;
649 for (hv = 0; hv < THREAD_TABLE_SZ; ++hv) {
650 me = 0;
651 for (p = GC_threads[hv]; 0 != p; p = next) {
652 next = p -> next;
653 if (p -> id == self) {
654 me = p;
655 p -> next = 0;
656 } else {
657 # ifdef THREAD_LOCAL_ALLOC
658 if (!(p -> flags & FINISHED)) {
659 GC_destroy_thread_local(p);
661 # endif /* THREAD_LOCAL_ALLOC */
662 if (p != &first_thread) GC_INTERNAL_FREE(p);
665 GC_threads[hv] = me;
668 #endif /* HANDLE_FORK */
670 #ifdef USE_PROC_FOR_LIBRARIES
671 int GC_segment_is_thread_stack(ptr_t lo, ptr_t hi)
673 int i;
674 GC_thread p;
676 # ifdef PARALLEL_MARK
677 for (i = 0; i < GC_markers; ++i) {
678 if (marker_sp[i] > lo & marker_sp[i] < hi) return 1;
680 # endif
681 for (i = 0; i < THREAD_TABLE_SZ; i++) {
682 for (p = GC_threads[i]; p != 0; p = p -> next) {
683 if (0 != p -> stack_end) {
684 # ifdef STACK_GROWS_UP
685 if (p -> stack_end >= lo && p -> stack_end < hi) return 1;
686 # else /* STACK_GROWS_DOWN */
687 if (p -> stack_end > lo && p -> stack_end <= hi) return 1;
688 # endif
692 return 0;
694 #endif /* USE_PROC_FOR_LIBRARIES */
696 #ifdef GC_LINUX_THREADS
697 /* Return the number of processors, or i<= 0 if it can't be determined. */
698 int GC_get_nprocs()
700 /* Should be "return sysconf(_SC_NPROCESSORS_ONLN);" but that */
701 /* appears to be buggy in many cases. */
702 /* We look for lines "cpu<n>" in /proc/stat. */
703 # define STAT_BUF_SIZE 4096
704 # define STAT_READ read
705 /* If read is wrapped, this may need to be redefined to call */
706 /* the real one. */
707 char stat_buf[STAT_BUF_SIZE];
708 int f;
709 word result = 1;
710 /* Some old kernels only have a single "cpu nnnn ..." */
711 /* entry in /proc/stat. We identify those as */
712 /* uniprocessors. */
713 size_t i, len = 0;
715 f = open("/proc/stat", O_RDONLY);
716 if (f < 0 || (len = STAT_READ(f, stat_buf, STAT_BUF_SIZE)) < 100) {
717 WARN("Couldn't read /proc/stat\n", 0);
718 return -1;
720 for (i = 0; i < len - 100; ++i) {
721 if (stat_buf[i] == '\n' && stat_buf[i+1] == 'c'
722 && stat_buf[i+2] == 'p' && stat_buf[i+3] == 'u') {
723 int cpu_no = atoi(stat_buf + i + 4);
724 if (cpu_no >= result) result = cpu_no + 1;
727 close(f);
728 return result;
730 #endif /* GC_LINUX_THREADS */
732 /* We hold the GC lock. Wait until an in-progress GC has finished. */
733 /* Repeatedly RELEASES GC LOCK in order to wait. */
734 /* If wait_for_all is true, then we exit with the GC lock held and no */
735 /* collection in progress; otherwise we just wait for the current GC */
736 /* to finish. */
737 extern GC_bool GC_collection_in_progress();
738 void GC_wait_for_gc_completion(GC_bool wait_for_all)
740 if (GC_incremental && GC_collection_in_progress()) {
741 int old_gc_no = GC_gc_no;
743 /* Make sure that no part of our stack is still on the mark stack, */
744 /* since it's about to be unmapped. */
745 while (GC_incremental && GC_collection_in_progress()
746 && (wait_for_all || old_gc_no == GC_gc_no)) {
747 ENTER_GC();
748 GC_in_thread_creation = TRUE;
749 GC_collect_a_little_inner(1);
750 GC_in_thread_creation = FALSE;
751 EXIT_GC();
752 UNLOCK();
753 sched_yield();
754 LOCK();
759 #ifdef HANDLE_FORK
760 /* Procedures called before and after a fork. The goal here is to make */
761 /* it safe to call GC_malloc() in a forked child. It's unclear that is */
762 /* attainable, since the single UNIX spec seems to imply that one */
763 /* should only call async-signal-safe functions, and we probably can't */
764 /* quite guarantee that. But we give it our best shot. (That same */
765 /* spec also implies that it's not safe to call the system malloc */
766 /* between fork() and exec(). Thus we're doing no worse than it. */
768 /* Called before a fork() */
769 void GC_fork_prepare_proc(void)
771 /* Acquire all relevant locks, so that after releasing the locks */
772 /* the child will see a consistent state in which monitor */
773 /* invariants hold. Unfortunately, we can't acquire libc locks */
774 /* we might need, and there seems to be no guarantee that libc */
775 /* must install a suitable fork handler. */
776 /* Wait for an ongoing GC to finish, since we can't finish it in */
777 /* the (one remaining thread in) the child. */
778 LOCK();
779 # if defined(PARALLEL_MARK) || defined(THREAD_LOCAL_ALLOC)
780 GC_wait_for_reclaim();
781 # endif
782 GC_wait_for_gc_completion(TRUE);
783 # if defined(PARALLEL_MARK) || defined(THREAD_LOCAL_ALLOC)
784 GC_acquire_mark_lock();
785 # endif
788 /* Called in parent after a fork() */
789 void GC_fork_parent_proc(void)
791 # if defined(PARALLEL_MARK) || defined(THREAD_LOCAL_ALLOC)
792 GC_release_mark_lock();
793 # endif
794 UNLOCK();
797 /* Called in child after a fork() */
798 void GC_fork_child_proc(void)
800 /* Clean up the thread table, so that just our thread is left. */
801 # if defined(PARALLEL_MARK) || defined(THREAD_LOCAL_ALLOC)
802 GC_release_mark_lock();
803 # endif
804 GC_remove_all_threads_but_me();
805 # ifdef PARALLEL_MARK
806 /* Turn off parallel marking in the child, since we are probably */
807 /* just going to exec, and we would have to restart mark threads. */
808 GC_markers = 1;
809 GC_parallel = FALSE;
810 # endif /* PARALLEL_MARK */
811 UNLOCK();
813 #endif /* HANDLE_FORK */
815 #if defined(GC_DGUX386_THREADS)
816 /* Return the number of processors, or i<= 0 if it can't be determined. */
817 int GC_get_nprocs()
819 /* <takis@XFree86.Org> */
820 int numCpus;
821 struct dg_sys_info_pm_info pm_sysinfo;
822 int status =0;
824 status = dg_sys_info((long int *) &pm_sysinfo,
825 DG_SYS_INFO_PM_INFO_TYPE, DG_SYS_INFO_PM_CURRENT_VERSION);
826 if (status < 0)
827 /* set -1 for error */
828 numCpus = -1;
829 else
830 /* Active CPUs */
831 numCpus = pm_sysinfo.idle_vp_count;
833 # ifdef DEBUG_THREADS
834 GC_printf1("Number of active CPUs in this system: %d\n", numCpus);
835 # endif
836 return(numCpus);
838 #endif /* GC_DGUX386_THREADS */
840 /* We hold the allocation lock. */
841 void GC_thr_init()
843 # ifndef GC_DARWIN_THREADS
844 int dummy;
845 # endif
846 GC_thread t;
848 if (GC_thr_initialized) return;
849 GC_thr_initialized = TRUE;
851 # ifdef HANDLE_FORK
852 /* Prepare for a possible fork. */
853 pthread_atfork(GC_fork_prepare_proc, GC_fork_parent_proc,
854 GC_fork_child_proc);
855 # endif /* HANDLE_FORK */
856 /* Add the initial thread, so we can stop it. */
857 t = GC_new_thread(pthread_self());
858 # ifdef GC_DARWIN_THREADS
859 t -> stop_info.mach_thread = mach_thread_self();
860 # else
861 t -> stop_info.stack_ptr = (ptr_t)(&dummy);
862 # endif
863 t -> flags = DETACHED | MAIN_THREAD;
865 GC_stop_init();
867 /* Set GC_nprocs. */
869 char * nprocs_string = GETENV("GC_NPROCS");
870 GC_nprocs = -1;
871 if (nprocs_string != NULL) GC_nprocs = atoi(nprocs_string);
873 if (GC_nprocs <= 0) {
874 # if defined(GC_HPUX_THREADS)
875 GC_nprocs = pthread_num_processors_np();
876 # endif
877 # if defined(GC_OSF1_THREADS) || defined(GC_AIX_THREADS)
878 GC_nprocs = sysconf(_SC_NPROCESSORS_ONLN);
879 if (GC_nprocs <= 0) GC_nprocs = 1;
880 # endif
881 # if defined(GC_IRIX_THREADS)
882 GC_nprocs = sysconf(_SC_NPROC_ONLN);
883 if (GC_nprocs <= 0) GC_nprocs = 1;
884 # endif
885 # if defined(GC_DARWIN_THREADS) || defined(GC_FREEBSD_THREADS)
886 int ncpus = 1;
887 size_t len = sizeof(ncpus);
888 sysctl((int[2]) {CTL_HW, HW_NCPU}, 2, &ncpus, &len, NULL, 0);
889 GC_nprocs = ncpus;
890 # endif
891 # if defined(GC_LINUX_THREADS) || defined(GC_DGUX386_THREADS)
892 GC_nprocs = GC_get_nprocs();
893 # endif
895 if (GC_nprocs <= 0) {
896 WARN("GC_get_nprocs() returned %ld\n", GC_nprocs);
897 GC_nprocs = 2;
898 # ifdef PARALLEL_MARK
899 GC_markers = 1;
900 # endif
901 } else {
902 # ifdef PARALLEL_MARK
904 char * markers_string = GETENV("GC_MARKERS");
905 if (markers_string != NULL) {
906 GC_markers = atoi(markers_string);
907 } else {
908 GC_markers = GC_nprocs;
911 # endif
913 # ifdef PARALLEL_MARK
914 # ifdef CONDPRINT
915 if (GC_print_stats) {
916 GC_printf2("Number of processors = %ld, "
917 "number of marker threads = %ld\n", GC_nprocs, GC_markers);
919 # endif
920 if (GC_markers == 1) {
921 GC_parallel = FALSE;
922 # ifdef CONDPRINT
923 if (GC_print_stats) {
924 GC_printf0("Single marker thread, turning off parallel marking\n");
926 # endif
927 } else {
928 GC_parallel = TRUE;
929 /* Disable true incremental collection, but generational is OK. */
930 GC_time_limit = GC_TIME_UNLIMITED;
932 /* If we are using a parallel marker, actually start helper threads. */
933 if (GC_parallel) start_mark_threads();
934 # endif
938 /* Perform all initializations, including those that */
939 /* may require allocation. */
940 /* Called without allocation lock. */
941 /* Must be called before a second thread is created. */
942 /* Called without allocation lock. */
943 void GC_init_parallel()
945 if (parallel_initialized) return;
946 parallel_initialized = TRUE;
948 /* GC_init() calls us back, so set flag first. */
949 if (!GC_is_initialized) GC_init();
950 /* Initialize thread local free lists if used. */
951 # if defined(THREAD_LOCAL_ALLOC) && !defined(DBG_HDRS_ALL)
952 LOCK();
953 GC_init_thread_local(GC_lookup_thread(pthread_self()));
954 UNLOCK();
955 # endif
959 #if !defined(GC_DARWIN_THREADS)
960 int WRAP_FUNC(pthread_sigmask)(int how, const sigset_t *set, sigset_t *oset)
962 sigset_t fudged_set;
964 if (set != NULL && (how == SIG_BLOCK || how == SIG_SETMASK)) {
965 fudged_set = *set;
966 sigdelset(&fudged_set, SIG_SUSPEND);
967 set = &fudged_set;
969 return(REAL_FUNC(pthread_sigmask)(how, set, oset));
971 #endif /* !GC_DARWIN_THREADS */
973 /* Wrappers for functions that are likely to block for an appreciable */
974 /* length of time. Must be called in pairs, if at all. */
975 /* Nothing much beyond the system call itself should be executed */
976 /* between these. */
978 void GC_start_blocking(void) {
979 # define SP_SLOP 128
980 GC_thread me;
981 LOCK();
982 me = GC_lookup_thread(pthread_self());
983 GC_ASSERT(!(me -> thread_blocked));
984 # ifdef SPARC
985 me -> stop_info.stack_ptr = (ptr_t)GC_save_regs_in_stack();
986 # else
987 # ifndef GC_DARWIN_THREADS
988 me -> stop_info.stack_ptr = (ptr_t)GC_approx_sp();
989 # endif
990 # endif
991 # ifdef IA64
992 me -> backing_store_ptr = (ptr_t)GC_save_regs_in_stack() + SP_SLOP;
993 # endif
994 /* Add some slop to the stack pointer, since the wrapped call may */
995 /* end up pushing more callee-save registers. */
996 # ifndef GC_DARWIN_THREADS
997 # ifdef STACK_GROWS_UP
998 me -> stop_info.stack_ptr += SP_SLOP;
999 # else
1000 me -> stop_info.stack_ptr -= SP_SLOP;
1001 # endif
1002 # endif
1003 me -> thread_blocked = TRUE;
1004 UNLOCK();
1007 void GC_end_blocking(void) {
1008 GC_thread me;
1009 LOCK(); /* This will block if the world is stopped. */
1010 me = GC_lookup_thread(pthread_self());
1011 GC_ASSERT(me -> thread_blocked);
1012 me -> thread_blocked = FALSE;
1013 UNLOCK();
1016 #if defined(GC_DGUX386_THREADS)
1017 #define __d10_sleep sleep
1018 #endif /* GC_DGUX386_THREADS */
1020 /* A wrapper for the standard C sleep function */
1021 int WRAP_FUNC(sleep) (unsigned int seconds)
1023 int result;
1025 GC_start_blocking();
1026 result = REAL_FUNC(sleep)(seconds);
1027 GC_end_blocking();
1028 return result;
1031 struct start_info {
1032 void *(*start_routine)(void *);
1033 void *arg;
1034 word flags;
1035 sem_t registered; /* 1 ==> in our thread table, but */
1036 /* parent hasn't yet noticed. */
1039 /* Called at thread exit. */
1040 /* Never called for main thread. That's OK, since it */
1041 /* results in at most a tiny one-time leak. And */
1042 /* linuxthreads doesn't reclaim the main threads */
1043 /* resources or id anyway. */
1044 void GC_thread_exit_proc(void *arg)
1046 GC_thread me;
1048 LOCK();
1049 me = GC_lookup_thread(pthread_self());
1050 GC_destroy_thread_local(me);
1051 if (me -> flags & DETACHED) {
1052 GC_delete_thread(pthread_self());
1053 } else {
1054 me -> flags |= FINISHED;
1056 # if defined(THREAD_LOCAL_ALLOC) && !defined(USE_PTHREAD_SPECIFIC) \
1057 && !defined(USE_COMPILER_TLS) && !defined(DBG_HDRS_ALL)
1058 GC_remove_specific(GC_thread_key);
1059 # endif
1060 /* The following may run the GC from "nonexistent" thread. */
1061 GC_wait_for_gc_completion(FALSE);
1062 UNLOCK();
1065 int WRAP_FUNC(pthread_join)(pthread_t thread, void **retval)
1067 int result;
1068 GC_thread thread_gc_id;
1070 LOCK();
1071 thread_gc_id = GC_lookup_thread(thread);
1072 /* This is guaranteed to be the intended one, since the thread id */
1073 /* cant have been recycled by pthreads. */
1074 UNLOCK();
1075 result = REAL_FUNC(pthread_join)(thread, retval);
1076 # if defined (GC_FREEBSD_THREADS)
1077 /* On FreeBSD, the wrapped pthread_join() sometimes returns (what
1078 appears to be) a spurious EINTR which caused the test and real code
1079 to gratuitously fail. Having looked at system pthread library source
1080 code, I see how this return code may be generated. In one path of
1081 code, pthread_join() just returns the errno setting of the thread
1082 being joined. This does not match the POSIX specification or the
1083 local man pages thus I have taken the liberty to catch this one
1084 spurious return value properly conditionalized on GC_FREEBSD_THREADS. */
1085 if (result == EINTR) result = 0;
1086 # endif
1087 if (result == 0) {
1088 LOCK();
1089 /* Here the pthread thread id may have been recycled. */
1090 GC_delete_gc_thread(thread, thread_gc_id);
1091 UNLOCK();
1093 return result;
1097 WRAP_FUNC(pthread_detach)(pthread_t thread)
1099 int result;
1100 GC_thread thread_gc_id;
1102 LOCK();
1103 thread_gc_id = GC_lookup_thread(thread);
1104 UNLOCK();
1105 result = REAL_FUNC(pthread_detach)(thread);
1106 if (result == 0) {
1107 LOCK();
1108 thread_gc_id -> flags |= DETACHED;
1109 /* Here the pthread thread id may have been recycled. */
1110 if (thread_gc_id -> flags & FINISHED) {
1111 GC_delete_gc_thread(thread, thread_gc_id);
1113 UNLOCK();
1115 return result;
1118 GC_bool GC_in_thread_creation = FALSE;
1120 void * GC_start_routine(void * arg)
1122 int dummy;
1123 struct start_info * si = arg;
1124 void * result;
1125 GC_thread me;
1126 pthread_t my_pthread;
1127 void *(*start)(void *);
1128 void *start_arg;
1130 my_pthread = pthread_self();
1131 # ifdef DEBUG_THREADS
1132 GC_printf1("Starting thread 0x%lx\n", my_pthread);
1133 GC_printf1("pid = %ld\n", (long) getpid());
1134 GC_printf1("sp = 0x%lx\n", (long) &arg);
1135 # endif
1136 LOCK();
1137 GC_in_thread_creation = TRUE;
1138 me = GC_new_thread(my_pthread);
1139 GC_in_thread_creation = FALSE;
1140 #ifdef GC_DARWIN_THREADS
1141 me -> stop_info.mach_thread = mach_thread_self();
1142 #else
1143 me -> stop_info.stack_ptr = 0;
1144 #endif
1145 me -> flags = si -> flags;
1146 /* me -> stack_end = GC_linux_stack_base(); -- currently (11/99) */
1147 /* doesn't work because the stack base in /proc/self/stat is the */
1148 /* one for the main thread. There is a strong argument that that's */
1149 /* a kernel bug, but a pervasive one. */
1150 # ifdef STACK_GROWS_DOWN
1151 me -> stack_end = (ptr_t)(((word)(&dummy) + (GC_page_size - 1))
1152 & ~(GC_page_size - 1));
1153 # ifndef GC_DARWIN_THREADS
1154 me -> stop_info.stack_ptr = me -> stack_end - 0x10;
1155 # endif
1156 /* Needs to be plausible, since an asynchronous stack mark */
1157 /* should not crash. */
1158 # else
1159 me -> stack_end = (ptr_t)((word)(&dummy) & ~(GC_page_size - 1));
1160 me -> stop_info.stack_ptr = me -> stack_end + 0x10;
1161 # endif
1162 /* This is dubious, since we may be more than a page into the stack, */
1163 /* and hence skip some of it, though it's not clear that matters. */
1164 # ifdef IA64
1165 me -> backing_store_end = (ptr_t)
1166 (GC_save_regs_in_stack() & ~(GC_page_size - 1));
1167 /* This is also < 100% convincing. We should also read this */
1168 /* from /proc, but the hook to do so isn't there yet. */
1169 # endif /* IA64 */
1170 UNLOCK();
1171 start = si -> start_routine;
1172 # ifdef DEBUG_THREADS
1173 GC_printf1("start_routine = 0x%lx\n", start);
1174 # endif
1175 start_arg = si -> arg;
1176 sem_post(&(si -> registered)); /* Last action on si. */
1177 /* OK to deallocate. */
1178 pthread_cleanup_push(GC_thread_exit_proc, 0);
1179 # if defined(THREAD_LOCAL_ALLOC) && !defined(DBG_HDRS_ALL)
1180 LOCK();
1181 GC_init_thread_local(me);
1182 UNLOCK();
1183 # endif
1184 result = (*start)(start_arg);
1185 #if DEBUG_THREADS
1186 GC_printf1("Finishing thread 0x%x\n", pthread_self());
1187 #endif
1188 me -> status = result;
1189 pthread_cleanup_pop(1);
1190 /* Cleanup acquires lock, ensuring that we can't exit */
1191 /* while a collection that thinks we're alive is trying to stop */
1192 /* us. */
1193 return(result);
1197 WRAP_FUNC(pthread_create)(pthread_t *new_thread,
1198 const pthread_attr_t *attr,
1199 void *(*start_routine)(void *), void *arg)
1201 int result;
1202 int detachstate;
1203 word my_flags = 0;
1204 struct start_info * si;
1205 /* This is otherwise saved only in an area mmapped by the thread */
1206 /* library, which isn't visible to the collector. */
1208 /* We resist the temptation to muck with the stack size here, */
1209 /* even if the default is unreasonably small. That's the client's */
1210 /* responsibility. */
1212 LOCK();
1213 si = (struct start_info *)GC_INTERNAL_MALLOC(sizeof(struct start_info),
1214 NORMAL);
1215 UNLOCK();
1216 if (!parallel_initialized) GC_init_parallel();
1217 if (0 == si) return(ENOMEM);
1218 sem_init(&(si -> registered), 0, 0);
1219 si -> start_routine = start_routine;
1220 si -> arg = arg;
1221 LOCK();
1222 if (!GC_thr_initialized) GC_thr_init();
1223 # ifdef GC_ASSERTIONS
1225 size_t stack_size;
1226 if (NULL == attr) {
1227 pthread_attr_t my_attr;
1228 pthread_attr_init(&my_attr);
1229 pthread_attr_getstacksize(&my_attr, &stack_size);
1230 } else {
1231 pthread_attr_getstacksize(attr, &stack_size);
1233 # ifdef PARALLEL_MARK
1234 GC_ASSERT(stack_size >= (8*HBLKSIZE*sizeof(word)));
1235 # else
1236 /* FreeBSD-5.3/Alpha: default pthread stack is 64K, */
1237 /* HBLKSIZE=8192, sizeof(word)=8 */
1238 GC_ASSERT(stack_size >= 65536);
1239 # endif
1240 /* Our threads may need to do some work for the GC. */
1241 /* Ridiculously small threads won't work, and they */
1242 /* probably wouldn't work anyway. */
1244 # endif
1245 if (NULL == attr) {
1246 detachstate = PTHREAD_CREATE_JOINABLE;
1247 } else {
1248 pthread_attr_getdetachstate(attr, &detachstate);
1250 if (PTHREAD_CREATE_DETACHED == detachstate) my_flags |= DETACHED;
1251 si -> flags = my_flags;
1252 UNLOCK();
1253 # ifdef DEBUG_THREADS
1254 GC_printf1("About to start new thread from thread 0x%X\n",
1255 pthread_self());
1256 # endif
1258 result = REAL_FUNC(pthread_create)(new_thread, attr, GC_start_routine, si);
1260 # ifdef DEBUG_THREADS
1261 GC_printf1("Started thread 0x%X\n", *new_thread);
1262 # endif
1263 /* Wait until child has been added to the thread table. */
1264 /* This also ensures that we hold onto si until the child is done */
1265 /* with it. Thus it doesn't matter whether it is otherwise */
1266 /* visible to the collector. */
1267 if (0 == result) {
1268 while (0 != sem_wait(&(si -> registered))) {
1269 if (EINTR != errno) ABORT("sem_wait failed");
1272 sem_destroy(&(si -> registered));
1273 LOCK();
1274 GC_INTERNAL_FREE(si);
1275 UNLOCK();
1277 return(result);
1280 #ifdef GENERIC_COMPARE_AND_SWAP
1281 pthread_mutex_t GC_compare_and_swap_lock = PTHREAD_MUTEX_INITIALIZER;
1283 GC_bool GC_compare_and_exchange(volatile GC_word *addr,
1284 GC_word old, GC_word new_val)
1286 GC_bool result;
1287 pthread_mutex_lock(&GC_compare_and_swap_lock);
1288 if (*addr == old) {
1289 *addr = new_val;
1290 result = TRUE;
1291 } else {
1292 result = FALSE;
1294 pthread_mutex_unlock(&GC_compare_and_swap_lock);
1295 return result;
1298 GC_word GC_atomic_add(volatile GC_word *addr, GC_word how_much)
1300 GC_word old;
1301 pthread_mutex_lock(&GC_compare_and_swap_lock);
1302 old = *addr;
1303 *addr = old + how_much;
1304 pthread_mutex_unlock(&GC_compare_and_swap_lock);
1305 return old;
1308 #endif /* GENERIC_COMPARE_AND_SWAP */
1309 /* Spend a few cycles in a way that can't introduce contention with */
1310 /* othre threads. */
1311 void GC_pause()
1313 int i;
1314 # if !defined(__GNUC__) || defined(__INTEL_COMPILER)
1315 volatile word dummy = 0;
1316 # endif
1318 for (i = 0; i < 10; ++i) {
1319 # if defined(__GNUC__) && !defined(__INTEL_COMPILER)
1320 __asm__ __volatile__ (" " : : : "memory");
1321 # else
1322 /* Something that's unlikely to be optimized away. */
1323 GC_noop(++dummy);
1324 # endif
1328 #define SPIN_MAX 128 /* Maximum number of calls to GC_pause before */
1329 /* give up. */
1331 VOLATILE GC_bool GC_collecting = 0;
1332 /* A hint that we're in the collector and */
1333 /* holding the allocation lock for an */
1334 /* extended period. */
1336 #if !defined(USE_SPIN_LOCK) || defined(PARALLEL_MARK)
1337 /* If we don't want to use the below spinlock implementation, either */
1338 /* because we don't have a GC_test_and_set implementation, or because */
1339 /* we don't want to risk sleeping, we can still try spinning on */
1340 /* pthread_mutex_trylock for a while. This appears to be very */
1341 /* beneficial in many cases. */
1342 /* I suspect that under high contention this is nearly always better */
1343 /* than the spin lock. But it's a bit slower on a uniprocessor. */
1344 /* Hence we still default to the spin lock. */
1345 /* This is also used to acquire the mark lock for the parallel */
1346 /* marker. */
1348 /* Here we use a strict exponential backoff scheme. I don't know */
1349 /* whether that's better or worse than the above. We eventually */
1350 /* yield by calling pthread_mutex_lock(); it never makes sense to */
1351 /* explicitly sleep. */
1353 #define LOCK_STATS
1354 #ifdef LOCK_STATS
1355 unsigned long GC_spin_count = 0;
1356 unsigned long GC_block_count = 0;
1357 unsigned long GC_unlocked_count = 0;
1358 #endif
1360 void GC_generic_lock(pthread_mutex_t * lock)
1362 #ifndef NO_PTHREAD_TRYLOCK
1363 unsigned pause_length = 1;
1364 unsigned i;
1366 if (0 == pthread_mutex_trylock(lock)) {
1367 # ifdef LOCK_STATS
1368 ++GC_unlocked_count;
1369 # endif
1370 return;
1372 for (; pause_length <= SPIN_MAX; pause_length <<= 1) {
1373 for (i = 0; i < pause_length; ++i) {
1374 GC_pause();
1376 switch(pthread_mutex_trylock(lock)) {
1377 case 0:
1378 # ifdef LOCK_STATS
1379 ++GC_spin_count;
1380 # endif
1381 return;
1382 case EBUSY:
1383 break;
1384 default:
1385 ABORT("Unexpected error from pthread_mutex_trylock");
1388 #endif /* !NO_PTHREAD_TRYLOCK */
1389 # ifdef LOCK_STATS
1390 ++GC_block_count;
1391 # endif
1392 pthread_mutex_lock(lock);
1395 #endif /* !USE_SPIN_LOCK || PARALLEL_MARK */
1397 #if defined(USE_SPIN_LOCK)
1399 /* Reasonably fast spin locks. Basically the same implementation */
1400 /* as STL alloc.h. This isn't really the right way to do this. */
1401 /* but until the POSIX scheduling mess gets straightened out ... */
1403 volatile unsigned int GC_allocate_lock = 0;
1406 void GC_lock()
1408 # define low_spin_max 30 /* spin cycles if we suspect uniprocessor */
1409 # define high_spin_max SPIN_MAX /* spin cycles for multiprocessor */
1410 static unsigned spin_max = low_spin_max;
1411 unsigned my_spin_max;
1412 static unsigned last_spins = 0;
1413 unsigned my_last_spins;
1414 int i;
1416 if (!GC_test_and_set(&GC_allocate_lock)) {
1417 return;
1419 my_spin_max = spin_max;
1420 my_last_spins = last_spins;
1421 for (i = 0; i < my_spin_max; i++) {
1422 if (GC_collecting || GC_nprocs == 1) goto yield;
1423 if (i < my_last_spins/2 || GC_allocate_lock) {
1424 GC_pause();
1425 continue;
1427 if (!GC_test_and_set(&GC_allocate_lock)) {
1429 * got it!
1430 * Spinning worked. Thus we're probably not being scheduled
1431 * against the other process with which we were contending.
1432 * Thus it makes sense to spin longer the next time.
1434 last_spins = i;
1435 spin_max = high_spin_max;
1436 return;
1439 /* We are probably being scheduled against the other process. Sleep. */
1440 spin_max = low_spin_max;
1441 yield:
1442 for (i = 0;; ++i) {
1443 if (!GC_test_and_set(&GC_allocate_lock)) {
1444 return;
1446 # define SLEEP_THRESHOLD 12
1447 /* Under Linux very short sleeps tend to wait until */
1448 /* the current time quantum expires. On old Linux */
1449 /* kernels nanosleep(<= 2ms) just spins under Linux. */
1450 /* (Under 2.4, this happens only for real-time */
1451 /* processes.) We want to minimize both behaviors */
1452 /* here. */
1453 if (i < SLEEP_THRESHOLD) {
1454 sched_yield();
1455 } else {
1456 struct timespec ts;
1458 if (i > 24) i = 24;
1459 /* Don't wait for more than about 15msecs, even */
1460 /* under extreme contention. */
1461 ts.tv_sec = 0;
1462 ts.tv_nsec = 1 << i;
1463 nanosleep(&ts, 0);
1468 #else /* !USE_SPINLOCK */
1469 void GC_lock()
1471 #ifndef NO_PTHREAD_TRYLOCK
1472 if (1 == GC_nprocs || GC_collecting) {
1473 pthread_mutex_lock(&GC_allocate_ml);
1474 } else {
1475 GC_generic_lock(&GC_allocate_ml);
1477 #else /* !NO_PTHREAD_TRYLOCK */
1478 pthread_mutex_lock(&GC_allocate_ml);
1479 #endif /* !NO_PTHREAD_TRYLOCK */
1482 #endif /* !USE_SPINLOCK */
1484 #if defined(PARALLEL_MARK) || defined(THREAD_LOCAL_ALLOC)
1486 #ifdef GC_ASSERTIONS
1487 pthread_t GC_mark_lock_holder = NO_THREAD;
1488 #endif
1490 #if 0
1491 /* Ugly workaround for a linux threads bug in the final versions */
1492 /* of glibc2.1. Pthread_mutex_trylock sets the mutex owner */
1493 /* field even when it fails to acquire the mutex. This causes */
1494 /* pthread_cond_wait to die. Remove for glibc2.2. */
1495 /* According to the man page, we should use */
1496 /* PTHREAD_ERRORCHECK_MUTEX_INITIALIZER_NP, but that isn't actually */
1497 /* defined. */
1498 static pthread_mutex_t mark_mutex =
1499 {0, 0, 0, PTHREAD_MUTEX_ERRORCHECK_NP, {0, 0}};
1500 #else
1501 static pthread_mutex_t mark_mutex = PTHREAD_MUTEX_INITIALIZER;
1502 #endif
1504 static pthread_cond_t builder_cv = PTHREAD_COND_INITIALIZER;
1506 void GC_acquire_mark_lock()
1509 if (pthread_mutex_lock(&mark_mutex) != 0) {
1510 ABORT("pthread_mutex_lock failed");
1513 GC_generic_lock(&mark_mutex);
1514 # ifdef GC_ASSERTIONS
1515 GC_mark_lock_holder = pthread_self();
1516 # endif
1519 void GC_release_mark_lock()
1521 GC_ASSERT(GC_mark_lock_holder == pthread_self());
1522 # ifdef GC_ASSERTIONS
1523 GC_mark_lock_holder = NO_THREAD;
1524 # endif
1525 if (pthread_mutex_unlock(&mark_mutex) != 0) {
1526 ABORT("pthread_mutex_unlock failed");
1530 /* Collector must wait for a freelist builders for 2 reasons: */
1531 /* 1) Mark bits may still be getting examined without lock. */
1532 /* 2) Partial free lists referenced only by locals may not be scanned */
1533 /* correctly, e.g. if they contain "pointer-free" objects, since the */
1534 /* free-list link may be ignored. */
1535 void GC_wait_builder()
1537 GC_ASSERT(GC_mark_lock_holder == pthread_self());
1538 # ifdef GC_ASSERTIONS
1539 GC_mark_lock_holder = NO_THREAD;
1540 # endif
1541 if (pthread_cond_wait(&builder_cv, &mark_mutex) != 0) {
1542 ABORT("pthread_cond_wait failed");
1544 GC_ASSERT(GC_mark_lock_holder == NO_THREAD);
1545 # ifdef GC_ASSERTIONS
1546 GC_mark_lock_holder = pthread_self();
1547 # endif
1550 void GC_wait_for_reclaim()
1552 GC_acquire_mark_lock();
1553 while (GC_fl_builder_count > 0) {
1554 GC_wait_builder();
1556 GC_release_mark_lock();
1559 void GC_notify_all_builder()
1561 GC_ASSERT(GC_mark_lock_holder == pthread_self());
1562 if (pthread_cond_broadcast(&builder_cv) != 0) {
1563 ABORT("pthread_cond_broadcast failed");
1567 #endif /* PARALLEL_MARK || THREAD_LOCAL_ALLOC */
1569 #ifdef PARALLEL_MARK
1571 static pthread_cond_t mark_cv = PTHREAD_COND_INITIALIZER;
1573 void GC_wait_marker()
1575 GC_ASSERT(GC_mark_lock_holder == pthread_self());
1576 # ifdef GC_ASSERTIONS
1577 GC_mark_lock_holder = NO_THREAD;
1578 # endif
1579 if (pthread_cond_wait(&mark_cv, &mark_mutex) != 0) {
1580 ABORT("pthread_cond_wait failed");
1582 GC_ASSERT(GC_mark_lock_holder == NO_THREAD);
1583 # ifdef GC_ASSERTIONS
1584 GC_mark_lock_holder = pthread_self();
1585 # endif
1588 void GC_notify_all_marker()
1590 if (pthread_cond_broadcast(&mark_cv) != 0) {
1591 ABORT("pthread_cond_broadcast failed");
1595 #endif /* PARALLEL_MARK */
1597 # endif /* GC_LINUX_THREADS and friends */