2 * Copyright 1988, 1989 Hans-J. Boehm, Alan J. Demers
3 * Copyright (c) 1991, 1992 by Xerox Corporation. All rights reserved.
4 * Copyright (c) 1999-2001 by Hewlett-Packard Company. All rights reserved.
6 * THIS MATERIAL IS PROVIDED AS IS, WITH ABSOLUTELY NO WARRANTY EXPRESSED
7 * OR IMPLIED. ANY USE IS AT YOUR OWN RISK.
9 * Permission is hereby granted to use or copy this program
10 * for any purpose, provided the above notices are retained on all copies.
11 * Permission to modify the code and to distribute modified code is granted,
12 * provided the above notices are retained, and a notice that the code was
13 * modified is included with the above copyright notice.
16 /* Routines for maintaining maps describing heap block
17 * layouts for various object sizes. Allows fast pointer validity checks
18 * and fast location of object start locations on machines (such as SPARC)
22 # include "private/gc_priv.h"
24 /* Consider pointers that are offset bytes displaced from the beginning */
25 /* of an object to be valid. */
27 void GC_register_displacement(size_t offset)
32 GC_register_displacement_inner(offset);
36 void GC_register_displacement_inner(size_t offset)
38 if (offset >= VALID_OFFSET_SZ) {
39 ABORT("Bad argument to GC_register_displacement");
41 if (!GC_valid_offsets[offset]) {
42 GC_valid_offsets[offset] = TRUE;
43 GC_modws_valid_offsets[offset % sizeof(word)] = TRUE;
47 #ifdef MARK_BIT_PER_GRANULE
48 /* Add a heap block map for objects of size granules to obj_map. */
49 /* Return FALSE on failure. */
50 /* A size of 0 granules is used for large objects. */
51 GC_bool GC_add_map_entry(size_t granules)
56 if (granules > BYTES_TO_GRANULES(MAXOBJBYTES)) granules = 0;
57 if (GC_obj_map[granules] != 0) {
60 new_map = (short *)GC_scratch_alloc(MAP_LEN * sizeof(short));
61 if (new_map == 0) return(FALSE);
63 GC_log_printf("Adding block map for size of %u granules (%u bytes)\n",
64 (unsigned)granules, (unsigned)(GRANULES_TO_BYTES(granules)));
66 for (displ = 0; displ < BYTES_TO_GRANULES(HBLKSIZE); displ++) {
67 new_map[displ] = 1; /* Nonzero to get us out of marker fast path. */
70 for (displ = 0; displ < BYTES_TO_GRANULES(HBLKSIZE); displ++) {
71 new_map[displ] = (short)(displ % granules);
74 GC_obj_map[granules] = new_map;
79 static GC_bool offsets_initialized = FALSE;
81 void GC_initialize_offsets(void)
83 if (!offsets_initialized) {
85 if (GC_all_interior_pointers) {
86 for (i = 0; i < VALID_OFFSET_SZ; ++i) GC_valid_offsets[i] = TRUE;
88 offsets_initialized = TRUE;