2 * Copyright (c) 1991-1994 by Xerox Corporation. All rights reserved.
3 * Copyright (c) 1999-2004 Hewlett-Packard Development Company, L.P.
5 * THIS MATERIAL IS PROVIDED AS IS, WITH ABSOLUTELY NO WARRANTY EXPRESSED
6 * OR IMPLIED. ANY USE IS AT YOUR OWN RISK.
8 * Permission is hereby granted to use or copy this program
9 * for any purpose, provided the above notices are retained on all copies.
10 * Permission to modify the code and to distribute modified code is granted,
11 * provided the above notices are retained, and a notice that the code was
12 * modified is included with the above copyright notice.
15 /* Boehm, July 31, 1995 5:02 pm PDT */
22 * This is an allocator interface tuned for gcj (the GNU static
25 * Each allocated object has a pointer in its first word to a vtable,
26 * which for our purposes is simply a structure describing the type of
28 * This descriptor structure contains a GC marking descriptor at offset
31 * It is hoped that this interface may also be useful for other systems,
32 * possibly with some tuning of the constants. But the immediate goal
33 * is to get better gcj performance.
36 * 1) We have an ANSI conforming C compiler.
37 * 2) Counting on explicit initialization of this interface is OK.
38 * 3) FASTLOCK is not a significant win.
41 #include "private/gc_pmark.h"
43 #include "private/dbg_mlc.h"
45 GC_bool GC_gcj_malloc_initialized = FALSE;
47 int GC_gcj_kind; /* Object kind for objects with descriptors */
49 int GC_gcj_debug_kind; /* The kind of objects that is always marked */
50 /* with a mark proc call. */
52 ptr_t * GC_gcjobjfreelist;
53 ptr_t * GC_gcjdebugobjfreelist;
55 /* Caller does not hold allocation lock. */
56 void GC_init_gcj_malloc(int mp_index, void * /* really GC_mark_proc */mp)
59 GC_bool ignore_gcj_info;
62 GC_init(); /* In case it's not already done. */
64 if (GC_gcj_malloc_initialized) {
68 GC_gcj_malloc_initialized = TRUE;
69 ignore_gcj_info = (0 != GETENV("GC_IGNORE_GCJ_INFO"));
70 if (GC_print_stats && ignore_gcj_info) {
71 GC_log_printf("Gcj-style type information is disabled!\n");
73 GC_ASSERT(GC_mark_procs[mp_index] == (GC_mark_proc)0); /* unused */
74 GC_mark_procs[mp_index] = (GC_mark_proc)mp;
75 if (mp_index >= GC_n_mark_procs) ABORT("GC_init_gcj_malloc: bad index");
76 /* Set up object kind gcj-style indirect descriptor. */
77 GC_gcjobjfreelist = (ptr_t *)GC_new_free_list_inner();
78 if (ignore_gcj_info) {
79 /* Use a simple length-based descriptor, thus forcing a fully */
80 /* conservative scan. */
81 GC_gcj_kind = GC_new_kind_inner((void **)GC_gcjobjfreelist,
85 GC_gcj_kind = GC_new_kind_inner(
86 (void **)GC_gcjobjfreelist,
87 (((word)(-MARK_DESCR_OFFSET - GC_INDIR_PER_OBJ_BIAS))
91 /* Set up object kind for objects that require mark proc call. */
92 if (ignore_gcj_info) {
93 GC_gcj_debug_kind = GC_gcj_kind;
94 GC_gcjdebugobjfreelist = GC_gcjobjfreelist;
96 GC_gcjdebugobjfreelist = (ptr_t *)GC_new_free_list_inner();
97 GC_gcj_debug_kind = GC_new_kind_inner(
98 (void **)GC_gcjdebugobjfreelist,
99 GC_MAKE_PROC(mp_index,
100 1 /* allocated with debug info */),
106 void * GC_clear_stack(void *);
108 #define GENERAL_MALLOC(lb,k) \
109 GC_clear_stack(GC_generic_malloc_inner((word)lb, k))
111 #define GENERAL_MALLOC_IOP(lb,k) \
112 GC_clear_stack(GC_generic_malloc_inner_ignore_off_page(lb, k))
114 /* We need a mechanism to release the lock and invoke finalizers. */
115 /* We don't really have an opportunity to do this on a rarely executed */
116 /* path on which the lock is not held. Thus we check at a */
117 /* rarely executed point at which it is safe to release the lock. */
118 /* We do this even where we could just call GC_INVOKE_FINALIZERS, */
119 /* since it's probably cheaper and certainly more uniform. */
120 /* FIXME - Consider doing the same elsewhere? */
121 static void maybe_finalize()
123 static int last_finalized_no = 0;
125 if (GC_gc_no == last_finalized_no) return;
126 if (!GC_is_initialized) return;
128 GC_INVOKE_FINALIZERS();
129 last_finalized_no = GC_gc_no;
133 /* Allocate an object, clear it, and store the pointer to the */
134 /* type structure (vtable in gcj). */
135 /* This adds a byte at the end of the object if GC_malloc would.*/
136 #ifdef THREAD_LOCAL_ALLOC
137 void * GC_core_gcj_malloc(size_t lb, void * ptr_to_struct_containing_descr)
139 void * GC_gcj_malloc(size_t lb, void * ptr_to_struct_containing_descr)
148 lg = GC_size_map[lb];
149 opp = &(GC_gcjobjfreelist[lg]);
152 if(EXPECT(op == 0, 0)) {
154 op = (ptr_t)GENERAL_MALLOC((word)lb, GC_gcj_kind);
157 return(GC_oom_fn(lb));
161 GC_bytes_allocd += GRANULES_TO_BYTES(lg);
163 *(void **)op = ptr_to_struct_containing_descr;
164 GC_ASSERT(((void **)op)[1] == 0);
169 op = (ptr_t)GENERAL_MALLOC((word)lb, GC_gcj_kind);
172 return(GC_oom_fn(lb));
174 *(void **)op = ptr_to_struct_containing_descr;
180 /* Similar to GC_gcj_malloc, but add debug info. This is allocated */
181 /* with GC_gcj_debug_kind. */
182 void * GC_debug_gcj_malloc(size_t lb, void * ptr_to_struct_containing_descr,
187 /* We're careful to avoid extra calls, which could */
188 /* confuse the backtrace. */
191 result = GC_generic_malloc_inner(lb + DEBUG_BYTES, GC_gcj_debug_kind);
194 GC_err_printf("GC_debug_gcj_malloc(%ld, %p) returning NIL (",
195 (unsigned long)lb, ptr_to_struct_containing_descr);
197 GC_err_printf(":%d)\n", i);
198 return(GC_oom_fn(lb));
200 *((void **)((ptr_t)result + sizeof(oh))) = ptr_to_struct_containing_descr;
202 if (!GC_debugging_started) {
203 GC_start_debugging();
205 ADD_CALL_CHAIN(result, ra);
206 return (GC_store_debug_info(result, (word)lb, s, (word)i));
209 void * GC_gcj_malloc_ignore_off_page(size_t lb,
210 void * ptr_to_struct_containing_descr)
218 lg = GC_size_map[lb];
219 opp = &(GC_gcjobjfreelist[lg]);
221 if( (op = *opp) == 0 ) {
223 op = (ptr_t)GENERAL_MALLOC_IOP(lb, GC_gcj_kind);
224 lg = GC_size_map[lb]; /* May have been uninitialized. */
227 GC_bytes_allocd += GRANULES_TO_BYTES(lg);
229 *(void **)op = ptr_to_struct_containing_descr;
234 op = (ptr_t)GENERAL_MALLOC_IOP(lb, GC_gcj_kind);
236 *(void **)op = ptr_to_struct_containing_descr;
245 char GC_no_gcj_support;
247 #endif /* GC_GCJ_SUPPORT */