123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493 |
- #ifdef HAVE_CONFIG_H
- # include <config.h>
- #endif
- #include <stdio.h>
- #include <stdlib.h>
- #include <errno.h>
- #include "libguile/_scm.h"
- #include "libguile/async.h"
- #include "libguile/goops.h"
- #include "libguile/instructions.h"
- #include "libguile/programs.h"
- #include "libguile/smob.h"
- #include "libguile/bdw-gc.h"
- #include <gc/gc_mark.h>
- #define MAX_SMOB_COUNT SCM_I_MAX_SMOB_TYPE_COUNT
- long scm_numsmob;
- scm_smob_descriptor scm_smobs[MAX_SMOB_COUNT];
- void
- scm_assert_smob_type (scm_t_bits tag, SCM val)
- {
- if (!SCM_SMOB_PREDICATE (tag, val))
- scm_wrong_type_arg_msg (NULL, 0, val, scm_smobs[SCM_TC2SMOBNUM(tag)].name);
- }
- SCM
- scm_mark0 (SCM ptr SCM_UNUSED)
- {
- return SCM_BOOL_F;
- }
- SCM
- scm_markcdr (SCM ptr)
- {
- return SCM_CELL_OBJECT_1 (ptr);
- }
- size_t
- scm_free0 (SCM ptr SCM_UNUSED)
- {
- return 0;
- }
- int
- scm_smob_print (SCM exp, SCM port, scm_print_state *pstate SCM_UNUSED)
- {
- long n = SCM_SMOBNUM (exp);
- scm_puts_unlocked ("#<", port);
- scm_puts_unlocked (SCM_SMOBNAME (n) ? SCM_SMOBNAME (n) : "smob", port);
- scm_putc_unlocked (' ', port);
- if (scm_smobs[n].size)
- scm_uintprint (SCM_CELL_WORD_1 (exp), 16, port);
- else
- scm_uintprint (SCM_UNPACK (exp), 16, port);
- scm_putc_unlocked ('>', port);
- return 1;
- }
- static SCM scm_smob_trampolines[16];
-
- #define SCM_SMOB_TRAMPOLINE(nreq,nopt,rest) \
- scm_smob_trampolines[(nreq + nopt + rest) * (nreq + nopt + rest) \
- + nopt + rest * (nreq + nopt + rest + 1)]
- static SCM
- apply_0 (SCM smob)
- {
- SCM (*subr)() = SCM_SMOB_DESCRIPTOR (smob).apply;
- return subr (smob);
- }
- static SCM
- apply_1 (SCM smob, SCM a)
- {
- SCM (*subr)() = SCM_SMOB_DESCRIPTOR (smob).apply;
- return subr (smob, a);
- }
- static SCM
- apply_2 (SCM smob, SCM a, SCM b)
- {
- SCM (*subr)() = SCM_SMOB_DESCRIPTOR (smob).apply;
- return subr (smob, a, b);
- }
- static SCM
- apply_3 (SCM smob, SCM a, SCM b, SCM c)
- {
- SCM (*subr)() = SCM_SMOB_DESCRIPTOR (smob).apply;
- return subr (smob, a, b, c);
- }
- static SCM
- scm_smob_trampoline (unsigned int nreq, unsigned int nopt,
- unsigned int rest)
- {
- SCM trampoline;
- if (SCM_UNLIKELY (rest > 1 || nreq + nopt + rest > 3))
- scm_out_of_range ("make-smob", scm_from_uint (nreq + nopt + rest));
-
- trampoline = SCM_SMOB_TRAMPOLINE (nreq, nopt, rest);
- if (SCM_LIKELY (SCM_UNPACK (trampoline)))
- return trampoline;
- switch (nreq + nopt + rest)
- {
-
- case 0:
- trampoline = scm_c_make_gsubr ("apply-smob/0", nreq + 1, nopt, rest,
- apply_0);
- break;
- case 1:
- trampoline = scm_c_make_gsubr ("apply-smob/1", nreq + 1, nopt, rest,
- apply_1);
- break;
- case 2:
- trampoline = scm_c_make_gsubr ("apply-smob/2", nreq + 1, nopt, rest,
- apply_2);
- break;
- case 3:
- trampoline = scm_c_make_gsubr ("apply-smob/3", nreq + 1, nopt, rest,
- apply_3);
- break;
- default:
- abort ();
- }
- SCM_SMOB_TRAMPOLINE (nreq, nopt, rest) = trampoline;
- return trampoline;
- }
- scm_t_bits
- scm_make_smob_type (char const *name, size_t size)
- #define FUNC_NAME "scm_make_smob_type"
- {
- long new_smob;
- scm_i_pthread_mutex_lock (&scm_i_misc_mutex);
- new_smob = scm_numsmob;
- if (scm_numsmob != MAX_SMOB_COUNT)
- ++scm_numsmob;
- scm_i_pthread_mutex_unlock (&scm_i_misc_mutex);
- if (new_smob == MAX_SMOB_COUNT)
- scm_misc_error (FUNC_NAME, "maximum number of smobs exceeded", SCM_EOL);
- scm_smobs[new_smob].name = name;
- scm_smobs[new_smob].size = size;
-
- if (SCM_UNPACK (scm_i_smob_class[0]) != 0)
- scm_i_smob_class[new_smob] = scm_make_extended_class (name, 0);
- return scm_tc7_smob + new_smob * 256;
- }
- #undef FUNC_NAME
- void
- scm_set_smob_mark (scm_t_bits tc, SCM (*mark) (SCM))
- {
- scm_smobs[SCM_TC2SMOBNUM (tc)].mark = mark;
- }
- void
- scm_set_smob_free (scm_t_bits tc, size_t (*free) (SCM))
- {
- scm_smobs[SCM_TC2SMOBNUM (tc)].free = free;
- }
- void
- scm_set_smob_print (scm_t_bits tc, int (*print) (SCM, SCM, scm_print_state*))
- {
- scm_smobs[SCM_TC2SMOBNUM (tc)].print = print;
- }
- void
- scm_set_smob_equalp (scm_t_bits tc, SCM (*equalp) (SCM, SCM))
- {
- scm_smobs[SCM_TC2SMOBNUM (tc)].equalp = equalp;
- }
- void
- scm_set_smob_apply (scm_t_bits tc, SCM (*apply) (),
- unsigned int req, unsigned int opt, unsigned int rst)
- {
- SCM trampoline = scm_smob_trampoline (req, opt, rst);
- scm_smobs[SCM_TC2SMOBNUM (tc)].apply = apply;
- scm_smobs[SCM_TC2SMOBNUM (tc)].apply_trampoline = trampoline;
- if (SCM_UNPACK (scm_i_smob_class[0]) != 0)
- scm_i_inherit_applicable (scm_i_smob_class[SCM_TC2SMOBNUM (tc)]);
- }
- SCM
- scm_make_smob (scm_t_bits tc)
- {
- scm_t_bits n = SCM_TC2SMOBNUM (tc);
- size_t size = scm_smobs[n].size;
- scm_t_bits data = (size > 0
- ? (scm_t_bits) scm_gc_malloc (size, SCM_SMOBNAME (n))
- : 0);
- SCM_RETURN_NEWSMOB (tc, data);
- }
- static int smob_gc_kind;
- static scm_i_pthread_key_t current_mark_stack_pointer;
- static scm_i_pthread_key_t current_mark_stack_limit;
- static struct GC_ms_entry *
- smob_mark (GC_word *addr, struct GC_ms_entry *mark_stack_ptr,
- struct GC_ms_entry *mark_stack_limit, GC_word env)
- {
- register SCM cell;
- register scm_t_bits tc, smobnum;
- cell = SCM_PACK_POINTER (addr);
- if (SCM_TYP7 (cell) != scm_tc7_smob)
-
- return mark_stack_ptr;
- tc = SCM_CELL_WORD_0 (cell);
- smobnum = SCM_TC2SMOBNUM (tc);
- if (smobnum >= scm_numsmob)
-
- abort ();
- mark_stack_ptr = GC_MARK_AND_PUSH (SCM2PTR (SCM_CELL_OBJECT_1 (cell)),
- mark_stack_ptr,
- mark_stack_limit, NULL);
- mark_stack_ptr = GC_MARK_AND_PUSH (SCM2PTR (SCM_CELL_OBJECT_2 (cell)),
- mark_stack_ptr,
- mark_stack_limit, NULL);
- mark_stack_ptr = GC_MARK_AND_PUSH (SCM2PTR (SCM_CELL_OBJECT_3 (cell)),
- mark_stack_ptr,
- mark_stack_limit, NULL);
- if (scm_smobs[smobnum].mark)
- {
- SCM obj;
- scm_i_pthread_setspecific (current_mark_stack_pointer, mark_stack_ptr);
- scm_i_pthread_setspecific (current_mark_stack_limit, mark_stack_limit);
-
- obj = scm_smobs[smobnum].mark (cell);
- mark_stack_ptr = scm_i_pthread_getspecific (current_mark_stack_pointer);
- if (SCM_HEAP_OBJECT_P (obj))
-
- mark_stack_ptr = GC_MARK_AND_PUSH (SCM2PTR (obj),
- mark_stack_ptr,
- mark_stack_limit, NULL);
- scm_i_pthread_setspecific (current_mark_stack_pointer, NULL);
- scm_i_pthread_setspecific (current_mark_stack_limit, NULL);
- }
- return mark_stack_ptr;
- }
- void
- scm_gc_mark (SCM o)
- {
- if (SCM_HEAP_OBJECT_P (o))
- {
- void *mark_stack_ptr, *mark_stack_limit;
- mark_stack_ptr = scm_i_pthread_getspecific (current_mark_stack_pointer);
- mark_stack_limit = scm_i_pthread_getspecific (current_mark_stack_limit);
- if (mark_stack_ptr == NULL)
-
- abort ();
- mark_stack_ptr = GC_MARK_AND_PUSH (SCM2PTR (o),
- mark_stack_ptr, mark_stack_limit,
- NULL);
- scm_i_pthread_setspecific (current_mark_stack_pointer, mark_stack_ptr);
- }
- }
- static void
- finalize_smob (void *ptr, void *data)
- {
- SCM smob;
- size_t (* free_smob) (SCM);
- smob = SCM_PACK_POINTER (ptr);
- #if 0
- printf ("finalizing SMOB %p (smobnum: %u)\n",
- ptr, SCM_SMOBNUM (smob));
- #endif
- free_smob = scm_smobs[SCM_SMOBNUM (smob)].free;
- if (free_smob)
- free_smob (smob);
- }
- SCM
- scm_i_new_smob (scm_t_bits tc, scm_t_bits data)
- {
- scm_t_bits smobnum = SCM_TC2SMOBNUM (tc);
- SCM ret;
-
- if (scm_smobs [smobnum].mark)
- ret = SCM_PACK_POINTER (GC_generic_malloc (2 * sizeof (scm_t_cell), smob_gc_kind));
- else
- ret = SCM_PACK_POINTER (GC_MALLOC (sizeof (scm_t_cell)));
-
- SCM_SET_CELL_WORD_1 (ret, data);
- SCM_SET_CELL_WORD_0 (ret, tc);
- if (scm_smobs[smobnum].free)
- scm_i_set_finalizer (SCM2PTR (ret), finalize_smob, NULL);
- return ret;
- }
- SCM
- scm_i_new_double_smob (scm_t_bits tc, scm_t_bits data1,
- scm_t_bits data2, scm_t_bits data3)
- {
- scm_t_bits smobnum = SCM_TC2SMOBNUM (tc);
- SCM ret;
-
- if (scm_smobs [smobnum].mark)
- ret = SCM_PACK_POINTER (GC_generic_malloc (2 * sizeof (scm_t_cell), smob_gc_kind));
- else
- ret = SCM_PACK_POINTER (GC_MALLOC (2 * sizeof (scm_t_cell)));
-
- SCM_SET_CELL_WORD_3 (ret, data3);
- SCM_SET_CELL_WORD_2 (ret, data2);
- SCM_SET_CELL_WORD_1 (ret, data1);
- SCM_SET_CELL_WORD_0 (ret, tc);
- if (scm_smobs[smobnum].free)
- scm_i_set_finalizer (SCM2PTR (ret), finalize_smob, NULL);
- return ret;
- }
- SCM
- scm_smob_type_class (scm_t_bits tc)
- {
- scm_load_goops ();
- return scm_i_smob_class[SCM_TC2SMOBNUM (tc)];
- }
- void
- scm_smob_prehistory ()
- {
- long i;
- scm_i_pthread_key_create (¤t_mark_stack_pointer, NULL);
- scm_i_pthread_key_create (¤t_mark_stack_limit, NULL);
- smob_gc_kind = GC_new_kind (GC_new_free_list (),
- GC_MAKE_PROC (GC_new_proc (smob_mark), 0),
- 0,
-
- 1);
- scm_numsmob = 0;
- for (i = 0; i < MAX_SMOB_COUNT; ++i)
- {
- scm_smobs[i].name = 0;
- scm_smobs[i].size = 0;
- scm_smobs[i].mark = 0;
- scm_smobs[i].free = 0;
- scm_smobs[i].print = scm_smob_print;
- scm_smobs[i].equalp = 0;
- scm_smobs[i].apply = 0;
- scm_smobs[i].apply_trampoline = SCM_BOOL_F;
- }
- }
|