* gc.c (scm_unprotect_object): fix a nasty typo bug (thanks to
[bpt/guile.git] / libguile / gc.c
1 /* Copyright (C) 1995, 96, 97, 98, 99, 2000 Free Software Foundation, Inc.
2 *
3 * This program is free software; you can redistribute it and/or modify
4 * it under the terms of the GNU General Public License as published by
5 * the Free Software Foundation; either version 2, or (at your option)
6 * any later version.
7 *
8 * This program is distributed in the hope that it will be useful,
9 * but WITHOUT ANY WARRANTY; without even the implied warranty of
10 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
11 * GNU General Public License for more details.
12 *
13 * You should have received a copy of the GNU General Public License
14 * along with this software; see the file COPYING. If not, write to
15 * the Free Software Foundation, Inc., 59 Temple Place, Suite 330,
16 * Boston, MA 02111-1307 USA
17 *
18 * As a special exception, the Free Software Foundation gives permission
19 * for additional uses of the text contained in its release of GUILE.
20 *
21 * The exception is that, if you link the GUILE library with other files
22 * to produce an executable, this does not by itself cause the
23 * resulting executable to be covered by the GNU General Public License.
24 * Your use of that executable is in no way restricted on account of
25 * linking the GUILE library code into it.
26 *
27 * This exception does not however invalidate any other reasons why
28 * the executable file might be covered by the GNU General Public License.
29 *
30 * This exception applies only to the code released by the
31 * Free Software Foundation under the name GUILE. If you copy
32 * code from other Free Software Foundation releases into a copy of
33 * GUILE, as the General Public License permits, the exception does
34 * not apply to the code that you add in this way. To avoid misleading
35 * anyone as to the status of such modified files, you must delete
36 * this exception notice from them.
37 *
38 * If you write modifications of your own for GUILE, it is your choice
39 * whether to permit this exception to apply to your modifications.
40 * If you do not wish that, delete this exception notice. */
41
42 /* Software engineering face-lift by Greg J. Badros, 11-Dec-1999,
43 gjb@cs.washington.edu, http://www.cs.washington.edu/homes/gjb */
44
45 /* #define DEBUGINFO */
46
47 \f
48 #include <stdio.h>
49 #include "libguile/_scm.h"
50 #include "libguile/stime.h"
51 #include "libguile/stackchk.h"
52 #include "libguile/struct.h"
53 #include "libguile/smob.h"
54 #include "libguile/unif.h"
55 #include "libguile/async.h"
56 #include "libguile/ports.h"
57 #include "libguile/root.h"
58 #include "libguile/strings.h"
59 #include "libguile/vectors.h"
60 #include "libguile/weaks.h"
61 #include "libguile/hashtab.h"
62
63 #include "libguile/validate.h"
64 #include "libguile/gc.h"
65
66 #ifdef GUILE_DEBUG_MALLOC
67 #include "libguile/debug-malloc.h"
68 #endif
69
70 #ifdef HAVE_MALLOC_H
71 #include <malloc.h>
72 #endif
73
74 #ifdef HAVE_UNISTD_H
75 #include <unistd.h>
76 #endif
77
78 #ifdef __STDC__
79 #include <stdarg.h>
80 #define var_start(x, y) va_start(x, y)
81 #else
82 #include <varargs.h>
83 #define var_start(x, y) va_start(x)
84 #endif
85
86 \f
87 /* {heap tuning parameters}
88 *
89 * These are parameters for controlling memory allocation. The heap
90 * is the area out of which scm_cons, and object headers are allocated.
91 *
92 * Each heap cell is 8 bytes on a 32 bit machine and 16 bytes on a
93 * 64 bit machine. The units of the _SIZE parameters are bytes.
94 * Cons pairs and object headers occupy one heap cell.
95 *
96 * SCM_INIT_HEAP_SIZE is the initial size of heap. If this much heap is
97 * allocated initially the heap will grow by half its current size
98 * each subsequent time more heap is needed.
99 *
100 * If SCM_INIT_HEAP_SIZE heap cannot be allocated initially, SCM_HEAP_SEG_SIZE
101 * will be used, and the heap will grow by SCM_HEAP_SEG_SIZE when more
102 * heap is needed. SCM_HEAP_SEG_SIZE must fit into type scm_sizet. This code
103 * is in scm_init_storage() and alloc_some_heap() in sys.c
104 *
105 * If SCM_INIT_HEAP_SIZE can be allocated initially, the heap will grow by
106 * SCM_EXPHEAP(scm_heap_size) when more heap is needed.
107 *
108 * SCM_MIN_HEAP_SEG_SIZE is minimum size of heap to accept when more heap
109 * is needed.
110 *
111 * INIT_MALLOC_LIMIT is the initial amount of malloc usage which will
112 * trigger a GC.
113 *
114 * SCM_MTRIGGER_HYSTERESIS is the amount of malloc storage that must be
115 * reclaimed by a GC triggered by must_malloc. If less than this is
116 * reclaimed, the trigger threshold is raised. [I don't know what a
117 * good value is. I arbitrarily chose 1/10 of the INIT_MALLOC_LIMIT to
118 * work around a oscillation that caused almost constant GC.]
119 */
120
121 /*
122 * Heap size 45000 and 40% min yield gives quick startup and no extra
123 * heap allocation. Having higher values on min yield may lead to
124 * large heaps, especially if code behaviour is varying its
125 * maximum consumption between different freelists.
126 */
127 #define SCM_INIT_HEAP_SIZE_1 (45000L * sizeof (scm_cell))
128 #define SCM_CLUSTER_SIZE_1 2000L
129 #define SCM_MIN_YIELD_1 40
130
131 #define SCM_INIT_HEAP_SIZE_2 (2500L * 2 * sizeof (scm_cell))
132 #define SCM_CLUSTER_SIZE_2 1000L
133 /* The following value may seem large, but note that if we get to GC at
134 * all, this means that we have a numerically intensive application
135 */
136 #define SCM_MIN_YIELD_2 40
137
138 #define SCM_MAX_SEGMENT_SIZE 2097000L /* a little less (adm) than 2 Mb */
139
140 #define SCM_MIN_HEAP_SEG_SIZE (2048L * sizeof (scm_cell))
141 #ifdef _QC
142 # define SCM_HEAP_SEG_SIZE 32768L
143 #else
144 # ifdef sequent
145 # define SCM_HEAP_SEG_SIZE (7000L * sizeof (scm_cell))
146 # else
147 # define SCM_HEAP_SEG_SIZE (16384L * sizeof (scm_cell))
148 # endif
149 #endif
150 /* Make heap grow with factor 1.5 */
151 #define SCM_EXPHEAP(scm_heap_size) (scm_heap_size / 2)
152 #define SCM_INIT_MALLOC_LIMIT 100000
153 #define SCM_MTRIGGER_HYSTERESIS (SCM_INIT_MALLOC_LIMIT/10)
154
155 /* CELL_UP and CELL_DN are used by scm_init_heap_seg to find scm_cell aligned inner
156 bounds for allocated storage */
157
158 #ifdef PROT386
159 /*in 386 protected mode we must only adjust the offset */
160 # define CELL_UP(p, span) MK_FP(FP_SEG(p), ~(8*(span)-1)&(FP_OFF(p)+8*(span)-1))
161 # define CELL_DN(p, span) MK_FP(FP_SEG(p), ~(8*(span)-1)&FP_OFF(p))
162 #else
163 # ifdef _UNICOS
164 # define CELL_UP(p, span) (SCM_CELLPTR)(~(span) & ((long)(p)+(span)))
165 # define CELL_DN(p, span) (SCM_CELLPTR)(~(span) & (long)(p))
166 # else
167 # define CELL_UP(p, span) (SCM_CELLPTR)(~(sizeof(scm_cell)*(span)-1L) & ((long)(p)+sizeof(scm_cell)*(span)-1L))
168 # define CELL_DN(p, span) (SCM_CELLPTR)(~(sizeof(scm_cell)*(span)-1L) & (long)(p))
169 # endif /* UNICOS */
170 #endif /* PROT386 */
171 #define CLUSTER_SIZE_IN_BYTES(freelist) ((freelist)->cluster_size * (freelist)->span * sizeof(scm_cell))
172 #define ALIGNMENT_SLACK(freelist) (sizeof (scm_cell) * (freelist)->span - 1)
173 #define SCM_HEAP_SIZE \
174 (scm_master_freelist.heap_size + scm_master_freelist2.heap_size)
175 #define SCM_MAX(A, B) ((A) > (B) ? (A) : (B))
176
177
178 \f
179 /* scm_freelists
180 */
181
182 typedef struct scm_freelist_t {
183 /* collected cells */
184 SCM cells;
185 /* number of cells left to collect before cluster is full */
186 unsigned int left_to_collect;
187 /* number of clusters which have been allocated */
188 unsigned int clusters_allocated;
189 /* a list of freelists, each of size cluster_size,
190 * except the last one which may be shorter
191 */
192 SCM clusters;
193 SCM *clustertail;
194 /* this is the number of objects in each cluster, including the spine cell */
195 int cluster_size;
196 /* indicates that we should grow heap instead of GC:ing
197 */
198 int grow_heap_p;
199 /* minimum yield on this list in order not to grow the heap
200 */
201 long min_yield;
202 /* defines min_yield as percent of total heap size
203 */
204 int min_yield_fraction;
205 /* number of cells per object on this list */
206 int span;
207 /* number of collected cells during last GC */
208 long collected;
209 /* number of collected cells during penultimate GC */
210 long collected_1;
211 /* total number of cells in heap segments
212 * belonging to this list.
213 */
214 long heap_size;
215 } scm_freelist_t;
216
217 SCM scm_freelist = SCM_EOL;
218 scm_freelist_t scm_master_freelist = {
219 SCM_EOL, 0, 0, SCM_EOL, 0, SCM_CLUSTER_SIZE_1, 0, 0, 0, 1, 0, 0
220 };
221 SCM scm_freelist2 = SCM_EOL;
222 scm_freelist_t scm_master_freelist2 = {
223 SCM_EOL, 0, 0, SCM_EOL, 0, SCM_CLUSTER_SIZE_2, 0, 0, 0, 2, 0, 0
224 };
225
226 /* scm_mtrigger
227 * is the number of bytes of must_malloc allocation needed to trigger gc.
228 */
229 unsigned long scm_mtrigger;
230
231
232 /* scm_gc_heap_lock
233 * If set, don't expand the heap. Set only during gc, during which no allocation
234 * is supposed to take place anyway.
235 */
236 int scm_gc_heap_lock = 0;
237
238 /* GC Blocking
239 * Don't pause for collection if this is set -- just
240 * expand the heap.
241 */
242
243 int scm_block_gc = 1;
244
245 /* If fewer than MIN_GC_YIELD cells are recovered during a garbage
246 * collection (GC) more space is allocated for the heap.
247 */
248 #define MIN_GC_YIELD(freelist) (freelist->heap_size / 4)
249
250 /* During collection, this accumulates objects holding
251 * weak references.
252 */
253 SCM scm_weak_vectors;
254
255 /* GC Statistics Keeping
256 */
257 unsigned long scm_cells_allocated = 0;
258 long scm_mallocated = 0;
259 unsigned long scm_gc_cells_collected;
260 unsigned long scm_gc_yield;
261 static unsigned long scm_gc_yield_1 = 0; /* previous GC yield */
262 unsigned long scm_gc_malloc_collected;
263 unsigned long scm_gc_ports_collected;
264 unsigned long scm_gc_rt;
265 unsigned long scm_gc_time_taken = 0;
266
267 SCM_SYMBOL (sym_cells_allocated, "cells-allocated");
268 SCM_SYMBOL (sym_heap_size, "cell-heap-size");
269 SCM_SYMBOL (sym_mallocated, "bytes-malloced");
270 SCM_SYMBOL (sym_mtrigger, "gc-malloc-threshold");
271 SCM_SYMBOL (sym_heap_segments, "cell-heap-segments");
272 SCM_SYMBOL (sym_gc_time_taken, "gc-time-taken");
273
274 typedef struct scm_heap_seg_data_t
275 {
276 /* lower and upper bounds of the segment */
277 SCM_CELLPTR bounds[2];
278
279 /* address of the head-of-freelist pointer for this segment's cells.
280 All segments usually point to the same one, scm_freelist. */
281 scm_freelist_t *freelist;
282
283 /* number of cells per object in this segment */
284 int span;
285 } scm_heap_seg_data_t;
286
287
288
289 static scm_sizet init_heap_seg (SCM_CELLPTR, scm_sizet, scm_freelist_t *);
290 static void alloc_some_heap (scm_freelist_t *);
291
292
293 \f
294 /* Debugging functions. */
295
296 #if defined (GUILE_DEBUG) || defined (GUILE_DEBUG_FREELIST)
297
298 /* Return the number of the heap segment containing CELL. */
299 static int
300 which_seg (SCM cell)
301 {
302 int i;
303
304 for (i = 0; i < scm_n_heap_segs; i++)
305 if (SCM_PTR_LE (scm_heap_table[i].bounds[0], SCM2PTR (cell))
306 && SCM_PTR_GT (scm_heap_table[i].bounds[1], SCM2PTR (cell)))
307 return i;
308 fprintf (stderr, "which_seg: can't find segment containing cell %lx\n",
309 SCM_UNPACK (cell));
310 abort ();
311 }
312
313
314 static void
315 map_free_list (scm_freelist_t *master, SCM freelist)
316 {
317 int last_seg = -1, count = 0;
318 SCM f;
319
320 for (f = freelist; SCM_NIMP (f); f = SCM_CDR (f))
321 {
322 int this_seg = which_seg (f);
323
324 if (this_seg != last_seg)
325 {
326 if (last_seg != -1)
327 fprintf (stderr, " %5d %d-cells in segment %d\n",
328 count, master->span, last_seg);
329 last_seg = this_seg;
330 count = 0;
331 }
332 count++;
333 }
334 if (last_seg != -1)
335 fprintf (stderr, " %5d %d-cells in segment %d\n",
336 count, master->span, last_seg);
337 }
338
339 SCM_DEFINE (scm_map_free_list, "map-free-list", 0, 0, 0,
340 (),
341 "Print debugging information about the free-list.\n"
342 "`map-free-list' is only included in --enable-guile-debug builds of Guile.")
343 #define FUNC_NAME s_scm_map_free_list
344 {
345 int i;
346 fprintf (stderr, "%d segments total (%d:%d",
347 scm_n_heap_segs,
348 scm_heap_table[0].span,
349 scm_heap_table[0].bounds[1] - scm_heap_table[0].bounds[0]);
350 for (i = 1; i < scm_n_heap_segs; i++)
351 fprintf (stderr, ", %d:%d",
352 scm_heap_table[i].span,
353 scm_heap_table[i].bounds[1] - scm_heap_table[i].bounds[0]);
354 fprintf (stderr, ")\n");
355 map_free_list (&scm_master_freelist, scm_freelist);
356 map_free_list (&scm_master_freelist2, scm_freelist2);
357 fflush (stderr);
358
359 return SCM_UNSPECIFIED;
360 }
361 #undef FUNC_NAME
362
363 static int last_cluster;
364 static int last_size;
365
366 static int
367 free_list_length (char *title, int i, SCM freelist)
368 {
369 SCM ls;
370 int n = 0;
371 for (ls = freelist; SCM_NNULLP (ls); ls = SCM_CDR (ls))
372 if (SCM_CELL_TYPE (ls) == scm_tc_free_cell)
373 ++n;
374 else
375 {
376 fprintf (stderr, "bad cell in %s at position %d\n", title, n);
377 abort ();
378 }
379 if (n != last_size)
380 {
381 if (i > 0)
382 {
383 if (last_cluster == i - 1)
384 fprintf (stderr, "\t%d\n", last_size);
385 else
386 fprintf (stderr, "-%d\t%d\n", i - 1, last_size);
387 }
388 if (i >= 0)
389 fprintf (stderr, "%s %d", title, i);
390 else
391 fprintf (stderr, "%s\t%d\n", title, n);
392 last_cluster = i;
393 last_size = n;
394 }
395 return n;
396 }
397
398 static void
399 free_list_lengths (char *title, scm_freelist_t *master, SCM freelist)
400 {
401 SCM clusters;
402 int i = 0, len, n = 0;
403 fprintf (stderr, "%s\n\n", title);
404 n += free_list_length ("free list", -1, freelist);
405 for (clusters = master->clusters;
406 SCM_NNULLP (clusters);
407 clusters = SCM_CDR (clusters))
408 {
409 len = free_list_length ("cluster", i++, SCM_CAR (clusters));
410 n += len;
411 }
412 if (last_cluster == i - 1)
413 fprintf (stderr, "\t%d\n", last_size);
414 else
415 fprintf (stderr, "-%d\t%d\n", i - 1, last_size);
416 fprintf (stderr, "\ntotal %d objects\n\n", n);
417 }
418
419 SCM_DEFINE (scm_free_list_length, "free-list-length", 0, 0, 0,
420 (),
421 "Print debugging information about the free-list.\n"
422 "`free-list-length' is only included in --enable-guile-debug builds of Guile.")
423 #define FUNC_NAME s_scm_free_list_length
424 {
425 free_list_lengths ("1-cells", &scm_master_freelist, scm_freelist);
426 free_list_lengths ("2-cells", &scm_master_freelist2, scm_freelist2);
427 return SCM_UNSPECIFIED;
428 }
429 #undef FUNC_NAME
430
431 #endif
432
433 #ifdef GUILE_DEBUG_FREELIST
434
435 /* Number of calls to SCM_NEWCELL since startup. */
436 static unsigned long scm_newcell_count;
437 static unsigned long scm_newcell2_count;
438
439 /* Search freelist for anything that isn't marked as a free cell.
440 Abort if we find something. */
441 static void
442 scm_check_freelist (SCM freelist)
443 {
444 SCM f;
445 int i = 0;
446
447 for (f = freelist; SCM_NIMP (f); f = SCM_CDR (f), i++)
448 if (SCM_CAR (f) != (SCM) scm_tc_free_cell)
449 {
450 fprintf (stderr, "Bad cell in freelist on newcell %lu: %d'th elt\n",
451 scm_newcell_count, i);
452 fflush (stderr);
453 abort ();
454 }
455 }
456
457 static int scm_debug_check_freelist = 0;
458
459 SCM_DEFINE (scm_gc_set_debug_check_freelist_x, "gc-set-debug-check-freelist!", 1, 0, 0,
460 (SCM flag),
461 "If FLAG is #t, check the freelist for consistency on each cell allocation.\n"
462 "This procedure only exists because the GUILE_DEBUG_FREELIST \n"
463 "compile-time flag was selected.\n")
464 #define FUNC_NAME s_scm_gc_set_debug_check_freelist_x
465 {
466 SCM_VALIDATE_BOOL_COPY (1, flag, scm_debug_check_freelist);
467 return SCM_UNSPECIFIED;
468 }
469 #undef FUNC_NAME
470
471
472 SCM
473 scm_debug_newcell (void)
474 {
475 SCM new;
476
477 scm_newcell_count++;
478 if (scm_debug_check_freelist)
479 {
480 scm_check_freelist (scm_freelist);
481 scm_gc();
482 }
483
484 /* The rest of this is supposed to be identical to the SCM_NEWCELL
485 macro. */
486 if (SCM_IMP (scm_freelist))
487 new = scm_gc_for_newcell (&scm_master_freelist, &scm_freelist);
488 else
489 {
490 new = scm_freelist;
491 scm_freelist = SCM_CDR (scm_freelist);
492 SCM_SETCAR (new, scm_tc16_allocated);
493 }
494
495 return new;
496 }
497
498 SCM
499 scm_debug_newcell2 (void)
500 {
501 SCM new;
502
503 scm_newcell2_count++;
504 if (scm_debug_check_freelist)
505 {
506 scm_check_freelist (scm_freelist2);
507 scm_gc ();
508 }
509
510 /* The rest of this is supposed to be identical to the SCM_NEWCELL
511 macro. */
512 if (SCM_IMP (scm_freelist2))
513 new = scm_gc_for_newcell (&scm_master_freelist2, &scm_freelist2);
514 else
515 {
516 new = scm_freelist2;
517 scm_freelist2 = SCM_CDR (scm_freelist2);
518 SCM_SETCAR (new, scm_tc16_allocated);
519 }
520
521 return new;
522 }
523
524 #endif /* GUILE_DEBUG_FREELIST */
525
526 \f
527
528 static unsigned long
529 master_cells_allocated (scm_freelist_t *master)
530 {
531 int objects = master->clusters_allocated * (master->cluster_size - 1);
532 if (SCM_NULLP (master->clusters))
533 objects -= master->left_to_collect;
534 return master->span * objects;
535 }
536
537 static unsigned long
538 freelist_length (SCM freelist)
539 {
540 int n;
541 for (n = 0; SCM_NNULLP (freelist); freelist = SCM_CDR (freelist))
542 ++n;
543 return n;
544 }
545
546 static unsigned long
547 compute_cells_allocated ()
548 {
549 return (scm_cells_allocated
550 + master_cells_allocated (&scm_master_freelist)
551 + master_cells_allocated (&scm_master_freelist2)
552 - scm_master_freelist.span * freelist_length (scm_freelist)
553 - scm_master_freelist2.span * freelist_length (scm_freelist2));
554 }
555
556 /* {Scheme Interface to GC}
557 */
558
559 SCM_DEFINE (scm_gc_stats, "gc-stats", 0, 0, 0,
560 (),
561 "Returns an association list of statistics about Guile's current use of storage. ")
562 #define FUNC_NAME s_scm_gc_stats
563 {
564 int i;
565 int n;
566 SCM heap_segs;
567 long int local_scm_mtrigger;
568 long int local_scm_mallocated;
569 long int local_scm_heap_size;
570 long int local_scm_cells_allocated;
571 long int local_scm_gc_time_taken;
572 SCM answer;
573
574 SCM_DEFER_INTS;
575 scm_block_gc = 1;
576 retry:
577 heap_segs = SCM_EOL;
578 n = scm_n_heap_segs;
579 for (i = scm_n_heap_segs; i--; )
580 heap_segs = scm_cons (scm_cons (scm_ulong2num ((unsigned long)scm_heap_table[i].bounds[1]),
581 scm_ulong2num ((unsigned long)scm_heap_table[i].bounds[0])),
582 heap_segs);
583 if (scm_n_heap_segs != n)
584 goto retry;
585 scm_block_gc = 0;
586
587 /* Below, we cons to produce the resulting list. We want a snapshot of
588 * the heap situation before consing.
589 */
590 local_scm_mtrigger = scm_mtrigger;
591 local_scm_mallocated = scm_mallocated;
592 local_scm_heap_size = SCM_HEAP_SIZE;
593 local_scm_cells_allocated = compute_cells_allocated ();
594 local_scm_gc_time_taken = scm_gc_time_taken;
595
596 answer = scm_listify (scm_cons (sym_gc_time_taken, scm_ulong2num (local_scm_gc_time_taken)),
597 scm_cons (sym_cells_allocated, scm_ulong2num (local_scm_cells_allocated)),
598 scm_cons (sym_heap_size, scm_ulong2num (local_scm_heap_size)),
599 scm_cons (sym_mallocated, scm_ulong2num (local_scm_mallocated)),
600 scm_cons (sym_mtrigger, scm_ulong2num (local_scm_mtrigger)),
601 scm_cons (sym_heap_segments, heap_segs),
602 SCM_UNDEFINED);
603 SCM_ALLOW_INTS;
604 return answer;
605 }
606 #undef FUNC_NAME
607
608
609 void
610 scm_gc_start (const char *what)
611 {
612 scm_gc_rt = SCM_INUM (scm_get_internal_run_time ());
613 scm_gc_cells_collected = 0;
614 scm_gc_yield_1 = scm_gc_yield;
615 scm_gc_yield = (scm_cells_allocated
616 + master_cells_allocated (&scm_master_freelist)
617 + master_cells_allocated (&scm_master_freelist2));
618 scm_gc_malloc_collected = 0;
619 scm_gc_ports_collected = 0;
620 }
621
622 void
623 scm_gc_end ()
624 {
625 scm_gc_rt = SCM_INUM (scm_get_internal_run_time ()) - scm_gc_rt;
626 scm_gc_time_taken += scm_gc_rt;
627 scm_system_async_mark (scm_gc_async);
628 }
629
630
631 SCM_DEFINE (scm_object_address, "object-address", 1, 0, 0,
632 (SCM obj),
633 "Return an integer that for the lifetime of @var{obj} is uniquely\n"
634 "returned by this function for @var{obj}")
635 #define FUNC_NAME s_scm_object_address
636 {
637 return scm_ulong2num ((unsigned long) SCM_UNPACK (obj));
638 }
639 #undef FUNC_NAME
640
641
642 SCM_DEFINE (scm_gc, "gc", 0, 0, 0,
643 (),
644 "Scans all of SCM objects and reclaims for further use those that are\n"
645 "no longer accessible.")
646 #define FUNC_NAME s_scm_gc
647 {
648 SCM_DEFER_INTS;
649 scm_igc ("call");
650 SCM_ALLOW_INTS;
651 return SCM_UNSPECIFIED;
652 }
653 #undef FUNC_NAME
654
655
656 \f
657 /* {C Interface For When GC is Triggered}
658 */
659
660 static void
661 adjust_min_yield (scm_freelist_t *freelist)
662 {
663 /* min yield is adjusted upwards so that next predicted total yield
664 * (allocated cells actually freed by GC) becomes
665 * `min_yield_fraction' of total heap size. Note, however, that
666 * the absolute value of min_yield will correspond to `collected'
667 * on one master (the one which currently is triggering GC).
668 *
669 * The reason why we look at total yield instead of cells collected
670 * on one list is that we want to take other freelists into account.
671 * On this freelist, we know that (local) yield = collected cells,
672 * but that's probably not the case on the other lists.
673 *
674 * (We might consider computing a better prediction, for example
675 * by computing an average over multiple GC:s.)
676 */
677 if (freelist->min_yield_fraction)
678 {
679 /* Pick largest of last two yields. */
680 int delta = ((SCM_HEAP_SIZE * freelist->min_yield_fraction / 100)
681 - (long) SCM_MAX (scm_gc_yield_1, scm_gc_yield));
682 #ifdef DEBUGINFO
683 fprintf (stderr, " after GC = %d, delta = %d\n",
684 scm_cells_allocated,
685 delta);
686 #endif
687 if (delta > 0)
688 freelist->min_yield += delta;
689 }
690 }
691
692 /* When we get POSIX threads support, the master will be global and
693 * common while the freelist will be individual for each thread.
694 */
695
696 SCM
697 scm_gc_for_newcell (scm_freelist_t *master, SCM *freelist)
698 {
699 SCM cell;
700 ++scm_ints_disabled;
701 do
702 {
703 if (SCM_NULLP (master->clusters))
704 {
705 if (master->grow_heap_p)
706 {
707 master->grow_heap_p = 0;
708 alloc_some_heap (master);
709 }
710 else
711 {
712 #ifdef DEBUGINFO
713 fprintf (stderr, "allocated = %d, ",
714 scm_cells_allocated
715 + master_cells_allocated (&scm_master_freelist)
716 + master_cells_allocated (&scm_master_freelist2));
717 #endif
718 scm_igc ("cells");
719 adjust_min_yield (master);
720 }
721 }
722 cell = SCM_CAR (master->clusters);
723 master->clusters = SCM_CDR (master->clusters);
724 ++master->clusters_allocated;
725 }
726 while (SCM_NULLP (cell));
727 --scm_ints_disabled;
728 *freelist = SCM_CDR (cell);
729 SCM_SET_CELL_TYPE (cell, scm_tc16_allocated);
730 return cell;
731 }
732
733 #if 0
734 /* This is a support routine which can be used to reserve a cluster
735 * for some special use, such as debugging. It won't be useful until
736 * free cells are preserved between garbage collections.
737 */
738
739 void
740 scm_alloc_cluster (scm_freelist_t *master)
741 {
742 SCM freelist, cell;
743 cell = scm_gc_for_newcell (master, &freelist);
744 SCM_SETCDR (cell, freelist);
745 return cell;
746 }
747 #endif
748
749 SCM scm_after_gc_hook;
750
751 scm_c_hook_t scm_before_gc_c_hook;
752 scm_c_hook_t scm_before_mark_c_hook;
753 scm_c_hook_t scm_before_sweep_c_hook;
754 scm_c_hook_t scm_after_sweep_c_hook;
755 scm_c_hook_t scm_after_gc_c_hook;
756
757 void
758 scm_igc (const char *what)
759 {
760 int j;
761
762 scm_c_hook_run (&scm_before_gc_c_hook, 0);
763 #ifdef DEBUGINFO
764 fprintf (stderr,
765 SCM_NULLP (scm_freelist)
766 ? "*"
767 : (SCM_NULLP (scm_freelist2) ? "o" : "m"));
768 #endif
769 #ifdef USE_THREADS
770 /* During the critical section, only the current thread may run. */
771 SCM_THREAD_CRITICAL_SECTION_START;
772 #endif
773
774 /* fprintf (stderr, "gc: %s\n", what); */
775
776 scm_gc_start (what);
777
778 if (!scm_stack_base || scm_block_gc)
779 {
780 scm_gc_end ();
781 return;
782 }
783
784 if (scm_mallocated < 0)
785 /* The byte count of allocated objects has underflowed. This is
786 probably because you forgot to report the sizes of objects you
787 have allocated, by calling scm_done_malloc or some such. When
788 the GC freed them, it subtracted their size from
789 scm_mallocated, which underflowed. */
790 abort ();
791
792 if (scm_gc_heap_lock)
793 /* We've invoked the collector while a GC is already in progress.
794 That should never happen. */
795 abort ();
796
797 ++scm_gc_heap_lock;
798
799 /* unprotect any struct types with no instances */
800 #if 0
801 {
802 SCM type_list;
803 SCM * pos;
804
805 pos = &scm_type_obj_list;
806 type_list = scm_type_obj_list;
807 while (type_list != SCM_EOL)
808 if (SCM_VELTS (SCM_CAR (type_list))[scm_struct_i_refcnt])
809 {
810 pos = SCM_CDRLOC (type_list);
811 type_list = SCM_CDR (type_list);
812 }
813 else
814 {
815 *pos = SCM_CDR (type_list);
816 type_list = SCM_CDR (type_list);
817 }
818 }
819 #endif
820
821 /* flush dead entries from the continuation stack */
822 {
823 int x;
824 int bound;
825 SCM * elts;
826 elts = SCM_VELTS (scm_continuation_stack);
827 bound = SCM_LENGTH (scm_continuation_stack);
828 x = SCM_INUM (scm_continuation_stack_ptr);
829 while (x < bound)
830 {
831 elts[x] = SCM_BOOL_F;
832 ++x;
833 }
834 }
835
836 scm_c_hook_run (&scm_before_mark_c_hook, 0);
837
838 #ifndef USE_THREADS
839
840 /* Protect from the C stack. This must be the first marking
841 * done because it provides information about what objects
842 * are "in-use" by the C code. "in-use" objects are those
843 * for which the values from SCM_LENGTH and SCM_CHARS must remain
844 * usable. This requirement is stricter than a liveness
845 * requirement -- in particular, it constrains the implementation
846 * of scm_vector_set_length_x.
847 */
848 SCM_FLUSH_REGISTER_WINDOWS;
849 /* This assumes that all registers are saved into the jmp_buf */
850 setjmp (scm_save_regs_gc_mark);
851 scm_mark_locations ((SCM_STACKITEM *) scm_save_regs_gc_mark,
852 ( (scm_sizet) (sizeof (SCM_STACKITEM) - 1 +
853 sizeof scm_save_regs_gc_mark)
854 / sizeof (SCM_STACKITEM)));
855
856 {
857 scm_sizet stack_len = scm_stack_size (scm_stack_base);
858 #ifdef SCM_STACK_GROWS_UP
859 scm_mark_locations (scm_stack_base, stack_len);
860 #else
861 scm_mark_locations (scm_stack_base - stack_len, stack_len);
862 #endif
863 }
864
865 #else /* USE_THREADS */
866
867 /* Mark every thread's stack and registers */
868 scm_threads_mark_stacks ();
869
870 #endif /* USE_THREADS */
871
872 /* FIXME: insert a phase to un-protect string-data preserved
873 * in scm_vector_set_length_x.
874 */
875
876 j = SCM_NUM_PROTECTS;
877 while (j--)
878 scm_gc_mark (scm_sys_protects[j]);
879
880 /* FIXME: we should have a means to register C functions to be run
881 * in different phases of GC
882 */
883 scm_mark_subr_table ();
884
885 #ifndef USE_THREADS
886 scm_gc_mark (scm_root->handle);
887 #endif
888
889 scm_c_hook_run (&scm_before_sweep_c_hook, 0);
890
891 scm_gc_sweep ();
892
893 scm_c_hook_run (&scm_after_sweep_c_hook, 0);
894
895 --scm_gc_heap_lock;
896 scm_gc_end ();
897
898 #ifdef USE_THREADS
899 SCM_THREAD_CRITICAL_SECTION_END;
900 #endif
901 scm_c_hook_run (&scm_after_gc_c_hook, 0);
902 }
903
904 \f
905 /* {Mark/Sweep}
906 */
907
908
909
910 /* Mark an object precisely.
911 */
912 void
913 scm_gc_mark (SCM p)
914 {
915 register long i;
916 register SCM ptr;
917
918 ptr = p;
919
920 gc_mark_loop:
921 if (SCM_IMP (ptr))
922 return;
923
924 gc_mark_nimp:
925 if (SCM_NCELLP (ptr))
926 scm_wta (ptr, "rogue pointer in heap", NULL);
927
928 switch (SCM_TYP7 (ptr))
929 {
930 case scm_tcs_cons_nimcar:
931 if (SCM_GCMARKP (ptr))
932 break;
933 SCM_SETGCMARK (ptr);
934 if (SCM_IMP (SCM_CDR (ptr))) /* SCM_IMP works even with a GC mark */
935 {
936 ptr = SCM_CAR (ptr);
937 goto gc_mark_nimp;
938 }
939 scm_gc_mark (SCM_CAR (ptr));
940 ptr = SCM_GCCDR (ptr);
941 goto gc_mark_nimp;
942 case scm_tcs_cons_imcar:
943 if (SCM_GCMARKP (ptr))
944 break;
945 SCM_SETGCMARK (ptr);
946 ptr = SCM_GCCDR (ptr);
947 goto gc_mark_loop;
948 case scm_tc7_pws:
949 if (SCM_GCMARKP (ptr))
950 break;
951 SCM_SETGCMARK (ptr);
952 scm_gc_mark (SCM_CELL_OBJECT_2 (ptr));
953 ptr = SCM_GCCDR (ptr);
954 goto gc_mark_loop;
955 case scm_tcs_cons_gloc:
956 if (SCM_GCMARKP (ptr))
957 break;
958 SCM_SETGCMARK (ptr);
959 {
960 /* Dirk:FIXME:: The following code is super ugly: ptr may be a struct
961 * or a gloc. If it is a gloc, the cell word #0 of ptr is a pointer
962 * to a heap cell. If it is a struct, the cell word #0 of ptr is a
963 * pointer to a struct vtable data region. The fact that these are
964 * accessed in the same way restricts the possibilites to change the
965 * data layout of structs or heap cells.
966 */
967 scm_bits_t word0 = SCM_CELL_WORD_0 (ptr) - scm_tc3_cons_gloc;
968 scm_bits_t * vtable_data = (scm_bits_t *) word0; /* access as struct */
969 switch (vtable_data [scm_vtable_index_vcell])
970 {
971 default:
972 {
973 /* ptr is a gloc */
974 SCM gloc_car = SCM_PACK (word0);
975 scm_gc_mark (gloc_car);
976 ptr = SCM_GCCDR (ptr);
977 goto gc_mark_loop;
978 }
979 case 1: /* ! */
980 case 0: /* ! */
981 {
982 /* ptr is a struct */
983 SCM layout = SCM_PACK (vtable_data [scm_vtable_index_layout]);
984 int len = SCM_LENGTH (layout);
985 char * fields_desc = SCM_CHARS (layout);
986 /* We're using SCM_GCCDR here like STRUCT_DATA, except
987 that it removes the mark */
988 scm_bits_t * struct_data = (scm_bits_t *) SCM_UNPACK (SCM_GCCDR (ptr));
989
990 if (vtable_data[scm_struct_i_flags] & SCM_STRUCTF_ENTITY)
991 {
992 scm_gc_mark (SCM_PACK (struct_data[scm_struct_i_procedure]));
993 scm_gc_mark (SCM_PACK (struct_data[scm_struct_i_setter]));
994 }
995 if (len)
996 {
997 int x;
998
999 for (x = 0; x < len - 2; x += 2, ++struct_data)
1000 if (fields_desc[x] == 'p')
1001 scm_gc_mark (SCM_PACK (*struct_data));
1002 if (fields_desc[x] == 'p')
1003 {
1004 if (SCM_LAYOUT_TAILP (fields_desc[x + 1]))
1005 for (x = *struct_data; x; --x)
1006 scm_gc_mark (SCM_PACK (*++struct_data));
1007 else
1008 scm_gc_mark (SCM_PACK (*struct_data));
1009 }
1010 }
1011 if (vtable_data [scm_vtable_index_vcell] == 0)
1012 {
1013 vtable_data [scm_vtable_index_vcell] = 1;
1014 ptr = SCM_PACK (vtable_data [scm_vtable_index_vtable]);
1015 goto gc_mark_loop;
1016 }
1017 }
1018 }
1019 }
1020 break;
1021 case scm_tcs_closures:
1022 if (SCM_GCMARKP (ptr))
1023 break;
1024 SCM_SETGCMARK (ptr);
1025 if (SCM_IMP (SCM_CDR (ptr)))
1026 {
1027 ptr = SCM_CLOSCAR (ptr);
1028 goto gc_mark_nimp;
1029 }
1030 scm_gc_mark (SCM_CLOSCAR (ptr));
1031 ptr = SCM_GCCDR (ptr);
1032 goto gc_mark_nimp;
1033 case scm_tc7_vector:
1034 case scm_tc7_lvector:
1035 #ifdef CCLO
1036 case scm_tc7_cclo:
1037 #endif
1038 if (SCM_GC8MARKP (ptr))
1039 break;
1040 SCM_SETGC8MARK (ptr);
1041 i = SCM_LENGTH (ptr);
1042 if (i == 0)
1043 break;
1044 while (--i > 0)
1045 if (SCM_NIMP (SCM_VELTS (ptr)[i]))
1046 scm_gc_mark (SCM_VELTS (ptr)[i]);
1047 ptr = SCM_VELTS (ptr)[0];
1048 goto gc_mark_loop;
1049 case scm_tc7_contin:
1050 if SCM_GC8MARKP
1051 (ptr) break;
1052 SCM_SETGC8MARK (ptr);
1053 if (SCM_VELTS (ptr))
1054 scm_mark_locations (SCM_VELTS_AS_STACKITEMS (ptr),
1055 (scm_sizet)
1056 (SCM_LENGTH (ptr) +
1057 (sizeof (SCM_STACKITEM) + -1 +
1058 sizeof (scm_contregs)) /
1059 sizeof (SCM_STACKITEM)));
1060 break;
1061 #ifdef HAVE_ARRAYS
1062 case scm_tc7_bvect:
1063 case scm_tc7_byvect:
1064 case scm_tc7_ivect:
1065 case scm_tc7_uvect:
1066 case scm_tc7_fvect:
1067 case scm_tc7_dvect:
1068 case scm_tc7_cvect:
1069 case scm_tc7_svect:
1070 #ifdef HAVE_LONG_LONGS
1071 case scm_tc7_llvect:
1072 #endif
1073 #endif
1074 case scm_tc7_string:
1075 SCM_SETGC8MARK (ptr);
1076 break;
1077
1078 case scm_tc7_substring:
1079 if (SCM_GC8MARKP(ptr))
1080 break;
1081 SCM_SETGC8MARK (ptr);
1082 ptr = SCM_CDR (ptr);
1083 goto gc_mark_loop;
1084
1085 case scm_tc7_wvect:
1086 if (SCM_GC8MARKP(ptr))
1087 break;
1088 SCM_WVECT_GC_CHAIN (ptr) = scm_weak_vectors;
1089 scm_weak_vectors = ptr;
1090 SCM_SETGC8MARK (ptr);
1091 if (SCM_IS_WHVEC_ANY (ptr))
1092 {
1093 int x;
1094 int len;
1095 int weak_keys;
1096 int weak_values;
1097
1098 len = SCM_LENGTH (ptr);
1099 weak_keys = SCM_IS_WHVEC (ptr) || SCM_IS_WHVEC_B (ptr);
1100 weak_values = SCM_IS_WHVEC_V (ptr) || SCM_IS_WHVEC_B (ptr);
1101
1102 for (x = 0; x < len; ++x)
1103 {
1104 SCM alist;
1105 alist = SCM_VELTS (ptr)[x];
1106
1107 /* mark everything on the alist except the keys or
1108 * values, according to weak_values and weak_keys. */
1109 while ( SCM_CONSP (alist)
1110 && !SCM_GCMARKP (alist)
1111 && SCM_CONSP (SCM_CAR (alist)))
1112 {
1113 SCM kvpair;
1114 SCM next_alist;
1115
1116 kvpair = SCM_CAR (alist);
1117 next_alist = SCM_CDR (alist);
1118 /*
1119 * Do not do this:
1120 * SCM_SETGCMARK (alist);
1121 * SCM_SETGCMARK (kvpair);
1122 *
1123 * It may be that either the key or value is protected by
1124 * an escaped reference to part of the spine of this alist.
1125 * If we mark the spine here, and only mark one or neither of the
1126 * key and value, they may never be properly marked.
1127 * This leads to a horrible situation in which an alist containing
1128 * freelist cells is exported.
1129 *
1130 * So only mark the spines of these arrays last of all marking.
1131 * If somebody confuses us by constructing a weak vector
1132 * with a circular alist then we are hosed, but at least we
1133 * won't prematurely drop table entries.
1134 */
1135 if (!weak_keys)
1136 scm_gc_mark (SCM_CAR (kvpair));
1137 if (!weak_values)
1138 scm_gc_mark (SCM_GCCDR (kvpair));
1139 alist = next_alist;
1140 }
1141 if (SCM_NIMP (alist))
1142 scm_gc_mark (alist);
1143 }
1144 }
1145 break;
1146
1147 case scm_tc7_msymbol:
1148 if (SCM_GC8MARKP(ptr))
1149 break;
1150 SCM_SETGC8MARK (ptr);
1151 scm_gc_mark (SCM_SYMBOL_FUNC (ptr));
1152 ptr = SCM_SYMBOL_PROPS (ptr);
1153 goto gc_mark_loop;
1154 case scm_tc7_ssymbol:
1155 if (SCM_GC8MARKP(ptr))
1156 break;
1157 SCM_SETGC8MARK (ptr);
1158 break;
1159 case scm_tcs_subrs:
1160 break;
1161 case scm_tc7_port:
1162 i = SCM_PTOBNUM (ptr);
1163 if (!(i < scm_numptob))
1164 goto def;
1165 if (SCM_GC8MARKP (ptr))
1166 break;
1167 SCM_SETGC8MARK (ptr);
1168 if (SCM_PTAB_ENTRY(ptr))
1169 scm_gc_mark (SCM_PTAB_ENTRY(ptr)->file_name);
1170 if (scm_ptobs[i].mark)
1171 {
1172 ptr = (scm_ptobs[i].mark) (ptr);
1173 goto gc_mark_loop;
1174 }
1175 else
1176 return;
1177 break;
1178 case scm_tc7_smob:
1179 if (SCM_GC8MARKP (ptr))
1180 break;
1181 SCM_SETGC8MARK (ptr);
1182 switch (SCM_GCTYP16 (ptr))
1183 { /* should be faster than going through scm_smobs */
1184 case scm_tc_free_cell:
1185 /* printf("found free_cell %X ", ptr); fflush(stdout); */
1186 case scm_tc16_allocated:
1187 case scm_tc16_big:
1188 case scm_tc16_real:
1189 case scm_tc16_complex:
1190 break;
1191 default:
1192 i = SCM_SMOBNUM (ptr);
1193 if (!(i < scm_numsmob))
1194 goto def;
1195 if (scm_smobs[i].mark)
1196 {
1197 ptr = (scm_smobs[i].mark) (ptr);
1198 goto gc_mark_loop;
1199 }
1200 else
1201 return;
1202 }
1203 break;
1204 default:
1205 def:scm_wta (ptr, "unknown type in ", "gc_mark");
1206 }
1207 }
1208
1209
1210 /* Mark a Region Conservatively
1211 */
1212
1213 void
1214 scm_mark_locations (SCM_STACKITEM x[], scm_sizet n)
1215 {
1216 register long m = n;
1217 register int i, j;
1218 register SCM_CELLPTR ptr;
1219
1220 while (0 <= --m)
1221 if (SCM_CELLP (* (SCM *) &x[m]))
1222 {
1223 ptr = SCM2PTR (* (SCM *) &x[m]);
1224 i = 0;
1225 j = scm_n_heap_segs - 1;
1226 if ( SCM_PTR_LE (scm_heap_table[i].bounds[0], ptr)
1227 && SCM_PTR_GT (scm_heap_table[j].bounds[1], ptr))
1228 {
1229 while (i <= j)
1230 {
1231 int seg_id;
1232 seg_id = -1;
1233 if ( (i == j)
1234 || SCM_PTR_GT (scm_heap_table[i].bounds[1], ptr))
1235 seg_id = i;
1236 else if (SCM_PTR_LE (scm_heap_table[j].bounds[0], ptr))
1237 seg_id = j;
1238 else
1239 {
1240 int k;
1241 k = (i + j) / 2;
1242 if (k == i)
1243 break;
1244 if (SCM_PTR_GT (scm_heap_table[k].bounds[1], ptr))
1245 {
1246 j = k;
1247 ++i;
1248 if (SCM_PTR_LE (scm_heap_table[i].bounds[0], ptr))
1249 continue;
1250 else
1251 break;
1252 }
1253 else if (SCM_PTR_LE (scm_heap_table[k].bounds[0], ptr))
1254 {
1255 i = k;
1256 --j;
1257 if (SCM_PTR_GT (scm_heap_table[j].bounds[1], ptr))
1258 continue;
1259 else
1260 break;
1261 }
1262 }
1263 if (scm_heap_table[seg_id].span == 1
1264 || SCM_DOUBLE_CELLP (* (SCM *) &x[m]))
1265 scm_gc_mark (* (SCM *) &x[m]);
1266 break;
1267 }
1268
1269 }
1270 }
1271 }
1272
1273
1274 /* The function scm_cellp determines whether an SCM value can be regarded as a
1275 * pointer to a cell on the heap. Binary search is used in order to determine
1276 * the heap segment that contains the cell.
1277 */
1278 int
1279 scm_cellp (SCM value)
1280 {
1281 if (SCM_CELLP (value)) {
1282 scm_cell * ptr = SCM2PTR (value);
1283 unsigned int i = 0;
1284 unsigned int j = scm_n_heap_segs - 1;
1285
1286 while (i < j) {
1287 int k = (i + j) / 2;
1288 if (SCM_PTR_GT (scm_heap_table[k].bounds[1], ptr)) {
1289 j = k;
1290 } else if (SCM_PTR_LE (scm_heap_table[k].bounds[0], ptr)) {
1291 i = k + 1;
1292 }
1293 }
1294
1295 if (SCM_PTR_LE (scm_heap_table[i].bounds[0], ptr)
1296 && SCM_PTR_GT (scm_heap_table[i].bounds[1], ptr)
1297 && (scm_heap_table[i].span == 1 || SCM_DOUBLE_CELLP (value))) {
1298 return 1;
1299 } else {
1300 return 0;
1301 }
1302 } else {
1303 return 0;
1304 }
1305 }
1306
1307
1308 static void
1309 gc_sweep_freelist_start (scm_freelist_t *freelist)
1310 {
1311 freelist->cells = SCM_EOL;
1312 freelist->left_to_collect = freelist->cluster_size;
1313 freelist->clusters_allocated = 0;
1314 freelist->clusters = SCM_EOL;
1315 freelist->clustertail = &freelist->clusters;
1316 freelist->collected_1 = freelist->collected;
1317 freelist->collected = 0;
1318 }
1319
1320 static void
1321 gc_sweep_freelist_finish (scm_freelist_t *freelist)
1322 {
1323 int collected;
1324 *freelist->clustertail = freelist->cells;
1325 if (SCM_NNULLP (freelist->cells))
1326 {
1327 SCM c = freelist->cells;
1328 SCM_SETCAR (c, SCM_CDR (c));
1329 SCM_SETCDR (c, SCM_EOL);
1330 freelist->collected +=
1331 freelist->span * (freelist->cluster_size - freelist->left_to_collect);
1332 }
1333 scm_gc_cells_collected += freelist->collected;
1334
1335 /* Although freelist->min_yield is used to test freelist->collected
1336 * (which is the local GC yield for freelist), it is adjusted so
1337 * that *total* yield is freelist->min_yield_fraction of total heap
1338 * size. This means that a too low yield is compensated by more
1339 * heap on the list which is currently doing most work, which is
1340 * just what we want.
1341 */
1342 collected = SCM_MAX (freelist->collected_1, freelist->collected);
1343 freelist->grow_heap_p = (collected < freelist->min_yield);
1344 }
1345
1346 void
1347 scm_gc_sweep ()
1348 {
1349 register SCM_CELLPTR ptr;
1350 register SCM nfreelist;
1351 register scm_freelist_t *freelist;
1352 register long m;
1353 register int span;
1354 long i;
1355 scm_sizet seg_size;
1356
1357 m = 0;
1358
1359 gc_sweep_freelist_start (&scm_master_freelist);
1360 gc_sweep_freelist_start (&scm_master_freelist2);
1361
1362 for (i = 0; i < scm_n_heap_segs; i++)
1363 {
1364 register unsigned int left_to_collect;
1365 register scm_sizet j;
1366
1367 /* Unmarked cells go onto the front of the freelist this heap
1368 segment points to. Rather than updating the real freelist
1369 pointer as we go along, we accumulate the new head in
1370 nfreelist. Then, if it turns out that the entire segment is
1371 free, we free (i.e., malloc's free) the whole segment, and
1372 simply don't assign nfreelist back into the real freelist. */
1373 freelist = scm_heap_table[i].freelist;
1374 nfreelist = freelist->cells;
1375 left_to_collect = freelist->left_to_collect;
1376 span = scm_heap_table[i].span;
1377
1378 ptr = CELL_UP (scm_heap_table[i].bounds[0], span);
1379 seg_size = CELL_DN (scm_heap_table[i].bounds[1], span) - ptr;
1380 for (j = seg_size + span; j -= span; ptr += span)
1381 {
1382 SCM scmptr = PTR2SCM (ptr);
1383
1384 switch SCM_TYP7 (scmptr)
1385 {
1386 case scm_tcs_cons_gloc:
1387 {
1388 /* Dirk:FIXME:: Again, super ugly code: scmptr may be a
1389 * struct or a gloc. See the corresponding comment in
1390 * scm_gc_mark.
1391 */
1392 scm_bits_t word0 = SCM_CELL_WORD_0 (scmptr) - scm_tc3_cons_gloc;
1393 scm_bits_t * vtable_data = (scm_bits_t *) word0; /* access as struct */
1394 if (SCM_GCMARKP (scmptr))
1395 {
1396 if (vtable_data [scm_vtable_index_vcell] == 1)
1397 vtable_data [scm_vtable_index_vcell] = 0;
1398 goto cmrkcontinue;
1399 }
1400 else
1401 {
1402 if (vtable_data [scm_vtable_index_vcell] == 0
1403 || vtable_data [scm_vtable_index_vcell] == 1)
1404 {
1405 scm_struct_free_t free
1406 = (scm_struct_free_t) vtable_data[scm_struct_i_free];
1407 m += free (vtable_data, (scm_bits_t *) SCM_UNPACK (SCM_GCCDR (scmptr)));
1408 }
1409 }
1410 }
1411 break;
1412 case scm_tcs_cons_imcar:
1413 case scm_tcs_cons_nimcar:
1414 case scm_tcs_closures:
1415 case scm_tc7_pws:
1416 if (SCM_GCMARKP (scmptr))
1417 goto cmrkcontinue;
1418 break;
1419 case scm_tc7_wvect:
1420 if (SCM_GC8MARKP (scmptr))
1421 {
1422 goto c8mrkcontinue;
1423 }
1424 else
1425 {
1426 m += (2 + SCM_LENGTH (scmptr)) * sizeof (SCM);
1427 scm_must_free ((char *)(SCM_VELTS (scmptr) - 2));
1428 break;
1429 }
1430
1431 case scm_tc7_vector:
1432 case scm_tc7_lvector:
1433 #ifdef CCLO
1434 case scm_tc7_cclo:
1435 #endif
1436 if (SCM_GC8MARKP (scmptr))
1437 goto c8mrkcontinue;
1438
1439 m += (SCM_LENGTH (scmptr) * sizeof (SCM));
1440 freechars:
1441 scm_must_free (SCM_CHARS (scmptr));
1442 /* SCM_SETCHARS(scmptr, 0);*/
1443 break;
1444 #ifdef HAVE_ARRAYS
1445 case scm_tc7_bvect:
1446 if SCM_GC8MARKP (scmptr)
1447 goto c8mrkcontinue;
1448 m += sizeof (long) * ((SCM_HUGE_LENGTH (scmptr) + SCM_LONG_BIT - 1) / SCM_LONG_BIT);
1449 goto freechars;
1450 case scm_tc7_byvect:
1451 if SCM_GC8MARKP (scmptr)
1452 goto c8mrkcontinue;
1453 m += SCM_HUGE_LENGTH (scmptr) * sizeof (char);
1454 goto freechars;
1455 case scm_tc7_ivect:
1456 case scm_tc7_uvect:
1457 if SCM_GC8MARKP (scmptr)
1458 goto c8mrkcontinue;
1459 m += SCM_HUGE_LENGTH (scmptr) * sizeof (long);
1460 goto freechars;
1461 case scm_tc7_svect:
1462 if SCM_GC8MARKP (scmptr)
1463 goto c8mrkcontinue;
1464 m += SCM_HUGE_LENGTH (scmptr) * sizeof (short);
1465 goto freechars;
1466 #ifdef HAVE_LONG_LONGS
1467 case scm_tc7_llvect:
1468 if SCM_GC8MARKP (scmptr)
1469 goto c8mrkcontinue;
1470 m += SCM_HUGE_LENGTH (scmptr) * sizeof (long_long);
1471 goto freechars;
1472 #endif
1473 case scm_tc7_fvect:
1474 if SCM_GC8MARKP (scmptr)
1475 goto c8mrkcontinue;
1476 m += SCM_HUGE_LENGTH (scmptr) * sizeof (float);
1477 goto freechars;
1478 case scm_tc7_dvect:
1479 if SCM_GC8MARKP (scmptr)
1480 goto c8mrkcontinue;
1481 m += SCM_HUGE_LENGTH (scmptr) * sizeof (double);
1482 goto freechars;
1483 case scm_tc7_cvect:
1484 if SCM_GC8MARKP (scmptr)
1485 goto c8mrkcontinue;
1486 m += SCM_HUGE_LENGTH (scmptr) * 2 * sizeof (double);
1487 goto freechars;
1488 #endif
1489 case scm_tc7_substring:
1490 if (SCM_GC8MARKP (scmptr))
1491 goto c8mrkcontinue;
1492 break;
1493 case scm_tc7_string:
1494 if (SCM_GC8MARKP (scmptr))
1495 goto c8mrkcontinue;
1496 m += SCM_HUGE_LENGTH (scmptr) + 1;
1497 goto freechars;
1498 case scm_tc7_msymbol:
1499 if (SCM_GC8MARKP (scmptr))
1500 goto c8mrkcontinue;
1501 m += (SCM_LENGTH (scmptr) + 1
1502 + (SCM_CHARS (scmptr) - (char *) SCM_SLOTS (scmptr)));
1503 scm_must_free ((char *)SCM_SLOTS (scmptr));
1504 break;
1505 case scm_tc7_contin:
1506 if SCM_GC8MARKP (scmptr)
1507 goto c8mrkcontinue;
1508 m += SCM_LENGTH (scmptr) * sizeof (SCM_STACKITEM) + sizeof (scm_contregs);
1509 if (SCM_VELTS (scmptr))
1510 goto freechars;
1511 case scm_tc7_ssymbol:
1512 if SCM_GC8MARKP(scmptr)
1513 goto c8mrkcontinue;
1514 break;
1515 case scm_tcs_subrs:
1516 continue;
1517 case scm_tc7_port:
1518 if SCM_GC8MARKP (scmptr)
1519 goto c8mrkcontinue;
1520 if SCM_OPENP (scmptr)
1521 {
1522 int k = SCM_PTOBNUM (scmptr);
1523 if (!(k < scm_numptob))
1524 goto sweeperr;
1525 /* Keep "revealed" ports alive. */
1526 if (scm_revealed_count (scmptr) > 0)
1527 continue;
1528 /* Yes, I really do mean scm_ptobs[k].free */
1529 /* rather than ftobs[k].close. .close */
1530 /* is for explicit CLOSE-PORT by user */
1531 m += (scm_ptobs[k].free) (scmptr);
1532 SCM_SETSTREAM (scmptr, 0);
1533 scm_remove_from_port_table (scmptr);
1534 scm_gc_ports_collected++;
1535 SCM_SETAND_CAR (scmptr, ~SCM_OPN);
1536 }
1537 break;
1538 case scm_tc7_smob:
1539 switch SCM_GCTYP16 (scmptr)
1540 {
1541 case scm_tc_free_cell:
1542 case scm_tc16_real:
1543 if SCM_GC8MARKP (scmptr)
1544 goto c8mrkcontinue;
1545 break;
1546 #ifdef SCM_BIGDIG
1547 case scm_tc16_big:
1548 if SCM_GC8MARKP (scmptr)
1549 goto c8mrkcontinue;
1550 m += (SCM_NUMDIGS (scmptr) * SCM_BITSPERDIG / SCM_CHAR_BIT);
1551 goto freechars;
1552 #endif /* def SCM_BIGDIG */
1553 case scm_tc16_complex:
1554 if SCM_GC8MARKP (scmptr)
1555 goto c8mrkcontinue;
1556 m += 2 * sizeof (double);
1557 goto freechars;
1558 default:
1559 if SCM_GC8MARKP (scmptr)
1560 goto c8mrkcontinue;
1561
1562 {
1563 int k;
1564 k = SCM_SMOBNUM (scmptr);
1565 if (!(k < scm_numsmob))
1566 goto sweeperr;
1567 m += (scm_smobs[k].free) (scmptr);
1568 break;
1569 }
1570 }
1571 break;
1572 default:
1573 sweeperr:scm_wta (scmptr, "unknown type in ", "gc_sweep");
1574 }
1575 #if 0
1576 if (SCM_CAR (scmptr) == (SCM) scm_tc_free_cell)
1577 exit (2);
1578 #endif
1579 if (!--left_to_collect)
1580 {
1581 SCM_SETCAR (scmptr, nfreelist);
1582 *freelist->clustertail = scmptr;
1583 freelist->clustertail = SCM_CDRLOC (scmptr);
1584
1585 nfreelist = SCM_EOL;
1586 freelist->collected += span * freelist->cluster_size;
1587 left_to_collect = freelist->cluster_size;
1588 }
1589 else
1590 {
1591 /* Stick the new cell on the front of nfreelist. It's
1592 critical that we mark this cell as freed; otherwise, the
1593 conservative collector might trace it as some other type
1594 of object. */
1595 SCM_SET_CELL_TYPE (scmptr, scm_tc_free_cell);
1596 SCM_SETCDR (scmptr, nfreelist);
1597 nfreelist = scmptr;
1598 }
1599
1600 continue;
1601 c8mrkcontinue:
1602 SCM_CLRGC8MARK (scmptr);
1603 continue;
1604 cmrkcontinue:
1605 SCM_CLRGCMARK (scmptr);
1606 }
1607 #ifdef GC_FREE_SEGMENTS
1608 if (n == seg_size)
1609 {
1610 register long j;
1611
1612 freelist->heap_size -= seg_size;
1613 free ((char *) scm_heap_table[i].bounds[0]);
1614 scm_heap_table[i].bounds[0] = 0;
1615 for (j = i + 1; j < scm_n_heap_segs; j++)
1616 scm_heap_table[j - 1] = scm_heap_table[j];
1617 scm_n_heap_segs -= 1;
1618 i--; /* We need to scan the segment just moved. */
1619 }
1620 else
1621 #endif /* ifdef GC_FREE_SEGMENTS */
1622 {
1623 /* Update the real freelist pointer to point to the head of
1624 the list of free cells we've built for this segment. */
1625 freelist->cells = nfreelist;
1626 freelist->left_to_collect = left_to_collect;
1627 }
1628
1629 #ifdef GUILE_DEBUG_FREELIST
1630 scm_check_freelist (freelist == &scm_master_freelist
1631 ? scm_freelist
1632 : scm_freelist2);
1633 scm_map_free_list ();
1634 #endif
1635 }
1636
1637 gc_sweep_freelist_finish (&scm_master_freelist);
1638 gc_sweep_freelist_finish (&scm_master_freelist2);
1639
1640 /* When we move to POSIX threads private freelists should probably
1641 be GC-protected instead. */
1642 scm_freelist = SCM_EOL;
1643 scm_freelist2 = SCM_EOL;
1644
1645 scm_cells_allocated = (SCM_HEAP_SIZE - scm_gc_cells_collected);
1646 scm_gc_yield -= scm_cells_allocated;
1647 scm_mallocated -= m;
1648 scm_gc_malloc_collected = m;
1649 }
1650
1651
1652 \f
1653
1654 /* {Front end to malloc}
1655 *
1656 * scm_must_malloc, scm_must_realloc, scm_must_free, scm_done_malloc
1657 *
1658 * These functions provide services comperable to malloc, realloc, and
1659 * free. They are for allocating malloced parts of scheme objects.
1660 * The primary purpose of the front end is to impose calls to gc.
1661 */
1662
1663
1664 /* scm_must_malloc
1665 * Return newly malloced storage or throw an error.
1666 *
1667 * The parameter WHAT is a string for error reporting.
1668 * If the threshold scm_mtrigger will be passed by this
1669 * allocation, or if the first call to malloc fails,
1670 * garbage collect -- on the presumption that some objects
1671 * using malloced storage may be collected.
1672 *
1673 * The limit scm_mtrigger may be raised by this allocation.
1674 */
1675 void *
1676 scm_must_malloc (scm_sizet size, const char *what)
1677 {
1678 void *ptr;
1679 unsigned long nm = scm_mallocated + size;
1680
1681 if (nm <= scm_mtrigger)
1682 {
1683 SCM_SYSCALL (ptr = malloc (size));
1684 if (NULL != ptr)
1685 {
1686 scm_mallocated = nm;
1687 #ifdef GUILE_DEBUG_MALLOC
1688 scm_malloc_register (ptr, what);
1689 #endif
1690 return ptr;
1691 }
1692 }
1693
1694 scm_igc (what);
1695
1696 nm = scm_mallocated + size;
1697 SCM_SYSCALL (ptr = malloc (size));
1698 if (NULL != ptr)
1699 {
1700 scm_mallocated = nm;
1701 if (nm > scm_mtrigger - SCM_MTRIGGER_HYSTERESIS) {
1702 if (nm > scm_mtrigger)
1703 scm_mtrigger = nm + nm / 2;
1704 else
1705 scm_mtrigger += scm_mtrigger / 2;
1706 }
1707 #ifdef GUILE_DEBUG_MALLOC
1708 scm_malloc_register (ptr, what);
1709 #endif
1710
1711 return ptr;
1712 }
1713
1714 scm_wta (SCM_MAKINUM (size), (char *) SCM_NALLOC, what);
1715 return 0; /* never reached */
1716 }
1717
1718
1719 /* scm_must_realloc
1720 * is similar to scm_must_malloc.
1721 */
1722 void *
1723 scm_must_realloc (void *where,
1724 scm_sizet old_size,
1725 scm_sizet size,
1726 const char *what)
1727 {
1728 void *ptr;
1729 scm_sizet nm = scm_mallocated + size - old_size;
1730
1731 if (nm <= scm_mtrigger)
1732 {
1733 SCM_SYSCALL (ptr = realloc (where, size));
1734 if (NULL != ptr)
1735 {
1736 scm_mallocated = nm;
1737 #ifdef GUILE_DEBUG_MALLOC
1738 scm_malloc_reregister (where, ptr, what);
1739 #endif
1740 return ptr;
1741 }
1742 }
1743
1744 scm_igc (what);
1745
1746 nm = scm_mallocated + size - old_size;
1747 SCM_SYSCALL (ptr = realloc (where, size));
1748 if (NULL != ptr)
1749 {
1750 scm_mallocated = nm;
1751 if (nm > scm_mtrigger - SCM_MTRIGGER_HYSTERESIS) {
1752 if (nm > scm_mtrigger)
1753 scm_mtrigger = nm + nm / 2;
1754 else
1755 scm_mtrigger += scm_mtrigger / 2;
1756 }
1757 #ifdef GUILE_DEBUG_MALLOC
1758 scm_malloc_reregister (where, ptr, what);
1759 #endif
1760 return ptr;
1761 }
1762
1763 scm_wta (SCM_MAKINUM (size), (char *) SCM_NALLOC, what);
1764 return 0; /* never reached */
1765 }
1766
1767 void
1768 scm_must_free (void *obj)
1769 {
1770 #ifdef GUILE_DEBUG_MALLOC
1771 scm_malloc_unregister (obj);
1772 #endif
1773 if (obj)
1774 free (obj);
1775 else
1776 scm_wta (SCM_INUM0, "already free", "");
1777 }
1778
1779 /* Announce that there has been some malloc done that will be freed
1780 * during gc. A typical use is for a smob that uses some malloced
1781 * memory but can not get it from scm_must_malloc (for whatever
1782 * reason). When a new object of this smob is created you call
1783 * scm_done_malloc with the size of the object. When your smob free
1784 * function is called, be sure to include this size in the return
1785 * value. */
1786
1787 void
1788 scm_done_malloc (long size)
1789 {
1790 scm_mallocated += size;
1791
1792 if (scm_mallocated > scm_mtrigger)
1793 {
1794 scm_igc ("foreign mallocs");
1795 if (scm_mallocated > scm_mtrigger - SCM_MTRIGGER_HYSTERESIS)
1796 {
1797 if (scm_mallocated > scm_mtrigger)
1798 scm_mtrigger = scm_mallocated + scm_mallocated / 2;
1799 else
1800 scm_mtrigger += scm_mtrigger / 2;
1801 }
1802 }
1803 }
1804
1805
1806 \f
1807
1808 /* {Heap Segments}
1809 *
1810 * Each heap segment is an array of objects of a particular size.
1811 * Every segment has an associated (possibly shared) freelist.
1812 * A table of segment records is kept that records the upper and
1813 * lower extents of the segment; this is used during the conservative
1814 * phase of gc to identify probably gc roots (because they point
1815 * into valid segments at reasonable offsets). */
1816
1817 /* scm_expmem
1818 * is true if the first segment was smaller than INIT_HEAP_SEG.
1819 * If scm_expmem is set to one, subsequent segment allocations will
1820 * allocate segments of size SCM_EXPHEAP(scm_heap_size).
1821 */
1822 int scm_expmem = 0;
1823
1824 scm_sizet scm_max_segment_size;
1825
1826 /* scm_heap_org
1827 * is the lowest base address of any heap segment.
1828 */
1829 SCM_CELLPTR scm_heap_org;
1830
1831 scm_heap_seg_data_t * scm_heap_table = 0;
1832 int scm_n_heap_segs = 0;
1833
1834 /* init_heap_seg
1835 * initializes a new heap segment and return the number of objects it contains.
1836 *
1837 * The segment origin, segment size in bytes, and the span of objects
1838 * in cells are input parameters. The freelist is both input and output.
1839 *
1840 * This function presume that the scm_heap_table has already been expanded
1841 * to accomodate a new segment record.
1842 */
1843
1844
1845 static scm_sizet
1846 init_heap_seg (SCM_CELLPTR seg_org, scm_sizet size, scm_freelist_t *freelist)
1847 {
1848 register SCM_CELLPTR ptr;
1849 SCM_CELLPTR seg_end;
1850 int new_seg_index;
1851 int n_new_cells;
1852 int span = freelist->span;
1853
1854 if (seg_org == NULL)
1855 return 0;
1856
1857 ptr = CELL_UP (seg_org, span);
1858
1859 /* Compute the ceiling on valid object pointers w/in this segment.
1860 */
1861 seg_end = CELL_DN ((char *) seg_org + size, span);
1862
1863 /* Find the right place and insert the segment record.
1864 *
1865 */
1866 for (new_seg_index = 0;
1867 ( (new_seg_index < scm_n_heap_segs)
1868 && SCM_PTR_LE (scm_heap_table[new_seg_index].bounds[0], seg_org));
1869 new_seg_index++)
1870 ;
1871
1872 {
1873 int i;
1874 for (i = scm_n_heap_segs; i > new_seg_index; --i)
1875 scm_heap_table[i] = scm_heap_table[i - 1];
1876 }
1877
1878 ++scm_n_heap_segs;
1879
1880 scm_heap_table[new_seg_index].span = span;
1881 scm_heap_table[new_seg_index].freelist = freelist;
1882 scm_heap_table[new_seg_index].bounds[0] = ptr;
1883 scm_heap_table[new_seg_index].bounds[1] = seg_end;
1884
1885
1886 /* Compute the least valid object pointer w/in this segment
1887 */
1888 ptr = CELL_UP (ptr, span);
1889
1890
1891 /*n_new_cells*/
1892 n_new_cells = seg_end - ptr;
1893
1894 freelist->heap_size += n_new_cells;
1895
1896 /* Partition objects in this segment into clusters */
1897 {
1898 SCM clusters;
1899 SCM *clusterp = &clusters;
1900 int n_cluster_cells = span * freelist->cluster_size;
1901
1902 while (n_new_cells > span) /* at least one spine + one freecell */
1903 {
1904 /* Determine end of cluster
1905 */
1906 if (n_new_cells >= n_cluster_cells)
1907 {
1908 seg_end = ptr + n_cluster_cells;
1909 n_new_cells -= n_cluster_cells;
1910 }
1911 else
1912 /* [cmm] looks like the segment size doesn't divide cleanly by
1913 cluster size. bad cmm! */
1914 abort();
1915
1916 /* Allocate cluster spine
1917 */
1918 *clusterp = PTR2SCM (ptr);
1919 SCM_SETCAR (*clusterp, PTR2SCM (ptr + span));
1920 clusterp = SCM_CDRLOC (*clusterp);
1921 ptr += span;
1922
1923 while (ptr < seg_end)
1924 {
1925 SCM scmptr = PTR2SCM (ptr);
1926
1927 SCM_SET_CELL_TYPE (scmptr, scm_tc_free_cell);
1928 SCM_SETCDR (scmptr, PTR2SCM (ptr + span));
1929 ptr += span;
1930 }
1931
1932 SCM_SETCDR (PTR2SCM (ptr - span), SCM_EOL);
1933 }
1934
1935 /* Patch up the last cluster pointer in the segment
1936 * to join it to the input freelist.
1937 */
1938 *clusterp = freelist->clusters;
1939 freelist->clusters = clusters;
1940 }
1941
1942 #ifdef DEBUGINFO
1943 fprintf (stderr, "H");
1944 #endif
1945 return size;
1946 }
1947
1948 static scm_sizet
1949 round_to_cluster_size (scm_freelist_t *freelist, scm_sizet len)
1950 {
1951 scm_sizet cluster_size_in_bytes = CLUSTER_SIZE_IN_BYTES (freelist);
1952
1953 return
1954 (len + cluster_size_in_bytes - 1) / cluster_size_in_bytes * cluster_size_in_bytes
1955 + ALIGNMENT_SLACK (freelist);
1956 }
1957
1958 static void
1959 alloc_some_heap (scm_freelist_t *freelist)
1960 {
1961 scm_heap_seg_data_t * tmptable;
1962 SCM_CELLPTR ptr;
1963 long len;
1964
1965 /* Critical code sections (such as the garbage collector)
1966 * aren't supposed to add heap segments.
1967 */
1968 if (scm_gc_heap_lock)
1969 scm_wta (SCM_UNDEFINED, "need larger initial", "heap");
1970
1971 /* Expand the heap tables to have room for the new segment.
1972 * Do not yet increment scm_n_heap_segs -- that is done by init_heap_seg
1973 * only if the allocation of the segment itself succeeds.
1974 */
1975 len = (1 + scm_n_heap_segs) * sizeof (scm_heap_seg_data_t);
1976
1977 SCM_SYSCALL (tmptable = ((scm_heap_seg_data_t *)
1978 realloc ((char *)scm_heap_table, len)));
1979 if (!tmptable)
1980 scm_wta (SCM_UNDEFINED, "could not grow", "hplims");
1981 else
1982 scm_heap_table = tmptable;
1983
1984
1985 /* Pick a size for the new heap segment.
1986 * The rule for picking the size of a segment is explained in
1987 * gc.h
1988 */
1989 {
1990 /* Assure that the new segment is predicted to be large enough.
1991 *
1992 * New yield should at least equal GC fraction of new heap size, i.e.
1993 *
1994 * y + dh > f * (h + dh)
1995 *
1996 * y : yield
1997 * f : min yield fraction
1998 * h : heap size
1999 * dh : size of new heap segment
2000 *
2001 * This gives dh > (f * h - y) / (1 - f)
2002 */
2003 int f = freelist->min_yield_fraction;
2004 long h = SCM_HEAP_SIZE;
2005 long min_cells = (f * h - 100 * (long) scm_gc_yield) / (99 - f);
2006 len = SCM_EXPHEAP (freelist->heap_size);
2007 #ifdef DEBUGINFO
2008 fprintf (stderr, "(%d < %d)", len, min_cells);
2009 #endif
2010 if (len < min_cells)
2011 len = min_cells + freelist->cluster_size;
2012 len *= sizeof (scm_cell);
2013 /* force new sampling */
2014 freelist->collected = LONG_MAX;
2015 }
2016
2017 if (len > scm_max_segment_size)
2018 len = scm_max_segment_size;
2019
2020 {
2021 scm_sizet smallest;
2022
2023 smallest = CLUSTER_SIZE_IN_BYTES (freelist);
2024
2025 if (len < smallest)
2026 len = smallest;
2027
2028 /* Allocate with decaying ambition. */
2029 while ((len >= SCM_MIN_HEAP_SEG_SIZE)
2030 && (len >= smallest))
2031 {
2032 scm_sizet rounded_len = round_to_cluster_size (freelist, len);
2033 SCM_SYSCALL (ptr = (SCM_CELLPTR) malloc (rounded_len));
2034 if (ptr)
2035 {
2036 init_heap_seg (ptr, rounded_len, freelist);
2037 return;
2038 }
2039 len /= 2;
2040 }
2041 }
2042
2043 scm_wta (SCM_UNDEFINED, "could not grow", "heap");
2044 }
2045
2046
2047 SCM_DEFINE (scm_unhash_name, "unhash-name", 1, 0, 0,
2048 (SCM name),
2049 "")
2050 #define FUNC_NAME s_scm_unhash_name
2051 {
2052 int x;
2053 int bound;
2054 SCM_VALIDATE_SYMBOL (1,name);
2055 SCM_DEFER_INTS;
2056 bound = scm_n_heap_segs;
2057 for (x = 0; x < bound; ++x)
2058 {
2059 SCM_CELLPTR p;
2060 SCM_CELLPTR pbound;
2061 p = scm_heap_table[x].bounds[0];
2062 pbound = scm_heap_table[x].bounds[1];
2063 while (p < pbound)
2064 {
2065 SCM cell = PTR2SCM (p);
2066 if (SCM_TYP3 (cell) == scm_tc3_cons_gloc)
2067 {
2068 /* Dirk:FIXME:: Again, super ugly code: cell may be a gloc or a
2069 * struct cell. See the corresponding comment in scm_gc_mark.
2070 */
2071 scm_bits_t word0 = SCM_CELL_WORD_0 (cell) - scm_tc3_cons_gloc;
2072 SCM gloc_car = SCM_PACK (word0); /* access as gloc */
2073 SCM vcell = SCM_CELL_OBJECT_1 (gloc_car);
2074 if ((SCM_EQ_P (name, SCM_BOOL_T) || SCM_EQ_P (SCM_CAR (gloc_car), name))
2075 && (SCM_UNPACK (vcell) != 0) && (SCM_UNPACK (vcell) != 1))
2076 {
2077 SCM_SET_CELL_OBJECT_0 (cell, name);
2078 }
2079 }
2080 ++p;
2081 }
2082 }
2083 SCM_ALLOW_INTS;
2084 return name;
2085 }
2086 #undef FUNC_NAME
2087
2088
2089 \f
2090 /* {GC Protection Helper Functions}
2091 */
2092
2093
2094 void
2095 scm_remember (SCM *ptr)
2096 { /* empty */ }
2097
2098
2099 /*
2100 These crazy functions prevent garbage collection
2101 of arguments after the first argument by
2102 ensuring they remain live throughout the
2103 function because they are used in the last
2104 line of the code block.
2105 It'd be better to have a nice compiler hint to
2106 aid the conservative stack-scanning GC. --03/09/00 gjb */
2107 SCM
2108 scm_return_first (SCM elt, ...)
2109 {
2110 return elt;
2111 }
2112
2113 int
2114 scm_return_first_int (int i, ...)
2115 {
2116 return i;
2117 }
2118
2119
2120 SCM
2121 scm_permanent_object (SCM obj)
2122 {
2123 SCM_REDEFER_INTS;
2124 scm_permobjs = scm_cons (obj, scm_permobjs);
2125 SCM_REALLOW_INTS;
2126 return obj;
2127 }
2128
2129
2130 /* Protect OBJ from the garbage collector. OBJ will not be freed,
2131 even if all other references are dropped, until someone applies
2132 scm_unprotect_object to it. This function returns OBJ.
2133
2134 Calls to scm_protect_object nest. For every object OBJ, there is a
2135 counter which scm_protect_object(OBJ) increments and
2136 scm_unprotect_object(OBJ) decrements, if it is greater than zero. If
2137 an object's counter is greater than zero, the garbage collector
2138 will not free it. */
2139
2140 SCM
2141 scm_protect_object (SCM obj)
2142 {
2143 SCM handle;
2144
2145 /* This critical section barrier will be replaced by a mutex. */
2146 SCM_REDEFER_INTS;
2147
2148 handle = scm_hashq_get_handle (scm_protects, obj);
2149
2150 if (SCM_IMP (handle))
2151 scm_hashq_create_handle_x (scm_protects, obj, SCM_MAKINUM (1));
2152 else
2153 SCM_SETCDR (handle, SCM_MAKINUM (SCM_INUM (SCM_CDR (handle)) + 1));
2154
2155 SCM_REALLOW_INTS;
2156
2157 return obj;
2158 }
2159
2160
2161 /* Remove any protection for OBJ established by a prior call to
2162 scm_protect_object. This function returns OBJ.
2163
2164 See scm_protect_object for more information. */
2165 SCM
2166 scm_unprotect_object (SCM obj)
2167 {
2168 SCM handle;
2169
2170 /* This critical section barrier will be replaced by a mutex. */
2171 SCM_REDEFER_INTS;
2172
2173 handle = scm_hashq_get_handle (scm_protects, obj);
2174
2175 if (SCM_NIMP (handle))
2176 {
2177 int count = SCM_INUM (SCM_CDR (handle)) - 1;
2178 if (count <= 0)
2179 scm_hashq_remove_x (scm_protects, obj);
2180 else
2181 SCM_SETCDR (handle, SCM_MAKINUM (count));
2182 }
2183
2184 SCM_REALLOW_INTS;
2185
2186 return obj;
2187 }
2188
2189 int terminating;
2190
2191 /* called on process termination. */
2192 #ifdef HAVE_ATEXIT
2193 static void
2194 cleanup (void)
2195 #else
2196 #ifdef HAVE_ON_EXIT
2197 extern int on_exit (void (*procp) (), int arg);
2198
2199 static void
2200 cleanup (int status, void *arg)
2201 #else
2202 #error Dont know how to setup a cleanup handler on your system.
2203 #endif
2204 #endif
2205 {
2206 terminating = 1;
2207 scm_flush_all_ports ();
2208 }
2209
2210 \f
2211 static int
2212 make_initial_segment (scm_sizet init_heap_size, scm_freelist_t *freelist)
2213 {
2214 scm_sizet rounded_size = round_to_cluster_size (freelist, init_heap_size);
2215 if (!init_heap_seg ((SCM_CELLPTR) malloc (rounded_size),
2216 rounded_size,
2217 freelist))
2218 {
2219 rounded_size = round_to_cluster_size (freelist, SCM_HEAP_SEG_SIZE);
2220 if (!init_heap_seg ((SCM_CELLPTR) malloc (rounded_size),
2221 rounded_size,
2222 freelist))
2223 return 1;
2224 }
2225 else
2226 scm_expmem = 1;
2227
2228 if (freelist->min_yield_fraction)
2229 freelist->min_yield = (freelist->heap_size * freelist->min_yield_fraction
2230 / 100);
2231 freelist->grow_heap_p = (freelist->heap_size < freelist->min_yield);
2232
2233 return 0;
2234 }
2235
2236 \f
2237 static void
2238 init_freelist (scm_freelist_t *freelist,
2239 int span,
2240 int cluster_size,
2241 int min_yield)
2242 {
2243 freelist->clusters = SCM_EOL;
2244 freelist->cluster_size = cluster_size + 1;
2245 freelist->left_to_collect = 0;
2246 freelist->clusters_allocated = 0;
2247 freelist->min_yield = 0;
2248 freelist->min_yield_fraction = min_yield;
2249 freelist->span = span;
2250 freelist->collected = 0;
2251 freelist->collected_1 = 0;
2252 freelist->heap_size = 0;
2253 }
2254
2255 int
2256 scm_init_storage (scm_sizet init_heap_size_1, int gc_trigger_1,
2257 scm_sizet init_heap_size_2, int gc_trigger_2,
2258 scm_sizet max_segment_size)
2259 {
2260 scm_sizet j;
2261
2262 if (!init_heap_size_1)
2263 init_heap_size_1 = SCM_INIT_HEAP_SIZE_1;
2264 if (!init_heap_size_2)
2265 init_heap_size_2 = SCM_INIT_HEAP_SIZE_2;
2266
2267 j = SCM_NUM_PROTECTS;
2268 while (j)
2269 scm_sys_protects[--j] = SCM_BOOL_F;
2270 scm_block_gc = 1;
2271
2272 scm_freelist = SCM_EOL;
2273 scm_freelist2 = SCM_EOL;
2274 init_freelist (&scm_master_freelist,
2275 1, SCM_CLUSTER_SIZE_1,
2276 gc_trigger_1 ? gc_trigger_1 : SCM_MIN_YIELD_1);
2277 init_freelist (&scm_master_freelist2,
2278 2, SCM_CLUSTER_SIZE_2,
2279 gc_trigger_2 ? gc_trigger_2 : SCM_MIN_YIELD_2);
2280 scm_max_segment_size
2281 = max_segment_size ? max_segment_size : SCM_MAX_SEGMENT_SIZE;
2282
2283 scm_expmem = 0;
2284
2285 j = SCM_HEAP_SEG_SIZE;
2286 scm_mtrigger = SCM_INIT_MALLOC_LIMIT;
2287 scm_heap_table = ((scm_heap_seg_data_t *)
2288 scm_must_malloc (sizeof (scm_heap_seg_data_t) * 2, "hplims"));
2289
2290 if (make_initial_segment (init_heap_size_1, &scm_master_freelist) ||
2291 make_initial_segment (init_heap_size_2, &scm_master_freelist2))
2292 return 1;
2293
2294 /* scm_hplims[0] can change. do not remove scm_heap_org */
2295 scm_heap_org = CELL_UP (scm_heap_table[0].bounds[0], 1);
2296
2297 scm_c_hook_init (&scm_before_gc_c_hook, 0, SCM_C_HOOK_NORMAL);
2298 scm_c_hook_init (&scm_before_mark_c_hook, 0, SCM_C_HOOK_NORMAL);
2299 scm_c_hook_init (&scm_before_sweep_c_hook, 0, SCM_C_HOOK_NORMAL);
2300 scm_c_hook_init (&scm_after_sweep_c_hook, 0, SCM_C_HOOK_NORMAL);
2301 scm_c_hook_init (&scm_after_gc_c_hook, 0, SCM_C_HOOK_NORMAL);
2302
2303 /* Initialise the list of ports. */
2304 scm_port_table = (scm_port **)
2305 malloc (sizeof (scm_port *) * scm_port_table_room);
2306 if (!scm_port_table)
2307 return 1;
2308
2309 #ifdef HAVE_ATEXIT
2310 atexit (cleanup);
2311 #else
2312 #ifdef HAVE_ON_EXIT
2313 on_exit (cleanup, 0);
2314 #endif
2315 #endif
2316
2317 scm_undefineds = scm_cons (SCM_UNDEFINED, SCM_EOL);
2318 SCM_SETCDR (scm_undefineds, scm_undefineds);
2319
2320 scm_listofnull = scm_cons (SCM_EOL, SCM_EOL);
2321 scm_nullstr = scm_makstr (0L, 0);
2322 scm_nullvect = scm_make_vector (SCM_INUM0, SCM_UNDEFINED);
2323 scm_symhash = scm_make_vector (SCM_MAKINUM (scm_symhash_dim), SCM_EOL);
2324 scm_weak_symhash = scm_make_weak_key_hash_table (SCM_MAKINUM (scm_symhash_dim));
2325 scm_symhash_vars = scm_make_vector (SCM_MAKINUM (scm_symhash_dim), SCM_EOL);
2326 scm_stand_in_procs = SCM_EOL;
2327 scm_permobjs = SCM_EOL;
2328 scm_protects = scm_make_vector (SCM_MAKINUM (31), SCM_EOL);
2329 scm_asyncs = SCM_EOL;
2330 scm_sysintern ("most-positive-fixnum", SCM_MAKINUM (SCM_MOST_POSITIVE_FIXNUM));
2331 scm_sysintern ("most-negative-fixnum", SCM_MAKINUM (SCM_MOST_NEGATIVE_FIXNUM));
2332 #ifdef SCM_BIGDIG
2333 scm_sysintern ("bignum-radix", SCM_MAKINUM (SCM_BIGRAD));
2334 #endif
2335 return 0;
2336 }
2337 \f
2338
2339 void
2340 scm_init_gc ()
2341 {
2342 scm_after_gc_hook = scm_create_hook ("after-gc-hook", 0);
2343 #include "libguile/gc.x"
2344 }
2345
2346 /*
2347 Local Variables:
2348 c-file-style: "gnu"
2349 End:
2350 */