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