1 /* Simple garbage collection for the GNU compiler.
2 Copyright (C) 1998, 1999, 2000, 2001, 2002, 2003
3 Free Software Foundation, Inc.
5 This file is part of GCC.
7 GCC is free software; you can redistribute it and/or modify it
8 under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 2, or (at your option)
12 GCC is distributed in the hope that it will be useful, but WITHOUT
13 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
14 or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public
15 License for more details.
17 You should have received a copy of the GNU General Public License
18 along with GCC; see the file COPYING. If not, write to the Free
19 Software Foundation, 59 Temple Place - Suite 330, Boston, MA
24 #include "coretypes.h"
36 /* Debugging flags. */
38 /* Zap memory before freeing to catch dangling pointers. */
41 /* Collect statistics on how bushy the search tree is. */
44 /* Always verify that the to-be-marked memory is collectable. */
45 #undef GGC_ALWAYS_VERIFY
47 #ifdef ENABLE_GC_CHECKING
49 #define GGC_ALWAYS_VERIFY
52 #ifndef HOST_BITS_PER_PTR
53 #define HOST_BITS_PER_PTR HOST_BITS_PER_LONG
56 /* We'd like a balanced tree, but we don't really want to pay for the
57 cost of keeping the tree balanced. We'll settle for the next best
58 thing -- nearly balanced.
60 In this context, the most natural key is the node pointer itself,
61 but due to the way memory managers work, we'd be virtually certain
62 to wind up with a completely degenerate straight line. What's needed
63 is to make something more variable, and yet predictable, be more
64 significant in the comparison.
66 The handiest source of variability is the low bits of the pointer
67 value itself. Any sort of bit/byte swap would do, but such machine
68 specific operations are not handy, and we don't want to put that much
71 #define PTR_KEY(p) ((size_t)p << (HOST_BITS_PER_PTR - 8) \
72 | ((size_t)p & 0xff00) << (HOST_BITS_PER_PTR - 24) \
75 /* GC'able memory; a node in a binary search tree. */
79 /* A combination of the standard left/right nodes, indexable by `<'. */
80 struct ggc_mem
*sub
[2];
82 unsigned int mark
: 1;
83 unsigned int context
: 7;
84 unsigned int size
: 24;
86 /* Make sure the data is reasonably aligned. */
95 /* Root of the object tree. */
98 /* Data bytes currently allocated. */
101 /* Data objects currently allocated. */
104 /* Data bytes allocated at time of last GC. */
105 size_t allocated_last_gc
;
107 /* Current context level. */
111 /* Local function prototypes. */
113 static void tree_insert (struct ggc_mem
*);
114 static int tree_lookup (struct ggc_mem
*);
115 static void clear_marks (struct ggc_mem
*);
116 static void sweep_objs (struct ggc_mem
**);
117 static void ggc_pop_context_1 (struct ggc_mem
*, int);
119 /* For use from debugger. */
120 extern void debug_ggc_tree (struct ggc_mem
*, int);
123 extern void debug_ggc_balance (void);
125 static void tally_leaves (struct ggc_mem
*, int, size_t *, size_t *);
127 struct alloc_zone
*rtl_zone
= NULL
;
128 struct alloc_zone
*tree_zone
= NULL
;
129 struct alloc_zone
*garbage_zone
= NULL
;
131 /* Insert V into the search tree. */
134 tree_insert (struct ggc_mem
*v
)
136 size_t v_key
= PTR_KEY (v
);
137 struct ggc_mem
*p
, **pp
;
139 for (pp
= &G
.root
, p
= *pp
; p
; p
= *pp
)
141 size_t p_key
= PTR_KEY (p
);
142 pp
= &p
->sub
[v_key
< p_key
];
147 /* Return true if V is in the tree. */
150 tree_lookup (struct ggc_mem
*v
)
152 size_t v_key
= PTR_KEY (v
);
153 struct ggc_mem
*p
= G
.root
;
157 size_t p_key
= PTR_KEY (p
);
160 p
= p
->sub
[v_key
< p_key
];
166 /* Typed allocation function. Does nothing special in this collector. */
169 ggc_alloc_typed (enum gt_types_enum type ATTRIBUTE_UNUSED
, size_t size
)
171 return ggc_alloc (size
);
174 /* Zone allocation function. Does nothing special in this collector. */
177 ggc_alloc_zone (size_t size
, struct alloc_zone
*zone ATTRIBUTE_UNUSED
)
179 return ggc_alloc (size
);
182 /* Alloc SIZE bytes of GC'able memory. If ZERO, clear the memory. */
185 ggc_alloc (size_t size
)
189 x
= xmalloc (offsetof (struct ggc_mem
, u
) + size
);
193 x
->context
= G
.context
;
197 memset (&x
->u
, 0xaf, size
);
210 ggc_set_mark (const void *p
)
214 x
= (struct ggc_mem
*) ((const char *)p
- offsetof (struct ggc_mem
, u
));
215 #ifdef GGC_ALWAYS_VERIFY
216 if (! tree_lookup (x
))
224 G
.allocated
+= x
->size
;
230 /* Return 1 if P has been marked, zero otherwise. */
233 ggc_marked_p (const void *p
)
237 x
= (struct ggc_mem
*) ((const char *)p
- offsetof (struct ggc_mem
, u
));
238 #ifdef GGC_ALWAYS_VERIFY
239 if (! tree_lookup (x
))
246 /* Return the size of the gc-able object P. */
249 ggc_get_size (const void *p
)
252 = (struct ggc_mem
*) ((const char *)p
- offsetof (struct ggc_mem
, u
));
256 /* Unmark all objects. */
259 clear_marks (struct ggc_mem
*x
)
263 clear_marks (x
->sub
[0]);
265 clear_marks (x
->sub
[1]);
268 /* Free all objects in the current context that are not marked. */
271 sweep_objs (struct ggc_mem
**root
)
273 struct ggc_mem
*x
= *root
;
277 sweep_objs (&x
->sub
[0]);
278 sweep_objs (&x
->sub
[1]);
280 if (! x
->mark
&& x
->context
>= G
.context
)
282 struct ggc_mem
*l
, *r
;
305 } while ((l
= *root
) != NULL
);
310 memset (&x
->u
, 0xA5, x
->size
);
317 /* The top level mark-and-sweep routine. */
322 /* Avoid frequent unnecessary work by skipping collection if the
323 total allocations haven't expanded much since the last
325 size_t allocated_last_gc
=
326 MAX (G
.allocated_last_gc
, (size_t)PARAM_VALUE (GGC_MIN_HEAPSIZE
) * 1024);
328 size_t min_expand
= allocated_last_gc
* PARAM_VALUE (GGC_MIN_EXPAND
) / 100;
330 if (G
.allocated
< allocated_last_gc
+ min_expand
)
334 debug_ggc_balance ();
337 timevar_push (TV_GC
);
339 fprintf (stderr
, " {GC %luk -> ", (unsigned long)G
.allocated
/ 1024);
344 clear_marks (G
.root
);
346 sweep_objs (&G
.root
);
348 G
.allocated_last_gc
= G
.allocated
;
353 fprintf (stderr
, "%luk}", (unsigned long) G
.allocated
/ 1024);
356 debug_ggc_balance ();
360 /* Called once to initialize the garbage collector. */
367 /* Start a new GGC zone. */
370 new_ggc_zone (const char *name ATTRIBUTE_UNUSED
)
375 /* Destroy a GGC zone. */
377 destroy_ggc_zone (struct alloc_zone
*zone ATTRIBUTE_UNUSED
)
381 /* Start a new GGC context. Memory allocated in previous contexts
382 will not be collected while the new context is active. */
385 ggc_push_context (void)
389 /* We only allocated 7 bits in the node for the context. This
390 should be more than enough. */
391 if (G
.context
>= 128)
395 /* Finish a GC context. Any uncollected memory in the new context
396 will be merged with the old context. */
399 ggc_pop_context (void)
403 ggc_pop_context_1 (G
.root
, G
.context
);
407 ggc_pop_context_1 (struct ggc_mem
*x
, int c
)
412 ggc_pop_context_1 (x
->sub
[0], c
);
414 ggc_pop_context_1 (x
->sub
[1], c
);
420 debug_ggc_tree (struct ggc_mem
*p
, int indent
)
426 fputs ("(nil)\n", stderr
);
431 debug_ggc_tree (p
->sub
[0], indent
+ 1);
433 for (i
= 0; i
< indent
; ++i
)
435 fprintf (stderr
, "%lx %p\n", (unsigned long)PTR_KEY (p
), (void *) p
);
438 debug_ggc_tree (p
->sub
[1], indent
+ 1);
442 /* Collect tree balance metrics */
447 debug_ggc_balance (void)
449 size_t nleaf
, sumdepth
;
451 nleaf
= sumdepth
= 0;
452 tally_leaves (G
.root
, 0, &nleaf
, &sumdepth
);
454 fprintf (stderr
, " {B %.2f,%.1f,%.1f}",
455 /* In a balanced tree, leaf/node should approach 1/2. */
456 (float)nleaf
/ (float)G
.objects
,
457 /* In a balanced tree, average leaf depth should approach lg(n). */
458 (float)sumdepth
/ (float)nleaf
,
459 log ((double) G
.objects
) / M_LN2
);
463 /* Used by debug_ggc_balance, and also by ggc_print_statistics. */
465 tally_leaves (struct ggc_mem
*x
, int depth
, size_t *nleaf
, size_t *sumdepth
)
467 if (! x
->sub
[0] && !x
->sub
[1])
475 tally_leaves (x
->sub
[0], depth
+ 1, nleaf
, sumdepth
);
477 tally_leaves (x
->sub
[1], depth
+ 1, nleaf
, sumdepth
);
481 #define SCALE(x) ((unsigned long) ((x) < 1024*10 \
483 : ((x) < 1024*1024*10 \
485 : (x) / (1024*1024))))
486 #define LABEL(x) ((x) < 1024*10 ? ' ' : ((x) < 1024*1024*10 ? 'k' : 'M'))
488 /* Report on GC memory usage. */
490 ggc_print_statistics (void)
492 struct ggc_statistics stats
;
493 size_t nleaf
= 0, sumdepth
= 0;
495 /* Clear the statistics. */
496 memset (&stats
, 0, sizeof (stats
));
498 /* Make sure collection will really occur. */
499 G
.allocated_last_gc
= 0;
501 /* Collect and print the statistics common across collectors. */
502 ggc_print_common_statistics (stderr
, &stats
);
504 /* Report on tree balancing. */
505 tally_leaves (G
.root
, 0, &nleaf
, &sumdepth
);
507 fprintf (stderr
, "\n\
508 Total internal data (bytes)\t%ld%c\n\
509 Number of leaves in tree\t%lu\n\
510 Average leaf depth\t\t%.1f\n",
511 SCALE(G
.objects
* offsetof (struct ggc_mem
, u
)),
512 LABEL(G
.objects
* offsetof (struct ggc_mem
, u
)),
513 (unsigned long)nleaf
, (double)sumdepth
/ (double)nleaf
);
515 /* Report overall memory usage. */
516 fprintf (stderr
, "\n\
517 Total objects allocated\t\t%ld\n\
518 Total memory in GC arena\t%ld%c\n",
519 (unsigned long)G
.objects
,
520 SCALE(G
.allocated
), LABEL(G
.allocated
));
523 struct ggc_pch_data
*
526 sorry ("Generating PCH files is not supported when using ggc-simple.c");
527 /* It could be supported, but the code is not yet written. */
532 ggc_pch_count_object (struct ggc_pch_data
*d ATTRIBUTE_UNUSED
,
533 void *x ATTRIBUTE_UNUSED
,
534 size_t size ATTRIBUTE_UNUSED
,
535 bool is_string ATTRIBUTE_UNUSED
)
540 ggc_pch_total_size (struct ggc_pch_data
*d ATTRIBUTE_UNUSED
)
546 ggc_pch_this_base (struct ggc_pch_data
*d ATTRIBUTE_UNUSED
,
547 void *base ATTRIBUTE_UNUSED
)
553 ggc_pch_alloc_object (struct ggc_pch_data
*d ATTRIBUTE_UNUSED
,
554 void *x ATTRIBUTE_UNUSED
,
555 size_t size ATTRIBUTE_UNUSED
,
556 bool is_string ATTRIBUTE_UNUSED
)
562 ggc_pch_prepare_write (struct ggc_pch_data
*d ATTRIBUTE_UNUSED
,
563 FILE * f ATTRIBUTE_UNUSED
)
568 ggc_pch_write_object (struct ggc_pch_data
*d ATTRIBUTE_UNUSED
,
569 FILE *f ATTRIBUTE_UNUSED
, void *x ATTRIBUTE_UNUSED
,
570 void *newx ATTRIBUTE_UNUSED
,
571 size_t size ATTRIBUTE_UNUSED
,
572 bool is_string ATTRIBUTE_UNUSED
)
577 ggc_pch_finish (struct ggc_pch_data
*d ATTRIBUTE_UNUSED
,
578 FILE *f ATTRIBUTE_UNUSED
)
583 ggc_pch_read (FILE *f ATTRIBUTE_UNUSED
, void *addr ATTRIBUTE_UNUSED
)
585 /* This should be impossible, since we won't generate any valid PCH
586 files for this configuration. */