Home | History | Annotate | Line # | Download | only in guile
scm-gsmob.c revision 1.4
      1 /* GDB/Scheme smobs (gsmob is pronounced "jee smob")
      2 
      3    Copyright (C) 2014-2016 Free Software Foundation, Inc.
      4 
      5    This file is part of GDB.
      6 
      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 3 of the License, or
     10    (at your option) any later version.
     11 
     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.
     16 
     17    You should have received a copy of the GNU General Public License
     18    along with this program.  If not, see <http://www.gnu.org/licenses/>.  */
     19 
     20 /* See README file in this directory for implementation notes, coding
     21    conventions, et.al.  */
     22 
     23 /* Smobs are Guile's "small object".
     24    They are used to export C structs to Scheme.
     25 
     26    Note: There's only room in the encoding space for 256, and while we won't
     27    come close to that, mixed with other libraries maybe someday we could.
     28    We don't worry about it now, except to be aware of the issue.
     29    We could allocate just a few smobs and use the unused smob flags field to
     30    specify the gdb smob kind, that is left for another day if it ever is
     31    needed.
     32 
     33    Some GDB smobs are "chained gsmobs".  They are used to assist with life-time
     34    tracking of GDB objects vs Scheme objects.  Gsmobs can "subclass"
     35    chained_gdb_smob, which contains a doubly-linked list to assist with
     36    life-time tracking.
     37 
     38    Some other GDB smobs are "eqable gsmobs".  Gsmob implementations can
     39    "subclass" eqable_gdb_smob to make gsmobs eq?-able.  This is done by
     40    recording all gsmobs in a hash table and before creating a gsmob first
     41    seeing if it's already in the table.  Eqable gsmobs can also be used where
     42    lifetime-tracking is required.  */
     43 
     44 #include "defs.h"
     45 #include "hashtab.h"
     46 #include "objfiles.h"
     47 #include "guile-internal.h"
     48 
     49 /* We need to call this.  Undo our hack to prevent others from calling it.  */
     50 #undef scm_make_smob_type
     51 
     52 static htab_t registered_gsmobs;
     53 
     54 /* Hash function for registered_gsmobs hash table.  */
     55 
     56 static hashval_t
     57 hash_scm_t_bits (const void *item)
     58 {
     59   uintptr_t v = (uintptr_t) item;
     60 
     61   return v;
     62 }
     63 
     64 /* Equality function for registered_gsmobs hash table.  */
     65 
     66 static int
     67 eq_scm_t_bits (const void *item_lhs, const void *item_rhs)
     68 {
     69   return item_lhs == item_rhs;
     70 }
     71 
     72 /* Record GSMOB_CODE as being a gdb smob.
     73    GSMOB_CODE is the result of scm_make_smob_type.  */
     74 
     75 static void
     76 register_gsmob (scm_t_bits gsmob_code)
     77 {
     78   void **slot;
     79 
     80   slot = htab_find_slot (registered_gsmobs, (void *) gsmob_code, INSERT);
     81   gdb_assert (*slot == NULL);
     82   *slot = (void *) gsmob_code;
     83 }
     84 
     85 /* Return non-zero if SCM is any registered gdb smob object.  */
     86 
     87 static int
     88 gdbscm_is_gsmob (SCM scm)
     89 {
     90   void **slot;
     91 
     92   if (SCM_IMP (scm))
     93     return 0;
     94   slot = htab_find_slot (registered_gsmobs, (void *) SCM_TYP16 (scm),
     95 			 NO_INSERT);
     96   return slot != NULL;
     97 }
     98 
     99 /* Call this to register a smob, instead of scm_make_smob_type.  */
    100 
    101 scm_t_bits
    102 gdbscm_make_smob_type (const char *name, size_t size)
    103 {
    104   scm_t_bits result = scm_make_smob_type (name, size);
    105 
    106   register_gsmob (result);
    107   return result;
    108 }
    109 
    110 /* Initialize a gsmob.  */
    111 
    112 void
    113 gdbscm_init_gsmob (gdb_smob *base)
    114 {
    115   base->empty_base_class = 0;
    116 }
    117 
    118 /* Initialize a chained_gdb_smob.
    119    This is the same as gdbscm_init_gsmob except that it also sets prev,next
    120    to NULL.  */
    121 
    122 void
    123 gdbscm_init_chained_gsmob (chained_gdb_smob *base)
    124 {
    125   gdbscm_init_gsmob ((gdb_smob *) base);
    126   base->prev = NULL;
    127   base->next = NULL;
    128 }
    129 
    130 /* Initialize an eqable_gdb_smob.
    131    This is the same as gdbscm_init_gsmob except that it also sets
    132    BASE->containing_scm to CONTAINING_SCM.  */
    133 
    134 void
    135 gdbscm_init_eqable_gsmob (eqable_gdb_smob *base, SCM containing_scm)
    136 {
    137   gdbscm_init_gsmob ((gdb_smob *) base);
    138   base->containing_scm = containing_scm;
    139 }
    140 
    141 
    142 /* gsmob accessors */
    144 
    145 /* Return the gsmob in SELF.
    146    Throws an exception if SELF is not a gsmob.  */
    147 
    148 static SCM
    149 gsscm_get_gsmob_arg_unsafe (SCM self, int arg_pos, const char *func_name)
    150 {
    151   SCM_ASSERT_TYPE (gdbscm_is_gsmob (self), self, arg_pos, func_name,
    152 		   _("any gdb smob"));
    153 
    154   return self;
    155 }
    156 
    157 /* (gdb-object-kind gsmob) -> symbol
    158 
    159    Note: While one might want to name this gdb-object-class-name, it is named
    160    "-kind" because smobs aren't real GOOPS classes.  */
    161 
    162 static SCM
    163 gdbscm_gsmob_kind (SCM self)
    164 {
    165   SCM smob, result;
    166   scm_t_bits smobnum;
    167   const char *name;
    168   char *kind;
    169 
    170   smob = gsscm_get_gsmob_arg_unsafe (self, SCM_ARG1, FUNC_NAME);
    171 
    172   smobnum = SCM_SMOBNUM (smob);
    173   name = SCM_SMOBNAME (smobnum);
    174   kind = xstrprintf ("<%s>", name);
    175   result = scm_from_latin1_symbol (kind);
    176   xfree (kind);
    177 
    178   return result;
    179 }
    180 
    181 
    182 /* When underlying gdb data structures are deleted, we need to update any
    184    smobs with references to them.  There are several smobs that reference
    185    objfile-based data, so we provide helpers to manage this.  */
    186 
    187 /* Add G_SMOB to the reference chain for OBJFILE specified by DATA_KEY.
    188    OBJFILE may be NULL, in which case just set prev,next to NULL.  */
    189 
    190 void
    191 gdbscm_add_objfile_ref (struct objfile *objfile,
    192 			const struct objfile_data *data_key,
    193 			chained_gdb_smob *g_smob)
    194 {
    195   g_smob->prev = NULL;
    196   if (objfile != NULL)
    197     {
    198       g_smob->next = (chained_gdb_smob *) objfile_data (objfile, data_key);
    199       if (g_smob->next)
    200 	g_smob->next->prev = g_smob;
    201       set_objfile_data (objfile, data_key, g_smob);
    202     }
    203   else
    204     g_smob->next = NULL;
    205 }
    206 
    207 /* Remove G_SMOB from the reference chain for OBJFILE specified
    208    by DATA_KEY.  OBJFILE may be NULL.  */
    209 
    210 void
    211 gdbscm_remove_objfile_ref (struct objfile *objfile,
    212 			   const struct objfile_data *data_key,
    213 			   chained_gdb_smob *g_smob)
    214 {
    215   if (g_smob->prev)
    216     g_smob->prev->next = g_smob->next;
    217   else if (objfile != NULL)
    218     set_objfile_data (objfile, data_key, g_smob->next);
    219   if (g_smob->next)
    220     g_smob->next->prev = g_smob->prev;
    221 }
    222 
    223 /* Create a hash table for mapping a pointer to a gdb data structure to the
    224    gsmob that wraps it.  */
    225 
    226 htab_t
    227 gdbscm_create_eqable_gsmob_ptr_map (htab_hash hash_fn, htab_eq eq_fn)
    228 {
    229   htab_t htab = htab_create_alloc (7, hash_fn, eq_fn,
    230 				   NULL, xcalloc, xfree);
    231 
    232   return htab;
    233 }
    234 
    235 /* Return a pointer to the htab entry for the eq?-able gsmob BASE.
    236    If the entry is found, *SLOT is non-NULL.
    237    Otherwise *slot is NULL.  */
    238 
    239 eqable_gdb_smob **
    240 gdbscm_find_eqable_gsmob_ptr_slot (htab_t htab, eqable_gdb_smob *base)
    241 {
    242   void **slot = htab_find_slot (htab, base, INSERT);
    243 
    244   return (eqable_gdb_smob **) slot;
    245 }
    246 
    247 /* Record BASE in SLOT.  SLOT must be the result of calling
    248    gdbscm_find_eqable_gsmob_ptr_slot on BASE (or equivalent for lookup).  */
    249 
    250 void
    251 gdbscm_fill_eqable_gsmob_ptr_slot (eqable_gdb_smob **slot,
    252 				   eqable_gdb_smob *base)
    253 {
    254   *slot = base;
    255 }
    256 
    257 /* Remove BASE from HTAB.
    258    BASE is a pointer to a gsmob that wraps a pointer to a GDB datum.
    259    This is used, for example, when an object is freed.
    260 
    261    It is an error to call this if PTR is not in HTAB (only because it allows
    262    for some consistency checking).  */
    263 
    264 void
    265 gdbscm_clear_eqable_gsmob_ptr_slot (htab_t htab, eqable_gdb_smob *base)
    266 {
    267   void **slot = htab_find_slot (htab, base, NO_INSERT);
    268 
    269   gdb_assert (slot != NULL);
    270   htab_clear_slot (htab, slot);
    271 }
    272 
    273 /* Initialize the Scheme gsmobs code.  */
    275 
    276 static const scheme_function gsmob_functions[] =
    277 {
    278   /* N.B. There is a general rule of not naming symbols in gdb-guile with a
    279      "gdb" prefix.  This symbol does not violate this rule because it is to
    280      be read as "gdb-object-foo", not "gdb-foo".  */
    281   { "gdb-object-kind", 1, 0, 0, as_a_scm_t_subr (gdbscm_gsmob_kind),
    282     "\
    283 Return the kind of the GDB object, e.g., <gdb:breakpoint>, as a symbol." },
    284 
    285   END_FUNCTIONS
    286 };
    287 
    288 void
    289 gdbscm_initialize_smobs (void)
    290 {
    291   registered_gsmobs = htab_create_alloc (10,
    292 					 hash_scm_t_bits, eq_scm_t_bits,
    293 					 NULL, xcalloc, xfree);
    294 
    295   gdbscm_define_functions (gsmob_functions, 1);
    296 }
    297