X-Git-Url: http://git.hcoop.net/bpt/guile.git/blobdiff_plain/8f85c0c6c3eb8de857babc08ca6e832e8a497c44..5dbc6c067957e1e854adf09ea654773fef24e4c2:/libguile/gc.h diff --git a/libguile/gc.h b/libguile/gc.h dissimilarity index 64% index 5e2a01ec4..d3c995996 100644 --- a/libguile/gc.h +++ b/libguile/gc.h @@ -1,398 +1,417 @@ -/* classes: h_files */ - -#ifndef SCM_GC_H -#define SCM_GC_H - -/* Copyright (C) 1995,1996,1998,1999,2000,2001 Free Software Foundation, Inc. - * - * This program is free software; you can redistribute it and/or modify - * it under the terms of the GNU General Public License as published by - * the Free Software Foundation; either version 2, or (at your option) - * any later version. - * - * This program is distributed in the hope that it will be useful, - * but WITHOUT ANY WARRANTY; without even the implied warranty of - * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the - * GNU General Public License for more details. - * - * You should have received a copy of the GNU General Public License - * along with this software; see the file COPYING. If not, write to - * the Free Software Foundation, Inc., 59 Temple Place, Suite 330, - * Boston, MA 02111-1307 USA - * - * As a special exception, the Free Software Foundation gives permission - * for additional uses of the text contained in its release of GUILE. - * - * The exception is that, if you link the GUILE library with other files - * to produce an executable, this does not by itself cause the - * resulting executable to be covered by the GNU General Public License. - * Your use of that executable is in no way restricted on account of - * linking the GUILE library code into it. - * - * This exception does not however invalidate any other reasons why - * the executable file might be covered by the GNU General Public License. - * - * This exception applies only to the code released by the - * Free Software Foundation under the name GUILE. If you copy - * code from other Free Software Foundation releases into a copy of - * GUILE, as the General Public License permits, the exception does - * not apply to the code that you add in this way. To avoid misleading - * anyone as to the status of such modified files, you must delete - * this exception notice from them. - * - * If you write modifications of your own for GUILE, it is your choice - * whether to permit this exception to apply to your modifications. - * If you do not wish that, delete this exception notice. */ - - - -#include "libguile/__scm.h" - -#include "libguile/hooks.h" - - - -typedef struct scm_cell -{ - scm_t_bits word_0; - scm_t_bits word_1; -} scm_cell; - - -/* SCM_CELLPTR is a pointer to a cons cell which may be compared or - * differenced. - */ -typedef scm_cell * SCM_CELLPTR; - - -/* Cray machines have pointers that are incremented once for each word, - * rather than each byte, the 3 most significant bits encode the byte - * within the word. The following macros deal with this by storing the - * native Cray pointers like the ones that looks like scm expects. This - * is done for any pointers that might appear in the car of a scm_cell, - * pointers to scm_vector elts, functions, &c are not munged. - */ -#ifdef _UNICOS -# define SCM2PTR(x) ((SCM_CELLPTR) (SCM_UNPACK (x) >> 3)) -# define PTR2SCM(x) (SCM_PACK (((scm_t_bits) (x)) << 3)) -#else -# define SCM2PTR(x) ((SCM_CELLPTR) (SCM_UNPACK (x))) -# define PTR2SCM(x) (SCM_PACK ((scm_t_bits) (x))) -#endif /* def _UNICOS */ - -#define SCM_GC_CARD_N_HEADER_CELLS 1 -#define SCM_GC_CARD_N_CELLS 256 - -#define SCM_GC_CARD_SIZE (SCM_GC_CARD_N_CELLS * sizeof (scm_cell)) -#define SCM_GC_CARD_N_DATA_CELLS (SCM_GC_CARD_N_CELLS - SCM_GC_CARD_N_HEADER_CELLS) - -#define SCM_GC_CARD_BVEC_SIZE_IN_LIMBS \ - ((SCM_GC_CARD_N_CELLS + SCM_C_BVEC_LIMB_BITS - 1) / SCM_C_BVEC_LIMB_BITS) - -#define SCM_GC_IN_CARD_HEADERP(x) \ - SCM_PTR_LT ((scm_cell *) (x), SCM_GC_CELL_CARD (x) + SCM_GC_CARD_N_HEADER_CELLS) - -#define SCM_GC_CARD_BVEC(card) ((scm_t_c_bvec_limb *) ((card)->word_0)) -#define SCM_GC_SET_CARD_BVEC(card, bvec) \ - ((card)->word_0 = (scm_t_bits) (bvec)) - -#define SCM_GC_GET_CARD_FLAGS(card) ((long) ((card)->word_1)) -#define SCM_GC_SET_CARD_FLAGS(card, flags) \ - ((card)->word_1 = (scm_t_bits) (flags)) -#define SCM_GC_CLR_CARD_FLAGS(card) (SCM_GC_SET_CARD_FLAGS (card, 0L)) - -#define SCM_GC_GET_CARD_FLAG(card, shift) (SCM_GC_GET_CARD_FLAGS (card) & (1L << (shift))) -#define SCM_GC_SET_CARD_FLAG(card, shift) \ - (SCM_GC_SET_CARD_FLAGS (card, SCM_GC_GET_CARD_FLAGS(card) | (1L << (shift)))) -#define SCM_GC_CLR_CARD_FLAG(card, shift) \ - (SCM_GC_SET_CARD_FLAGS (card, SCM_GC_GET_CARD_FLAGS(card) & ~(1L << (shift)))) - -#define SCM_GC_CARDF_DOUBLECELL 0 - -#define SCM_GC_CARD_DOUBLECELLP(card) SCM_GC_GET_CARD_FLAG (card, SCM_GC_CARDF_DOUBLECELL) -#define SCM_GC_SET_CARD_DOUBLECELL(card) SCM_GC_SET_CARD_FLAG (card, SCM_GC_CARDF_DOUBLECELL) - -/* card addressing. for efficiency, cards are *always* aligned to - SCM_GC_CARD_SIZE. */ - -#define SCM_GC_CARD_SIZE_MASK (SCM_GC_CARD_SIZE - 1) -#define SCM_GC_CARD_ADDR_MASK (~SCM_GC_CARD_SIZE_MASK) - -#define SCM_GC_CELL_CARD(x) ((SCM_CELLPTR) ((long) (x) & SCM_GC_CARD_ADDR_MASK)) -#define SCM_GC_CELL_SPAN(x) ((SCM_GC_CARD_DOUBLECELLP (SCM_GC_CELL_CARD (x))) ? 2 : 1) -#define SCM_GC_CELL_OFFSET(x) (((long) (x) & SCM_GC_CARD_SIZE_MASK) >> SCM_CELL_SIZE_SHIFT) -#define SCM_GC_CELL_BVEC(x) SCM_GC_CARD_BVEC (SCM_GC_CELL_CARD (x)) -#define SCM_GC_CELL_GET_BIT(x) SCM_C_BVEC_GET (SCM_GC_CELL_BVEC (x), SCM_GC_CELL_OFFSET (x)) -#define SCM_GC_CELL_SET_BIT(x) SCM_C_BVEC_SET (SCM_GC_CELL_BVEC (x), SCM_GC_CELL_OFFSET (x)) -#define SCM_GC_CELL_CLR_BIT(x) SCM_C_BVEC_CLR (SCM_GC_CELL_BVEC (x), SCM_GC_CELL_OFFSET (x)) - -#define SCM_GC_CARD_UP(x) SCM_GC_CELL_CARD ((char *) (x) + SCM_GC_CARD_SIZE - 1) -#define SCM_GC_CARD_DOWN SCM_GC_CELL_CARD - -/* low level bit banging aids */ - -typedef unsigned long scm_t_c_bvec_limb; - -#if (SIZEOF_LONG == 8) -# define SCM_C_BVEC_LIMB_BITS 64 -# define SCM_C_BVEC_OFFSET_SHIFT 6 -# define SCM_C_BVEC_POS_MASK 63 -# define SCM_CELL_SIZE_SHIFT 4 -#else -# define SCM_C_BVEC_LIMB_BITS 32 -# define SCM_C_BVEC_OFFSET_SHIFT 5 -# define SCM_C_BVEC_POS_MASK 31 -# define SCM_CELL_SIZE_SHIFT 3 -#endif - -#define SCM_C_BVEC_OFFSET(pos) (pos >> SCM_C_BVEC_OFFSET_SHIFT) - -#define SCM_C_BVEC_GET(bvec, pos) (bvec[SCM_C_BVEC_OFFSET (pos)] & (1L << (pos & SCM_C_BVEC_POS_MASK))) -#define SCM_C_BVEC_SET(bvec, pos) (bvec[SCM_C_BVEC_OFFSET (pos)] |= (1L << (pos & SCM_C_BVEC_POS_MASK))) -#define SCM_C_BVEC_CLR(bvec, pos) (bvec[SCM_C_BVEC_OFFSET (pos)] &= ~(1L << (pos & SCM_C_BVEC_POS_MASK))) - -#define SCM_C_BVEC_BITS2BYTES(bits) \ - (sizeof (scm_t_c_bvec_limb) * ((((bits) & SCM_C_BVEC_POS_MASK) ? 1L : 0L) + SCM_C_BVEC_OFFSET (bits))) - -#define SCM_C_BVEC_SET_BYTES(bvec, bytes) (memset (bvec, 0xff, bytes)) -#define SCM_C_BVEC_SET_ALL_BITS(bvec, bits) SCM_C_BVEC_SET_BYTES (bvec, SCM_C_BVEC_BITS2BYTES (bits)) - -#define SCM_C_BVEC_CLR_BYTES(bvec, bytes) (memset (bvec, 0, bytes)) -#define SCM_C_BVEC_CLR_ALL_BITS(bvec, bits) SCM_C_BVEC_CLR_BYTES (bvec, SCM_C_BVEC_BITS2BYTES (bits)) - -/* testing and changing GC marks */ - -#define SCM_GCMARKP(x) SCM_GC_CELL_GET_BIT (x) -#define SCM_SETGCMARK(x) SCM_GC_CELL_SET_BIT (x) -#define SCM_CLRGCMARK(x) SCM_GC_CELL_CLR_BIT (x) - -/* Low level cell data accessing macros: - */ - -#if (SCM_DEBUG_CELL_ACCESSES == 1) -# define SCM_VALIDATE_CELL(cell, expr) (scm_assert_cell_valid (cell), (expr)) -#else -# define SCM_VALIDATE_CELL(cell, expr) (expr) -#endif - -#define SCM_CELL_WORD(x, n) \ - SCM_VALIDATE_CELL ((x), ((const scm_t_bits *) SCM2PTR (x)) [n]) -#define SCM_CELL_WORD_0(x) SCM_CELL_WORD (x, 0) -#define SCM_CELL_WORD_1(x) SCM_CELL_WORD (x, 1) -#define SCM_CELL_WORD_2(x) SCM_CELL_WORD (x, 2) -#define SCM_CELL_WORD_3(x) SCM_CELL_WORD (x, 3) - -#define SCM_CELL_OBJECT(x, n) \ - SCM_VALIDATE_CELL ((x), SCM_PACK (((const scm_t_bits *) SCM2PTR (x)) [n])) -#define SCM_CELL_OBJECT_0(x) SCM_CELL_OBJECT (x, 0) -#define SCM_CELL_OBJECT_1(x) SCM_CELL_OBJECT (x, 1) -#define SCM_CELL_OBJECT_2(x) SCM_CELL_OBJECT (x, 2) -#define SCM_CELL_OBJECT_3(x) SCM_CELL_OBJECT (x, 3) - -#define SCM_SET_CELL_WORD(x, n, v) \ - SCM_VALIDATE_CELL ((x), ((scm_t_bits *) SCM2PTR (x)) [n] = (scm_t_bits) (v)) -#define SCM_SET_CELL_WORD_0(x, v) SCM_SET_CELL_WORD (x, 0, v) -#define SCM_SET_CELL_WORD_1(x, v) SCM_SET_CELL_WORD (x, 1, v) -#define SCM_SET_CELL_WORD_2(x, v) SCM_SET_CELL_WORD (x, 2, v) -#define SCM_SET_CELL_WORD_3(x, v) SCM_SET_CELL_WORD (x, 3, v) - -#define SCM_SET_CELL_OBJECT(x, n, v) \ - SCM_VALIDATE_CELL ((x), ((scm_t_bits *) SCM2PTR (x)) [n] = SCM_UNPACK (v)) -#define SCM_SET_CELL_OBJECT_0(x, v) SCM_SET_CELL_OBJECT (x, 0, v) -#define SCM_SET_CELL_OBJECT_1(x, v) SCM_SET_CELL_OBJECT (x, 1, v) -#define SCM_SET_CELL_OBJECT_2(x, v) SCM_SET_CELL_OBJECT (x, 2, v) -#define SCM_SET_CELL_OBJECT_3(x, v) SCM_SET_CELL_OBJECT (x, 3, v) - -#define SCM_CELL_TYPE(x) SCM_CELL_WORD_0 (x) -#define SCM_SET_CELL_TYPE(x, t) SCM_SET_CELL_WORD_0 (x, t) - - -/* Except for the garbage collector, no part of guile should ever run over a - * free cell. Thus, in debug mode the above macros report an error if they - * are applied to a free cell. Since the garbage collector is allowed to - * access free cells, it needs its own way to access cells which will not - * result in errors when in debug mode. */ - -#define SCM_GC_CELL_TYPE(x) \ - (((const scm_t_bits *) SCM2PTR (x)) [0]) - - -#define SCM_CELL_WORD_LOC(x, n) ((scm_t_bits *) & SCM_CELL_WORD (x, n)) -#define SCM_CARLOC(x) ((SCM *) SCM_CELL_WORD_LOC ((x), 0)) -#define SCM_CDRLOC(x) ((SCM *) SCM_CELL_WORD_LOC ((x), 1)) - - -/* SCM_PTR_LT and friends define how to compare two SCM_CELLPTRs (which may - * point to cells in different heap segments). - */ -#define SCM_PTR_LT(x, y) ((x) < (y)) -#define SCM_PTR_GT(x, y) (SCM_PTR_LT (y, x)) -#define SCM_PTR_LE(x, y) (!SCM_PTR_GT (x, y)) -#define SCM_PTR_GE(x, y) (!SCM_PTR_LT (x, y)) - - -/* Freelists consist of linked cells where the type entry holds the value - * scm_tc_free_cell and the second entry holds a pointer to the next cell of - * the freelist. Due to this structure, freelist cells are not cons cells - * and thus may not be accessed using SCM_CAR and SCM_CDR. - */ - -#define SCM_FREE_CELL_P(x) \ - (!SCM_IMP (x) && (* (const scm_t_bits *) SCM2PTR (x) == scm_tc_free_cell)) -#define SCM_FREE_CELL_CDR(x) \ - (SCM_PACK (((const scm_t_bits *) SCM2PTR (x)) [1])) -#define SCM_SET_FREE_CELL_CDR(x, v) \ - (((scm_t_bits *) SCM2PTR (x)) [1] = SCM_UNPACK (v)) - - -#if (SCM_DEBUG_CELL_ACCESSES == 1) -# define SCM_GC_SET_ALLOCATED(x) \ - (((scm_t_bits *) SCM2PTR (x)) [0] = scm_tc16_allocated) -#else -# define SCM_GC_SET_ALLOCATED(x) -#endif - -#ifdef GUILE_DEBUG_FREELIST -#define SCM_NEWCELL(_into) do { _into = scm_debug_newcell (); } while (0) -#define SCM_NEWCELL2(_into) do { _into = scm_debug_newcell2 (); } while (0) -#else -/* When we introduce POSIX threads support, every thread will have - a freelist of its own. */ -#define SCM_NEWCELL(_into) \ - do { \ - if (SCM_NULLP (scm_freelist)) \ - { \ - _into = scm_gc_for_newcell (&scm_master_freelist, \ - &scm_freelist); \ - SCM_GC_SET_ALLOCATED (_into); \ - } \ - else \ - { \ - _into = scm_freelist; \ - scm_freelist = SCM_FREE_CELL_CDR (scm_freelist); \ - SCM_GC_SET_ALLOCATED (_into); \ - } \ - } while(0) -#define SCM_NEWCELL2(_into) \ - do { \ - if (SCM_NULLP (scm_freelist2)) \ - { \ - _into = scm_gc_for_newcell (&scm_master_freelist2, \ - &scm_freelist2); \ - SCM_GC_SET_ALLOCATED (_into); \ - } \ - else \ - { \ - _into = scm_freelist2; \ - scm_freelist2 = SCM_FREE_CELL_CDR (scm_freelist2); \ - SCM_GC_SET_ALLOCATED (_into); \ - } \ - } while(0) -#endif - - -#define SCM_MARKEDP SCM_GCMARKP -#define SCM_NMARKEDP(x) (!SCM_MARKEDP (x)) - -#if (SCM_DEBUG_CELL_ACCESSES == 1) -SCM_API scm_t_bits scm_tc16_allocated; -SCM_API unsigned int scm_debug_cell_accesses_p; -#endif - -SCM_API struct scm_t_heap_seg_data *scm_heap_table; -SCM_API size_t scm_n_heap_segs; -SCM_API int scm_block_gc; -SCM_API int scm_gc_heap_lock; -SCM_API unsigned int scm_gc_running_p; - - -SCM_API size_t scm_default_init_heap_size_1; -SCM_API int scm_default_min_yield_1; -SCM_API size_t scm_default_init_heap_size_2; -SCM_API int scm_default_min_yield_2; -SCM_API size_t scm_default_max_segment_size; - -SCM_API size_t scm_max_segment_size; -SCM_API SCM_CELLPTR scm_heap_org; -SCM_API SCM scm_freelist; -SCM_API struct scm_t_freelist scm_master_freelist; -SCM_API SCM scm_freelist2; -SCM_API struct scm_t_freelist scm_master_freelist2; -SCM_API unsigned long scm_gc_cells_collected; -SCM_API unsigned long scm_gc_yield; -SCM_API unsigned long scm_gc_malloc_collected; -SCM_API unsigned long scm_gc_ports_collected; -SCM_API unsigned long scm_cells_allocated; -SCM_API unsigned long scm_mallocated; -SCM_API unsigned long scm_mtrigger; - -SCM_API SCM scm_after_gc_hook; - -SCM_API scm_t_c_hook scm_before_gc_c_hook; -SCM_API scm_t_c_hook scm_before_mark_c_hook; -SCM_API scm_t_c_hook scm_before_sweep_c_hook; -SCM_API scm_t_c_hook scm_after_sweep_c_hook; -SCM_API scm_t_c_hook scm_after_gc_c_hook; - -#if defined (GUILE_DEBUG) || defined (GUILE_DEBUG_FREELIST) -SCM_API SCM scm_map_free_list (void); -SCM_API SCM scm_free_list_length (void); -#endif -#ifdef GUILE_DEBUG_FREELIST -SCM_API SCM scm_debug_newcell (void); -SCM_API SCM scm_debug_newcell2 (void); -SCM_API SCM scm_gc_set_debug_check_freelist_x (SCM flag); -#endif - - - -#if (SCM_DEBUG_CELL_ACCESSES == 1) -SCM_API void scm_assert_cell_valid (SCM); -SCM_API SCM scm_set_debug_cell_accesses_x (SCM flag); -#endif -SCM_API SCM scm_object_address (SCM obj); -SCM_API SCM scm_gc_stats (void); -SCM_API SCM scm_gc (void); -SCM_API void scm_gc_for_alloc (struct scm_t_freelist *freelist); -SCM_API SCM scm_gc_for_newcell (struct scm_t_freelist *master, SCM *freelist); -#if 0 -SCM_API void scm_alloc_cluster (struct scm_t_freelist *master); -#endif -SCM_API void scm_igc (const char *what); -SCM_API void scm_gc_mark (SCM p); -SCM_API void scm_gc_mark_dependencies (SCM p); -SCM_API void scm_mark_locations (SCM_STACKITEM x[], unsigned long n); -SCM_API int scm_cellp (SCM value); -SCM_API void scm_gc_sweep (void); -SCM_API void * scm_must_malloc (size_t len, const char *what); -SCM_API void * scm_must_realloc (void *where, - size_t olen, size_t len, - const char *what); -SCM_API char *scm_must_strdup (const char *str); -SCM_API char *scm_must_strndup (const char *str, size_t n); -SCM_API void scm_done_malloc (long size); -SCM_API void scm_done_free (long size); -SCM_API void scm_must_free (void *obj); -SCM_API void scm_remember_upto_here_1 (SCM obj); -SCM_API void scm_remember_upto_here_2 (SCM obj1, SCM obj2); -SCM_API void scm_remember_upto_here (SCM obj1, ...); -SCM_API SCM scm_return_first (SCM elt, ...); -SCM_API int scm_return_first_int (int x, ...); -SCM_API SCM scm_permanent_object (SCM obj); -SCM_API SCM scm_gc_protect_object (SCM obj); -SCM_API SCM scm_gc_unprotect_object (SCM obj); -SCM_API void scm_gc_register_root (SCM *p); -SCM_API void scm_gc_unregister_root (SCM *p); -SCM_API void scm_gc_register_roots (SCM *b, unsigned long n); -SCM_API void scm_gc_unregister_roots (SCM *b, unsigned long n); -SCM_API int scm_init_storage (void); -SCM_API void *scm_get_stack_base (void); -SCM_API void scm_init_gc (void); - -#endif /* SCM_GC_H */ - -/* - Local Variables: - c-file-style: "gnu" - End: -*/ +/* classes: h_files */ + +#ifndef SCM_GC_H +#define SCM_GC_H + +/* Copyright (C) 1995,1996,1998,1999,2000,2001, 2002, 2003, 2004, 2006 Free Software Foundation, Inc. + * + * This library is free software; you can redistribute it and/or + * modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation; either + * version 2.1 of the License, or (at your option) any later version. + * + * This library is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU + * Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public + * License along with this library; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA + */ + + + +#include "libguile/__scm.h" + +#include "libguile/hooks.h" +#include "libguile/threads.h" + + + +/* Cell allocation and garbage collection work rouhgly in the + following manner: + + Each thread has a 'freelist', which is a list of available cells. + (It actually has two freelists, one for single cells and one for + double cells. Everything works analogous for double cells.) + + When a thread wants to allocate a cell and the freelist is empty, + it refers to a global list of unswept 'cards'. A card is a small + block of cells that are contigous in memory, together with the + corresponding mark bits. A unswept card is one where the mark bits + are set for cells that have been in use during the last global mark + phase, but the unmarked cells of the card have not been scanned and + freed yet. + + The thread takes one of the unswept cards and sweeps it, thereby + building a new freelist that it then uses. Sweeping a card will + call the smob free functions of unmarked cells, for example, and + thus, these free functions can run at any time, in any thread. + + When there are no more unswept cards available, the thread performs + a global garbage collection. For this, all other threads are + stopped. A global mark is performed and all cards are put into the + global list of unswept cards. Whennecessary, new cards are + allocated and initialized at this time. The other threads are then + started again. +*/ + +typedef struct scm_t_cell +{ + SCM word_0; + SCM word_1; +} scm_t_cell; + +/* + CARDS + + A card is a small `page' of memory; it will be the unit for lazy + sweeping, generations, etc. The first cell of a card contains a + pointer to the mark bitvector, so that we can find the bitvector + efficiently: we knock off some lowerorder bits. + + The size on a 32 bit machine is 256 cells = 2kb. The card [XXX] +*/ + + + +/* Cray machines have pointers that are incremented once for each + * word, rather than each byte, the 3 most significant bits encode the + * byte within the word. The following macros deal with this by + * storing the native Cray pointers like the ones that looks like scm + * expects. This is done for any pointers that point to a cell, + * pointers to scm_vector elts, functions, &c are not munged. + */ +#ifdef _UNICOS +# define SCM2PTR(x) ((scm_t_cell *) (SCM_UNPACK (x) >> 3)) +# define PTR2SCM(x) (SCM_PACK (((scm_t_bits) (x)) << 3)) +#else +# define SCM2PTR(x) ((scm_t_cell *) (SCM_UNPACK (x))) +# define PTR2SCM(x) (SCM_PACK ((scm_t_bits) (x))) +#endif /* def _UNICOS */ + + +#define SCM_GC_CARD_N_HEADER_CELLS 1 +#define SCM_GC_CARD_N_CELLS 256 +#define SCM_GC_SIZEOF_CARD SCM_GC_CARD_N_CELLS * sizeof (scm_t_cell) + +#define SCM_GC_CARD_BVEC(card) ((scm_t_c_bvec_long *) ((card)->word_0)) +#define SCM_GC_SET_CARD_BVEC(card, bvec) \ + ((card)->word_0 = (SCM) (bvec)) +#define SCM_GC_GET_CARD_FLAGS(card) ((long) ((card)->word_1)) +#define SCM_GC_SET_CARD_FLAGS(card, flags) \ + ((card)->word_1 = (SCM) (flags)) + +#define SCM_GC_GET_CARD_FLAG(card, shift) \ + (SCM_GC_GET_CARD_FLAGS (card) & (1L << (shift))) +#define SCM_GC_SET_CARD_FLAG(card, shift) \ + (SCM_GC_SET_CARD_FLAGS (card, SCM_GC_GET_CARD_FLAGS(card) | (1L << (shift)))) +#define SCM_GC_CLEAR_CARD_FLAG(card, shift) \ + (SCM_GC_SET_CARD_FLAGS (card, SCM_GC_GET_CARD_FLAGS(card) & ~(1L << (shift)))) + +/* + Remove card flags. They hamper lazy initialization, and aren't used + anyways. + */ + +/* card addressing. for efficiency, cards are *always* aligned to + SCM_GC_CARD_SIZE. */ + +#define SCM_GC_CARD_SIZE_MASK (SCM_GC_SIZEOF_CARD-1) +#define SCM_GC_CARD_ADDR_MASK (~SCM_GC_CARD_SIZE_MASK) + +#define SCM_GC_CELL_CARD(x) ((scm_t_cell *) ((long) (x) & SCM_GC_CARD_ADDR_MASK)) +#define SCM_GC_CELL_OFFSET(x) (((long) (x) & SCM_GC_CARD_SIZE_MASK) >> SCM_CELL_SIZE_SHIFT) +#define SCM_GC_CELL_BVEC(x) SCM_GC_CARD_BVEC (SCM_GC_CELL_CARD (x)) +#define SCM_GC_SET_CELL_BVEC(x, bvec) SCM_GC_SET_CARD_BVEC (SCM_GC_CELL_CARD (x), bvec) +#define SCM_GC_CELL_GET_BIT(x) SCM_C_BVEC_GET (SCM_GC_CELL_BVEC (x), SCM_GC_CELL_OFFSET (x)) +#define SCM_GC_CELL_SET_BIT(x) SCM_C_BVEC_SET (SCM_GC_CELL_BVEC (x), SCM_GC_CELL_OFFSET (x)) +#define SCM_GC_CELL_CLEAR_BIT(x) SCM_C_BVEC_CLEAR (SCM_GC_CELL_BVEC (x), SCM_GC_CELL_OFFSET (x)) + +#define SCM_GC_CARD_UP(x) SCM_GC_CELL_CARD ((char *) (x) + SCM_GC_SIZEOF_CARD - 1) +#define SCM_GC_CARD_DOWN SCM_GC_CELL_CARD + +/* low level bit banging aids */ +typedef unsigned long scm_t_c_bvec_long; + +#if (SCM_SIZEOF_UNSIGNED_LONG == 8) +# define SCM_C_BVEC_LONG_BITS 64 +# define SCM_C_BVEC_OFFSET_SHIFT 6 +# define SCM_C_BVEC_POS_MASK 63 +# define SCM_CELL_SIZE_SHIFT 4 +#else +# define SCM_C_BVEC_LONG_BITS 32 +# define SCM_C_BVEC_OFFSET_SHIFT 5 +# define SCM_C_BVEC_POS_MASK 31 +# define SCM_CELL_SIZE_SHIFT 3 +#endif + +#define SCM_C_BVEC_OFFSET(pos) (pos >> SCM_C_BVEC_OFFSET_SHIFT) + +#define SCM_C_BVEC_GET(bvec, pos) (bvec[SCM_C_BVEC_OFFSET (pos)] & (1L << (pos & SCM_C_BVEC_POS_MASK))) +#define SCM_C_BVEC_SET(bvec, pos) (bvec[SCM_C_BVEC_OFFSET (pos)] |= (1L << (pos & SCM_C_BVEC_POS_MASK))) +#define SCM_C_BVEC_CLEAR(bvec, pos) (bvec[SCM_C_BVEC_OFFSET (pos)] &= ~(1L << (pos & SCM_C_BVEC_POS_MASK))) + +/* testing and changing GC marks */ +#define SCM_GC_MARK_P(x) SCM_GC_CELL_GET_BIT (x) +#define SCM_SET_GC_MARK(x) SCM_GC_CELL_SET_BIT (x) +#define SCM_CLEAR_GC_MARK(x) SCM_GC_CELL_CLEAR_BIT (x) + +/* Low level cell data accessing macros. These macros should only be used + * from within code related to garbage collection issues, since they will + * never check the cells they are applied to - not even if guile is compiled + * in debug mode. In particular these macros will even work for free cells, + * which should never be encountered by user code. */ + +#define SCM_GC_CELL_OBJECT(x, n) (((SCM *)SCM2PTR (x)) [n]) +#define SCM_GC_CELL_WORD(x, n) (SCM_UNPACK (SCM_GC_CELL_OBJECT ((x), (n)))) + +#define SCM_GC_SET_CELL_OBJECT(x, n, v) ((((SCM *)SCM2PTR (x)) [n]) = (v)) +#define SCM_GC_SET_CELL_WORD(x, n, v) \ + (SCM_GC_SET_CELL_OBJECT ((x), (n), SCM_PACK (v))) + +#define SCM_GC_CELL_TYPE(x) (SCM_GC_CELL_OBJECT ((x), 0)) + + +/* Except for the garbage collector, no part of guile should ever run over a + * free cell. Thus, if guile is compiled in debug mode the SCM_CELL_* and + * SCM_SET_CELL_* macros below report an error if they are applied to a free + * cell. Some other plausibility checks are also performed. However, if + * guile is not compiled in debug mode, there won't be any time penalty at all + * when using these macros. */ + +#if (SCM_DEBUG_CELL_ACCESSES == 1) +# define SCM_VALIDATE_CELL(cell, expr) (scm_assert_cell_valid (cell), (expr)) +#else +# define SCM_VALIDATE_CELL(cell, expr) (expr) +#endif + +#define SCM_CELL_WORD(x, n) \ + SCM_VALIDATE_CELL ((x), SCM_GC_CELL_WORD ((x), (n))) +#define SCM_CELL_WORD_0(x) SCM_CELL_WORD ((x), 0) +#define SCM_CELL_WORD_1(x) SCM_CELL_WORD ((x), 1) +#define SCM_CELL_WORD_2(x) SCM_CELL_WORD ((x), 2) +#define SCM_CELL_WORD_3(x) SCM_CELL_WORD ((x), 3) + +#define SCM_CELL_OBJECT(x, n) \ + SCM_VALIDATE_CELL ((x), SCM_GC_CELL_OBJECT ((x), (n))) +#define SCM_CELL_OBJECT_0(x) SCM_CELL_OBJECT ((x), 0) +#define SCM_CELL_OBJECT_1(x) SCM_CELL_OBJECT ((x), 1) +#define SCM_CELL_OBJECT_2(x) SCM_CELL_OBJECT ((x), 2) +#define SCM_CELL_OBJECT_3(x) SCM_CELL_OBJECT ((x), 3) + +#define SCM_SET_CELL_WORD(x, n, v) \ + SCM_VALIDATE_CELL ((x), SCM_GC_SET_CELL_WORD ((x), (n), (v))) +#define SCM_SET_CELL_WORD_0(x, v) SCM_SET_CELL_WORD ((x), 0, (v)) +#define SCM_SET_CELL_WORD_1(x, v) SCM_SET_CELL_WORD ((x), 1, (v)) +#define SCM_SET_CELL_WORD_2(x, v) SCM_SET_CELL_WORD ((x), 2, (v)) +#define SCM_SET_CELL_WORD_3(x, v) SCM_SET_CELL_WORD ((x), 3, (v)) + +#define SCM_SET_CELL_OBJECT(x, n, v) \ + SCM_VALIDATE_CELL ((x), SCM_GC_SET_CELL_OBJECT ((x), (n), (v))) +#define SCM_SET_CELL_OBJECT_0(x, v) SCM_SET_CELL_OBJECT ((x), 0, (v)) +#define SCM_SET_CELL_OBJECT_1(x, v) SCM_SET_CELL_OBJECT ((x), 1, (v)) +#define SCM_SET_CELL_OBJECT_2(x, v) SCM_SET_CELL_OBJECT ((x), 2, (v)) +#define SCM_SET_CELL_OBJECT_3(x, v) SCM_SET_CELL_OBJECT ((x), 3, (v)) + +#define SCM_CELL_OBJECT_LOC(x, n) (SCM_VALIDATE_CELL((x), &SCM_GC_CELL_OBJECT ((x), (n)))) +#define SCM_CARLOC(x) (SCM_CELL_OBJECT_LOC ((x), 0)) +#define SCM_CDRLOC(x) (SCM_CELL_OBJECT_LOC ((x), 1)) + +#define SCM_CELL_TYPE(x) SCM_CELL_WORD_0 (x) +#define SCM_SET_CELL_TYPE(x, t) SCM_SET_CELL_WORD_0 ((x), (t)) + +/* Freelists consist of linked cells where the type entry holds the value + * scm_tc_free_cell and the second entry holds a pointer to the next cell of + * the freelist. Due to this structure, freelist cells are not cons cells + * and thus may not be accessed using SCM_CAR and SCM_CDR. */ + +#define SCM_FREE_CELL_CDR(x) \ + (SCM_GC_CELL_OBJECT ((x), 1)) +#define SCM_SET_FREE_CELL_CDR(x, v) \ + (SCM_GC_SET_CELL_OBJECT ((x), 1, (v))) + +#if (SCM_DEBUG_CELL_ACCESSES == 1) +/* Set this to != 0 if every cell that is accessed shall be checked: + */ +SCM_API int scm_debug_cell_accesses_p; +SCM_API int scm_expensive_debug_cell_accesses_p; +SCM_API int scm_debug_cells_gc_interval ; +void scm_i_expensive_validation_check (SCM cell); +#endif + +SCM_API scm_i_pthread_mutex_t scm_i_gc_admin_mutex; + +#define scm_gc_running_p (SCM_I_CURRENT_THREAD->gc_running_p) +SCM_API scm_i_pthread_mutex_t scm_i_sweep_mutex; + +#ifdef __ia64__ +void *scm_ia64_register_backing_store_base (void); +void *scm_ia64_ar_bsp (const void *); +#endif + + + +#if (SCM_ENABLE_DEPRECATED == 1) +SCM_API size_t scm_default_init_heap_size_1; +SCM_API int scm_default_min_yield_1; +SCM_API size_t scm_default_init_heap_size_2; +SCM_API int scm_default_min_yield_2; +SCM_API size_t scm_default_max_segment_size; +#else +#define scm_default_init_heap_size_1 deprecated +#define scm_default_min_yield_1 deprecated +#define scm_default_init_heap_size_2 deprecated +#define scm_default_min_yield_2 deprecated +#define scm_default_max_segment_size deprecated +#endif + + +SCM_API size_t scm_max_segment_size; + +#define SCM_SET_FREELIST_LOC(key,ptr) scm_i_pthread_setspecific ((key), (ptr)) +#define SCM_FREELIST_LOC(key) ((SCM *) scm_i_pthread_getspecific (key)) +SCM_API scm_i_pthread_key_t scm_i_freelist; +SCM_API scm_i_pthread_key_t scm_i_freelist2; +SCM_API struct scm_t_cell_type_statistics scm_i_master_freelist; +SCM_API struct scm_t_cell_type_statistics scm_i_master_freelist2; + +SCM_API unsigned long scm_gc_malloc_collected; +SCM_API unsigned long scm_cells_allocated; +SCM_API int scm_gc_malloc_yield_percentage; +SCM_API unsigned long scm_mallocated; +SCM_API unsigned long scm_mtrigger; + + + +SCM_API SCM scm_after_gc_hook; + +SCM_API scm_t_c_hook scm_before_gc_c_hook; +SCM_API scm_t_c_hook scm_before_mark_c_hook; +SCM_API scm_t_c_hook scm_before_sweep_c_hook; +SCM_API scm_t_c_hook scm_after_sweep_c_hook; +SCM_API scm_t_c_hook scm_after_gc_c_hook; + +#if defined (GUILE_DEBUG) || defined (GUILE_DEBUG_FREELIST) +#if (SCM_ENABLE_DEPRECATED == 1) +SCM scm_map_free_list (void); +#else +#define scm_map_free_list deprecated +#define scm_free_list_length deprecated +#endif +#endif + +#if (SCM_ENABLE_DEPRECATED == 1) && defined (GUILE_DEBUG_FREELIST) +SCM_API SCM scm_gc_set_debug_check_freelist_x (SCM flag); +#endif + + +#if (SCM_DEBUG_CELL_ACCESSES == 1) +SCM_API void scm_assert_cell_valid (SCM); +#endif + +SCM_API SCM scm_set_debug_cell_accesses_x (SCM flag); + + +SCM_API SCM scm_object_address (SCM obj); +SCM_API SCM scm_gc_stats (void); +SCM_API SCM scm_gc_live_object_stats (void); +SCM_API SCM scm_gc (void); +SCM_API void scm_gc_for_alloc (struct scm_t_cell_type_statistics *freelist); +SCM_API SCM scm_gc_for_newcell (struct scm_t_cell_type_statistics *master, SCM *freelist); +SCM_API void scm_i_gc (const char *what); +SCM_API void scm_gc_mark (SCM p); +SCM_API void scm_gc_mark_dependencies (SCM p); +SCM_API void scm_mark_locations (SCM_STACKITEM x[], unsigned long n); +SCM_API int scm_in_heap_p (SCM value); +SCM_API void scm_gc_sweep (void); + +SCM_API void *scm_malloc (size_t size); +SCM_API void *scm_calloc (size_t size); +SCM_API void *scm_realloc (void *mem, size_t size); +SCM_API char *scm_strdup (const char *str); +SCM_API char *scm_strndup (const char *str, size_t n); +SCM_API void scm_gc_register_collectable_memory (void *mem, size_t size, + const char *what); +SCM_API void scm_gc_unregister_collectable_memory (void *mem, size_t size, + const char *what); +SCM_API void *scm_gc_calloc (size_t size, const char *what); +SCM_API void *scm_gc_malloc (size_t size, const char *what); +SCM_API void *scm_gc_realloc (void *mem, size_t old_size, + size_t new_size, const char *what); +SCM_API void scm_gc_free (void *mem, size_t size, const char *what); +SCM_API char *scm_gc_strdup (const char *str, const char *what); +SCM_API char *scm_gc_strndup (const char *str, size_t n, const char *what); + +SCM_API void scm_remember_upto_here_1 (SCM obj); +SCM_API void scm_remember_upto_here_2 (SCM obj1, SCM obj2); +SCM_API void scm_remember_upto_here (SCM obj1, ...); + +/* In GCC we can force a reference to an SCM by making it an input to an + empty asm. This avoids the code size and slowdown of an actual function + call. Unfortunately there doesn't seem to be any way to do the varargs + scm_remember_upto_here like this. + + __volatile__ ensures nothing will be moved across the asm, and it won't + be optimized away (or only if proved unreachable). Constraint "g" can be + used on all processors and allows any memory or general register (or + immediate) operand. The actual asm syntax doesn't matter, we don't want + to use it, just ensure the operand is still alive. See "Extended Asm" in + the GCC manual for more. */ + +#ifdef __GNUC__ +#define scm_remember_upto_here_1(x) \ + do { \ + __asm__ __volatile__ ("" : : "g" (x)); \ + } while (0) +#define scm_remember_upto_here_2(x, y) \ + do { \ + scm_remember_upto_here_1 (x); \ + scm_remember_upto_here_1 (y); \ + } while (0) +#endif + +SCM_API SCM scm_return_first (SCM elt, ...); +SCM_API int scm_return_first_int (int x, ...); +SCM_API SCM scm_permanent_object (SCM obj); +SCM_API SCM scm_gc_protect_object (SCM obj); +SCM_API SCM scm_gc_unprotect_object (SCM obj); +SCM_API void scm_gc_register_root (SCM *p); +SCM_API void scm_gc_unregister_root (SCM *p); +SCM_API void scm_gc_register_roots (SCM *b, unsigned long n); +SCM_API void scm_gc_unregister_roots (SCM *b, unsigned long n); +SCM_API void scm_storage_prehistory (void); +SCM_API int scm_init_storage (void); +SCM_API void *scm_get_stack_base (void); +SCM_API void scm_init_gc (void); + +#if SCM_ENABLE_DEPRECATED == 1 + +SCM_API SCM scm_deprecated_newcell (void); +SCM_API SCM scm_deprecated_newcell2 (void); + +#define SCM_NEWCELL(_into) \ + do { _into = scm_deprecated_newcell (); } while (0) +#define SCM_NEWCELL2(_into) \ + do { _into = scm_deprecated_newcell2 (); } while (0) + +SCM_API void * scm_must_malloc (size_t len, const char *what); +SCM_API void * scm_must_realloc (void *where, + size_t olen, size_t len, + const char *what); +SCM_API char *scm_must_strdup (const char *str); +SCM_API char *scm_must_strndup (const char *str, size_t n); +SCM_API void scm_done_malloc (long size); +SCM_API void scm_done_free (long size); +SCM_API void scm_must_free (void *obj); + +#endif + +#endif /* SCM_GC_H */ + +/* + Local Variables: + c-file-style: "gnu" + End: +*/