* benchmark-suite/lib.scm: Fix some typos in the documentation.
[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
c35738c1 6/* Copyright (C) 1995,1996,1998,1999,2000,2001, 2002, 2003 Free Software Foundation, Inc.
a00c95d9 7 *
73be1d9e
MV
8 * This library is free software; you can redistribute it and/or
9 * modify it under the terms of the GNU Lesser General Public
10 * License as published by the Free Software Foundation; either
11 * version 2.1 of the License, or (at your option) any later version.
a00c95d9 12 *
73be1d9e 13 * This library is distributed in the hope that it will be useful,
0f2d19dd 14 * but WITHOUT ANY WARRANTY; without even the implied warranty of
73be1d9e
MV
15 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
16 * Lesser General Public License for more details.
a00c95d9 17 *
73be1d9e
MV
18 * You should have received a copy of the GNU Lesser General Public
19 * License along with this library; if not, write to the Free Software
20 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
21 */
d3a6bc94 22
0f2d19dd
JB
23\f
24
b4309c3c 25#include "libguile/__scm.h"
2549a709 26
9b3e180c
MD
27#include "libguile/hooks.h"
28
ca74704a
RB
29#if SCM_USE_PTHREAD_THREADS
30# include "libguile/pthread-threads.h"
9bc4701c 31#else
ca74704a 32# include "libguile/null-threads.h"
9bc4701c
MD
33#endif
34
0f2d19dd
JB
35\f
36
228a24ef 37typedef struct scm_t_cell
2549a709 38{
92c2555f
MV
39 scm_t_bits word_0;
40 scm_t_bits word_1;
228a24ef 41} scm_t_cell;
2549a709 42
c8a1bdc4
HWN
43/*
44 CARDS
45
46 A card is a small `page' of memory; it will be the unit for lazy
47 sweeping, generations, etc. The first cell of a card contains a
48 pointer to the mark bitvector, so that we can find the bitvector efficiently: we
49 knock off some lowerorder bits.
50
51 The size on a 32 bit machine is 256 cells = 2kb. The card
52*/
2549a709 53
2549a709
DH
54
55
56/* Cray machines have pointers that are incremented once for each word,
57 * rather than each byte, the 3 most significant bits encode the byte
58 * within the word. The following macros deal with this by storing the
59 * native Cray pointers like the ones that looks like scm expects. This
228a24ef 60 * is done for any pointers that might appear in the car of a scm_t_cell,
e618c9a3 61 * pointers to scm_vector elts, functions, &c are not munged.
2549a709
DH
62 */
63#ifdef _UNICOS
c8a1bdc4 64# define SCM2PTR(x) ((scm_t_cell *) (SCM_UNPACK (x) >> 3))
92c2555f 65# define PTR2SCM(x) (SCM_PACK (((scm_t_bits) (x)) << 3))
2549a709 66#else
c8a1bdc4 67# define SCM2PTR(x) ((scm_t_cell *) (SCM_UNPACK (x)))
92c2555f 68# define PTR2SCM(x) (SCM_PACK ((scm_t_bits) (x)))
2549a709
DH
69#endif /* def _UNICOS */
70
c8a1bdc4 71
e618c9a3 72#define SCM_GC_CARD_N_HEADER_CELLS 1
f91f77e6 73#define SCM_GC_CARD_N_CELLS 256
c8a1bdc4 74#define SCM_GC_SIZEOF_CARD SCM_GC_CARD_N_CELLS * sizeof (scm_t_cell)
e618c9a3 75
c8a1bdc4 76#define SCM_GC_CARD_BVEC(card) ((scm_t_c_bvec_long *) ((card)->word_0))
34d19ef6
HWN
77#define SCM_GC_SET_CARD_BVEC(card, bvec) \
78 ((card)->word_0 = (scm_t_bits) (bvec))
34d19ef6
HWN
79
80
c014a02e 81#define SCM_GC_GET_CARD_FLAGS(card) ((long) ((card)->word_1))
322ec19d 82#define SCM_GC_SET_CARD_FLAGS(card, flags) \
92c2555f 83 ((card)->word_1 = (scm_t_bits) (flags))
c8a1bdc4 84#define SCM_GC_CLEAR_CARD_FLAGS(card) (SCM_GC_SET_CARD_FLAGS (card, 0L))
e618c9a3
ML
85
86#define SCM_GC_GET_CARD_FLAG(card, shift) (SCM_GC_GET_CARD_FLAGS (card) & (1L << (shift)))
322ec19d
ML
87#define SCM_GC_SET_CARD_FLAG(card, shift) \
88 (SCM_GC_SET_CARD_FLAGS (card, SCM_GC_GET_CARD_FLAGS(card) | (1L << (shift))))
c8a1bdc4 89#define SCM_GC_CLEAR_CARD_FLAG(card, shift) \
322ec19d 90 (SCM_GC_SET_CARD_FLAGS (card, SCM_GC_GET_CARD_FLAGS(card) & ~(1L << (shift))))
e618c9a3 91
1383773b
HWN
92/*
93 Remove card flags. They hamper lazy initialization, and aren't used
94 anyways.
95 */
e618c9a3
ML
96
97/* card addressing. for efficiency, cards are *always* aligned to
98 SCM_GC_CARD_SIZE. */
99
c8a1bdc4 100#define SCM_GC_CARD_SIZE_MASK (SCM_GC_CARD_N_CELLS * sizeof (scm_t_cell) - 1)
e618c9a3
ML
101#define SCM_GC_CARD_ADDR_MASK (~SCM_GC_CARD_SIZE_MASK)
102
c8a1bdc4 103#define SCM_GC_CELL_CARD(x) ((scm_t_cell *) ((long) (x) & SCM_GC_CARD_ADDR_MASK))
c014a02e 104#define SCM_GC_CELL_OFFSET(x) (((long) (x) & SCM_GC_CARD_SIZE_MASK) >> SCM_CELL_SIZE_SHIFT)
e618c9a3
ML
105#define SCM_GC_CELL_BVEC(x) SCM_GC_CARD_BVEC (SCM_GC_CELL_CARD (x))
106#define SCM_GC_CELL_GET_BIT(x) SCM_C_BVEC_GET (SCM_GC_CELL_BVEC (x), SCM_GC_CELL_OFFSET (x))
107#define SCM_GC_CELL_SET_BIT(x) SCM_C_BVEC_SET (SCM_GC_CELL_BVEC (x), SCM_GC_CELL_OFFSET (x))
c8a1bdc4 108#define SCM_GC_CELL_CLEAR_BIT(x) SCM_C_BVEC_CLEAR (SCM_GC_CELL_BVEC (x), SCM_GC_CELL_OFFSET (x))
e618c9a3 109
c8a1bdc4 110#define SCM_GC_CARD_UP(x) SCM_GC_CELL_CARD ((char *) (x) + SCM_GC_SIZEOF_CARD - 1)
e618c9a3
ML
111#define SCM_GC_CARD_DOWN SCM_GC_CELL_CARD
112
113/* low level bit banging aids */
c8a1bdc4 114typedef unsigned long scm_t_c_bvec_long;
e618c9a3 115
48c046bc 116#if (SCM_SIZEOF_UNSIGNED_LONG == 8)
c8a1bdc4 117# define SCM_C_BVEC_LONG_BITS 64
e618c9a3
ML
118# define SCM_C_BVEC_OFFSET_SHIFT 6
119# define SCM_C_BVEC_POS_MASK 63
120# define SCM_CELL_SIZE_SHIFT 4
121#else
c8a1bdc4 122# define SCM_C_BVEC_LONG_BITS 32
e618c9a3
ML
123# define SCM_C_BVEC_OFFSET_SHIFT 5
124# define SCM_C_BVEC_POS_MASK 31
125# define SCM_CELL_SIZE_SHIFT 3
126#endif
127
128#define SCM_C_BVEC_OFFSET(pos) (pos >> SCM_C_BVEC_OFFSET_SHIFT)
129
130#define SCM_C_BVEC_GET(bvec, pos) (bvec[SCM_C_BVEC_OFFSET (pos)] & (1L << (pos & SCM_C_BVEC_POS_MASK)))
131#define SCM_C_BVEC_SET(bvec, pos) (bvec[SCM_C_BVEC_OFFSET (pos)] |= (1L << (pos & SCM_C_BVEC_POS_MASK)))
c8a1bdc4 132#define SCM_C_BVEC_CLEAR(bvec, pos) (bvec[SCM_C_BVEC_OFFSET (pos)] &= ~(1L << (pos & SCM_C_BVEC_POS_MASK)))
e618c9a3
ML
133
134/* testing and changing GC marks */
c8a1bdc4
HWN
135#define SCM_GC_MARK_P(x) SCM_GC_CELL_GET_BIT (x)
136#define SCM_SET_GC_MARK(x) SCM_GC_CELL_SET_BIT (x)
137#define SCM_CLEAR_GC_MARK(x) SCM_GC_CELL_CLEAR_BIT (x)
1fc8902f
DH
138
139/* Low level cell data accessing macros. These macros should only be used
140 * from within code related to garbage collection issues, since they will
141 * never check the cells they are applied to - not even if guile is compiled
142 * in debug mode. In particular these macros will even work for free cells,
143 * which should never be encountered by user code. */
144
145#define SCM_GC_CELL_WORD(x, n) \
146 (((const scm_t_bits *) SCM2PTR (x)) [n])
147#define SCM_GC_CELL_OBJECT(x, n) \
148 (SCM_PACK (((const scm_t_bits *) SCM2PTR (x)) [n]))
149#define SCM_GC_SET_CELL_WORD(x, n, v) \
150 (((scm_t_bits *) SCM2PTR (x)) [n] = (scm_t_bits) (v))
151#define SCM_GC_SET_CELL_OBJECT(x, n, v) \
c8a1bdc4 152 (((scm_t_bits *) SCM2PTR (x)) [n] = SCM_UNPACK (v))
1fc8902f
DH
153#define SCM_GC_CELL_TYPE(x) SCM_GC_CELL_WORD (x, 0)
154
155
156/* Except for the garbage collector, no part of guile should ever run over a
157 * free cell. Thus, if guile is compiled in debug mode the SCM_CELL_* and
158 * SCM_SET_CELL_* macros below report an error if they are applied to a free
159 * cell. Some other plausibility checks are also performed. However, if
160 * guile is not compiled in debug mode, there won't be any time penalty at all
161 * when using these macros. */
2549a709 162
406c7d90
DH
163#if (SCM_DEBUG_CELL_ACCESSES == 1)
164# define SCM_VALIDATE_CELL(cell, expr) (scm_assert_cell_valid (cell), (expr))
708cb87c 165#else
61045190 166# define SCM_VALIDATE_CELL(cell, expr) (expr)
708cb87c 167#endif
46d53380 168
f706a58b 169#define SCM_CELL_WORD(x, n) \
1fc8902f 170 SCM_VALIDATE_CELL ((x), SCM_GC_CELL_WORD ((x), (n)))
2549a709
DH
171#define SCM_CELL_WORD_0(x) SCM_CELL_WORD (x, 0)
172#define SCM_CELL_WORD_1(x) SCM_CELL_WORD (x, 1)
173#define SCM_CELL_WORD_2(x) SCM_CELL_WORD (x, 2)
174#define SCM_CELL_WORD_3(x) SCM_CELL_WORD (x, 3)
175
f706a58b 176#define SCM_CELL_OBJECT(x, n) \
1fc8902f 177 SCM_VALIDATE_CELL ((x), SCM_GC_CELL_OBJECT ((x), (n)))
2549a709
DH
178#define SCM_CELL_OBJECT_0(x) SCM_CELL_OBJECT (x, 0)
179#define SCM_CELL_OBJECT_1(x) SCM_CELL_OBJECT (x, 1)
180#define SCM_CELL_OBJECT_2(x) SCM_CELL_OBJECT (x, 2)
181#define SCM_CELL_OBJECT_3(x) SCM_CELL_OBJECT (x, 3)
182
f706a58b 183#define SCM_SET_CELL_WORD(x, n, v) \
1fc8902f 184 SCM_VALIDATE_CELL ((x), SCM_GC_SET_CELL_WORD ((x), (n), (v)))
2549a709
DH
185#define SCM_SET_CELL_WORD_0(x, v) SCM_SET_CELL_WORD (x, 0, v)
186#define SCM_SET_CELL_WORD_1(x, v) SCM_SET_CELL_WORD (x, 1, v)
187#define SCM_SET_CELL_WORD_2(x, v) SCM_SET_CELL_WORD (x, 2, v)
188#define SCM_SET_CELL_WORD_3(x, v) SCM_SET_CELL_WORD (x, 3, v)
189
f706a58b 190#define SCM_SET_CELL_OBJECT(x, n, v) \
1fc8902f 191 SCM_VALIDATE_CELL ((x), SCM_GC_SET_CELL_OBJECT ((x), (n), (v)))
2549a709
DH
192#define SCM_SET_CELL_OBJECT_0(x, v) SCM_SET_CELL_OBJECT (x, 0, v)
193#define SCM_SET_CELL_OBJECT_1(x, v) SCM_SET_CELL_OBJECT (x, 1, v)
194#define SCM_SET_CELL_OBJECT_2(x, v) SCM_SET_CELL_OBJECT (x, 2, v)
195#define SCM_SET_CELL_OBJECT_3(x, v) SCM_SET_CELL_OBJECT (x, 3, v)
196
197#define SCM_CELL_TYPE(x) SCM_CELL_WORD_0 (x)
198#define SCM_SET_CELL_TYPE(x, t) SCM_SET_CELL_WORD_0 (x, t)
199
1fc8902f
DH
200/* Freelists consist of linked cells where the type entry holds the value
201 * scm_tc_free_cell and the second entry holds a pointer to the next cell of
202 * the freelist. Due to this structure, freelist cells are not cons cells
203 * and thus may not be accessed using SCM_CAR and SCM_CDR. */
61045190 204
c8a1bdc4
HWN
205/*
206 SCM_FREECELL_P removed ; the semantics are ambiguous with lazy
207 sweeping. Could mean "this cell is no longer in use (will be swept)"
208 or "this cell has just been swept, and is not yet in use".
209 */
210
211#define SCM_FREECELL_P this_macro_has_been_removed_see_gc_header_file
212
1fc8902f
DH
213#define SCM_FREE_CELL_CDR(x) \
214 (SCM_GC_CELL_OBJECT ((x), 1))
215#define SCM_SET_FREE_CELL_CDR(x, v) \
216 (SCM_GC_SET_CELL_OBJECT ((x), 1, (v)))
61045190
DH
217
218
92c2555f 219#define SCM_CELL_WORD_LOC(x, n) ((scm_t_bits *) & SCM_CELL_WORD (x, n))
f706a58b
DH
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
2549a709 224
79e3f9e2 225
61045190 226#if (SCM_DEBUG_CELL_ACCESSES == 1)
eab1b259
HWN
227/* Set this to != 0 if every cell that is accessed shall be checked:
228 */
229SCM_API int scm_debug_cell_accesses_p;
230SCM_API int scm_expensive_debug_cell_accesses_p;
231SCM_API int scm_debug_cells_gc_interval ;
1e71eafb 232void scm_i_expensive_validation_check (SCM cell);
61045190
DH
233#endif
234
33b001fd
MV
235SCM_API int scm_block_gc;
236SCM_API int scm_gc_heap_lock;
237SCM_API unsigned int scm_gc_running_p;
fb50ef08 238extern scm_t_rec_mutex scm_i_sweep_mutex;
0f2d19dd
JB
239\f
240
c8a1bdc4 241#if (SCM_ENABLE_DEPRECATED == 1)
33b001fd
MV
242SCM_API size_t scm_default_init_heap_size_1;
243SCM_API int scm_default_min_yield_1;
244SCM_API size_t scm_default_init_heap_size_2;
245SCM_API int scm_default_min_yield_2;
246SCM_API size_t scm_default_max_segment_size;
c8a1bdc4
HWN
247#else
248#define scm_default_init_heap_size_1 deprecated
249#define scm_default_min_yield_1 deprecated
250#define scm_default_init_heap_size_2 deprecated
251#define scm_default_min_yield_2 deprecated
252#define scm_default_max_segment_size deprecated
253#endif
254
33b001fd
MV
255
256SCM_API size_t scm_max_segment_size;
c8a1bdc4 257
9bc4701c
MD
258#define SCM_FREELIST_CREATE(key) \
259 do { SCM *ls = (SCM *) malloc (sizeof (SCM)); \
260 *ls = SCM_EOL; \
261 scm_setspecific ((key), ls); } while (0)
262#define SCM_FREELIST_LOC(key) ((SCM *) scm_getspecific (key))
263extern scm_t_key scm_i_freelist;
264extern scm_t_key scm_i_freelist2;
eab1b259 265extern struct scm_t_cell_type_statistics scm_i_master_freelist;
eab1b259
HWN
266extern struct scm_t_cell_type_statistics scm_i_master_freelist2;
267
c8a1bdc4
HWN
268
269SCM_API unsigned long scm_gc_cells_swept;
270SCM_API unsigned long scm_gc_cells_collected;
33b001fd 271SCM_API unsigned long scm_gc_cells_collected;
33b001fd
MV
272SCM_API unsigned long scm_gc_malloc_collected;
273SCM_API unsigned long scm_gc_ports_collected;
f2893a25 274SCM_API unsigned long scm_cells_allocated;
c2cbcc57
HWN
275SCM_API int scm_gc_cell_yield_percentage;
276SCM_API int scm_gc_malloc_yield_percentage;
33b001fd
MV
277SCM_API unsigned long scm_mallocated;
278SCM_API unsigned long scm_mtrigger;
279
c8a1bdc4
HWN
280
281
33b001fd
MV
282SCM_API SCM scm_after_gc_hook;
283
284SCM_API scm_t_c_hook scm_before_gc_c_hook;
285SCM_API scm_t_c_hook scm_before_mark_c_hook;
286SCM_API scm_t_c_hook scm_before_sweep_c_hook;
287SCM_API scm_t_c_hook scm_after_sweep_c_hook;
288SCM_API scm_t_c_hook scm_after_gc_c_hook;
9b3e180c 289
bb2c57fa 290#if defined (GUILE_DEBUG) || defined (GUILE_DEBUG_FREELIST)
c8a1bdc4
HWN
291#define scm_map_free_list deprecated
292#define scm_free_list_length deprecated
bb2c57fa 293#endif
c8a1bdc4
HWN
294
295#if (SCM_ENABLE_DEPRECATED == 1) && defined (GUILE_DEBUG_FREELIST)
33b001fd 296SCM_API SCM scm_gc_set_debug_check_freelist_x (SCM flag);
88256b2e 297#endif
0f2d19dd 298\f
0f2d19dd 299
61045190 300#if (SCM_DEBUG_CELL_ACCESSES == 1)
33b001fd 301SCM_API void scm_assert_cell_valid (SCM);
61045190 302#endif
c8a1bdc4
HWN
303
304SCM_API SCM scm_set_debug_cell_accesses_x (SCM flag);
305
306
33b001fd 307SCM_API SCM scm_object_address (SCM obj);
33b001fd
MV
308SCM_API SCM scm_gc_stats (void);
309SCM_API SCM scm_gc (void);
c8a1bdc4
HWN
310SCM_API void scm_gc_for_alloc (struct scm_t_cell_type_statistics *freelist);
311SCM_API SCM scm_gc_for_newcell (struct scm_t_cell_type_statistics *master, SCM *freelist);
33b001fd
MV
312SCM_API void scm_igc (const char *what);
313SCM_API void scm_gc_mark (SCM p);
314SCM_API void scm_gc_mark_dependencies (SCM p);
315SCM_API void scm_mark_locations (SCM_STACKITEM x[], unsigned long n);
c8a1bdc4 316SCM_API int scm_in_heap_p (SCM value);
33b001fd 317SCM_API void scm_gc_sweep (void);
4c9419ac
MV
318
319SCM_API void *scm_malloc (size_t size);
ba1b2226 320SCM_API void *scm_calloc (size_t size);
4c9419ac
MV
321SCM_API void *scm_realloc (void *mem, size_t size);
322SCM_API char *scm_strdup (const char *str);
323SCM_API char *scm_strndup (const char *str, size_t n);
324SCM_API void scm_gc_register_collectable_memory (void *mem, size_t size,
325 const char *what);
326SCM_API void scm_gc_unregister_collectable_memory (void *mem, size_t size,
327 const char *what);
39e8f371 328SCM_API void *scm_gc_calloc (size_t size, const char *what);
4c9419ac
MV
329SCM_API void *scm_gc_malloc (size_t size, const char *what);
330SCM_API void *scm_gc_realloc (void *mem, size_t old_size,
331 size_t new_size, const char *what);
332SCM_API void scm_gc_free (void *mem, size_t size, const char *what);
333SCM_API char *scm_gc_strdup (const char *str, const char *what);
334SCM_API char *scm_gc_strndup (const char *str, size_t n, const char *what);
335
33b001fd
MV
336SCM_API void scm_remember_upto_here_1 (SCM obj);
337SCM_API void scm_remember_upto_here_2 (SCM obj1, SCM obj2);
338SCM_API void scm_remember_upto_here (SCM obj1, ...);
339SCM_API SCM scm_return_first (SCM elt, ...);
340SCM_API int scm_return_first_int (int x, ...);
341SCM_API SCM scm_permanent_object (SCM obj);
342SCM_API SCM scm_gc_protect_object (SCM obj);
343SCM_API SCM scm_gc_unprotect_object (SCM obj);
344SCM_API void scm_gc_register_root (SCM *p);
345SCM_API void scm_gc_unregister_root (SCM *p);
346SCM_API void scm_gc_register_roots (SCM *b, unsigned long n);
347SCM_API void scm_gc_unregister_roots (SCM *b, unsigned long n);
c35738c1 348SCM_API void scm_storage_prehistory (void);
33b001fd
MV
349SCM_API int scm_init_storage (void);
350SCM_API void *scm_get_stack_base (void);
351SCM_API void scm_init_gc (void);
d1ca2c64 352
d678e25c
MV
353#if SCM_ENABLE_DEPRECATED == 1
354
355SCM_API SCM scm_deprecated_newcell (void);
356SCM_API SCM scm_deprecated_newcell2 (void);
357
358#define SCM_NEWCELL(_into) \
359 do { _into = scm_deprecated_newcell (); } while (0)
360#define SCM_NEWCELL2(_into) \
361 do { _into = scm_deprecated_newcell2 (); } while (0)
362
539b08a4
MV
363SCM_API void * scm_must_malloc (size_t len, const char *what);
364SCM_API void * scm_must_realloc (void *where,
365 size_t olen, size_t len,
366 const char *what);
367SCM_API char *scm_must_strdup (const char *str);
368SCM_API char *scm_must_strndup (const char *str, size_t n);
369SCM_API void scm_done_malloc (long size);
370SCM_API void scm_done_free (long size);
371SCM_API void scm_must_free (void *obj);
372
d678e25c
MV
373#endif
374
61045190 375#endif /* SCM_GC_H */
89e00824
ML
376
377/*
378 Local Variables:
379 c-file-style: "gnu"
380 End:
381*/