* ports.h (scm_port): make read_pos a pointer to const.
[bpt/guile.git] / libguile / gc.c
CommitLineData
7dc6e754 1/* Copyright (C) 1995, 1996, 1997, 1998 Free Software Foundation, Inc.
0f2d19dd
JB
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
82892bed
JB
15 * the Free Software Foundation, Inc., 59 Temple Place, Suite 330,
16 * Boston, MA 02111-1307 USA
0f2d19dd
JB
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.
82892bed 40 * If you do not wish that, delete this exception notice. */
0f2d19dd
JB
41\f
42#include <stdio.h>
43#include "_scm.h"
20e6290e
JB
44#include "stime.h"
45#include "stackchk.h"
46#include "struct.h"
47#include "genio.h"
48#include "weaks.h"
0493cd89 49#include "guardians.h"
20e6290e
JB
50#include "smob.h"
51#include "unif.h"
52#include "async.h"
0f2d19dd 53
fce59c93
JB
54#include "gc.h"
55
0f2d19dd 56#ifdef HAVE_MALLOC_H
95b88819 57#include <malloc.h>
0f2d19dd
JB
58#endif
59
60#ifdef HAVE_UNISTD_H
95b88819 61#include <unistd.h>
0f2d19dd
JB
62#endif
63
1cc91f1b
JB
64#ifdef __STDC__
65#include <stdarg.h>
66#define var_start(x, y) va_start(x, y)
67#else
68#include <varargs.h>
69#define var_start(x, y) va_start(x)
70#endif
71
0f2d19dd
JB
72\f
73/* {heap tuning parameters}
74 *
75 * These are parameters for controlling memory allocation. The heap
76 * is the area out of which scm_cons, and object headers are allocated.
77 *
78 * Each heap cell is 8 bytes on a 32 bit machine and 16 bytes on a
79 * 64 bit machine. The units of the _SIZE parameters are bytes.
80 * Cons pairs and object headers occupy one heap cell.
81 *
82 * SCM_INIT_HEAP_SIZE is the initial size of heap. If this much heap is
83 * allocated initially the heap will grow by half its current size
84 * each subsequent time more heap is needed.
85 *
86 * If SCM_INIT_HEAP_SIZE heap cannot be allocated initially, SCM_HEAP_SEG_SIZE
87 * will be used, and the heap will grow by SCM_HEAP_SEG_SIZE when more
88 * heap is needed. SCM_HEAP_SEG_SIZE must fit into type scm_sizet. This code
89 * is in scm_init_storage() and alloc_some_heap() in sys.c
90 *
91 * If SCM_INIT_HEAP_SIZE can be allocated initially, the heap will grow by
92 * SCM_EXPHEAP(scm_heap_size) when more heap is needed.
93 *
94 * SCM_MIN_HEAP_SEG_SIZE is minimum size of heap to accept when more heap
95 * is needed.
96 *
97 * INIT_MALLOC_LIMIT is the initial amount of malloc usage which will
98 * trigger a GC.
6064dcc6
MV
99 *
100 * SCM_MTRIGGER_HYSTERESIS is the amount of malloc storage that must be
101 * reclaimed by a GC triggered by must_malloc. If less than this is
102 * reclaimed, the trigger threshold is raised. [I don't know what a
103 * good value is. I arbitrarily chose 1/10 of the INIT_MALLOC_LIMIT to
104 * work around a oscillation that caused almost constant GC.]
0f2d19dd
JB
105 */
106
107#define SCM_INIT_HEAP_SIZE (32768L*sizeof(scm_cell))
108#define SCM_MIN_HEAP_SEG_SIZE (2048L*sizeof(scm_cell))
109#ifdef _QC
110# define SCM_HEAP_SEG_SIZE 32768L
111#else
112# ifdef sequent
113# define SCM_HEAP_SEG_SIZE (7000L*sizeof(scm_cell))
114# else
115# define SCM_HEAP_SEG_SIZE (16384L*sizeof(scm_cell))
116# endif
117#endif
118#define SCM_EXPHEAP(scm_heap_size) (scm_heap_size*2)
119#define SCM_INIT_MALLOC_LIMIT 100000
6064dcc6 120#define SCM_MTRIGGER_HYSTERESIS (SCM_INIT_MALLOC_LIMIT/10)
0f2d19dd
JB
121
122/* CELL_UP and CELL_DN are used by scm_init_heap_seg to find scm_cell aligned inner
123 bounds for allocated storage */
124
125#ifdef PROT386
126/*in 386 protected mode we must only adjust the offset */
127# define CELL_UP(p) MK_FP(FP_SEG(p), ~7&(FP_OFF(p)+7))
128# define CELL_DN(p) MK_FP(FP_SEG(p), ~7&FP_OFF(p))
129#else
130# ifdef _UNICOS
131# define CELL_UP(p) (SCM_CELLPTR)(~1L & ((long)(p)+1L))
132# define CELL_DN(p) (SCM_CELLPTR)(~1L & (long)(p))
133# else
134# define CELL_UP(p) (SCM_CELLPTR)(~(sizeof(scm_cell)-1L) & ((long)(p)+sizeof(scm_cell)-1L))
135# define CELL_DN(p) (SCM_CELLPTR)(~(sizeof(scm_cell)-1L) & (long)(p))
136# endif /* UNICOS */
137#endif /* PROT386 */
138
139
140\f
141/* scm_freelist
142 * is the head of freelist of cons pairs.
143 */
144SCM scm_freelist = SCM_EOL;
145
146/* scm_mtrigger
147 * is the number of bytes of must_malloc allocation needed to trigger gc.
148 */
15e9d186 149unsigned long scm_mtrigger;
0f2d19dd
JB
150
151
152/* scm_gc_heap_lock
153 * If set, don't expand the heap. Set only during gc, during which no allocation
154 * is supposed to take place anyway.
155 */
156int scm_gc_heap_lock = 0;
157
158/* GC Blocking
159 * Don't pause for collection if this is set -- just
160 * expand the heap.
161 */
162
163int scm_block_gc = 1;
164
165/* If fewer than MIN_GC_YIELD cells are recovered during a garbage
166 * collection (GC) more space is allocated for the heap.
167 */
168#define MIN_GC_YIELD (scm_heap_size/4)
169
170/* During collection, this accumulates objects holding
171 * weak references.
172 */
173SCM *scm_weak_vectors;
174int scm_weak_size;
175int scm_n_weak;
176
177/* GC Statistics Keeping
178 */
179unsigned long scm_cells_allocated = 0;
180unsigned long scm_mallocated = 0;
181unsigned long scm_gc_cells_collected;
182unsigned long scm_gc_malloc_collected;
183unsigned long scm_gc_ports_collected;
184unsigned long scm_gc_rt;
185unsigned long scm_gc_time_taken = 0;
186
187SCM_SYMBOL (sym_cells_allocated, "cells-allocated");
188SCM_SYMBOL (sym_heap_size, "cell-heap-size");
189SCM_SYMBOL (sym_mallocated, "bytes-malloced");
190SCM_SYMBOL (sym_mtrigger, "gc-malloc-threshold");
191SCM_SYMBOL (sym_heap_segments, "cell-heap-segments");
192SCM_SYMBOL (sym_gc_time_taken, "gc-time-taken");
193
194
195struct scm_heap_seg_data
196{
cf2d30f6
JB
197 /* lower and upper bounds of the segment */
198 SCM_CELLPTR bounds[2];
199
200 /* address of the head-of-freelist pointer for this segment's cells.
201 All segments usually point to the same one, scm_freelist. */
202 SCM *freelistp;
203
204 /* number of SCM words per object in this segment */
205 int ncells;
206
207 /* If SEG_DATA->valid is non-zero, the conservative marking
208 functions will apply SEG_DATA->valid to the purported pointer and
209 SEG_DATA, and mark the object iff the function returns non-zero.
210 At the moment, I don't think anyone uses this. */
0f2d19dd
JB
211 int (*valid) ();
212};
213
214
215
216
3e8a29f5
JB
217static void scm_mark_weak_vector_spines SCM_P ((void));
218static scm_sizet init_heap_seg SCM_P ((SCM_CELLPTR, scm_sizet, int, SCM *));
219static void alloc_some_heap SCM_P ((int, SCM *));
0f2d19dd
JB
220
221
222\f
cf2d30f6
JB
223/* Debugging functions. */
224
225#ifdef DEBUG_FREELIST
226
227/* Return the number of the heap segment containing CELL. */
228static int
229which_seg (SCM cell)
230{
231 int i;
232
233 for (i = 0; i < scm_n_heap_segs; i++)
234 if (SCM_PTR_LE (scm_heap_table[i].bounds[0], (SCM_CELLPTR) cell)
235 && SCM_PTR_GT (scm_heap_table[i].bounds[1], (SCM_CELLPTR) cell))
236 return i;
237 fprintf (stderr, "which_seg: can't find segment containing cell %lx\n",
238 cell);
239 abort ();
240}
241
242
243SCM_PROC (s_map_free_list, "map-free-list", 0, 0, 0, scm_map_free_list);
244SCM
245scm_map_free_list ()
246{
247 int last_seg = -1, count = 0;
248 SCM f;
249
250 fprintf (stderr, "%d segments total\n", scm_n_heap_segs);
251 for (f = scm_freelist; SCM_NIMP (f); f = SCM_CDR (f))
252 {
253 int this_seg = which_seg (f);
254
255 if (this_seg != last_seg)
256 {
257 if (last_seg != -1)
258 fprintf (stderr, " %5d cells in segment %d\n", count, last_seg);
259 last_seg = this_seg;
260 count = 0;
261 }
262 count++;
263 }
264 if (last_seg != -1)
265 fprintf (stderr, " %5d cells in segment %d\n", count, last_seg);
266
267 fflush (stderr);
268
269 return SCM_UNSPECIFIED;
270}
271
272
273/* Number of calls to SCM_NEWCELL since startup. */
274static unsigned long scm_newcell_count;
275
276/* Search freelist for anything that isn't marked as a free cell.
277 Abort if we find something. */
278static void
279scm_check_freelist ()
280{
281 SCM f;
282 int i = 0;
283
284 for (f = scm_freelist; SCM_NIMP (f); f = SCM_CDR (f), i++)
285 if (SCM_CAR (f) != (SCM) scm_tc_free_cell)
286 {
287 fprintf (stderr, "Bad cell in freelist on newcell %lu: %d'th elt\n",
288 scm_newcell_count, i);
289 fflush (stderr);
290 abort ();
291 }
292}
293
294static int scm_debug_check_freelist = 0;
f2333166
JB
295SCM
296scm_debug_newcell (void)
cf2d30f6 297{
f2333166
JB
298 SCM new;
299
cf2d30f6
JB
300 scm_newcell_count++;
301 if (scm_debug_check_freelist)
302 scm_check_freelist ();
303
304 /* The rest of this is supposed to be identical to the SCM_NEWCELL
305 macro. */
306 if (SCM_IMP (scm_freelist))
f2333166 307 new = scm_gc_for_newcell ();
cf2d30f6
JB
308 else
309 {
f2333166 310 new = scm_freelist;
cf2d30f6
JB
311 scm_freelist = SCM_CDR (scm_freelist);
312 ++scm_cells_allocated;
313 }
f2333166
JB
314
315 return new;
cf2d30f6
JB
316}
317
318#endif /* DEBUG_FREELIST */
319
320\f
0f2d19dd
JB
321
322/* {Scheme Interface to GC}
323 */
324
325SCM_PROC (s_gc_stats, "gc-stats", 0, 0, 0, scm_gc_stats);
0f2d19dd
JB
326SCM
327scm_gc_stats ()
0f2d19dd
JB
328{
329 int i;
330 int n;
331 SCM heap_segs;
332 SCM local_scm_mtrigger;
333 SCM local_scm_mallocated;
334 SCM local_scm_heap_size;
335 SCM local_scm_cells_allocated;
336 SCM local_scm_gc_time_taken;
337 SCM answer;
338
339 SCM_DEFER_INTS;
340 scm_block_gc = 1;
341 retry:
342 heap_segs = SCM_EOL;
343 n = scm_n_heap_segs;
344 for (i = scm_n_heap_segs; i--; )
345 heap_segs = scm_cons (scm_cons (scm_ulong2num ((unsigned long)scm_heap_table[i].bounds[1]),
346 scm_ulong2num ((unsigned long)scm_heap_table[i].bounds[0])),
347 heap_segs);
348 if (scm_n_heap_segs != n)
349 goto retry;
350 scm_block_gc = 0;
351
352 local_scm_mtrigger = scm_mtrigger;
353 local_scm_mallocated = scm_mallocated;
354 local_scm_heap_size = scm_heap_size;
355 local_scm_cells_allocated = scm_cells_allocated;
356 local_scm_gc_time_taken = scm_gc_time_taken;
357
358 answer = scm_listify (scm_cons (sym_gc_time_taken, scm_ulong2num (local_scm_gc_time_taken)),
359 scm_cons (sym_cells_allocated, scm_ulong2num (local_scm_cells_allocated)),
360 scm_cons (sym_heap_size, scm_ulong2num (local_scm_heap_size)),
361 scm_cons (sym_mallocated, scm_ulong2num (local_scm_mallocated)),
362 scm_cons (sym_mtrigger, scm_ulong2num (local_scm_mtrigger)),
363 scm_cons (sym_heap_segments, heap_segs),
364 SCM_UNDEFINED);
365 SCM_ALLOW_INTS;
366 return answer;
367}
368
369
0f2d19dd
JB
370void
371scm_gc_start (what)
3eeba8d4 372 const char *what;
0f2d19dd
JB
373{
374 scm_gc_rt = SCM_INUM (scm_get_internal_run_time ());
375 scm_gc_cells_collected = 0;
376 scm_gc_malloc_collected = 0;
377 scm_gc_ports_collected = 0;
378}
379
0f2d19dd
JB
380void
381scm_gc_end ()
0f2d19dd
JB
382{
383 scm_gc_rt = SCM_INUM (scm_get_internal_run_time ()) - scm_gc_rt;
384 scm_gc_time_taken = scm_gc_time_taken + scm_gc_rt;
9ea54cc6 385 scm_system_async_mark (scm_gc_async);
0f2d19dd
JB
386}
387
388
e641afaf 389SCM_PROC (s_object_address, "object-address", 1, 0, 0, scm_object_address);
0f2d19dd 390SCM
e641afaf 391scm_object_address (obj)
0f2d19dd
JB
392 SCM obj;
393{
394 return scm_ulong2num ((unsigned long)obj);
395}
396
397
398SCM_PROC(s_gc, "gc", 0, 0, 0, scm_gc);
0f2d19dd
JB
399SCM
400scm_gc ()
0f2d19dd
JB
401{
402 SCM_DEFER_INTS;
403 scm_igc ("call");
404 SCM_ALLOW_INTS;
405 return SCM_UNSPECIFIED;
406}
407
408
409\f
410/* {C Interface For When GC is Triggered}
411 */
412
0f2d19dd
JB
413void
414scm_gc_for_alloc (ncells, freelistp)
415 int ncells;
416 SCM * freelistp;
0f2d19dd
JB
417{
418 SCM_REDEFER_INTS;
419 scm_igc ("cells");
420 if ((scm_gc_cells_collected < MIN_GC_YIELD) || SCM_IMP (*freelistp))
421 {
422 alloc_some_heap (ncells, freelistp);
423 }
424 SCM_REALLOW_INTS;
425}
426
427
0f2d19dd
JB
428SCM
429scm_gc_for_newcell ()
0f2d19dd
JB
430{
431 SCM fl;
432 scm_gc_for_alloc (1, &scm_freelist);
433 fl = scm_freelist;
434 scm_freelist = SCM_CDR (fl);
435 return fl;
436}
437
0f2d19dd
JB
438void
439scm_igc (what)
3eeba8d4 440 const char *what;
0f2d19dd
JB
441{
442 int j;
443
42db06f0
MD
444#ifdef USE_THREADS
445 /* During the critical section, only the current thread may run. */
446 SCM_THREAD_CRITICAL_SECTION_START;
447#endif
448
e242dfd2 449 /* fprintf (stderr, "gc: %s\n", what); */
c68296f8 450
0f2d19dd
JB
451 scm_gc_start (what);
452 if (!scm_stack_base || scm_block_gc)
453 {
454 scm_gc_end ();
455 return;
456 }
457
458 ++scm_gc_heap_lock;
459 scm_n_weak = 0;
460
0493cd89
MD
461 scm_guardian_gc_init ();
462
0f2d19dd
JB
463 /* unprotect any struct types with no instances */
464#if 0
465 {
466 SCM type_list;
467 SCM * pos;
468
469 pos = &scm_type_obj_list;
470 type_list = scm_type_obj_list;
471 while (type_list != SCM_EOL)
472 if (SCM_VELTS (SCM_CAR (type_list))[scm_struct_i_refcnt])
473 {
24e68a57 474 pos = SCM_CDRLOC (type_list);
0f2d19dd
JB
475 type_list = SCM_CDR (type_list);
476 }
477 else
478 {
479 *pos = SCM_CDR (type_list);
480 type_list = SCM_CDR (type_list);
481 }
482 }
483#endif
484
485 /* flush dead entries from the continuation stack */
486 {
487 int x;
488 int bound;
489 SCM * elts;
490 elts = SCM_VELTS (scm_continuation_stack);
491 bound = SCM_LENGTH (scm_continuation_stack);
492 x = SCM_INUM (scm_continuation_stack_ptr);
493 while (x < bound)
494 {
495 elts[x] = SCM_BOOL_F;
496 ++x;
497 }
498 }
499
42db06f0
MD
500#ifndef USE_THREADS
501
0f2d19dd
JB
502 /* Protect from the C stack. This must be the first marking
503 * done because it provides information about what objects
504 * are "in-use" by the C code. "in-use" objects are those
505 * for which the values from SCM_LENGTH and SCM_CHARS must remain
506 * usable. This requirement is stricter than a liveness
507 * requirement -- in particular, it constrains the implementation
508 * of scm_vector_set_length_x.
509 */
510 SCM_FLUSH_REGISTER_WINDOWS;
511 /* This assumes that all registers are saved into the jmp_buf */
512 setjmp (scm_save_regs_gc_mark);
513 scm_mark_locations ((SCM_STACKITEM *) scm_save_regs_gc_mark,
ce4a361d
JB
514 ( (scm_sizet) (sizeof (SCM_STACKITEM) - 1 +
515 sizeof scm_save_regs_gc_mark)
516 / sizeof (SCM_STACKITEM)));
0f2d19dd
JB
517
518 {
519 /* stack_len is long rather than scm_sizet in order to guarantee that
520 &stack_len is long aligned */
521#ifdef SCM_STACK_GROWS_UP
522#ifdef nosve
523 long stack_len = (SCM_STACKITEM *) (&stack_len) - scm_stack_base;
524#else
525 long stack_len = scm_stack_size (scm_stack_base);
526#endif
527 scm_mark_locations (scm_stack_base, (scm_sizet) stack_len);
528#else
529#ifdef nosve
530 long stack_len = scm_stack_base - (SCM_STACKITEM *) (&stack_len);
531#else
532 long stack_len = scm_stack_size (scm_stack_base);
533#endif
534 scm_mark_locations ((scm_stack_base - stack_len), (scm_sizet) stack_len);
535#endif
536 }
537
42db06f0
MD
538#else /* USE_THREADS */
539
540 /* Mark every thread's stack and registers */
541 scm_threads_mark_stacks();
542
543#endif /* USE_THREADS */
0f2d19dd
JB
544
545 /* FIXME: insert a phase to un-protect string-data preserved
546 * in scm_vector_set_length_x.
547 */
548
549 j = SCM_NUM_PROTECTS;
550 while (j--)
551 scm_gc_mark (scm_sys_protects[j]);
552
42db06f0
MD
553#ifndef USE_THREADS
554 scm_gc_mark (scm_root->handle);
555#endif
0f2d19dd
JB
556
557 scm_mark_weak_vector_spines ();
558
0493cd89
MD
559 scm_guardian_zombify ();
560
0f2d19dd
JB
561 scm_gc_sweep ();
562
563 --scm_gc_heap_lock;
564 scm_gc_end ();
42db06f0
MD
565
566#ifdef USE_THREADS
567 SCM_THREAD_CRITICAL_SECTION_END;
568#endif
0f2d19dd
JB
569}
570
571\f
572/* {Mark/Sweep}
573 */
574
575
576
577/* Mark an object precisely.
578 */
0f2d19dd
JB
579void
580scm_gc_mark (p)
581 SCM p;
0f2d19dd
JB
582{
583 register long i;
584 register SCM ptr;
585
586 ptr = p;
587
588gc_mark_loop:
589 if (SCM_IMP (ptr))
590 return;
591
592gc_mark_nimp:
593 if (SCM_NCELLP (ptr))
f8392303 594 scm_wta (ptr, "rogue pointer in heap", NULL);
0f2d19dd
JB
595
596 switch (SCM_TYP7 (ptr))
597 {
598 case scm_tcs_cons_nimcar:
599 if (SCM_GCMARKP (ptr))
600 break;
601 SCM_SETGCMARK (ptr);
602 if (SCM_IMP (SCM_CDR (ptr))) /* SCM_IMP works even with a GC mark */
603 {
604 ptr = SCM_CAR (ptr);
605 goto gc_mark_nimp;
606 }
607 scm_gc_mark (SCM_CAR (ptr));
608 ptr = SCM_GCCDR (ptr);
609 goto gc_mark_nimp;
610 case scm_tcs_cons_imcar:
e641afaf 611 case scm_tc7_pws:
0f2d19dd
JB
612 if (SCM_GCMARKP (ptr))
613 break;
614 SCM_SETGCMARK (ptr);
615 ptr = SCM_GCCDR (ptr);
616 goto gc_mark_loop;
617 case scm_tcs_cons_gloc:
618 if (SCM_GCMARKP (ptr))
619 break;
620 SCM_SETGCMARK (ptr);
621 {
622 SCM vcell;
623 vcell = SCM_CAR (ptr) - 1L;
624 switch (SCM_CDR (vcell))
625 {
626 default:
627 scm_gc_mark (vcell);
628 ptr = SCM_GCCDR (ptr);
629 goto gc_mark_loop;
630 case 1: /* ! */
631 case 0: /* ! */
632 {
633 SCM layout;
634 SCM * vtable_data;
635 int len;
636 char * fields_desc;
ad75306c
MD
637 register SCM * mem;
638 register int x;
0f2d19dd
JB
639
640 vtable_data = (SCM *)vcell;
4bfdf158 641 layout = vtable_data[scm_vtable_index_layout];
0f2d19dd
JB
642 len = SCM_LENGTH (layout);
643 fields_desc = SCM_CHARS (layout);
14d1400f
JB
644 /* We're using SCM_GCCDR here like STRUCT_DATA, except
645 that it removes the mark */
646 mem = (SCM *)SCM_GCCDR (ptr);
0f2d19dd 647
aa0761ec
MD
648 if (vtable_data[scm_struct_i_flags] & SCM_STRUCTF_ENTITY)
649 {
650 scm_gc_mark (mem[scm_struct_i_proc + 0]);
651 scm_gc_mark (mem[scm_struct_i_proc + 1]);
652 scm_gc_mark (mem[scm_struct_i_proc + 2]);
653 scm_gc_mark (mem[scm_struct_i_proc + 3]);
e641afaf 654 scm_gc_mark (mem[scm_struct_i_setter]);
aa0761ec 655 }
ad75306c
MD
656 if (len)
657 {
658 for (x = 0; x < len - 2; x += 2, ++mem)
659 if (fields_desc[x] == 'p')
660 scm_gc_mark (*mem);
661 if (fields_desc[x] == 'p')
662 {
663 if (SCM_LAYOUT_TAILP (fields_desc[x + 1]))
664 for (x = *mem; x; --x)
665 scm_gc_mark (*++mem);
666 else
667 scm_gc_mark (*mem);
668 }
669 }
0f2d19dd
JB
670 if (!SCM_CDR (vcell))
671 {
672 SCM_SETGCMARK (vcell);
4bfdf158 673 ptr = vtable_data[scm_vtable_index_vtable];
0f2d19dd
JB
674 goto gc_mark_loop;
675 }
676 }
677 }
678 }
679 break;
680 case scm_tcs_closures:
681 if (SCM_GCMARKP (ptr))
682 break;
683 SCM_SETGCMARK (ptr);
684 if (SCM_IMP (SCM_CDR (ptr)))
685 {
686 ptr = SCM_CLOSCAR (ptr);
687 goto gc_mark_nimp;
688 }
689 scm_gc_mark (SCM_CLOSCAR (ptr));
690 ptr = SCM_GCCDR (ptr);
691 goto gc_mark_nimp;
692 case scm_tc7_vector:
693 case scm_tc7_lvector:
694#ifdef CCLO
695 case scm_tc7_cclo:
696#endif
697 if (SCM_GC8MARKP (ptr))
698 break;
699 SCM_SETGC8MARK (ptr);
700 i = SCM_LENGTH (ptr);
701 if (i == 0)
702 break;
703 while (--i > 0)
704 if (SCM_NIMP (SCM_VELTS (ptr)[i]))
705 scm_gc_mark (SCM_VELTS (ptr)[i]);
706 ptr = SCM_VELTS (ptr)[0];
707 goto gc_mark_loop;
708 case scm_tc7_contin:
709 if SCM_GC8MARKP
710 (ptr) break;
711 SCM_SETGC8MARK (ptr);
c68296f8
MV
712 if (SCM_VELTS (ptr))
713 scm_mark_locations (SCM_VELTS (ptr),
714 (scm_sizet)
715 (SCM_LENGTH (ptr) +
716 (sizeof (SCM_STACKITEM) + -1 +
717 sizeof (scm_contregs)) /
718 sizeof (SCM_STACKITEM)));
0f2d19dd
JB
719 break;
720 case scm_tc7_bvect:
721 case scm_tc7_byvect:
722 case scm_tc7_ivect:
723 case scm_tc7_uvect:
724 case scm_tc7_fvect:
725 case scm_tc7_dvect:
726 case scm_tc7_cvect:
727 case scm_tc7_svect:
728#ifdef LONGLONGS
729 case scm_tc7_llvect:
730#endif
731
732 case scm_tc7_string:
0f2d19dd
JB
733 SCM_SETGC8MARK (ptr);
734 break;
735
736 case scm_tc7_substring:
0f2d19dd
JB
737 if (SCM_GC8MARKP(ptr))
738 break;
739 SCM_SETGC8MARK (ptr);
740 ptr = SCM_CDR (ptr);
741 goto gc_mark_loop;
742
743 case scm_tc7_wvect:
744 if (SCM_GC8MARKP(ptr))
745 break;
746 scm_weak_vectors[scm_n_weak++] = ptr;
747 if (scm_n_weak >= scm_weak_size)
748 {
749 SCM_SYSCALL (scm_weak_vectors =
750 (SCM *) realloc ((char *) scm_weak_vectors,
0493cd89 751 sizeof (SCM) * (scm_weak_size *= 2)));
0f2d19dd
JB
752 if (scm_weak_vectors == NULL)
753 {
b7f3516f
TT
754 scm_puts ("weak vector table", scm_cur_errp);
755 scm_puts ("\nFATAL ERROR DURING CRITICAL SCM_CODE SECTION\n",
756 scm_cur_errp);
0f2d19dd
JB
757 exit(SCM_EXIT_FAILURE);
758 }
759 }
760 SCM_SETGC8MARK (ptr);
761 if (SCM_IS_WHVEC_ANY (ptr))
762 {
763 int x;
764 int len;
765 int weak_keys;
766 int weak_values;
767
768 len = SCM_LENGTH (ptr);
769 weak_keys = SCM_IS_WHVEC (ptr) || SCM_IS_WHVEC_B (ptr);
770 weak_values = SCM_IS_WHVEC_V (ptr) || SCM_IS_WHVEC_B (ptr);
771
772 for (x = 0; x < len; ++x)
773 {
774 SCM alist;
775 alist = SCM_VELTS (ptr)[x];
46408039
JB
776
777 /* mark everything on the alist except the keys or
778 * values, according to weak_values and weak_keys. */
0f2d19dd
JB
779 while ( SCM_NIMP (alist)
780 && SCM_CONSP (alist)
781 && !SCM_GCMARKP (alist)
782 && SCM_NIMP (SCM_CAR (alist))
783 && SCM_CONSP (SCM_CAR (alist)))
784 {
785 SCM kvpair;
786 SCM next_alist;
787
788 kvpair = SCM_CAR (alist);
789 next_alist = SCM_CDR (alist);
790 /*
791 * Do not do this:
792 * SCM_SETGCMARK (alist);
793 * SCM_SETGCMARK (kvpair);
794 *
795 * It may be that either the key or value is protected by
796 * an escaped reference to part of the spine of this alist.
797 * If we mark the spine here, and only mark one or neither of the
798 * key and value, they may never be properly marked.
799 * This leads to a horrible situation in which an alist containing
800 * freelist cells is exported.
801 *
802 * So only mark the spines of these arrays last of all marking.
803 * If somebody confuses us by constructing a weak vector
804 * with a circular alist then we are hosed, but at least we
805 * won't prematurely drop table entries.
806 */
807 if (!weak_keys)
808 scm_gc_mark (SCM_CAR (kvpair));
809 if (!weak_values)
810 scm_gc_mark (SCM_GCCDR (kvpair));
811 alist = next_alist;
812 }
813 if (SCM_NIMP (alist))
814 scm_gc_mark (alist);
815 }
816 }
817 break;
818
819 case scm_tc7_msymbol:
820 if (SCM_GC8MARKP(ptr))
821 break;
822 SCM_SETGC8MARK (ptr);
823 scm_gc_mark (SCM_SYMBOL_FUNC (ptr));
824 ptr = SCM_SYMBOL_PROPS (ptr);
825 goto gc_mark_loop;
826 case scm_tc7_ssymbol:
827 if (SCM_GC8MARKP(ptr))
828 break;
829 SCM_SETGC8MARK (ptr);
830 break;
831 case scm_tcs_subrs:
832 ptr = (SCM)(scm_heap_org + (((unsigned long)SCM_CAR (ptr)) >> 8));
833 goto gc_mark_loop;
834 case scm_tc7_port:
835 i = SCM_PTOBNUM (ptr);
836 if (!(i < scm_numptob))
837 goto def;
838 if (SCM_GC8MARKP (ptr))
839 break;
dc53f026 840 SCM_SETGC8MARK (ptr);
ebf7394e
GH
841 if (SCM_PTAB_ENTRY(ptr))
842 scm_gc_mark (SCM_PTAB_ENTRY(ptr)->file_name);
dc53f026
JB
843 if (scm_ptobs[i].mark)
844 {
845 ptr = (scm_ptobs[i].mark) (ptr);
846 goto gc_mark_loop;
847 }
848 else
849 return;
0f2d19dd
JB
850 break;
851 case scm_tc7_smob:
852 if (SCM_GC8MARKP (ptr))
853 break;
dc53f026
JB
854 SCM_SETGC8MARK (ptr);
855 switch SCM_GCTYP16 (ptr)
0f2d19dd
JB
856 { /* should be faster than going through scm_smobs */
857 case scm_tc_free_cell:
858 /* printf("found free_cell %X ", ptr); fflush(stdout); */
24e68a57 859 SCM_SETCDR (ptr, SCM_EOL);
0f2d19dd
JB
860 break;
861 case scm_tcs_bignums:
862 case scm_tc16_flo:
0f2d19dd
JB
863 break;
864 default:
865 i = SCM_SMOBNUM (ptr);
866 if (!(i < scm_numsmob))
867 goto def;
dc53f026
JB
868 if (scm_smobs[i].mark)
869 {
870 ptr = (scm_smobs[i].mark) (ptr);
871 goto gc_mark_loop;
872 }
873 else
874 return;
0f2d19dd
JB
875 }
876 break;
877 default:
878 def:scm_wta (ptr, "unknown type in ", "gc_mark");
879 }
880}
881
882
883/* Mark a Region Conservatively
884 */
885
0f2d19dd
JB
886void
887scm_mark_locations (x, n)
888 SCM_STACKITEM x[];
889 scm_sizet n;
0f2d19dd
JB
890{
891 register long m = n;
892 register int i, j;
893 register SCM_CELLPTR ptr;
894
895 while (0 <= --m)
896 if SCM_CELLP (*(SCM **) & x[m])
897 {
898 ptr = (SCM_CELLPTR) SCM2PTR ((*(SCM **) & x[m]));
899 i = 0;
900 j = scm_n_heap_segs - 1;
901 if ( SCM_PTR_LE (scm_heap_table[i].bounds[0], ptr)
902 && SCM_PTR_GT (scm_heap_table[j].bounds[1], ptr))
903 {
904 while (i <= j)
905 {
906 int seg_id;
907 seg_id = -1;
908 if ( (i == j)
909 || SCM_PTR_GT (scm_heap_table[i].bounds[1], ptr))
910 seg_id = i;
911 else if (SCM_PTR_LE (scm_heap_table[j].bounds[0], ptr))
912 seg_id = j;
913 else
914 {
915 int k;
916 k = (i + j) / 2;
917 if (k == i)
918 break;
919 if (SCM_PTR_GT (scm_heap_table[k].bounds[1], ptr))
920 {
921 j = k;
922 ++i;
923 if (SCM_PTR_LE (scm_heap_table[i].bounds[0], ptr))
924 continue;
925 else
926 break;
927 }
928 else if (SCM_PTR_LE (scm_heap_table[k].bounds[0], ptr))
929 {
930 i = k;
931 --j;
932 if (SCM_PTR_GT (scm_heap_table[j].bounds[1], ptr))
933 continue;
934 else
935 break;
936 }
937 }
938 if ( !scm_heap_table[seg_id].valid
939 || scm_heap_table[seg_id].valid (ptr,
940 &scm_heap_table[seg_id]))
941 scm_gc_mark (*(SCM *) & x[m]);
942 break;
943 }
944
945 }
946 }
947}
948
949
2e11a577
MD
950/* The following is a C predicate which determines if an SCM value can be
951 regarded as a pointer to a cell on the heap. The code is duplicated
952 from scm_mark_locations. */
953
1cc91f1b 954
2e11a577
MD
955int
956scm_cellp (value)
957 SCM value;
2e11a577
MD
958{
959 register int i, j;
960 register SCM_CELLPTR ptr;
961
962 if SCM_CELLP (*(SCM **) & value)
963 {
964 ptr = (SCM_CELLPTR) SCM2PTR ((*(SCM **) & value));
965 i = 0;
966 j = scm_n_heap_segs - 1;
967 if ( SCM_PTR_LE (scm_heap_table[i].bounds[0], ptr)
968 && SCM_PTR_GT (scm_heap_table[j].bounds[1], ptr))
969 {
970 while (i <= j)
971 {
972 int seg_id;
973 seg_id = -1;
974 if ( (i == j)
975 || SCM_PTR_GT (scm_heap_table[i].bounds[1], ptr))
976 seg_id = i;
977 else if (SCM_PTR_LE (scm_heap_table[j].bounds[0], ptr))
978 seg_id = j;
979 else
980 {
981 int k;
982 k = (i + j) / 2;
983 if (k == i)
984 break;
985 if (SCM_PTR_GT (scm_heap_table[k].bounds[1], ptr))
986 {
987 j = k;
988 ++i;
989 if (SCM_PTR_LE (scm_heap_table[i].bounds[0], ptr))
990 continue;
991 else
992 break;
993 }
994 else if (SCM_PTR_LE (scm_heap_table[k].bounds[0], ptr))
995 {
996 i = k;
997 --j;
998 if (SCM_PTR_GT (scm_heap_table[j].bounds[1], ptr))
999 continue;
1000 else
1001 break;
1002 }
1003 }
1004 if ( !scm_heap_table[seg_id].valid
1005 || scm_heap_table[seg_id].valid (ptr,
1006 &scm_heap_table[seg_id]))
1007 return 1;
1008 break;
1009 }
1010
1011 }
1012 }
1013 return 0;
1014}
1015
1016
3b2b8760 1017static void
0f2d19dd 1018scm_mark_weak_vector_spines ()
0f2d19dd
JB
1019{
1020 int i;
1021
1022 for (i = 0; i < scm_n_weak; ++i)
1023 {
1024 if (SCM_IS_WHVEC_ANY (scm_weak_vectors[i]))
1025 {
1026 SCM *ptr;
1027 SCM obj;
1028 int j;
1029 int n;
1030
1031 obj = scm_weak_vectors[i];
1032 ptr = SCM_VELTS (scm_weak_vectors[i]);
1033 n = SCM_LENGTH (scm_weak_vectors[i]);
1034 for (j = 0; j < n; ++j)
1035 {
1036 SCM alist;
1037
1038 alist = ptr[j];
1039 while ( SCM_NIMP (alist)
1040 && SCM_CONSP (alist)
1041 && !SCM_GCMARKP (alist)
1042 && SCM_NIMP (SCM_CAR (alist))
1043 && SCM_CONSP (SCM_CAR (alist)))
1044 {
1045 SCM_SETGCMARK (alist);
1046 SCM_SETGCMARK (SCM_CAR (alist));
1047 alist = SCM_GCCDR (alist);
1048 }
1049 }
1050 }
1051 }
1052}
1053
1054
1055
0f2d19dd
JB
1056void
1057scm_gc_sweep ()
0f2d19dd
JB
1058{
1059 register SCM_CELLPTR ptr;
1060#ifdef SCM_POINTERS_MUNGED
1061 register SCM scmptr;
1062#else
1063#undef scmptr
1064#define scmptr (SCM)ptr
1065#endif
1066 register SCM nfreelist;
1067 register SCM *hp_freelist;
0f2d19dd 1068 register long m;
0f2d19dd 1069 register int span;
15e9d186 1070 long i;
0f2d19dd
JB
1071 scm_sizet seg_size;
1072
0f2d19dd 1073 m = 0;
0f2d19dd 1074
cf2d30f6
JB
1075 /* Reset all free list pointers. We'll reconstruct them completely
1076 while scanning. */
1077 for (i = 0; i < scm_n_heap_segs; i++)
1078 *scm_heap_table[i].freelistp = SCM_EOL;
1079
1080 for (i = 0; i < scm_n_heap_segs; i++)
0f2d19dd 1081 {
15e9d186
JB
1082 register scm_sizet n = 0;
1083 register scm_sizet j;
1084
cf2d30f6
JB
1085 /* Unmarked cells go onto the front of the freelist this heap
1086 segment points to. Rather than updating the real freelist
1087 pointer as we go along, we accumulate the new head in
1088 nfreelist. Then, if it turns out that the entire segment is
1089 free, we free (i.e., malloc's free) the whole segment, and
1090 simply don't assign nfreelist back into the real freelist. */
0f2d19dd 1091 hp_freelist = scm_heap_table[i].freelistp;
cf2d30f6
JB
1092 nfreelist = *hp_freelist;
1093
0f2d19dd
JB
1094 span = scm_heap_table[i].ncells;
1095 ptr = CELL_UP (scm_heap_table[i].bounds[0]);
1096 seg_size = CELL_DN (scm_heap_table[i].bounds[1]) - ptr;
0f2d19dd
JB
1097 for (j = seg_size + span; j -= span; ptr += span)
1098 {
1099#ifdef SCM_POINTERS_MUNGED
1100 scmptr = PTR2SCM (ptr);
1101#endif
1102 switch SCM_TYP7 (scmptr)
1103 {
1104 case scm_tcs_cons_gloc:
1105 if (SCM_GCMARKP (scmptr))
1106 {
1107 if (SCM_CDR (SCM_CAR (scmptr) - 1) == (SCM)1)
24e68a57 1108 SCM_SETCDR (SCM_CAR (scmptr) - 1, (SCM) 0);
0f2d19dd
JB
1109 goto cmrkcontinue;
1110 }
1111 {
1112 SCM vcell;
1113 vcell = SCM_CAR (scmptr) - 1L;
1114
1115 if ((SCM_CDR (vcell) == 0) || (SCM_CDR (vcell) == 1))
1116 {
14d1400f 1117 SCM *p = (SCM *) SCM_GCCDR (scmptr);
e641afaf
MD
1118 if (((SCM*) vcell)[scm_struct_i_flags]
1119 & SCM_STRUCTF_LIGHT)
1120 {
1121 SCM layout = ((SCM*)vcell)[scm_vtable_index_layout];
1122 m += (SCM_LENGTH (layout) / 2) * sizeof (SCM);
1123 free ((char *) p);
1124 }
1125 else
1126 {
1127 m += p[scm_struct_i_n_words] * sizeof (SCM) + 7;
1128 /* I feel like I'm programming in BCPL here... */
1129 free ((char *) p[scm_struct_i_ptr]);
1130 }
0f2d19dd
JB
1131 }
1132 }
1133 break;
1134 case scm_tcs_cons_imcar:
1135 case scm_tcs_cons_nimcar:
1136 case scm_tcs_closures:
e641afaf 1137 case scm_tc7_pws:
0f2d19dd
JB
1138 if (SCM_GCMARKP (scmptr))
1139 goto cmrkcontinue;
1140 break;
1141 case scm_tc7_wvect:
1142 if (SCM_GC8MARKP (scmptr))
1143 {
1144 goto c8mrkcontinue;
1145 }
1146 else
1147 {
1148 m += (1 + SCM_LENGTH (scmptr)) * sizeof (SCM);
1149 scm_must_free ((char *)(SCM_VELTS (scmptr) - 1));
1150 break;
1151 }
1152
1153 case scm_tc7_vector:
1154 case scm_tc7_lvector:
1155#ifdef CCLO
1156 case scm_tc7_cclo:
1157#endif
1158 if (SCM_GC8MARKP (scmptr))
1159 goto c8mrkcontinue;
1160
1161 m += (SCM_LENGTH (scmptr) * sizeof (SCM));
1162 freechars:
1163 scm_must_free (SCM_CHARS (scmptr));
1164 /* SCM_SETCHARS(scmptr, 0);*/
1165 break;
1166 case scm_tc7_bvect:
1167 if SCM_GC8MARKP (scmptr)
1168 goto c8mrkcontinue;
1169 m += sizeof (long) * ((SCM_HUGE_LENGTH (scmptr) + SCM_LONG_BIT - 1) / SCM_LONG_BIT);
1170 goto freechars;
1171 case scm_tc7_byvect:
1172 if SCM_GC8MARKP (scmptr)
1173 goto c8mrkcontinue;
1174 m += SCM_HUGE_LENGTH (scmptr) * sizeof (char);
1175 goto freechars;
1176 case scm_tc7_ivect:
1177 case scm_tc7_uvect:
1178 if SCM_GC8MARKP (scmptr)
1179 goto c8mrkcontinue;
1180 m += SCM_HUGE_LENGTH (scmptr) * sizeof (long);
1181 goto freechars;
1182 case scm_tc7_svect:
1183 if SCM_GC8MARKP (scmptr)
1184 goto c8mrkcontinue;
1185 m += SCM_HUGE_LENGTH (scmptr) * sizeof (short);
1186 goto freechars;
1187#ifdef LONGLONGS
1188 case scm_tc7_llvect:
1189 if SCM_GC8MARKP (scmptr)
1190 goto c8mrkcontinue;
1191 m += SCM_HUGE_LENGTH (scmptr) * sizeof (long_long);
1192 goto freechars;
1193#endif
1194 case scm_tc7_fvect:
1195 if SCM_GC8MARKP (scmptr)
1196 goto c8mrkcontinue;
1197 m += SCM_HUGE_LENGTH (scmptr) * sizeof (float);
1198 goto freechars;
1199 case scm_tc7_dvect:
1200 if SCM_GC8MARKP (scmptr)
1201 goto c8mrkcontinue;
1202 m += SCM_HUGE_LENGTH (scmptr) * sizeof (double);
1203 goto freechars;
1204 case scm_tc7_cvect:
1205 if SCM_GC8MARKP (scmptr)
1206 goto c8mrkcontinue;
1207 m += SCM_HUGE_LENGTH (scmptr) * 2 * sizeof (double);
1208 goto freechars;
1209 case scm_tc7_substring:
0f2d19dd
JB
1210 if (SCM_GC8MARKP (scmptr))
1211 goto c8mrkcontinue;
1212 break;
1213 case scm_tc7_string:
0f2d19dd
JB
1214 if (SCM_GC8MARKP (scmptr))
1215 goto c8mrkcontinue;
1216 m += SCM_HUGE_LENGTH (scmptr) + 1;
1217 goto freechars;
1218 case scm_tc7_msymbol:
1219 if (SCM_GC8MARKP (scmptr))
1220 goto c8mrkcontinue;
1221 m += ( SCM_LENGTH (scmptr)
1222 + 1
1223 + sizeof (SCM) * ((SCM *)SCM_CHARS (scmptr) - SCM_SLOTS(scmptr)));
1224 scm_must_free ((char *)SCM_SLOTS (scmptr));
1225 break;
1226 case scm_tc7_contin:
1227 if SCM_GC8MARKP (scmptr)
1228 goto c8mrkcontinue;
0db18cf4 1229 m += SCM_LENGTH (scmptr) * sizeof (SCM_STACKITEM) + sizeof (scm_contregs);
c68296f8
MV
1230 if (SCM_VELTS (scmptr))
1231 goto freechars;
0f2d19dd
JB
1232 case scm_tc7_ssymbol:
1233 if SCM_GC8MARKP(scmptr)
1234 goto c8mrkcontinue;
1235 break;
1236 case scm_tcs_subrs:
1237 continue;
1238 case scm_tc7_port:
1239 if SCM_GC8MARKP (scmptr)
1240 goto c8mrkcontinue;
1241 if SCM_OPENP (scmptr)
1242 {
1243 int k = SCM_PTOBNUM (scmptr);
1244 if (!(k < scm_numptob))
1245 goto sweeperr;
1246 /* Keep "revealed" ports alive. */
1247 if (scm_revealed_count(scmptr) > 0)
1248 continue;
1249 /* Yes, I really do mean scm_ptobs[k].free */
1250 /* rather than ftobs[k].close. .close */
1251 /* is for explicit CLOSE-PORT by user */
0f88a8f3 1252 (scm_ptobs[k].free) (scmptr);
0f2d19dd
JB
1253 SCM_SETSTREAM (scmptr, 0);
1254 scm_remove_from_port_table (scmptr);
1255 scm_gc_ports_collected++;
24e68a57 1256 SCM_SETAND_CAR (scmptr, ~SCM_OPN);
0f2d19dd
JB
1257 }
1258 break;
1259 case scm_tc7_smob:
1260 switch SCM_GCTYP16 (scmptr)
1261 {
1262 case scm_tc_free_cell:
1263 if SCM_GC8MARKP (scmptr)
1264 goto c8mrkcontinue;
1265 break;
1266#ifdef SCM_BIGDIG
1267 case scm_tcs_bignums:
1268 if SCM_GC8MARKP (scmptr)
1269 goto c8mrkcontinue;
1270 m += (SCM_NUMDIGS (scmptr) * SCM_BITSPERDIG / SCM_CHAR_BIT);
1271 goto freechars;
1272#endif /* def SCM_BIGDIG */
1273 case scm_tc16_flo:
1274 if SCM_GC8MARKP (scmptr)
1275 goto c8mrkcontinue;
1276 switch ((int) (SCM_CAR (scmptr) >> 16))
1277 {
1278 case (SCM_IMAG_PART | SCM_REAL_PART) >> 16:
1279 m += sizeof (double);
1280 case SCM_REAL_PART >> 16:
1281 case SCM_IMAG_PART >> 16:
1282 m += sizeof (double);
1283 goto freechars;
1284 case 0:
1285 break;
1286 default:
1287 goto sweeperr;
1288 }
1289 break;
1290 default:
1291 if SCM_GC8MARKP (scmptr)
1292 goto c8mrkcontinue;
1293
1294 {
1295 int k;
1296 k = SCM_SMOBNUM (scmptr);
1297 if (!(k < scm_numsmob))
1298 goto sweeperr;
1299 m += (scm_smobs[k].free) ((SCM) scmptr);
1300 break;
1301 }
1302 }
1303 break;
1304 default:
1305 sweeperr:scm_wta (scmptr, "unknown type in ", "gc_sweep");
1306 }
1307 n += span;
1308#if 0
1309 if (SCM_CAR (scmptr) == (SCM) scm_tc_free_cell)
1310 exit (2);
1311#endif
e7c5fb37
JB
1312 /* Stick the new cell on the front of nfreelist. It's
1313 critical that we mark this cell as freed; otherwise, the
1314 conservative collector might trace it as some other type
1315 of object. */
24e68a57
MD
1316 SCM_SETCAR (scmptr, (SCM) scm_tc_free_cell);
1317 SCM_SETCDR (scmptr, nfreelist);
0f2d19dd 1318 nfreelist = scmptr;
cf2d30f6 1319
0f2d19dd
JB
1320 continue;
1321 c8mrkcontinue:
1322 SCM_CLRGC8MARK (scmptr);
1323 continue;
1324 cmrkcontinue:
1325 SCM_CLRGCMARK (scmptr);
1326 }
1327#ifdef GC_FREE_SEGMENTS
1328 if (n == seg_size)
1329 {
15e9d186
JB
1330 register long j;
1331
0f2d19dd 1332 scm_heap_size -= seg_size;
cf2d30f6
JB
1333 free ((char *) scm_heap_table[i].bounds[0]);
1334 scm_heap_table[i].bounds[0] = 0;
1335 for (j = i + 1; j < scm_n_heap_segs; j++)
0f2d19dd
JB
1336 scm_heap_table[j - 1] = scm_heap_table[j];
1337 scm_n_heap_segs -= 1;
cf2d30f6 1338 i--; /* We need to scan the segment just moved. */
0f2d19dd
JB
1339 }
1340 else
1341#endif /* ifdef GC_FREE_SEGMENTS */
cf2d30f6
JB
1342 /* Update the real freelist pointer to point to the head of
1343 the list of free cells we've built for this segment. */
0f2d19dd
JB
1344 *hp_freelist = nfreelist;
1345
cf2d30f6
JB
1346#ifdef DEBUG_FREELIST
1347 scm_check_freelist ();
1348 scm_map_free_list ();
1349#endif
1350
0f2d19dd 1351 scm_gc_cells_collected += n;
0f2d19dd
JB
1352 }
1353 /* Scan weak vectors. */
1354 {
1355 SCM *ptr;
1356 for (i = 0; i < scm_n_weak; ++i)
1357 {
1358 if (!SCM_IS_WHVEC_ANY (scm_weak_vectors[i]))
1359 {
15e9d186
JB
1360 register long j, n;
1361
0f2d19dd
JB
1362 ptr = SCM_VELTS (scm_weak_vectors[i]);
1363 n = SCM_LENGTH (scm_weak_vectors[i]);
1364 for (j = 0; j < n; ++j)
1365 if (SCM_NIMP (ptr[j]) && SCM_FREEP (ptr[j]))
1366 ptr[j] = SCM_BOOL_F;
1367 }
1368 else /* if (SCM_IS_WHVEC_ANY (scm_weak_vectors[i])) */
1369 {
15e9d186
JB
1370 SCM obj = scm_weak_vectors[i];
1371 register long n = SCM_LENGTH (scm_weak_vectors[i]);
1372 register long j;
1373
0f2d19dd 1374 ptr = SCM_VELTS (scm_weak_vectors[i]);
15e9d186 1375
0f2d19dd
JB
1376 for (j = 0; j < n; ++j)
1377 {
1378 SCM * fixup;
1379 SCM alist;
1380 int weak_keys;
1381 int weak_values;
1382
1383 weak_keys = SCM_IS_WHVEC (obj) || SCM_IS_WHVEC_B (obj);
1384 weak_values = SCM_IS_WHVEC_V (obj) || SCM_IS_WHVEC_B (obj);
1385
1386 fixup = ptr + j;
1387 alist = *fixup;
1388
1389 while (SCM_NIMP (alist)
1390 && SCM_CONSP (alist)
1391 && SCM_NIMP (SCM_CAR (alist))
1392 && SCM_CONSP (SCM_CAR (alist)))
1393 {
1394 SCM key;
1395 SCM value;
1396
1397 key = SCM_CAAR (alist);
1398 value = SCM_CDAR (alist);
1399 if ( (weak_keys && SCM_NIMP (key) && SCM_FREEP (key))
1400 || (weak_values && SCM_NIMP (value) && SCM_FREEP (value)))
1401 {
1402 *fixup = SCM_CDR (alist);
1403 }
1404 else
24e68a57 1405 fixup = SCM_CDRLOC (alist);
0f2d19dd
JB
1406 alist = SCM_CDR (alist);
1407 }
1408 }
1409 }
1410 }
1411 }
1412 scm_cells_allocated = (scm_heap_size - scm_gc_cells_collected);
1413 scm_mallocated -= m;
1414 scm_gc_malloc_collected = m;
1415}
1416
1417
1418\f
1419
1420/* {Front end to malloc}
1421 *
c68296f8 1422 * scm_must_malloc, scm_must_realloc, scm_must_free, scm_done_malloc
0f2d19dd
JB
1423 *
1424 * These functions provide services comperable to malloc, realloc, and
1425 * free. They are for allocating malloced parts of scheme objects.
1426 * The primary purpose of the front end is to impose calls to gc.
1427 */
1428
1429/* scm_must_malloc
1430 * Return newly malloced storage or throw an error.
1431 *
1432 * The parameter WHAT is a string for error reporting.
1433 * If the threshold scm_mtrigger will be passed by this
1434 * allocation, or if the first call to malloc fails,
1435 * garbage collect -- on the presumption that some objects
1436 * using malloced storage may be collected.
1437 *
1438 * The limit scm_mtrigger may be raised by this allocation.
1439 */
0f2d19dd
JB
1440char *
1441scm_must_malloc (len, what)
15e9d186 1442 scm_sizet len;
3eeba8d4 1443 const char *what;
0f2d19dd
JB
1444{
1445 char *ptr;
1446 scm_sizet size = len;
15e9d186 1447 unsigned long nm = scm_mallocated + size;
0f2d19dd
JB
1448 if (len != size)
1449 malerr:
1450 scm_wta (SCM_MAKINUM (len), (char *) SCM_NALLOC, what);
1451 if ((nm <= scm_mtrigger))
1452 {
1453 SCM_SYSCALL (ptr = (char *) malloc (size));
1454 if (NULL != ptr)
1455 {
1456 scm_mallocated = nm;
1457 return ptr;
1458 }
1459 }
6064dcc6 1460
0f2d19dd
JB
1461 scm_igc (what);
1462 nm = scm_mallocated + size;
1463 SCM_SYSCALL (ptr = (char *) malloc (size));
1464 if (NULL != ptr)
1465 {
1466 scm_mallocated = nm;
6064dcc6
MV
1467 if (nm > scm_mtrigger - SCM_MTRIGGER_HYSTERESIS) {
1468 if (nm > scm_mtrigger)
1469 scm_mtrigger = nm + nm / 2;
1470 else
1471 scm_mtrigger += scm_mtrigger / 2;
1472 }
0f2d19dd
JB
1473 return ptr;
1474 }
1475 goto malerr;
1476}
1477
1478
1479/* scm_must_realloc
1480 * is similar to scm_must_malloc.
1481 */
0f2d19dd 1482char *
15e9d186
JB
1483scm_must_realloc (char *where,
1484 scm_sizet olen,
1485 scm_sizet len,
3eeba8d4 1486 const char *what)
0f2d19dd
JB
1487{
1488 char *ptr;
1489 scm_sizet size = len;
15e9d186 1490 scm_sizet nm = scm_mallocated + size - olen;
0f2d19dd
JB
1491 if (len != size)
1492 ralerr:
1493 scm_wta (SCM_MAKINUM (len), (char *) SCM_NALLOC, what);
1494 if ((nm <= scm_mtrigger))
1495 {
1496 SCM_SYSCALL (ptr = (char *) realloc (where, size));
1497 if (NULL != ptr)
1498 {
1499 scm_mallocated = nm;
1500 return ptr;
1501 }
1502 }
1503 scm_igc (what);
1504 nm = scm_mallocated + size - olen;
1505 SCM_SYSCALL (ptr = (char *) realloc (where, size));
1506 if (NULL != ptr)
1507 {
1508 scm_mallocated = nm;
6064dcc6
MV
1509 if (nm > scm_mtrigger - SCM_MTRIGGER_HYSTERESIS) {
1510 if (nm > scm_mtrigger)
1511 scm_mtrigger = nm + nm / 2;
1512 else
1513 scm_mtrigger += scm_mtrigger / 2;
1514 }
0f2d19dd
JB
1515 return ptr;
1516 }
1517 goto ralerr;
1518}
1519
0f2d19dd
JB
1520void
1521scm_must_free (obj)
1522 char *obj;
0f2d19dd
JB
1523{
1524 if (obj)
1525 free (obj);
1526 else
1527 scm_wta (SCM_INUM0, "already free", "");
1528}
0f2d19dd 1529
c68296f8
MV
1530/* Announce that there has been some malloc done that will be freed
1531 * during gc. A typical use is for a smob that uses some malloced
1532 * memory but can not get it from scm_must_malloc (for whatever
1533 * reason). When a new object of this smob is created you call
1534 * scm_done_malloc with the size of the object. When your smob free
1535 * function is called, be sure to include this size in the return
1536 * value. */
0f2d19dd 1537
c68296f8
MV
1538void
1539scm_done_malloc (size)
1540 long size;
1541{
1542 scm_mallocated += size;
1543
1544 if (scm_mallocated > scm_mtrigger)
1545 {
1546 scm_igc ("foreign mallocs");
1547 if (scm_mallocated > scm_mtrigger - SCM_MTRIGGER_HYSTERESIS)
1548 {
1549 if (scm_mallocated > scm_mtrigger)
1550 scm_mtrigger = scm_mallocated + scm_mallocated / 2;
1551 else
1552 scm_mtrigger += scm_mtrigger / 2;
1553 }
1554 }
1555}
1556
1557
1558\f
0f2d19dd
JB
1559
1560/* {Heap Segments}
1561 *
1562 * Each heap segment is an array of objects of a particular size.
1563 * Every segment has an associated (possibly shared) freelist.
1564 * A table of segment records is kept that records the upper and
1565 * lower extents of the segment; this is used during the conservative
1566 * phase of gc to identify probably gc roots (because they point
c68296f8 1567 * into valid segments at reasonable offsets). */
0f2d19dd
JB
1568
1569/* scm_expmem
1570 * is true if the first segment was smaller than INIT_HEAP_SEG.
1571 * If scm_expmem is set to one, subsequent segment allocations will
1572 * allocate segments of size SCM_EXPHEAP(scm_heap_size).
1573 */
1574int scm_expmem = 0;
1575
1576/* scm_heap_org
1577 * is the lowest base address of any heap segment.
1578 */
1579SCM_CELLPTR scm_heap_org;
1580
1581struct scm_heap_seg_data * scm_heap_table = 0;
1582int scm_n_heap_segs = 0;
1583
1584/* scm_heap_size
1585 * is the total number of cells in heap segments.
1586 */
15e9d186 1587unsigned long scm_heap_size = 0;
0f2d19dd
JB
1588
1589/* init_heap_seg
1590 * initializes a new heap segment and return the number of objects it contains.
1591 *
1592 * The segment origin, segment size in bytes, and the span of objects
1593 * in cells are input parameters. The freelist is both input and output.
1594 *
1595 * This function presume that the scm_heap_table has already been expanded
1596 * to accomodate a new segment record.
1597 */
1598
1599
0f2d19dd
JB
1600static scm_sizet
1601init_heap_seg (seg_org, size, ncells, freelistp)
1602 SCM_CELLPTR seg_org;
1603 scm_sizet size;
1604 int ncells;
1605 SCM *freelistp;
0f2d19dd
JB
1606{
1607 register SCM_CELLPTR ptr;
1608#ifdef SCM_POINTERS_MUNGED
1609 register SCM scmptr;
1610#else
1611#undef scmptr
1612#define scmptr ptr
1613#endif
1614 SCM_CELLPTR seg_end;
15e9d186
JB
1615 int new_seg_index;
1616 int n_new_objects;
0f2d19dd
JB
1617
1618 if (seg_org == NULL)
1619 return 0;
1620
1621 ptr = seg_org;
1622
1623 /* Compute the ceiling on valid object pointers w/in this segment.
1624 */
1625 seg_end = CELL_DN ((char *) ptr + size);
1626
1627 /* Find the right place and insert the segment record.
1628 *
1629 */
1630 for (new_seg_index = 0;
1631 ( (new_seg_index < scm_n_heap_segs)
1632 && SCM_PTR_LE (scm_heap_table[new_seg_index].bounds[0], seg_org));
1633 new_seg_index++)
1634 ;
1635
1636 {
1637 int i;
1638 for (i = scm_n_heap_segs; i > new_seg_index; --i)
1639 scm_heap_table[i] = scm_heap_table[i - 1];
1640 }
1641
1642 ++scm_n_heap_segs;
1643
1644 scm_heap_table[new_seg_index].valid = 0;
1645 scm_heap_table[new_seg_index].ncells = ncells;
1646 scm_heap_table[new_seg_index].freelistp = freelistp;
1647 scm_heap_table[new_seg_index].bounds[0] = (SCM_CELLPTR)ptr;
1648 scm_heap_table[new_seg_index].bounds[1] = (SCM_CELLPTR)seg_end;
1649
1650
1651 /* Compute the least valid object pointer w/in this segment
1652 */
1653 ptr = CELL_UP (ptr);
1654
1655
1656 n_new_objects = seg_end - ptr;
1657
1658 /* Prepend objects in this segment to the freelist.
1659 */
1660 while (ptr < seg_end)
1661 {
1662#ifdef SCM_POINTERS_MUNGED
1663 scmptr = PTR2SCM (ptr);
1664#endif
24e68a57
MD
1665 SCM_SETCAR (scmptr, (SCM) scm_tc_free_cell);
1666 SCM_SETCDR (scmptr, PTR2SCM (ptr + ncells));
0f2d19dd
JB
1667 ptr += ncells;
1668 }
1669
1670 ptr -= ncells;
1671
1672 /* Patch up the last freelist pointer in the segment
1673 * to join it to the input freelist.
1674 */
24e68a57 1675 SCM_SETCDR (PTR2SCM (ptr), *freelistp);
0f2d19dd
JB
1676 *freelistp = PTR2SCM (CELL_UP (seg_org));
1677
1678 scm_heap_size += (ncells * n_new_objects);
1679 return size;
1680#ifdef scmptr
1681#undef scmptr
1682#endif
1683}
1684
1685
0f2d19dd
JB
1686static void
1687alloc_some_heap (ncells, freelistp)
1688 int ncells;
1689 SCM * freelistp;
0f2d19dd
JB
1690{
1691 struct scm_heap_seg_data * tmptable;
1692 SCM_CELLPTR ptr;
1693 scm_sizet len;
1694
1695 /* Critical code sections (such as the garbage collector)
1696 * aren't supposed to add heap segments.
1697 */
1698 if (scm_gc_heap_lock)
1699 scm_wta (SCM_UNDEFINED, "need larger initial", "heap");
1700
1701 /* Expand the heap tables to have room for the new segment.
1702 * Do not yet increment scm_n_heap_segs -- that is done by init_heap_seg
1703 * only if the allocation of the segment itself succeeds.
1704 */
1705 len = (1 + scm_n_heap_segs) * sizeof (struct scm_heap_seg_data);
1706
1707 SCM_SYSCALL (tmptable = ((struct scm_heap_seg_data *)
1708 realloc ((char *)scm_heap_table, len)));
1709 if (!tmptable)
1710 scm_wta (SCM_UNDEFINED, "could not grow", "hplims");
1711 else
1712 scm_heap_table = tmptable;
1713
1714
1715 /* Pick a size for the new heap segment.
1716 * The rule for picking the size of a segment is explained in
1717 * gc.h
1718 */
1719 if (scm_expmem)
1720 {
1721 len = (scm_sizet) (SCM_EXPHEAP (scm_heap_size) * sizeof (scm_cell));
1722 if ((scm_sizet) (SCM_EXPHEAP (scm_heap_size) * sizeof (scm_cell)) != len)
1723 len = 0;
1724 }
1725 else
1726 len = SCM_HEAP_SEG_SIZE;
1727
1728 {
1729 scm_sizet smallest;
1730
1731 smallest = (ncells * sizeof (scm_cell));
1732 if (len < smallest)
1733 len = (ncells * sizeof (scm_cell));
1734
1735 /* Allocate with decaying ambition. */
1736 while ((len >= SCM_MIN_HEAP_SEG_SIZE)
1737 && (len >= smallest))
1738 {
1739 SCM_SYSCALL (ptr = (SCM_CELLPTR) malloc (len));
1740 if (ptr)
1741 {
1742 init_heap_seg (ptr, len, ncells, freelistp);
1743 return;
1744 }
1745 len /= 2;
1746 }
1747 }
1748
1749 scm_wta (SCM_UNDEFINED, "could not grow", "heap");
1750}
1751
1752
1753
1754SCM_PROC (s_unhash_name, "unhash-name", 1, 0, 0, scm_unhash_name);
0f2d19dd
JB
1755SCM
1756scm_unhash_name (name)
1757 SCM name;
0f2d19dd
JB
1758{
1759 int x;
1760 int bound;
1761 SCM_ASSERT (SCM_NIMP (name) && SCM_SYMBOLP (name), name, SCM_ARG1, s_unhash_name);
1762 SCM_DEFER_INTS;
1763 bound = scm_n_heap_segs;
1764 for (x = 0; x < bound; ++x)
1765 {
1766 SCM_CELLPTR p;
1767 SCM_CELLPTR pbound;
1768 p = (SCM_CELLPTR)scm_heap_table[x].bounds[0];
1769 pbound = (SCM_CELLPTR)scm_heap_table[x].bounds[1];
1770 while (p < pbound)
1771 {
1772 SCM incar;
1773 incar = p->car;
1774 if (1 == (7 & (int)incar))
1775 {
1776 --incar;
1777 if ( ((name == SCM_BOOL_T) || (SCM_CAR (incar) == name))
1778 && (SCM_CDR (incar) != 0)
1779 && (SCM_CDR (incar) != 1))
1780 {
1781 p->car = name;
1782 }
1783 }
1784 ++p;
1785 }
1786 }
1787 SCM_ALLOW_INTS;
1788 return name;
1789}
1790
1791
1792\f
1793/* {GC Protection Helper Functions}
1794 */
1795
1796
0f2d19dd
JB
1797void
1798scm_remember (ptr)
1799 SCM * ptr;
0f2d19dd
JB
1800{}
1801
1cc91f1b 1802
0f2d19dd
JB
1803SCM
1804scm_return_first (SCM elt, ...)
0f2d19dd
JB
1805{
1806 return elt;
1807}
1808
1809
0f2d19dd
JB
1810SCM
1811scm_permanent_object (obj)
1812 SCM obj;
0f2d19dd
JB
1813{
1814 SCM_REDEFER_INTS;
1815 scm_permobjs = scm_cons (obj, scm_permobjs);
1816 SCM_REALLOW_INTS;
1817 return obj;
1818}
1819
1820
ef290276
JB
1821/* Protect OBJ from the garbage collector. OBJ will not be freed,
1822 even if all other references are dropped, until someone applies
1823 scm_unprotect_object to it. This function returns OBJ.
1824
dab7f566
JB
1825 Calls to scm_protect_object nest. For every object O, there is a
1826 counter which scm_protect_object(O) increments and
1827 scm_unprotect_object(O) decrements, if it is greater than zero. If
1828 an object's counter is greater than zero, the garbage collector
1829 will not free it.
1830
1831 Of course, that's not how it's implemented. scm_protect_object and
1832 scm_unprotect_object just maintain a list of references to things.
1833 Since the GC knows about this list, all objects it mentions stay
1834 alive. scm_protect_object adds its argument to the list;
1835 scm_unprotect_object removes the first occurrence of its argument
1836 to the list. */
ef290276
JB
1837SCM
1838scm_protect_object (obj)
1839 SCM obj;
1840{
ef290276
JB
1841 scm_protects = scm_cons (obj, scm_protects);
1842
1843 return obj;
1844}
1845
1846
1847/* Remove any protection for OBJ established by a prior call to
dab7f566 1848 scm_protect_object. This function returns OBJ.
ef290276 1849
dab7f566 1850 See scm_protect_object for more information. */
ef290276
JB
1851SCM
1852scm_unprotect_object (obj)
1853 SCM obj;
1854{
dab7f566
JB
1855 SCM *tail_ptr = &scm_protects;
1856
1857 while (SCM_NIMP (*tail_ptr) && SCM_CONSP (*tail_ptr))
1858 if (SCM_CAR (*tail_ptr) == obj)
1859 {
1860 *tail_ptr = SCM_CDR (*tail_ptr);
1861 break;
1862 }
1863 else
1864 tail_ptr = SCM_CDRLOC (*tail_ptr);
ef290276
JB
1865
1866 return obj;
1867}
1868
1869
0f2d19dd 1870\f
0f2d19dd 1871int
15e9d186 1872scm_init_storage (scm_sizet init_heap_size)
0f2d19dd
JB
1873{
1874 scm_sizet j;
1875
1876 j = SCM_NUM_PROTECTS;
1877 while (j)
1878 scm_sys_protects[--j] = SCM_BOOL_F;
1879 scm_block_gc = 1;
1880 scm_freelist = SCM_EOL;
1881 scm_expmem = 0;
1882
1883 j = SCM_HEAP_SEG_SIZE;
1884 scm_mtrigger = SCM_INIT_MALLOC_LIMIT;
1885 scm_heap_table = ((struct scm_heap_seg_data *)
1886 scm_must_malloc (sizeof (struct scm_heap_seg_data), "hplims"));
1887 if (0L == init_heap_size)
1888 init_heap_size = SCM_INIT_HEAP_SIZE;
1889 j = init_heap_size;
1890 if ((init_heap_size != j)
1891 || !init_heap_seg ((SCM_CELLPTR) malloc (j), j, 1, &scm_freelist))
1892 {
1893 j = SCM_HEAP_SEG_SIZE;
1894 if (!init_heap_seg ((SCM_CELLPTR) malloc (j), j, 1, &scm_freelist))
1895 return 1;
1896 }
1897 else
1898 scm_expmem = 1;
1899 scm_heap_org = CELL_UP (scm_heap_table[0].bounds[0]);
1900 /* scm_hplims[0] can change. do not remove scm_heap_org */
0493cd89 1901 if (!(scm_weak_vectors = (SCM *) malloc ((scm_weak_size = 32) * sizeof(SCM))))
0f2d19dd
JB
1902 return 1;
1903
1904 /* Initialise the list of ports. */
1905 scm_port_table = (struct scm_port_table **) malloc ((long) (sizeof (struct scm_port_table)
1906 * scm_port_table_room));
1907 if (!scm_port_table)
1908 return 1;
1909
1910
1911 scm_undefineds = scm_cons (SCM_UNDEFINED, SCM_EOL);
24e68a57 1912 SCM_SETCDR (scm_undefineds, scm_undefineds);
0f2d19dd
JB
1913
1914 scm_listofnull = scm_cons (SCM_EOL, SCM_EOL);
1915 scm_nullstr = scm_makstr (0L, 0);
a8741caa
MD
1916 scm_nullvect = scm_make_vector (SCM_INUM0, SCM_UNDEFINED);
1917 scm_symhash = scm_make_vector ((SCM) SCM_MAKINUM (scm_symhash_dim), SCM_EOL);
4037ac5f 1918 scm_weak_symhash = scm_make_weak_key_hash_table ((SCM) SCM_MAKINUM (scm_symhash_dim));
a8741caa 1919 scm_symhash_vars = scm_make_vector ((SCM) SCM_MAKINUM (scm_symhash_dim), SCM_EOL);
8960e0a0 1920 scm_stand_in_procs = SCM_EOL;
0f2d19dd 1921 scm_permobjs = SCM_EOL;
ef290276 1922 scm_protects = SCM_EOL;
3b2b8760 1923 scm_asyncs = SCM_EOL;
0f2d19dd
JB
1924 scm_sysintern ("most-positive-fixnum", (SCM) SCM_MAKINUM (SCM_MOST_POSITIVE_FIXNUM));
1925 scm_sysintern ("most-negative-fixnum", (SCM) SCM_MAKINUM (SCM_MOST_NEGATIVE_FIXNUM));
1926#ifdef SCM_BIGDIG
1927 scm_sysintern ("bignum-radix", SCM_MAKINUM (SCM_BIGRAD));
1928#endif
1929 return 0;
1930}
1931\f
1932
0f2d19dd
JB
1933void
1934scm_init_gc ()
0f2d19dd
JB
1935{
1936#include "gc.x"
1937}