* Typo fix.
[bpt/guile.git] / libguile / gc.h
CommitLineData
0f2d19dd
JB
1/* classes: h_files */
2
3#ifndef GCH
4#define GCH
16d35552 5/* Copyright (C) 1995, 96, 98, 99, 2000 Free Software Foundation, Inc.
a00c95d9 6 *
0f2d19dd
JB
7 * This program is free software; you can redistribute it and/or modify
8 * it under the terms of the GNU General Public License as published by
9 * the Free Software Foundation; either version 2, or (at your option)
10 * any later version.
a00c95d9 11 *
0f2d19dd
JB
12 * This program is distributed in the hope that it will be useful,
13 * but WITHOUT ANY WARRANTY; without even the implied warranty of
14 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 * GNU General Public License for more details.
a00c95d9 16 *
0f2d19dd
JB
17 * You should have received a copy of the GNU General Public License
18 * along with this software; see the file COPYING. If not, write to
82892bed
JB
19 * the Free Software Foundation, Inc., 59 Temple Place, Suite 330,
20 * Boston, MA 02111-1307 USA
0f2d19dd
JB
21 *
22 * As a special exception, the Free Software Foundation gives permission
23 * for additional uses of the text contained in its release of GUILE.
24 *
25 * The exception is that, if you link the GUILE library with other files
26 * to produce an executable, this does not by itself cause the
27 * resulting executable to be covered by the GNU General Public License.
28 * Your use of that executable is in no way restricted on account of
29 * linking the GUILE library code into it.
30 *
31 * This exception does not however invalidate any other reasons why
32 * the executable file might be covered by the GNU General Public License.
33 *
34 * This exception applies only to the code released by the
35 * Free Software Foundation under the name GUILE. If you copy
36 * code from other Free Software Foundation releases into a copy of
37 * GUILE, as the General Public License permits, the exception does
38 * not apply to the code that you add in this way. To avoid misleading
39 * anyone as to the status of such modified files, you must delete
40 * this exception notice from them.
41 *
42 * If you write modifications of your own for GUILE, it is your choice
43 * whether to permit this exception to apply to your modifications.
82892bed 44 * If you do not wish that, delete this exception notice. */
d3a6bc94
GB
45
46/* Software engineering face-lift by Greg J. Badros, 11-Dec-1999,
47 gjb@cs.washington.edu, http://www.cs.washington.edu/homes/gjb */
0f2d19dd
JB
48\f
49
b4309c3c 50#include "libguile/__scm.h"
2549a709 51
9b3e180c
MD
52#include "libguile/hooks.h"
53
0f2d19dd
JB
54\f
55
2549a709
DH
56typedef struct scm_cell
57{
e828cb75
DH
58 scm_bits_t word_0;
59 scm_bits_t word_1;
2549a709
DH
60} scm_cell;
61
62
63/* SCM_CELLPTR is a pointer to a cons cell which may be compared or
64 * differenced.
65 */
56100716 66typedef scm_cell * SCM_CELLPTR;
2549a709
DH
67
68
69/* Cray machines have pointers that are incremented once for each word,
70 * rather than each byte, the 3 most significant bits encode the byte
71 * within the word. The following macros deal with this by storing the
72 * native Cray pointers like the ones that looks like scm expects. This
73 * is done for any pointers that might appear in the car of a scm_cell,
e618c9a3 74 * pointers to scm_vector elts, functions, &c are not munged.
2549a709
DH
75 */
76#ifdef _UNICOS
076d6063
MD
77# define SCM2PTR(x) ((SCM_CELLPTR) (SCM_UNPACK (x) >> 3))
78# define PTR2SCM(x) (SCM_PACK (((scm_bits_t) (x)) << 3))
2549a709 79#else
076d6063
MD
80# define SCM2PTR(x) ((SCM_CELLPTR) (SCM_UNPACK (x)))
81# define PTR2SCM(x) (SCM_PACK ((scm_bits_t) (x)))
2549a709
DH
82#endif /* def _UNICOS */
83
e618c9a3 84#define SCM_GC_CARD_N_HEADER_CELLS 1
f91f77e6 85#define SCM_GC_CARD_N_CELLS 256
e618c9a3
ML
86
87#define SCM_GC_CARD_SIZE (SCM_GC_CARD_N_CELLS * sizeof (scm_cell))
88#define SCM_GC_CARD_N_DATA_CELLS (SCM_GC_CARD_N_CELLS - SCM_GC_CARD_N_HEADER_CELLS)
89
90#define SCM_GC_CARD_BVEC_SIZE_IN_LIMBS \
91 ((SCM_GC_CARD_N_CELLS + SCM_C_BVEC_LIMB_BITS - 1) / SCM_C_BVEC_LIMB_BITS)
92
93#define SCM_GC_IN_CARD_HEADERP(x) \
94 SCM_PTR_LT ((scm_cell *) (x), SCM_GC_CELL_CARD (x) + SCM_GC_CARD_N_HEADER_CELLS)
95
96#define SCM_GC_CARD_BVEC(card) ((scm_c_bvec_limb_t *) ((card)->word_0))
322ec19d
ML
97#define SCM_GC_SET_CARD_BVEC(card, bvec) \
98 ((card)->word_0 = (scm_bits_t) (bvec))
e618c9a3
ML
99
100#define SCM_GC_GET_CARD_FLAGS(card) ((long) ((card)->word_1))
322ec19d
ML
101#define SCM_GC_SET_CARD_FLAGS(card, flags) \
102 ((card)->word_1 = (scm_bits_t) (flags))
103#define SCM_GC_CLR_CARD_FLAGS(card) (SCM_GC_SET_CARD_FLAGS (card, 0L))
e618c9a3
ML
104
105#define SCM_GC_GET_CARD_FLAG(card, shift) (SCM_GC_GET_CARD_FLAGS (card) & (1L << (shift)))
322ec19d
ML
106#define SCM_GC_SET_CARD_FLAG(card, shift) \
107 (SCM_GC_SET_CARD_FLAGS (card, SCM_GC_GET_CARD_FLAGS(card) | (1L << (shift))))
108#define SCM_GC_CLR_CARD_FLAG(card, shift) \
109 (SCM_GC_SET_CARD_FLAGS (card, SCM_GC_GET_CARD_FLAGS(card) & ~(1L << (shift))))
e618c9a3
ML
110
111#define SCM_GC_CARDF_DOUBLECELL 0
112
113#define SCM_GC_CARD_DOUBLECELLP(card) SCM_GC_GET_CARD_FLAG (card, SCM_GC_CARDF_DOUBLECELL)
114#define SCM_GC_SET_CARD_DOUBLECELL(card) SCM_GC_SET_CARD_FLAG (card, SCM_GC_CARDF_DOUBLECELL)
115
116/* card addressing. for efficiency, cards are *always* aligned to
117 SCM_GC_CARD_SIZE. */
118
119#define SCM_GC_CARD_SIZE_MASK (SCM_GC_CARD_SIZE - 1)
120#define SCM_GC_CARD_ADDR_MASK (~SCM_GC_CARD_SIZE_MASK)
121
122#define SCM_GC_CELL_CARD(x) ((SCM_CELLPTR) ((long) (x) & SCM_GC_CARD_ADDR_MASK))
123#define SCM_GC_CELL_SPAN(x) ((SCM_GC_CARD_DOUBLECELLP (SCM_GC_CELL_CARD (x))) ? 2 : 1)
124#define SCM_GC_CELL_OFFSET(x) (((long) (x) & SCM_GC_CARD_SIZE_MASK) >> SCM_CELL_SIZE_SHIFT)
125#define SCM_GC_CELL_BVEC(x) SCM_GC_CARD_BVEC (SCM_GC_CELL_CARD (x))
126#define SCM_GC_CELL_GET_BIT(x) SCM_C_BVEC_GET (SCM_GC_CELL_BVEC (x), SCM_GC_CELL_OFFSET (x))
127#define SCM_GC_CELL_SET_BIT(x) SCM_C_BVEC_SET (SCM_GC_CELL_BVEC (x), SCM_GC_CELL_OFFSET (x))
128#define SCM_GC_CELL_CLR_BIT(x) SCM_C_BVEC_CLR (SCM_GC_CELL_BVEC (x), SCM_GC_CELL_OFFSET (x))
129
130#define SCM_GC_CARD_UP(x) SCM_GC_CELL_CARD ((char *) (x) + SCM_GC_CARD_SIZE - 1)
131#define SCM_GC_CARD_DOWN SCM_GC_CELL_CARD
132
133/* low level bit banging aids */
134
135typedef unsigned long scm_c_bvec_limb_t;
136
137#if (SIZEOF_LONG == 8)
138# define SCM_C_BVEC_LIMB_BITS 64
139# define SCM_C_BVEC_OFFSET_SHIFT 6
140# define SCM_C_BVEC_POS_MASK 63
141# define SCM_CELL_SIZE_SHIFT 4
142#else
143# define SCM_C_BVEC_LIMB_BITS 32
144# define SCM_C_BVEC_OFFSET_SHIFT 5
145# define SCM_C_BVEC_POS_MASK 31
146# define SCM_CELL_SIZE_SHIFT 3
147#endif
148
149#define SCM_C_BVEC_OFFSET(pos) (pos >> SCM_C_BVEC_OFFSET_SHIFT)
150
151#define SCM_C_BVEC_GET(bvec, pos) (bvec[SCM_C_BVEC_OFFSET (pos)] & (1L << (pos & SCM_C_BVEC_POS_MASK)))
152#define SCM_C_BVEC_SET(bvec, pos) (bvec[SCM_C_BVEC_OFFSET (pos)] |= (1L << (pos & SCM_C_BVEC_POS_MASK)))
153#define SCM_C_BVEC_CLR(bvec, pos) (bvec[SCM_C_BVEC_OFFSET (pos)] &= ~(1L << (pos & SCM_C_BVEC_POS_MASK)))
154
155#define SCM_C_BVEC_BITS2BYTES(bits) \
156 (sizeof (scm_c_bvec_limb_t) * ((((bits) & SCM_C_BVEC_POS_MASK) ? 1L : 0L) + SCM_C_BVEC_OFFSET (bits)))
157
158#define SCM_C_BVEC_SET_BYTES(bvec, bytes) (memset (bvec, 0xff, bytes))
159#define SCM_C_BVEC_SET_ALL_BITS(bvec, bits) SCM_C_BVEC_SET_BYTES (bvec, SCM_C_BVEC_BITS2BYTES (bits))
160
161#define SCM_C_BVEC_CLR_BYTES(bvec, bytes) (memset (bvec, 0, bytes))
162#define SCM_C_BVEC_CLR_ALL_BITS(bvec, bits) SCM_C_BVEC_CLR_BYTES (bvec, SCM_C_BVEC_BITS2BYTES (bits))
163
164/* testing and changing GC marks */
165
166#define SCM_GCMARKP(x) SCM_GC_CELL_GET_BIT (x)
167#define SCM_SETGCMARK(x) SCM_GC_CELL_SET_BIT (x)
168#define SCM_CLRGCMARK(x) SCM_GC_CELL_CLR_BIT (x)
169
2549a709
DH
170/* Low level cell data accessing macros:
171 */
172
406c7d90
DH
173#if (SCM_DEBUG_CELL_ACCESSES == 1)
174# define SCM_VALIDATE_CELL(cell, expr) (scm_assert_cell_valid (cell), (expr))
708cb87c 175#else
406c7d90 176# define SCM_VALIDATE_CELL(cell, expr) expr
708cb87c 177#endif
46d53380 178
f706a58b
DH
179#define SCM_CELL_WORD(x, n) \
180 SCM_VALIDATE_CELL ((x), ((const scm_bits_t *) SCM2PTR (x)) [n])
2549a709
DH
181#define SCM_CELL_WORD_0(x) SCM_CELL_WORD (x, 0)
182#define SCM_CELL_WORD_1(x) SCM_CELL_WORD (x, 1)
183#define SCM_CELL_WORD_2(x) SCM_CELL_WORD (x, 2)
184#define SCM_CELL_WORD_3(x) SCM_CELL_WORD (x, 3)
185
f706a58b
DH
186#define SCM_CELL_OBJECT(x, n) \
187 SCM_VALIDATE_CELL ((x), SCM_PACK (((const scm_bits_t *) SCM2PTR (x)) [n]))
2549a709
DH
188#define SCM_CELL_OBJECT_0(x) SCM_CELL_OBJECT (x, 0)
189#define SCM_CELL_OBJECT_1(x) SCM_CELL_OBJECT (x, 1)
190#define SCM_CELL_OBJECT_2(x) SCM_CELL_OBJECT (x, 2)
191#define SCM_CELL_OBJECT_3(x) SCM_CELL_OBJECT (x, 3)
192
f706a58b
DH
193#define SCM_SET_CELL_WORD(x, n, v) \
194 SCM_VALIDATE_CELL ((x), ((scm_bits_t *) SCM2PTR (x)) [n] = (scm_bits_t) (v))
2549a709
DH
195#define SCM_SET_CELL_WORD_0(x, v) SCM_SET_CELL_WORD (x, 0, v)
196#define SCM_SET_CELL_WORD_1(x, v) SCM_SET_CELL_WORD (x, 1, v)
197#define SCM_SET_CELL_WORD_2(x, v) SCM_SET_CELL_WORD (x, 2, v)
198#define SCM_SET_CELL_WORD_3(x, v) SCM_SET_CELL_WORD (x, 3, v)
199
f706a58b
DH
200#define SCM_SET_CELL_OBJECT(x, n, v) \
201 SCM_VALIDATE_CELL ((x), ((scm_bits_t *) SCM2PTR (x)) [n] = SCM_UNPACK (v))
2549a709
DH
202#define SCM_SET_CELL_OBJECT_0(x, v) SCM_SET_CELL_OBJECT (x, 0, v)
203#define SCM_SET_CELL_OBJECT_1(x, v) SCM_SET_CELL_OBJECT (x, 1, v)
204#define SCM_SET_CELL_OBJECT_2(x, v) SCM_SET_CELL_OBJECT (x, 2, v)
205#define SCM_SET_CELL_OBJECT_3(x, v) SCM_SET_CELL_OBJECT (x, 3, v)
206
207#define SCM_CELL_TYPE(x) SCM_CELL_WORD_0 (x)
208#define SCM_SET_CELL_TYPE(x, t) SCM_SET_CELL_WORD_0 (x, t)
209
e828cb75
DH
210#define SCM_SETAND_CAR(x, y) \
211 (SCM_SETCAR ((x), SCM_PACK (SCM_UNPACK (SCM_CAR (x)) & (y))))
2549a709 212#define SCM_SETAND_CDR(x, y)\
e828cb75 213 (SCM_SETCDR ((x), SCM_PACK (SCM_UNPACK (SCM_CDR (x)) & (y))))
2549a709 214#define SCM_SETOR_CAR(x, y)\
e828cb75 215 (SCM_SETCAR ((x), SCM_PACK (SCM_UNPACK (SCM_CAR (x)) | (y))))
2549a709 216#define SCM_SETOR_CDR(x, y)\
e828cb75 217 (SCM_SETCDR ((x), SCM_PACK (SCM_UNPACK (SCM_CDR (x)) | (y))))
2549a709 218
f706a58b
DH
219#define SCM_CELL_WORD_LOC(x, n) ((scm_bits_t *) & SCM_CELL_WORD (x, n))
220#define SCM_CARLOC(x) ((SCM *) SCM_CELL_WORD_LOC ((x), 0))
221#define SCM_CDRLOC(x) ((SCM *) SCM_CELL_WORD_LOC ((x), 1))
2549a709
DH
222
223
6ba93e5e
DH
224/* SCM_PTR_LT and friends define how to compare two SCM_CELLPTRs (which may
225 * point to cells in different heap segments).
2549a709 226 */
6ba93e5e
DH
227#define SCM_PTR_LT(x, y) ((x) < (y))
228#define SCM_PTR_GT(x, y) (SCM_PTR_LT (y, x))
2549a709
DH
229#define SCM_PTR_LE(x, y) (!SCM_PTR_GT (x, y))
230#define SCM_PTR_GE(x, y) (!SCM_PTR_LT (x, y))
231
232
2d67e390
DH
233/* Freelists consist of linked cells where the type entry holds the value
234 * scm_tc_free_cell and the second entry holds a pointer to the next cell of
235 * the freelist. Due to this structure, freelist cells are not cons cells
236 * and thus may not be accessed using SCM_CAR and SCM_CDR.
237 */
238
3f5d82cd
DH
239#define SCM_FREE_CELL_P(x) \
240 (!SCM_IMP (x) && (* (const scm_bits_t *) SCM2PTR (x) == scm_tc_free_cell))
241#define SCM_FREE_CELL_CDR(x) \
78a3503e 242 (SCM_PACK (((const scm_bits_t *) SCM2PTR (x)) [1]))
3f5d82cd
DH
243#define SCM_SET_FREE_CELL_TYPE(x, v) \
244 (((scm_bits_t *) SCM2PTR (x)) [0] = (v))
245#define SCM_SET_FREE_CELL_CDR(x, v) \
78a3503e 246 (((scm_bits_t *) SCM2PTR (x)) [1] = SCM_UNPACK (v))
3f5d82cd 247
2549a709
DH
248#ifdef GUILE_DEBUG_FREELIST
249#define SCM_NEWCELL(_into) do { _into = scm_debug_newcell (); } while (0)
250#define SCM_NEWCELL2(_into) do { _into = scm_debug_newcell2 (); } while (0)
251#else
2549a709 252/* When we introduce POSIX threads support, every thread will have
3c8018e6 253 a freelist of its own. */
2549a709
DH
254#define SCM_NEWCELL(_into) \
255 do { \
256 if (SCM_IMP (scm_freelist)) \
257 _into = scm_gc_for_newcell (&scm_master_freelist, \
258 &scm_freelist); \
259 else \
260 { \
261 _into = scm_freelist; \
3f5d82cd 262 scm_freelist = SCM_FREE_CELL_CDR (scm_freelist); \
2549a709
DH
263 } \
264 } while(0)
265#define SCM_NEWCELL2(_into) \
266 do { \
267 if (SCM_IMP (scm_freelist2)) \
268 _into = scm_gc_for_newcell (&scm_master_freelist2, \
269 &scm_freelist2); \
270 else \
271 { \
272 _into = scm_freelist2; \
3f5d82cd 273 scm_freelist2 = SCM_FREE_CELL_CDR (scm_freelist2); \
2549a709
DH
274 } \
275 } while(0)
2549a709
DH
276#endif
277
278
e618c9a3 279#define SCM_MARKEDP SCM_GCMARKP
2d67e390 280#define SCM_NMARKEDP(x) (!SCM_MARKEDP (x))
79e3f9e2 281
a00c95d9 282extern struct scm_heap_seg_data_t *scm_heap_table;
0f2d19dd 283extern int scm_n_heap_segs;
0f2d19dd
JB
284extern int scm_block_gc;
285extern int scm_gc_heap_lock;
406c7d90 286extern unsigned int scm_gc_running_p;
0f2d19dd
JB
287\f
288
aeacfc8f
MD
289extern int scm_default_init_heap_size_1;
290extern int scm_default_min_yield_1;
291extern int scm_default_init_heap_size_2;
292extern int scm_default_min_yield_2;
293extern int scm_default_max_segment_size;
294
4c48ba06 295extern scm_sizet scm_max_segment_size;
0f2d19dd 296extern SCM_CELLPTR scm_heap_org;
4a4c9785 297extern SCM scm_freelist;
a00c95d9 298extern struct scm_freelist_t scm_master_freelist;
4a4c9785 299extern SCM scm_freelist2;
a00c95d9 300extern struct scm_freelist_t scm_master_freelist2;
0f2d19dd 301extern unsigned long scm_gc_cells_collected;
8b0d194f 302extern unsigned long scm_gc_yield;
0f2d19dd
JB
303extern unsigned long scm_gc_malloc_collected;
304extern unsigned long scm_gc_ports_collected;
305extern unsigned long scm_cells_allocated;
a5c314c8 306extern long scm_mallocated;
15e9d186 307extern unsigned long scm_mtrigger;
0f2d19dd 308
9b3e180c
MD
309extern SCM scm_after_gc_hook;
310
311extern scm_c_hook_t scm_before_gc_c_hook;
312extern scm_c_hook_t scm_before_mark_c_hook;
313extern scm_c_hook_t scm_before_sweep_c_hook;
314extern scm_c_hook_t scm_after_sweep_c_hook;
315extern scm_c_hook_t scm_after_gc_c_hook;
316
406c7d90
DH
317#if (SCM_DEBUG_CELL_ACCESSES == 1)
318extern void scm_assert_cell_valid (SCM);
319extern unsigned int scm_debug_cell_accesses_p;
320extern SCM scm_set_debug_cell_accesses_x (SCM flag);
321#endif
322
bb2c57fa 323#if defined (GUILE_DEBUG) || defined (GUILE_DEBUG_FREELIST)
25748c78 324extern SCM scm_map_free_list (void);
5384bc5b 325extern SCM scm_free_list_length (void);
bb2c57fa
MD
326#endif
327#ifdef GUILE_DEBUG_FREELIST
f2333166 328extern SCM scm_debug_newcell (void);
16d35552 329extern SCM scm_debug_newcell2 (void);
25748c78 330extern SCM scm_gc_set_debug_check_freelist_x (SCM flag);
88256b2e
JB
331#endif
332
0f2d19dd 333\f
0f2d19dd 334
8163d1e4 335extern SCM scm_object_address (SCM obj);
fe1a46f0
JB
336extern SCM scm_unhash_name (SCM name);
337extern SCM scm_gc_stats (void);
fe1a46f0 338extern SCM scm_gc (void);
a00c95d9 339extern void scm_gc_for_alloc (struct scm_freelist_t *freelist);
a00c95d9 340extern SCM scm_gc_for_newcell (struct scm_freelist_t *master, SCM *freelist);
4c48ba06 341#if 0
a00c95d9 342extern void scm_alloc_cluster (struct scm_freelist_t *master);
4c48ba06 343#endif
3eeba8d4 344extern void scm_igc (const char *what);
fe1a46f0 345extern void scm_gc_mark (SCM p);
56495472 346extern void scm_gc_mark_dependencies (SCM p);
fe1a46f0
JB
347extern void scm_mark_locations (SCM_STACKITEM x[], scm_sizet n);
348extern int scm_cellp (SCM value);
349extern void scm_gc_sweep (void);
07806695
JB
350extern void * scm_must_malloc (scm_sizet len, const char *what);
351extern void * scm_must_realloc (void *where,
fe1a46f0 352 scm_sizet olen, scm_sizet len,
3eeba8d4 353 const char *what);
fe1a46f0 354extern void scm_done_malloc (long size);
9d47a1e6 355extern void scm_done_free (long size);
07806695 356extern void scm_must_free (void *obj);
5d2b97cd
DH
357extern void scm_remember_upto_here_1 (SCM obj);
358extern void scm_remember_upto_here_2 (SCM obj1, SCM obj2);
359extern void scm_remember_upto_here (SCM obj1, ...);
fe1a46f0 360extern SCM scm_return_first (SCM elt, ...);
41b0806d 361extern int scm_return_first_int (int x, ...);
fe1a46f0
JB
362extern SCM scm_permanent_object (SCM obj);
363extern SCM scm_protect_object (SCM obj);
364extern SCM scm_unprotect_object (SCM obj);
85db4a2c 365extern int scm_init_storage (void);
92082045 366extern void *scm_get_stack_base (void);
fe1a46f0 367extern void scm_init_gc (void);
d1ca2c64
DH
368
369\f
370
371#if (SCM_DEBUG_DEPRECATED == 0)
372
373#define SCM_FREEP(x) (SCM_FREE_CELL_P (x))
374#define SCM_NFREEP(x) (!SCM_FREE_CELL_P (x))
fd336365
DH
375#define SCM_GC8MARKP(x) SCM_GCMARKP (x)
376#define SCM_SETGC8MARK(x) SCM_SETGCMARK (x)
377#define SCM_CLRGC8MARK(x) SCM_CLRGCMARK (x)
378#define SCM_GCTYP16(x) SCM_TYP16 (x)
379#define SCM_GCCDR(x) SCM_CDR (x)
5d2b97cd 380extern void scm_remember (SCM * ptr);
d1ca2c64
DH
381
382#endif /* SCM_DEBUG_DEPRECATED == 0 */
383
0f2d19dd 384#endif /* GCH */
89e00824
ML
385
386/*
387 Local Variables:
388 c-file-style: "gnu"
389 End:
390*/