1 /* Simple garbage collection for the GNU compiler.
2 Copyright (C) 1998, 1999, 2000, 2001 Free Software Foundation, Inc.
4 This file is part of GCC.
6 GCC is free software; you can redistribute it and/or modify it
7 under the terms of the GNU General Public License as published by
8 the Free Software Foundation; either version 2, or (at your option)
11 GCC is distributed in the hope that it will be useful, but WITHOUT
12 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
13 or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public
14 License for more details.
16 You should have received a copy of the GNU General Public License
17 along with GCC; see the file COPYING. If not, write to the Free
18 Software Foundation, 59 Temple Place - Suite 330, Boston, MA
32 /* Debugging flags. */
34 /* Zap memory before freeing to catch dangling pointers. */
37 /* Collect statistics on how bushy the search tree is. */
40 /* Always verify that the to-be-marked memory is collectable. */
41 #undef GGC_ALWAYS_VERIFY
43 #ifdef ENABLE_GC_CHECKING
45 #define GGC_ALWAYS_VERIFY
48 #ifndef HOST_BITS_PER_PTR
49 #define HOST_BITS_PER_PTR HOST_BITS_PER_LONG
52 /* We'd like a balanced tree, but we don't really want to pay for the
53 cost of keeping the tree balanced. We'll settle for the next best
54 thing -- nearly balanced.
56 In this context, the most natural key is the node pointer itself,
57 but due to the way memory managers work, we'd be virtually certain
58 to wind up with a completely degenerate straight line. What's needed
59 is to make something more variable, and yet predictable, be more
60 significant in the comparison.
62 The handiest source of variability is the low bits of the pointer
63 value itself. Any sort of bit/byte swap would do, but such machine
64 specific operations are not handy, and we don't want to put that much
67 #define PTR_KEY(p) ((size_t)p << (HOST_BITS_PER_PTR - 8) \
68 | ((size_t)p & 0xff00) << (HOST_BITS_PER_PTR - 24) \
71 /* GC'able memory; a node in a binary search tree. */
75 /* A combination of the standard left/right nodes, indexable by `<'. */
76 struct ggc_mem
*sub
[2];
78 unsigned int mark
: 1;
79 unsigned int context
: 7;
80 unsigned int size
: 24;
82 /* Make sure the data is reasonably aligned. */
85 #ifdef HAVE_LONG_DOUBLE
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
PARAMS ((struct ggc_mem
*));
114 static int tree_lookup
PARAMS ((struct ggc_mem
*));
115 static void clear_marks
PARAMS ((struct ggc_mem
*));
116 static void sweep_objs
PARAMS ((struct ggc_mem
**));
117 static void ggc_pop_context_1
PARAMS ((struct ggc_mem
*, int));
119 /* For use from debugger. */
120 extern void debug_ggc_tree
PARAMS ((struct ggc_mem
*, int));
123 extern void debug_ggc_balance
PARAMS ((void));
125 static void tally_leaves
PARAMS ((struct ggc_mem
*, int, size_t *, size_t *));
127 /* Insert V into the search tree. */
133 size_t v_key
= PTR_KEY (v
);
134 struct ggc_mem
*p
, **pp
;
136 for (pp
= &G
.root
, p
= *pp
; p
; p
= *pp
)
138 size_t p_key
= PTR_KEY (p
);
139 pp
= &p
->sub
[v_key
< p_key
];
144 /* Return true if V is in the tree. */
150 size_t v_key
= PTR_KEY (v
);
151 struct ggc_mem
*p
= G
.root
;
155 size_t p_key
= PTR_KEY (p
);
158 p
= p
->sub
[v_key
< p_key
];
164 /* Alloc SIZE bytes of GC'able memory. If ZERO, clear the memory. */
172 x
= (struct ggc_mem
*) xmalloc (offsetof (struct ggc_mem
, u
) + size
);
176 x
->context
= G
.context
;
180 memset (&x
->u
, 0xaf, size
);
198 x
= (struct ggc_mem
*) ((const char *)p
- offsetof (struct ggc_mem
, u
));
199 #ifdef GGC_ALWAYS_VERIFY
200 if (! tree_lookup (x
))
208 G
.allocated
+= x
->size
;
214 /* Return 1 if P has been marked, zero otherwise. */
222 x
= (struct ggc_mem
*) ((const char *)p
- offsetof (struct ggc_mem
, u
));
223 #ifdef GGC_ALWAYS_VERIFY
224 if (! tree_lookup (x
))
231 /* Return the size of the gc-able object P. */
238 = (struct ggc_mem
*) ((const char *)p
- offsetof (struct ggc_mem
, u
));
242 /* Unmark all objects. */
250 clear_marks (x
->sub
[0]);
252 clear_marks (x
->sub
[1]);
255 /* Free all objects in the current context that are not marked. */
259 struct ggc_mem
**root
;
261 struct ggc_mem
*x
= *root
;
265 sweep_objs (&x
->sub
[0]);
266 sweep_objs (&x
->sub
[1]);
268 if (! x
->mark
&& x
->context
>= G
.context
)
270 struct ggc_mem
*l
, *r
;
293 } while ((l
= *root
) != NULL
);
298 memset (&x
->u
, 0xA5, x
->size
);
305 /* The top level mark-and-sweep routine. */
310 /* Avoid frequent unnecessary work by skipping collection if the
311 total allocations haven't expanded much since the last
313 size_t allocated_last_gc
=
314 MAX (G
.allocated_last_gc
, (size_t)PARAM_VALUE (GGC_MIN_HEAPSIZE
) * 1024);
316 size_t min_expand
= allocated_last_gc
* PARAM_VALUE (GGC_MIN_EXPAND
) / 100;
318 if (G
.allocated
< allocated_last_gc
+ min_expand
)
322 debug_ggc_balance ();
325 timevar_push (TV_GC
);
327 fprintf (stderr
, " {GC %luk -> ", (unsigned long)G
.allocated
/ 1024);
332 clear_marks (G
.root
);
334 sweep_objs (&G
.root
);
336 G
.allocated_last_gc
= G
.allocated
;
341 fprintf (stderr
, "%luk}", (unsigned long) G
.allocated
/ 1024);
344 debug_ggc_balance ();
348 /* Called once to initialize the garbage collector. */
355 /* Start a new GGC context. Memory allocated in previous contexts
356 will not be collected while the new context is active. */
363 /* We only allocated 7 bits in the node for the context. This
364 should be more than enough. */
365 if (G
.context
>= 128)
369 /* Finish a GC context. Any uncollected memory in the new context
370 will be merged with the old context. */
377 ggc_pop_context_1 (G
.root
, G
.context
);
381 ggc_pop_context_1 (x
, c
)
388 ggc_pop_context_1 (x
->sub
[0], c
);
390 ggc_pop_context_1 (x
->sub
[1], c
);
396 debug_ggc_tree (p
, indent
)
404 fputs ("(nil)\n", stderr
);
409 debug_ggc_tree (p
->sub
[0], indent
+ 1);
411 for (i
= 0; i
< indent
; ++i
)
413 fprintf (stderr
, "%lx %p\n", (unsigned long)PTR_KEY (p
), p
);
416 debug_ggc_tree (p
->sub
[1], indent
+ 1);
420 /* Collect tree balance metrics */
427 size_t nleaf
, sumdepth
;
429 nleaf
= sumdepth
= 0;
430 tally_leaves (G
.root
, 0, &nleaf
, &sumdepth
);
432 fprintf (stderr
, " {B %.2f,%.1f,%.1f}",
433 /* In a balanced tree, leaf/node should approach 1/2. */
434 (float)nleaf
/ (float)G
.objects
,
435 /* In a balanced tree, average leaf depth should approach lg(n). */
436 (float)sumdepth
/ (float)nleaf
,
437 log ((double) G
.objects
) / M_LN2
);
441 /* Used by debug_ggc_balance, and also by ggc_print_statistics. */
443 tally_leaves (x
, depth
, nleaf
, sumdepth
)
449 if (! x
->sub
[0] && !x
->sub
[1])
457 tally_leaves (x
->sub
[0], depth
+ 1, nleaf
, sumdepth
);
459 tally_leaves (x
->sub
[1], depth
+ 1, nleaf
, sumdepth
);
463 #define SCALE(x) ((unsigned long) ((x) < 1024*10 \
465 : ((x) < 1024*1024*10 \
467 : (x) / (1024*1024))))
468 #define LABEL(x) ((x) < 1024*10 ? ' ' : ((x) < 1024*1024*10 ? 'k' : 'M'))
470 /* Report on GC memory usage. */
472 ggc_print_statistics ()
474 struct ggc_statistics stats
;
475 size_t nleaf
= 0, sumdepth
= 0;
477 /* Clear the statistics. */
478 memset (&stats
, 0, sizeof (stats
));
480 /* Make sure collection will really occur. */
481 G
.allocated_last_gc
= 0;
483 /* Collect and print the statistics common across collectors. */
484 ggc_print_common_statistics (stderr
, &stats
);
486 /* Report on tree balancing. */
487 tally_leaves (G
.root
, 0, &nleaf
, &sumdepth
);
489 fprintf (stderr
, "\n\
490 Total internal data (bytes)\t%ld%c\n\
491 Number of leaves in tree\t%d\n\
492 Average leaf depth\t\t%.1f\n",
493 SCALE(G
.objects
* offsetof (struct ggc_mem
, u
)),
494 LABEL(G
.objects
* offsetof (struct ggc_mem
, u
)),
495 nleaf
, (double)sumdepth
/ (double)nleaf
);
497 /* Report overall memory usage. */
498 fprintf (stderr
, "\n\
499 Total objects allocated\t\t%d\n\
500 Total memory in GC arena\t%ld%c\n",
502 SCALE(G
.allocated
), LABEL(G
.allocated
));