Remove MonoTODOs that should not be there
[mono-project.git] / libgc / solaris_threads.c
blobe6e0ea259c17cdb842657cb8c0927ae8adc4a078
1 /*
2 * Copyright (c) 1994 by Xerox Corporation. All rights reserved.
4 * THIS MATERIAL IS PROVIDED AS IS, WITH ABSOLUTELY NO WARRANTY EXPRESSED
5 * OR IMPLIED. ANY USE IS AT YOUR OWN RISK.
7 * Permission is hereby granted to use or copy this program
8 * for any purpose, provided the above notices are retained on all copies.
9 * Permission to modify the code and to distribute modified code is granted,
10 * provided the above notices are retained, and a notice that the code was
11 * modified is included with the above copyright notice.
14 * Support code for Solaris threads. Provides functionality we wish Sun
15 * had provided. Relies on some information we probably shouldn't rely on.
17 /* Boehm, September 14, 1994 4:44 pm PDT */
19 # include "private/gc_priv.h"
21 # if defined(GC_SOLARIS_THREADS) || defined(GC_SOLARIS_PTHREADS)
23 /* Avoid #error"Cannot use procfs in the large file compilation environment" */
24 #if defined(_ILP32) && (_FILE_OFFSET_BITS != 32)
25 #undef _FILE_OFFSET_BITS
26 #define _FILE_OFFSET_BITS 32
27 #endif
29 # include "private/solaris_threads.h"
30 # include <thread.h>
31 # include <synch.h>
32 # include <signal.h>
33 # include <fcntl.h>
34 # include <sys/types.h>
35 # include <sys/mman.h>
36 # include <sys/time.h>
37 # include <sys/resource.h>
38 # include <sys/stat.h>
39 # include <sys/syscall.h>
40 # include <sys/procfs.h>
41 # include <sys/lwp.h>
42 # include <sys/reg.h>
43 # define _CLASSIC_XOPEN_TYPES
44 # include <unistd.h>
45 # include <errno.h>
47 #ifdef HANDLE_FORK
48 --> Not yet supported. Try porting the code from linux_threads.c.
49 #endif
52 * This is the default size of the LWP arrays. If there are more LWPs
53 * than this when a stop-the-world GC happens, set_max_lwps will be
54 * called to cope.
55 * This must be higher than the number of LWPs at startup time.
56 * The threads library creates a thread early on, so the min. is 3
58 # define DEFAULT_MAX_LWPS 4
60 #undef thr_join
61 #undef thr_create
62 #undef thr_suspend
63 #undef thr_continue
65 cond_t GC_prom_join_cv; /* Broadcast when any thread terminates */
66 cond_t GC_create_cv; /* Signalled when a new undetached */
67 /* thread starts. */
70 #ifdef MMAP_STACKS
71 static int GC_zfd;
72 #endif /* MMAP_STACKS */
74 /* We use the allocation lock to protect thread-related data structures. */
76 /* We stop the world using /proc primitives. This makes some */
77 /* minimal assumptions about the threads implementation. */
78 /* We don't play by the rules, since the rules make this */
79 /* impossible (as of Solaris 2.3). Also note that as of */
80 /* Solaris 2.3 the various thread and lwp suspension */
81 /* primitives failed to stop threads by the time the request */
82 /* is completed. */
85 static sigset_t old_mask;
87 /* Sleep for n milliseconds, n < 1000 */
88 void GC_msec_sleep(int n)
90 struct timespec ts;
92 ts.tv_sec = 0;
93 ts.tv_nsec = 1000000*n;
94 if (syscall(SYS_nanosleep, &ts, 0) < 0) {
95 ABORT("nanosleep failed");
98 /* Turn off preemption; gross but effective. */
99 /* Caller has allocation lock. */
100 /* Actually this is not needed under Solaris 2.3 and */
101 /* 2.4, but hopefully that'll change. */
102 void preempt_off()
104 sigset_t set;
106 (void)sigfillset(&set);
107 sigdelset(&set, SIGABRT);
108 syscall(SYS_sigprocmask, SIG_SETMASK, &set, &old_mask);
111 void preempt_on()
113 syscall(SYS_sigprocmask, SIG_SETMASK, &old_mask, NULL);
116 int GC_main_proc_fd = -1;
119 struct lwp_cache_entry {
120 lwpid_t lc_id;
121 int lc_descr; /* /proc file descriptor. */
122 } GC_lwp_cache_default[DEFAULT_MAX_LWPS];
124 static int max_lwps = DEFAULT_MAX_LWPS;
125 static struct lwp_cache_entry *GC_lwp_cache = GC_lwp_cache_default;
127 static prgregset_t GC_lwp_registers_default[DEFAULT_MAX_LWPS];
128 static prgregset_t *GC_lwp_registers = GC_lwp_registers_default;
130 /* Return a file descriptor for the /proc entry corresponding */
131 /* to the given lwp. The file descriptor may be stale if the */
132 /* lwp exited and a new one was forked. */
133 static int open_lwp(lwpid_t id)
135 int result;
136 static int next_victim = 0;
137 register int i;
139 for (i = 0; i < max_lwps; i++) {
140 if (GC_lwp_cache[i].lc_id == id) return(GC_lwp_cache[i].lc_descr);
142 result = syscall(SYS_ioctl, GC_main_proc_fd, PIOCOPENLWP, &id);
144 * If PIOCOPENLWP fails, try closing fds in the cache until it succeeds.
146 if (result < 0 && errno == EMFILE) {
147 for (i = 0; i < max_lwps; i++) {
148 if (GC_lwp_cache[i].lc_id != 0) {
149 (void)syscall(SYS_close, GC_lwp_cache[i].lc_descr);
150 result = syscall(SYS_ioctl, GC_main_proc_fd, PIOCOPENLWP, &id);
151 if (result >= 0 || (result < 0 && errno != EMFILE))
152 break;
156 if (result < 0) {
157 if (errno == EMFILE) {
158 ABORT("Too many open files");
160 return(-1) /* exited? */;
162 if (GC_lwp_cache[next_victim].lc_id != 0)
163 (void)syscall(SYS_close, GC_lwp_cache[next_victim].lc_descr);
164 GC_lwp_cache[next_victim].lc_id = id;
165 GC_lwp_cache[next_victim].lc_descr = result;
166 if (++next_victim >= max_lwps)
167 next_victim = 0;
168 return(result);
171 static void uncache_lwp(lwpid_t id)
173 register int i;
175 for (i = 0; i < max_lwps; i++) {
176 if (GC_lwp_cache[i].lc_id == id) {
177 (void)syscall(SYS_close, GC_lwp_cache[id].lc_descr);
178 GC_lwp_cache[i].lc_id = 0;
179 break;
183 /* Sequence of current lwp ids */
184 static lwpid_t GC_current_ids_default[DEFAULT_MAX_LWPS + 1];
185 static lwpid_t *GC_current_ids = GC_current_ids_default;
187 /* Temporary used below (can be big if large number of LWPs) */
188 static lwpid_t last_ids_default[DEFAULT_MAX_LWPS + 1];
189 static lwpid_t *last_ids = last_ids_default;
192 #define ROUNDUP(n) WORDS_TO_BYTES(ROUNDED_UP_WORDS(n))
194 static void set_max_lwps(GC_word n)
196 char *mem;
197 char *oldmem;
198 int required_bytes = ROUNDUP(n * sizeof(struct lwp_cache_entry))
199 + ROUNDUP(n * sizeof(prgregset_t))
200 + ROUNDUP((n + 1) * sizeof(lwpid_t))
201 + ROUNDUP((n + 1) * sizeof(lwpid_t));
203 GC_expand_hp_inner(divHBLKSZ((word)required_bytes));
204 oldmem = mem = GC_scratch_alloc(required_bytes);
205 if (0 == mem) ABORT("No space for lwp data structures");
208 * We can either flush the old lwp cache or copy it over. Do the latter.
210 memcpy(mem, GC_lwp_cache, max_lwps * sizeof(struct lwp_cache_entry));
211 GC_lwp_cache = (struct lwp_cache_entry*)mem;
212 mem += ROUNDUP(n * sizeof(struct lwp_cache_entry));
214 BZERO(GC_lwp_registers, max_lwps * sizeof(GC_lwp_registers[0]));
215 GC_lwp_registers = (prgregset_t *)mem;
216 mem += ROUNDUP(n * sizeof(prgregset_t));
219 GC_current_ids = (lwpid_t *)mem;
220 mem += ROUNDUP((n + 1) * sizeof(lwpid_t));
222 last_ids = (lwpid_t *)mem;
223 mem += ROUNDUP((n + 1)* sizeof(lwpid_t));
225 if (mem > oldmem + required_bytes)
226 ABORT("set_max_lwps buffer overflow");
228 max_lwps = n;
232 /* Stop all lwps in process. Assumes preemption is off. */
233 /* Caller has allocation lock (and any other locks he may */
234 /* need). */
235 static void stop_all_lwps()
237 int lwp_fd;
238 char buf[30];
239 prstatus_t status;
240 register int i;
241 GC_bool changed;
242 lwpid_t me = _lwp_self();
244 if (GC_main_proc_fd == -1) {
245 sprintf(buf, "/proc/%d", getpid());
246 GC_main_proc_fd = syscall(SYS_open, buf, O_RDONLY);
247 if (GC_main_proc_fd < 0) {
248 if (errno == EMFILE)
249 ABORT("/proc open failed: too many open files");
250 GC_printf1("/proc open failed: errno %d", errno);
251 abort();
254 BZERO(GC_lwp_registers, sizeof (prgregset_t) * max_lwps);
255 for (i = 0; i < max_lwps; i++)
256 last_ids[i] = 0;
257 for (;;) {
258 if (syscall(SYS_ioctl, GC_main_proc_fd, PIOCSTATUS, &status) < 0)
259 ABORT("Main PIOCSTATUS failed");
260 if (status.pr_nlwp < 1)
261 ABORT("Invalid number of lwps returned by PIOCSTATUS");
262 if (status.pr_nlwp >= max_lwps) {
263 set_max_lwps(status.pr_nlwp*2 + 10);
265 * The data in the old GC_current_ids and
266 * GC_lwp_registers has been trashed. Cleaning out last_ids
267 * will make sure every LWP gets re-examined.
269 for (i = 0; i < max_lwps; i++)
270 last_ids[i] = 0;
271 continue;
273 if (syscall(SYS_ioctl, GC_main_proc_fd, PIOCLWPIDS, GC_current_ids) < 0)
274 ABORT("PIOCLWPIDS failed");
275 changed = FALSE;
276 for (i = 0; GC_current_ids[i] != 0 && i < max_lwps; i++) {
277 if (GC_current_ids[i] != last_ids[i]) {
278 changed = TRUE;
279 if (GC_current_ids[i] != me) {
280 /* PIOCSTOP doesn't work without a writable */
281 /* descriptor. And that makes the process */
282 /* undebuggable. */
283 if (_lwp_suspend(GC_current_ids[i]) < 0) {
284 /* Could happen if the lwp exited */
285 uncache_lwp(GC_current_ids[i]);
286 GC_current_ids[i] = me; /* ignore */
292 * In the unlikely event something does a fork between the
293 * PIOCSTATUS and the PIOCLWPIDS.
295 if (i >= max_lwps)
296 continue;
297 /* All lwps in GC_current_ids != me have been suspended. Note */
298 /* that _lwp_suspend is idempotent. */
299 for (i = 0; GC_current_ids[i] != 0; i++) {
300 if (GC_current_ids[i] != last_ids[i]) {
301 if (GC_current_ids[i] != me) {
302 lwp_fd = open_lwp(GC_current_ids[i]);
303 if (lwp_fd == -1)
305 GC_current_ids[i] = me;
306 continue;
308 /* LWP should be stopped. Empirically it sometimes */
309 /* isn't, and more frequently the PR_STOPPED flag */
310 /* is not set. Wait for PR_STOPPED. */
311 if (syscall(SYS_ioctl, lwp_fd,
312 PIOCSTATUS, &status) < 0) {
313 /* Possible if the descriptor was stale, or */
314 /* we encountered the 2.3 _lwp_suspend bug. */
315 uncache_lwp(GC_current_ids[i]);
316 GC_current_ids[i] = me; /* handle next time. */
317 } else {
318 while (!(status.pr_flags & PR_STOPPED)) {
319 GC_msec_sleep(1);
320 if (syscall(SYS_ioctl, lwp_fd,
321 PIOCSTATUS, &status) < 0) {
322 ABORT("Repeated PIOCSTATUS failed");
324 if (status.pr_flags & PR_STOPPED) break;
326 GC_msec_sleep(20);
327 if (syscall(SYS_ioctl, lwp_fd,
328 PIOCSTATUS, &status) < 0) {
329 ABORT("Repeated PIOCSTATUS failed");
332 if (status.pr_who != GC_current_ids[i]) {
333 /* can happen if thread was on death row */
334 uncache_lwp(GC_current_ids[i]);
335 GC_current_ids[i] = me; /* handle next time. */
336 continue;
338 /* Save registers where collector can */
339 /* find them. */
340 BCOPY(status.pr_reg, GC_lwp_registers[i],
341 sizeof (prgregset_t));
346 if (!changed) break;
347 for (i = 0; i < max_lwps; i++) last_ids[i] = GC_current_ids[i];
351 /* Restart all lwps in process. Assumes preemption is off. */
352 static void restart_all_lwps()
354 int lwp_fd;
355 register int i;
356 GC_bool changed;
357 lwpid_t me = _lwp_self();
358 # define PARANOID
360 for (i = 0; GC_current_ids[i] != 0; i++) {
361 # ifdef PARANOID
362 if (GC_current_ids[i] != me) {
363 int lwp_fd = open_lwp(GC_current_ids[i]);
364 prstatus_t status;
366 if (lwp_fd < 0) ABORT("open_lwp failed");
367 if (syscall(SYS_ioctl, lwp_fd,
368 PIOCSTATUS, &status) < 0) {
369 ABORT("PIOCSTATUS failed in restart_all_lwps");
371 if (memcmp(status.pr_reg, GC_lwp_registers[i],
372 sizeof (prgregset_t)) != 0) {
373 int j;
375 for(j = 0; j < NPRGREG; j++)
377 GC_printf3("%i: %x -> %x\n", j,
378 GC_lwp_registers[i][j],
379 status.pr_reg[j]);
381 ABORT("Register contents changed");
383 if (!status.pr_flags & PR_STOPPED) {
384 ABORT("lwp no longer stopped");
386 #ifdef SPARC
388 gwindows_t windows;
389 if (syscall(SYS_ioctl, lwp_fd,
390 PIOCGWIN, &windows) < 0) {
391 ABORT("PIOCSTATUS failed in restart_all_lwps");
393 if (windows.wbcnt > 0) ABORT("unsaved register windows");
395 #endif
397 # endif /* PARANOID */
398 if (GC_current_ids[i] == me) continue;
399 if (_lwp_continue(GC_current_ids[i]) < 0) {
400 ABORT("Failed to restart lwp");
403 if (i >= max_lwps) ABORT("Too many lwps");
406 GC_bool GC_multithreaded = 0;
408 void GC_stop_world()
410 preempt_off();
411 if (GC_multithreaded)
412 stop_all_lwps();
415 void GC_start_world()
417 if (GC_multithreaded)
418 restart_all_lwps();
419 preempt_on();
422 void GC_thr_init(void);
424 GC_bool GC_thr_initialized = FALSE;
426 size_t GC_min_stack_sz;
430 * stack_head is stored at the top of free stacks
432 struct stack_head {
433 struct stack_head *next;
434 ptr_t base;
435 thread_t owner;
438 # define N_FREE_LISTS 25
439 struct stack_head *GC_stack_free_lists[N_FREE_LISTS] = { 0 };
440 /* GC_stack_free_lists[i] is free list for stacks of */
441 /* size GC_min_stack_sz*2**i. */
442 /* Free lists are linked through stack_head stored */ /* at top of stack. */
444 /* Return a stack of size at least *stack_size. *stack_size is */
445 /* replaced by the actual stack size. */
446 /* Caller holds allocation lock. */
447 ptr_t GC_stack_alloc(size_t * stack_size)
449 register size_t requested_sz = *stack_size;
450 register size_t search_sz = GC_min_stack_sz;
451 register int index = 0; /* = log2(search_sz/GC_min_stack_sz) */
452 register ptr_t base;
453 register struct stack_head *result;
455 while (search_sz < requested_sz) {
456 search_sz *= 2;
457 index++;
459 if ((result = GC_stack_free_lists[index]) == 0
460 && (result = GC_stack_free_lists[index+1]) != 0) {
461 /* Try next size up. */
462 search_sz *= 2; index++;
464 if (result != 0) {
465 base = GC_stack_free_lists[index]->base;
466 GC_stack_free_lists[index] = GC_stack_free_lists[index]->next;
467 } else {
468 #ifdef MMAP_STACKS
469 base = (ptr_t)mmap(0, search_sz + GC_page_size,
470 PROT_READ|PROT_WRITE, MAP_PRIVATE |MAP_NORESERVE,
471 GC_zfd, 0);
472 if (base == (ptr_t)-1)
474 *stack_size = 0;
475 return NULL;
478 mprotect(base, GC_page_size, PROT_NONE);
479 /* Should this use divHBLKSZ(search_sz + GC_page_size) ? -- cf */
480 GC_is_fresh((struct hblk *)base, divHBLKSZ(search_sz));
481 base += GC_page_size;
483 #else
484 base = (ptr_t) GC_scratch_alloc(search_sz + 2*GC_page_size);
485 if (base == NULL)
487 *stack_size = 0;
488 return NULL;
491 base = (ptr_t)(((word)base + GC_page_size) & ~(GC_page_size - 1));
492 /* Protect hottest page to detect overflow. */
493 # ifdef SOLARIS23_MPROTECT_BUG_FIXED
494 mprotect(base, GC_page_size, PROT_NONE);
495 # endif
496 GC_is_fresh((struct hblk *)base, divHBLKSZ(search_sz));
498 base += GC_page_size;
499 #endif
501 *stack_size = search_sz;
502 return(base);
505 /* Caller holds allocationlock. */
506 void GC_stack_free(ptr_t stack, size_t size)
508 register int index = 0;
509 register size_t search_sz = GC_min_stack_sz;
510 register struct stack_head *head;
512 #ifdef MMAP_STACKS
513 /* Zero pointers */
514 mmap(stack, size, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_NORESERVE|MAP_FIXED,
515 GC_zfd, 0);
516 #endif
517 while (search_sz < size) {
518 search_sz *= 2;
519 index++;
521 if (search_sz != size) ABORT("Bad stack size");
523 head = (struct stack_head *)(stack + search_sz - sizeof(struct stack_head));
524 head->next = GC_stack_free_lists[index];
525 head->base = stack;
526 GC_stack_free_lists[index] = head;
529 void GC_my_stack_limits();
531 /* Notify virtual dirty bit implementation that known empty parts of */
532 /* stacks do not contain useful data. */
533 /* Caller holds allocation lock. */
534 void GC_old_stacks_are_fresh()
536 /* No point in doing this for MMAP stacks - and pointers are zero'd out */
537 /* by the mmap in GC_stack_free */
538 #ifndef MMAP_STACKS
539 register int i;
540 register struct stack_head *s;
541 register ptr_t p;
542 register size_t sz;
543 register struct hblk * h;
544 int dummy;
546 for (i = 0, sz= GC_min_stack_sz; i < N_FREE_LISTS;
547 i++, sz *= 2) {
548 for (s = GC_stack_free_lists[i]; s != 0; s = s->next) {
549 p = s->base;
550 h = (struct hblk *)(((word)p + HBLKSIZE-1) & ~(HBLKSIZE-1));
551 if ((ptr_t)h == p) {
552 GC_is_fresh((struct hblk *)p, divHBLKSZ(sz));
553 } else {
554 GC_is_fresh((struct hblk *)p, divHBLKSZ(sz) - 1);
555 BZERO(p, (ptr_t)h - p);
559 #endif /* MMAP_STACKS */
560 GC_my_stack_limits();
563 /* The set of all known threads. We intercept thread creation and */
564 /* joins. We never actually create detached threads. We allocate all */
565 /* new thread stacks ourselves. These allow us to maintain this */
566 /* data structure. */
568 # define THREAD_TABLE_SZ 128 /* Must be power of 2 */
569 volatile GC_thread GC_threads[THREAD_TABLE_SZ];
571 void GC_push_thread_structures GC_PROTO((void))
573 GC_push_all((ptr_t)(GC_threads), (ptr_t)(GC_threads)+sizeof(GC_threads));
576 /* Add a thread to GC_threads. We assume it wasn't already there. */
577 /* Caller holds allocation lock. */
578 GC_thread GC_new_thread(thread_t id)
580 int hv = ((word)id) % THREAD_TABLE_SZ;
581 GC_thread result;
582 static struct GC_Thread_Rep first_thread;
583 static GC_bool first_thread_used = FALSE;
585 if (!first_thread_used) {
586 result = &first_thread;
587 first_thread_used = TRUE;
588 /* Dont acquire allocation lock, since we may already hold it. */
589 } else {
590 result = (struct GC_Thread_Rep *)
591 GC_INTERNAL_MALLOC(sizeof(struct GC_Thread_Rep), NORMAL);
593 if (result == 0) return(0);
594 result -> id = id;
595 result -> next = GC_threads[hv];
596 GC_threads[hv] = result;
597 /* result -> finished = 0; */
598 (void) cond_init(&(result->join_cv), USYNC_THREAD, 0);
599 return(result);
602 /* Delete a thread from GC_threads. We assume it is there. */
603 /* (The code intentionally traps if it wasn't.) */
604 /* Caller holds allocation lock. */
605 void GC_delete_thread(thread_t 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 -> id != 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;
622 /* Return the GC_thread correpsonding to a given thread_t. */
623 /* Returns 0 if it's not there. */
624 /* Caller holds allocation lock. */
625 GC_thread GC_lookup_thread(thread_t id)
627 int hv = ((word)id) % THREAD_TABLE_SZ;
628 register GC_thread p = GC_threads[hv];
630 while (p != 0 && p -> id != id) p = p -> next;
631 return(p);
634 int GC_thread_is_registered (void)
636 void *ptr;
638 LOCK();
639 ptr = (void *)GC_lookup_thread(thr_self());
640 UNLOCK();
642 return ptr ? 1 : 0;
645 int GC_thread_register_foreign (void *base_addr)
647 /* FIXME: */
648 return 0;
651 /* Solaris 2/Intel uses an initial stack size limit slightly bigger than the
652 SPARC default of 8 MB. Account for this to warn only if the user has
653 raised the limit beyond the default.
655 This is identical to DFLSSIZ defined in <sys/vm_machparam.h>. This file
656 is installed in /usr/platform/`uname -m`/include, which is not in the
657 default include directory list, so copy the definition here. */
658 #ifdef I386
659 # define MAX_ORIG_STACK_SIZE (8 * 1024 * 1024 + ((USRSTACK) & 0x3FFFFF))
660 #else
661 # define MAX_ORIG_STACK_SIZE (8 * 1024 * 1024)
662 #endif
664 word GC_get_orig_stack_size() {
665 struct rlimit rl;
666 static int warned = 0;
667 int result;
669 if (getrlimit(RLIMIT_STACK, &rl) != 0) ABORT("getrlimit failed");
670 result = (word)rl.rlim_cur & ~(HBLKSIZE-1);
671 if (result > MAX_ORIG_STACK_SIZE) {
672 if (!warned) {
673 WARN("Large stack limit(%ld): only scanning 8 MB\n", result);
674 warned = 1;
676 result = MAX_ORIG_STACK_SIZE;
678 return result;
681 /* Notify dirty bit implementation of unused parts of my stack. */
682 /* Caller holds allocation lock. */
683 void GC_my_stack_limits()
685 int dummy;
686 register ptr_t hottest = (ptr_t)((word)(&dummy) & ~(HBLKSIZE-1));
687 register GC_thread me = GC_lookup_thread(thr_self());
688 register size_t stack_size = me -> stack_size;
689 register ptr_t stack;
691 if (stack_size == 0) {
692 /* original thread */
693 /* Empirically, what should be the stack page with lowest */
694 /* address is actually inaccessible. */
695 stack_size = GC_get_orig_stack_size() - GC_page_size;
696 stack = GC_stackbottom - stack_size + GC_page_size;
697 } else {
698 stack = me -> stack;
700 if (stack > hottest || stack + stack_size < hottest) {
701 ABORT("sp out of bounds");
703 GC_is_fresh((struct hblk *)stack, divHBLKSZ(hottest - stack));
707 /* We hold allocation lock. Should do exactly the right thing if the */
708 /* world is stopped. Should not fail if it isn't. */
709 void GC_push_all_stacks()
711 register int i;
712 register GC_thread p;
713 register ptr_t sp = GC_approx_sp();
714 register ptr_t bottom, top;
715 struct rlimit rl;
717 # define PUSH(bottom,top) \
718 if (GC_dirty_maintained) { \
719 GC_push_selected((bottom), (top), GC_page_was_ever_dirty, \
720 GC_push_all_stack); \
721 } else { \
722 GC_push_all_stack((bottom), (top)); \
724 GC_push_all_stack((ptr_t)GC_lwp_registers,
725 (ptr_t)GC_lwp_registers
726 + max_lwps * sizeof(GC_lwp_registers[0]));
727 for (i = 0; i < THREAD_TABLE_SZ; i++) {
728 for (p = GC_threads[i]; p != 0; p = p -> next) {
729 if (p -> stack_size != 0) {
730 bottom = p -> stack;
731 top = p -> stack + p -> stack_size;
732 } else {
733 /* The original stack. */
734 bottom = GC_stackbottom - GC_get_orig_stack_size() + GC_page_size;
735 top = GC_stackbottom;
737 if ((word)sp > (word)bottom && (word)sp < (word)top) bottom = sp;
738 PUSH(bottom, top);
744 int GC_is_thread_stack(ptr_t addr)
746 register int i;
747 register GC_thread p;
748 register ptr_t bottom, top;
750 for (i = 0; i < THREAD_TABLE_SZ; i++) {
751 for (p = GC_threads[i]; p != 0; p = p -> next) {
752 if (p -> stack_size != 0) {
753 if (p -> stack <= addr &&
754 addr < p -> stack + p -> stack_size)
755 return 1;
759 return 0;
762 /* The only thread that ever really performs a thr_join. */
763 void * GC_thr_daemon(void * dummy)
765 void *status;
766 thread_t departed;
767 register GC_thread t;
768 register int i;
769 register int result;
771 for(;;) {
772 start:
773 result = thr_join((thread_t)0, &departed, &status);
774 LOCK();
775 if (result != 0) {
776 /* No more threads; wait for create. */
777 for (i = 0; i < THREAD_TABLE_SZ; i++) {
778 for (t = GC_threads[i]; t != 0; t = t -> next) {
779 if (!(t -> flags & (DETACHED | FINISHED))) {
780 UNLOCK();
781 goto start; /* Thread started just before we */
782 /* acquired the lock. */
786 cond_wait(&GC_create_cv, &GC_allocate_ml);
787 UNLOCK();
788 } else {
789 t = GC_lookup_thread(departed);
790 GC_multithreaded--;
791 if (!(t -> flags & CLIENT_OWNS_STACK)) {
792 GC_stack_free(t -> stack, t -> stack_size);
794 if (t -> flags & DETACHED) {
795 GC_delete_thread(departed);
796 } else {
797 t -> status = status;
798 t -> flags |= FINISHED;
799 cond_signal(&(t -> join_cv));
800 cond_broadcast(&GC_prom_join_cv);
802 UNLOCK();
807 /* We hold the allocation lock, or caller ensures that 2 instances */
808 /* cannot be invoked concurrently. */
809 void GC_thr_init(void)
811 GC_thread t;
812 thread_t tid;
813 int ret;
815 if (GC_thr_initialized)
816 return;
817 GC_thr_initialized = TRUE;
818 GC_min_stack_sz = ((thr_min_stack() + 32*1024 + HBLKSIZE-1)
819 & ~(HBLKSIZE - 1));
820 #ifdef MMAP_STACKS
821 GC_zfd = open("/dev/zero", O_RDONLY);
822 if (GC_zfd == -1)
823 ABORT("Can't open /dev/zero");
824 #endif /* MMAP_STACKS */
825 cond_init(&GC_prom_join_cv, USYNC_THREAD, 0);
826 cond_init(&GC_create_cv, USYNC_THREAD, 0);
827 /* Add the initial thread, so we can stop it. */
828 t = GC_new_thread(thr_self());
829 t -> stack_size = 0;
830 t -> flags = DETACHED | CLIENT_OWNS_STACK;
831 ret = thr_create(0 /* stack */, 0 /* stack_size */, GC_thr_daemon,
832 0 /* arg */, THR_DETACHED | THR_DAEMON,
833 &tid /* thread_id */);
834 if (ret != 0) {
835 GC_err_printf1("Thr_create returned %ld\n", ret);
836 ABORT("Cant fork daemon");
838 thr_setprio(tid, 126);
841 /* We acquire the allocation lock to prevent races with */
842 /* stopping/starting world. */
843 /* This is no more correct than the underlying Solaris 2.X */
844 /* implementation. Under 2.3 THIS IS BROKEN. */
845 int GC_thr_suspend(thread_t target_thread)
847 GC_thread t;
848 int result;
850 LOCK();
851 result = thr_suspend(target_thread);
852 if (result == 0) {
853 t = GC_lookup_thread(target_thread);
854 if (t == 0) ABORT("thread unknown to GC");
855 t -> flags |= SUSPNDED;
857 UNLOCK();
858 return(result);
861 int GC_thr_continue(thread_t target_thread)
863 GC_thread t;
864 int result;
866 LOCK();
867 result = thr_continue(target_thread);
868 if (result == 0) {
869 t = GC_lookup_thread(target_thread);
870 if (t == 0) ABORT("thread unknown to GC");
871 t -> flags &= ~SUSPNDED;
873 UNLOCK();
874 return(result);
877 int GC_thr_join(thread_t wait_for, thread_t *departed, void **status)
879 register GC_thread t;
880 int result = 0;
882 LOCK();
883 if (wait_for == 0) {
884 register int i;
885 register GC_bool thread_exists;
887 for (;;) {
888 thread_exists = FALSE;
889 for (i = 0; i < THREAD_TABLE_SZ; i++) {
890 for (t = GC_threads[i]; t != 0; t = t -> next) {
891 if (!(t -> flags & DETACHED)) {
892 if (t -> flags & FINISHED) {
893 goto found;
895 thread_exists = TRUE;
899 if (!thread_exists) {
900 result = ESRCH;
901 goto out;
903 cond_wait(&GC_prom_join_cv, &GC_allocate_ml);
905 } else {
906 t = GC_lookup_thread(wait_for);
907 if (t == 0 || t -> flags & DETACHED) {
908 result = ESRCH;
909 goto out;
911 if (wait_for == thr_self()) {
912 result = EDEADLK;
913 goto out;
915 while (!(t -> flags & FINISHED)) {
916 cond_wait(&(t -> join_cv), &GC_allocate_ml);
920 found:
921 if (status) *status = t -> status;
922 if (departed) *departed = t -> id;
923 cond_destroy(&(t -> join_cv));
924 GC_delete_thread(t -> id);
925 out:
926 UNLOCK();
927 return(result);
932 GC_thr_create(void *stack_base, size_t stack_size,
933 void *(*start_routine)(void *), void *arg, long flags,
934 thread_t *new_thread)
936 int result;
937 GC_thread t;
938 thread_t my_new_thread;
939 word my_flags = 0;
940 void * stack = stack_base;
942 LOCK();
943 if (!GC_is_initialized) GC_init_inner();
944 GC_multithreaded++;
945 if (stack == 0) {
946 if (stack_size == 0) stack_size = 1024*1024;
947 stack = (void *)GC_stack_alloc(&stack_size);
948 if (stack == 0) {
949 GC_multithreaded--;
950 UNLOCK();
951 return(ENOMEM);
953 } else {
954 my_flags |= CLIENT_OWNS_STACK;
956 if (flags & THR_DETACHED) my_flags |= DETACHED;
957 if (flags & THR_SUSPENDED) my_flags |= SUSPNDED;
958 result = thr_create(stack, stack_size, start_routine,
959 arg, flags & ~THR_DETACHED, &my_new_thread);
960 if (result == 0) {
961 t = GC_new_thread(my_new_thread);
962 t -> flags = my_flags;
963 if (!(my_flags & DETACHED)) cond_init(&(t -> join_cv), USYNC_THREAD, 0);
964 t -> stack = stack;
965 t -> stack_size = stack_size;
966 if (new_thread != 0) *new_thread = my_new_thread;
967 cond_signal(&GC_create_cv);
968 } else {
969 GC_multithreaded--;
970 if (!(my_flags & CLIENT_OWNS_STACK)) {
971 GC_stack_free(stack, stack_size);
974 UNLOCK();
975 return(result);
978 # else /* !GC_SOLARIS_THREADS */
980 #ifndef LINT
981 int GC_no_sunOS_threads;
982 #endif
983 #endif