=== Released 2.2.0 ===
[platform/upstream/glib.git] / gobject / gtype.c
index ed567b9..9742239 100644 (file)
@@ -16,6 +16,7 @@
  * Free Software Foundation, Inc., 59 Temple Place, Suite 330,
  * Boston, MA 02111-1307, USA.
  */
+#include        <config.h>
 #include       "gtype.h"
 
 /*
  * TODO:
  * - g_type_from_name() should do an ordered array lookup after fetching the
  *   the quark, instead of a second hashtable lookup.
- * - speedup checks for virtual types, steal a bit somewhere
- *
- * FIXME:
- * - force interface initialization for already existing classes
  *
  * LOCKING:
  * lock handling issues when calling static functions are indicated by
  */
 
 static GStaticRWLock            type_rw_lock = G_STATIC_RW_LOCK_INIT;
+#ifdef LOCK_DEBUG
+#define G_READ_LOCK(rw_lock)    do { g_printerr (G_STRLOC ": readL++\n"); g_static_rw_lock_reader_lock (rw_lock); } while (0)
+#define G_READ_UNLOCK(rw_lock)  do { g_printerr (G_STRLOC ": readL--\n"); g_static_rw_lock_reader_unlock (rw_lock); } while (0)
+#define G_WRITE_LOCK(rw_lock)   do { g_printerr (G_STRLOC ": writeL++\n"); g_static_rw_lock_writer_lock (rw_lock); } while (0)
+#define G_WRITE_UNLOCK(rw_lock) do { g_printerr (G_STRLOC ": writeL--\n"); g_static_rw_lock_writer_unlock (rw_lock); } while (0)
+#else
 #define G_READ_LOCK(rw_lock)    g_static_rw_lock_reader_lock (rw_lock)
 #define G_READ_UNLOCK(rw_lock)  g_static_rw_lock_reader_unlock (rw_lock)
 #define G_WRITE_LOCK(rw_lock)   g_static_rw_lock_writer_lock (rw_lock)
 #define G_WRITE_UNLOCK(rw_lock) g_static_rw_lock_writer_unlock (rw_lock)
+#endif
 #define        INVALID_RECURSION(func, arg, type_name) G_STMT_START{ \
     static const gchar *_action = " invalidly modified type "; \
     gpointer _arg = (gpointer) (arg); const gchar *_tname = (type_name), *_fname = (func); \
@@ -116,7 +120,7 @@ typedef struct _IFaceHolder IFaceHolder;
 
 
 /* --- prototypes --- */
-static inline GTypeFundamentalInfo*    type_node_fundamental_info_L    (TypeNode               *node);
+static inline GTypeFundamentalInfo*    type_node_fundamental_info_I    (TypeNode               *node);
 static       void                      type_add_flags_W                (TypeNode               *node,
                                                                         GTypeFlags              flags);
 static       void                      type_data_make_W                (TypeNode               *node,
@@ -125,7 +129,7 @@ static            void                      type_data_make_W                (TypeNode               *node,
 static inline void                     type_data_ref_Wm                (TypeNode               *node);
 static inline void                     type_data_unref_Wm              (TypeNode               *node,
                                                                         gboolean                uncached);
-static       void                      type_data_last_unref_Wm         (GType                   type,
+static void                            type_data_last_unref_Wm         (GType                   type,
                                                                         gboolean                uncached);
 static inline gpointer                 type_get_qdata_L                (TypeNode               *node,
                                                                         GQuark                  quark);
@@ -134,6 +138,8 @@ static inline void                  type_set_qdata_W                (TypeNode               *node,
                                                                         gpointer                data);
 static IFaceHolder*                    type_iface_peek_holder_L        (TypeNode               *iface,
                                                                         GType                   instance_type);
+static gboolean                                type_node_is_a_L                (TypeNode               *node,
+                                                                        TypeNode               *iface_node);
 
 
 /* --- structures --- */
@@ -145,9 +151,9 @@ struct _TypeNode
   guint        _prot_n_ifaces_prerequisites : 9;
   guint        is_classed : 1;
   guint        is_instantiatable : 1;
-  guint        free_flag : 1;
+  guint        mutatable_check_cache : 1;      /* combines some common path checks */
   GType       *children;
-  TypeData    *data;
+  TypeData * volatile data;
   GQuark       qname;
   GData       *global_gdata;
   union {
@@ -163,8 +169,9 @@ struct _TypeNode
 #define        MAX_N_PREREQUISITES                     (MAX_N_IFACES)
 #define NODE_TYPE(node)                                (node->supers[0])
 #define NODE_PARENT_TYPE(node)                 (node->supers[1])
+#define NODE_FUNDAMENTAL_TYPE(node)            (node->supers[node->n_supers])
 #define NODE_NAME(node)                                (g_quark_to_string (node->qname))
-#define        NODE_IS_IFACE(node)                     (G_TYPE_IS_INTERFACE (NODE_TYPE (node)))
+#define        NODE_IS_IFACE(node)                     (NODE_FUNDAMENTAL_TYPE (node) == G_TYPE_INTERFACE)
 #define        CLASSED_NODE_N_IFACES(node)             ((node)->_prot_n_ifaces_prerequisites)
 #define        CLASSED_NODE_IFACES_ENTRIES(node)       ((node)->_prot.iface_entries)
 #define        IFACE_NODE_N_PREREQUISITES(node)        ((node)->_prot_n_ifaces_prerequisites)
@@ -173,6 +180,8 @@ struct _TypeNode
 #define        iface_node_set_holders_W(node, holders) (type_set_qdata_W ((node), static_quark_iface_holder, (holders)))
 #define        iface_node_get_dependants_array_L(n)    ((GType*) type_get_qdata_L ((n), static_quark_dependants_array))
 #define        iface_node_set_dependants_array_W(n,d)  (type_set_qdata_W ((n), static_quark_dependants_array, (d)))
+#define        TYPE_ID_MASK                            ((GType) ((1 << G_TYPE_FUNDAMENTAL_SHIFT) - 1))
+
 
 struct _IFaceHolder
 {
@@ -240,7 +249,6 @@ typedef struct {
 /* --- variables --- */
 static guint           static_n_class_cache_funcs = 0;
 static ClassCacheFunc *static_class_cache_funcs = NULL;
-static GType           static_last_fundamental_id = 0;
 static GQuark          static_quark_type_flags = 0;
 static GQuark          static_quark_iface_holder = 0;
 static GQuark          static_quark_dependants_array = 0;
@@ -249,20 +257,16 @@ GTypeDebugFlags          _g_type_debug_flags = 0;
 
 /* --- type nodes --- */
 static GHashTable       *static_type_nodes_ht = NULL;
-static GType            *static_branch_seqnos = NULL;
-static TypeNode       ***static_type_nodes = NULL;
+static TypeNode                *static_fundamental_type_nodes[(G_TYPE_FUNDAMENTAL_MAX >> G_TYPE_FUNDAMENTAL_SHIFT) + 1] = { 0, };
+static GType            static_fundamental_next = G_TYPE_RESERVED_USER_FIRST;
 
 static inline TypeNode*
-lookup_type_node_L (register GType utype)
+lookup_type_node_I (register GType utype)
 {
-#define G_TYPE_BRANCH_SEQNO(type)               ((type) >> 8)
-  register GType ftype = G_TYPE_FUNDAMENTAL (utype);
-  register GType b_seqno = G_TYPE_BRANCH_SEQNO (utype);
-  
-  if (ftype < static_last_fundamental_id && b_seqno < static_branch_seqnos[ftype])
-    return static_type_nodes[ftype][b_seqno];
+  if (utype > G_TYPE_FUNDAMENTAL_MAX)
+    return (TypeNode*) (utype & ~TYPE_ID_MASK);
   else
-    return NULL;
+    return static_fundamental_type_nodes[utype >> G_TYPE_FUNDAMENTAL_SHIFT];
 }
 
 static TypeNode*
@@ -272,26 +276,28 @@ type_node_any_new_W (TypeNode             *pnode,
                     GTypePlugin          *plugin,
                     GTypeFundamentalFlags type_flags)
 {
-  guint branch_last, n_supers;
+  guint n_supers;
   GType type;
   TypeNode *node;
   guint i, node_size = 0;
   
   n_supers = pnode ? pnode->n_supers + 1 : 0;
-  branch_last = static_branch_seqnos[ftype]++;
-  type = ftype | (branch_last << 8);   // FIXME: G_TYPE_DERIVE_ID (ftype, branch_last);
-  g_assert ((type & G_TYPE_FLAG_RESERVED_ID_BIT) == 0);
-  if (!branch_last || g_bit_storage (branch_last - 1) < g_bit_storage (static_branch_seqnos[ftype] - 1))
-    static_type_nodes[ftype] = g_renew (TypeNode*, static_type_nodes[ftype], 1 << g_bit_storage (static_branch_seqnos[ftype] - 1));
   
   if (!pnode)
     node_size += SIZEOF_FUNDAMENTAL_INFO;            /* fundamental type info */
   node_size += SIZEOF_BASE_TYPE_NODE ();             /* TypeNode structure */
-  node_size += (sizeof (GType) * (1 + n_supers + 1)); /* self + ancestors + 0 for ->supers[] */
+  node_size += (sizeof (GType) * (1 + n_supers + 1)); /* self + ancestors + (0) for ->supers[] */
   node = g_malloc0 (node_size);
   if (!pnode)                                        /* offset fundamental types */
-    node = G_STRUCT_MEMBER_P (node, SIZEOF_FUNDAMENTAL_INFO);
-  static_type_nodes[ftype][branch_last] = node;
+    {
+      node = G_STRUCT_MEMBER_P (node, SIZEOF_FUNDAMENTAL_INFO);
+      static_fundamental_type_nodes[ftype >> G_TYPE_FUNDAMENTAL_SHIFT] = node;
+      type = ftype;
+    }
+  else
+    type = (GType) node;
+  
+  g_assert ((type & TYPE_ID_MASK) == 0);
   
   node->n_supers = n_supers;
   if (!pnode)
@@ -329,7 +335,7 @@ type_node_any_new_W (TypeNode             *pnode,
       else
        {
          guint j;
-
+         
          CLASSED_NODE_N_IFACES (node) = CLASSED_NODE_N_IFACES (pnode);
          CLASSED_NODE_IFACES_ENTRIES (node) = g_memdup (CLASSED_NODE_IFACES_ENTRIES (pnode),
                                                         sizeof (CLASSED_NODE_IFACES_ENTRIES (pnode)[0]) *
@@ -352,19 +358,19 @@ type_node_any_new_W (TypeNode             *pnode,
   
   g_hash_table_insert (static_type_nodes_ht,
                       GUINT_TO_POINTER (node->qname),
-                      GUINT_TO_POINTER (type));
+                      (gpointer) type);
   return node;
 }
 
 static inline GTypeFundamentalInfo*
-type_node_fundamental_info_L (TypeNode *node)
+type_node_fundamental_info_I (TypeNode *node)
 {
-  GType ftype = G_TYPE_FUNDAMENTAL (NODE_TYPE (node));
+  GType ftype = NODE_FUNDAMENTAL_TYPE (node);
   
   if (ftype != NODE_TYPE (node))
-    node = lookup_type_node_L (ftype);
+    node = lookup_type_node_I (ftype);
   
-  return node ? G_STRUCT_MEMBER_P (node, - SIZEOF_FUNDAMENTAL_INFO) : NULL;
+  return node ? G_STRUCT_MEMBER_P (node, -SIZEOF_FUNDAMENTAL_INFO) : NULL;
 }
 
 static TypeNode*
@@ -374,30 +380,18 @@ type_node_fundamental_new_W (GType                 ftype,
 {
   GTypeFundamentalInfo *finfo;
   TypeNode *node;
-  guint i, flast;
   
-  flast = static_last_fundamental_id;
+  g_assert ((ftype & TYPE_ID_MASK) == 0);
+  g_assert (ftype <= G_TYPE_FUNDAMENTAL_MAX);
   
-  g_assert (ftype == G_TYPE_FUNDAMENTAL (ftype));
+  if (ftype >> G_TYPE_FUNDAMENTAL_SHIFT == static_fundamental_next)
+    static_fundamental_next++;
   
   type_flags &= TYPE_FUNDAMENTAL_FLAG_MASK;
   
-  static_last_fundamental_id = MAX (static_last_fundamental_id, ftype + 1);
-  if (static_last_fundamental_id > flast)
-    {
-      static_type_nodes = g_renew (TypeNode**, static_type_nodes, static_last_fundamental_id);
-      static_branch_seqnos = g_renew (GType, static_branch_seqnos, static_last_fundamental_id);
-      for (i = flast; i < static_last_fundamental_id; i++)
-       {
-         static_type_nodes[i] = NULL;
-         static_branch_seqnos[i] = 0;
-       }
-    }
-  g_assert (static_branch_seqnos[ftype] == 0);
-  
   node = type_node_any_new_W (NULL, ftype, name, NULL, type_flags);
   
-  finfo = type_node_fundamental_info_L (node);
+  finfo = type_node_fundamental_info_I (node);
   finfo->type_flags = type_flags;
   
   return node;
@@ -413,7 +407,7 @@ type_node_new_W (TypeNode    *pnode,
   g_assert (pnode->n_supers < MAX_N_SUPERS);
   g_assert (pnode->n_children < MAX_N_CHILDREN);
   
-  return type_node_any_new_W (pnode, G_TYPE_FUNDAMENTAL (NODE_TYPE (pnode)), name, plugin, 0);
+  return type_node_any_new_W (pnode, NODE_FUNDAMENTAL_TYPE (pnode), name, plugin, 0);
 }
 
 static inline IFaceEntry*
@@ -457,7 +451,7 @@ type_lookup_prerequisite_L (TypeNode *iface,
     {
       GType *prerequisites = IFACE_NODE_PREREQUISITES (iface) - 1;
       guint n_prerequisites = IFACE_NODE_N_PREREQUISITES (iface);
-
+      
       do
        {
          guint i;
@@ -480,12 +474,12 @@ type_lookup_prerequisite_L (TypeNode *iface,
   return FALSE;
 }
 
-static inline gchar*
-type_descriptive_name_L (GType type)
+static gchar*
+type_descriptive_name_I (GType type)
 {
   if (type)
     {
-      TypeNode *node = lookup_type_node_L (type);
+      TypeNode *node = lookup_type_node_I (type);
       
       return node ? NODE_NAME (node) : "<unknown>";
     }
@@ -493,18 +487,6 @@ type_descriptive_name_L (GType type)
     return "<invalid>";
 }
 
-static inline gchar*
-type_descriptive_name_U (GType type)
-{
-  const gchar *name;
-  
-  G_READ_LOCK (&type_rw_lock);
-  name = type_descriptive_name_L (type);
-  G_READ_UNLOCK (&type_rw_lock);
-  
-  return (gchar *)name;
-}
-
 
 /* --- type consistency checks --- */
 static gboolean
@@ -543,7 +525,7 @@ check_plugin_U (GTypePlugin *plugin,
 }
 
 static gboolean
-check_type_name_U (const gchar *type_name)
+check_type_name_I (const gchar *type_name)
 {
   static const gchar *extra_chars = "-_+";
   const gchar *p = type_name;
@@ -576,43 +558,38 @@ check_type_name_U (const gchar *type_name)
 }
 
 static gboolean
-check_derivation_U (GType        parent_type,
+check_derivation_I (GType        parent_type,
                    const gchar *type_name)
 {
   TypeNode *pnode;
   GTypeFundamentalInfo* finfo;
   
-  G_READ_LOCK (&type_rw_lock);
-  pnode = lookup_type_node_L (parent_type);
+  pnode = lookup_type_node_I (parent_type);
   if (!pnode)
     {
-      G_READ_UNLOCK (&type_rw_lock);
       g_warning ("cannot derive type `%s' from invalid parent type `%s'",
                 type_name,
-                type_descriptive_name_U (parent_type));
+                type_descriptive_name_I (parent_type));
       return FALSE;
     }
-  finfo = type_node_fundamental_info_L (pnode);
+  finfo = type_node_fundamental_info_I (pnode);
   /* ensure flat derivability */
   if (!(finfo->type_flags & G_TYPE_FLAG_DERIVABLE))
     {
-      G_READ_UNLOCK (&type_rw_lock);
       g_warning ("cannot derive `%s' from non-derivable parent type `%s'",
                 type_name,
                 NODE_NAME (pnode));
       return FALSE;
     }
   /* ensure deep derivability */
-  if (parent_type != G_TYPE_FUNDAMENTAL (parent_type) &&
+  if (parent_type != NODE_FUNDAMENTAL_TYPE (pnode) &&
       !(finfo->type_flags & G_TYPE_FLAG_DEEP_DERIVABLE))
     {
-      G_READ_UNLOCK (&type_rw_lock);
       g_warning ("cannot derive `%s' from non-fundamental parent type `%s'",
                 type_name,
                 NODE_NAME (pnode));
       return FALSE;
     }
-  G_READ_UNLOCK (&type_rw_lock);
   
   return TRUE;
 }
@@ -624,7 +601,7 @@ check_collect_format_I (const gchar *collect_format)
   gchar valid_format[] = { G_VALUE_COLLECT_INT, G_VALUE_COLLECT_LONG,
                           G_VALUE_COLLECT_INT64, G_VALUE_COLLECT_DOUBLE,
                           G_VALUE_COLLECT_POINTER, 0 };
-
+  
   while (*p)
     if (!strchr (valid_format, *p++))
       return FALSE;
@@ -694,13 +671,15 @@ check_value_table_I (const gchar           *type_name,
 }
 
 static gboolean
-check_type_info_L (TypeNode        *pnode,
+check_type_info_I (TypeNode        *pnode,
                   GType            ftype,
                   const gchar     *type_name,
                   const GTypeInfo *info)
 {
-  GTypeFundamentalInfo *finfo = type_node_fundamental_info_L (lookup_type_node_L (ftype));
-  gboolean is_interface = G_TYPE_IS_INTERFACE (ftype);
+  GTypeFundamentalInfo *finfo = type_node_fundamental_info_I (lookup_type_node_I (ftype));
+  gboolean is_interface = ftype == G_TYPE_INTERFACE;
+  
+  g_assert (ftype <= G_TYPE_FUNDAMENTAL_MAX && !(ftype & TYPE_ID_MASK));
   
   /* check instance members */
   if (!(finfo->type_flags & G_TYPE_FLAG_INSTANTIATABLE) &&
@@ -787,7 +766,7 @@ find_conforming_child_type_L (TypeNode *pnode,
     return pnode;
   
   for (i = 0; i < pnode->n_children && !node; i++)
-    node = find_conforming_child_type_L (lookup_type_node_L (pnode->children[i]), iface);
+    node = find_conforming_child_type_L (lookup_type_node_I (pnode->children[i]), iface);
   
   return node;
 }
@@ -796,25 +775,28 @@ static gboolean
 check_add_interface_L (GType instance_type,
                       GType iface_type)
 {
-  TypeNode *node = lookup_type_node_L (instance_type);
-  TypeNode *iface = lookup_type_node_L (iface_type);
+  TypeNode *node = lookup_type_node_I (instance_type);
+  TypeNode *iface = lookup_type_node_I (iface_type);
   IFaceEntry *entry;
   TypeNode *tnode;
+  GType *prerequisites;
+  guint i;
+
   
   if (!node || !node->is_instantiatable)
     {
       g_warning ("cannot add interfaces to invalid (non-instantiatable) type `%s'",
-                type_descriptive_name_L (instance_type));
+                type_descriptive_name_I (instance_type));
       return FALSE;
     }
   if (!iface || !NODE_IS_IFACE (iface))
     {
       g_warning ("cannot add invalid (non-interface) type `%s' to type `%s'",
-                type_descriptive_name_L (iface_type),
+                type_descriptive_name_I (iface_type),
                 NODE_NAME (node));
       return FALSE;
     }
-  tnode = lookup_type_node_L (NODE_PARENT_TYPE (iface));
+  tnode = lookup_type_node_I (NODE_PARENT_TYPE (iface));
   if (NODE_PARENT_TYPE (tnode) && !type_lookup_iface_entry_L (node, tnode))
     {
       /* 2001/7/31:timj: erk, i guess this warning is junk as interface derivation is flat */
@@ -846,11 +828,24 @@ check_add_interface_L (GType instance_type,
                 NODE_NAME (tnode));
       return FALSE;
     }
+  prerequisites = IFACE_NODE_PREREQUISITES (iface);
+  for (i = 0; i < IFACE_NODE_N_PREREQUISITES (iface); i++)
+    {
+      tnode = lookup_type_node_I (prerequisites[i]);
+      if (!type_node_is_a_L (node, tnode))
+       {
+         g_warning ("cannot add interface type `%s' to type `%s' which does not conform to prerequisite `%s'",
+                    NODE_NAME (iface),
+                    NODE_NAME (node),
+                    NODE_NAME (tnode));
+         return FALSE;
+       }
+    }
   return TRUE;
 }
 
 static gboolean
-check_interface_info_L (TypeNode             *iface,
+check_interface_info_I (TypeNode             *iface,
                        GType                 instance_type,
                        const GInterfaceInfo *info)
 {
@@ -858,7 +853,7 @@ check_interface_info_L (TypeNode             *iface,
     {
       g_warning ("interface type `%s' for type `%s' comes without initializer",
                 NODE_NAME (iface),
-                type_descriptive_name_L (instance_type));
+                type_descriptive_name_I (instance_type));
       return FALSE;
     }
   
@@ -879,7 +874,7 @@ type_data_make_W (TypeNode              *node,
   
   if (!value_table)
     {
-      TypeNode *pnode = lookup_type_node_L (NODE_PARENT_TYPE (node));
+      TypeNode *pnode = lookup_type_node_I (NODE_PARENT_TYPE (node));
       
       if (pnode)
        vtable = pnode->data->common.value_table;
@@ -957,7 +952,7 @@ type_data_make_W (TypeNode              *node,
   if (vtable_size)
     {
       gchar *p;
-
+      
       /* we allocate the vtable and its strings together with the type data, so
        * children can take over their parent's vtable pointer, and we don't
        * need to worry freeing it or not when the child data is destroyed
@@ -978,6 +973,9 @@ type_data_make_W (TypeNode              *node,
        strcat  (p, value_table->lcopy_format);
     }
   node->data->common.value_table = vtable;
+  node->mutatable_check_cache = (node->data->common.value_table->value_init != NULL &&
+                                !((G_TYPE_FLAG_VALUE_ABSTRACT | G_TYPE_FLAG_ABSTRACT) &
+                                  GPOINTER_TO_UINT (type_get_qdata_L (node, static_quark_type_flags))));
   
   g_assert (node->data->common.value_table != NULL); /* paranoid */
 }
@@ -987,7 +985,7 @@ type_data_ref_Wm (TypeNode *node)
 {
   if (!node->data)
     {
-      TypeNode *pnode = lookup_type_node_L (NODE_PARENT_TYPE (node));
+      TypeNode *pnode = lookup_type_node_I (NODE_PARENT_TYPE (node));
       GTypeInfo tmp_info;
       GTypeValueTable tmp_value_table;
       
@@ -1010,7 +1008,7 @@ type_data_ref_Wm (TypeNode *node)
       if (node->data)
        INVALID_RECURSION ("g_type_plugin_*", node->plugin, NODE_NAME (node));
       
-      check_type_info_L (pnode, G_TYPE_FUNDAMENTAL (NODE_TYPE (node)), NODE_NAME (node), &tmp_info);
+      check_type_info_I (pnode, NODE_FUNDAMENTAL_TYPE (node), NODE_NAME (node), &tmp_info);
       type_data_make_W (node, &tmp_info,
                        check_value_table_I (NODE_NAME (node),
                                             &tmp_value_table) ? &tmp_value_table : NULL);
@@ -1077,7 +1075,7 @@ type_node_add_iface_entry_W (TypeNode *node,
   entries[i].vtable = NULL;
   
   for (i = 0; i < node->n_children; i++)
-    type_node_add_iface_entry_W (lookup_type_node_L (node->children[i]), iface_type);
+    type_node_add_iface_entry_W (lookup_type_node_I (node->children[i]), iface_type);
 }
 
 static void
@@ -1109,11 +1107,11 @@ type_iface_add_prerequisite_W (TypeNode *iface,
   GType prerequisite_type = NODE_TYPE (prerequisite_node);
   GType *prerequisites, *dependants;
   guint n_dependants, i;
-
+  
   g_assert (NODE_IS_IFACE (iface) &&
            IFACE_NODE_N_PREREQUISITES (iface) < MAX_N_PREREQUISITES &&
            (prerequisite_node->is_instantiatable || NODE_IS_IFACE (prerequisite_node)));
-
+  
   prerequisites = IFACE_NODE_PREREQUISITES (iface);
   for (i = 0; i < IFACE_NODE_N_PREREQUISITES (iface); i++)
     if (prerequisites[i] == prerequisite_type)
@@ -1128,7 +1126,7 @@ type_iface_add_prerequisite_W (TypeNode *iface,
   g_memmove (prerequisites + i + 1, prerequisites + i,
             sizeof (prerequisites[0]) * (IFACE_NODE_N_PREREQUISITES (iface) - i - 1));
   prerequisites[i] = prerequisite_type;
-
+  
   /* we want to get notified when prerequisites get added to prerequisite_node */
   if (NODE_IS_IFACE (prerequisite_node))
     {
@@ -1140,95 +1138,166 @@ type_iface_add_prerequisite_W (TypeNode *iface,
       dependants[0] = n_dependants;
       iface_node_set_dependants_array_W (prerequisite_node, dependants);
     }
-
+  
   /* we need to notify all dependants */
   dependants = iface_node_get_dependants_array_L (iface);
   n_dependants = dependants ? dependants[0] : 0;
   for (i = 1; i <= n_dependants; i++)
-    type_iface_add_prerequisite_W (lookup_type_node_L (dependants[i]), prerequisite_node);
-}
-
+    type_iface_add_prerequisite_W (lookup_type_node_I (dependants[i]), prerequisite_node);
+}
+
+/**
+ * g_type_interface_add_prerequisite:
+ * @interface_type: #GType value of an interface type.
+ * @prerequisite_type: #GType value of an interface or instantiatable type.
+ * 
+ * Adds @prerequisite_type to the list of prerequisites of @interface_type.
+ * This means that any type implementing @interface_type must also implement
+ * @prerequisite_type. Prerequisites can be thought of as an alternative to
+ * interface derivation (which GType doesn't support). An interface can have
+ * at most one instantiatable prerequisite type.
+ **/
 void
 g_type_interface_add_prerequisite (GType interface_type,
                                   GType prerequisite_type)
 {
   TypeNode *iface, *prerequisite_node;
   IFaceHolder *holders;
-
-  g_return_if_fail (G_TYPE_IS_INTERFACE (interface_type));
+  
+  g_return_if_fail (G_TYPE_IS_INTERFACE (interface_type));     /* G_TYPE_IS_INTERFACE() is an external call: _U */
   g_return_if_fail (!g_type_is_a (interface_type, prerequisite_type));
   g_return_if_fail (!g_type_is_a (prerequisite_type, interface_type));
-
-  G_WRITE_LOCK (&type_rw_lock);
-  iface = lookup_type_node_L (interface_type);
-  prerequisite_node = lookup_type_node_L (prerequisite_type);
+  
+  iface = lookup_type_node_I (interface_type);
+  prerequisite_node = lookup_type_node_I (prerequisite_type);
   if (!iface || !prerequisite_node || !NODE_IS_IFACE (iface))
     {
       g_warning ("interface type `%s' or prerequisite type `%s' invalid",
-                type_descriptive_name_L (interface_type),
-                type_descriptive_name_L (prerequisite_type));
-      G_WRITE_UNLOCK (&type_rw_lock);
+                type_descriptive_name_I (interface_type),
+                type_descriptive_name_I (prerequisite_type));
       return;
     }
+  G_WRITE_LOCK (&type_rw_lock);
   holders = iface_node_get_holders_L (iface);
   if (holders)
     {
-      g_warning ("unable to add prerequisite `%s' to interface `%s' which is already in use for `%s'",
-                type_descriptive_name_L (prerequisite_type),
-                type_descriptive_name_L (interface_type),
-                type_descriptive_name_L (holders->instance_type));
       G_WRITE_UNLOCK (&type_rw_lock);
+      g_warning ("unable to add prerequisite `%s' to interface `%s' which is already in use for `%s'",
+                type_descriptive_name_I (prerequisite_type),
+                type_descriptive_name_I (interface_type),
+                type_descriptive_name_I (holders->instance_type));
       return;
     }
   if (prerequisite_node->is_instantiatable)
     {
       guint i;
-
+      
       /* can have at most one publically installable instantiatable prerequisite */
       for (i = 0; i < IFACE_NODE_N_PREREQUISITES (iface); i++)
        {
-         TypeNode *prnode = lookup_type_node_L (IFACE_NODE_PREREQUISITES (iface)[i]);
-
+         TypeNode *prnode = lookup_type_node_I (IFACE_NODE_PREREQUISITES (iface)[i]);
+         
          if (prnode->is_instantiatable)
            {
-             g_warning ("adding prerequisite `%s' to interface `%s' conflicts with existing prerequisite `%s'",
-                        type_descriptive_name_L (prerequisite_type),
-                        type_descriptive_name_L (interface_type),
-                        type_descriptive_name_L (NODE_TYPE (prnode)));
              G_WRITE_UNLOCK (&type_rw_lock);
+             g_warning ("adding prerequisite `%s' to interface `%s' conflicts with existing prerequisite `%s'",
+                        type_descriptive_name_I (prerequisite_type),
+                        type_descriptive_name_I (interface_type),
+                        type_descriptive_name_I (NODE_TYPE (prnode)));
              return;
            }
        }
-
+      
       for (i = 0; i < prerequisite_node->n_supers + 1; i++)
-       type_iface_add_prerequisite_W (iface, lookup_type_node_L (prerequisite_node->supers[i]));
+       type_iface_add_prerequisite_W (iface, lookup_type_node_I (prerequisite_node->supers[i]));
+      G_WRITE_UNLOCK (&type_rw_lock);
     }
   else if (NODE_IS_IFACE (prerequisite_node))
     {
-      GType *dependants;
-      guint n_dependants, i;
-
-      dependants = iface_node_get_dependants_array_L (prerequisite_node);
-      n_dependants = dependants ? dependants[0] : 0;
-      for (i = 1; i <= n_dependants; i++)
-       type_iface_add_prerequisite_W (iface, lookup_type_node_L (dependants[i]));
+      GType *prerequisites;
+      guint i;
+      
+      prerequisites = IFACE_NODE_PREREQUISITES (prerequisite_node);
+      for (i = 0; i < IFACE_NODE_N_PREREQUISITES (prerequisite_node); i++)
+       type_iface_add_prerequisite_W (iface, lookup_type_node_I (prerequisites[i]));
       type_iface_add_prerequisite_W (iface, prerequisite_node);
+      G_WRITE_UNLOCK (&type_rw_lock);
     }
   else
-    g_warning ("prerequisite `%s' for interface `%s' is neither instantiatable nor interface",
-              type_descriptive_name_L (prerequisite_type),
-              type_descriptive_name_L (interface_type));
-  G_WRITE_UNLOCK (&type_rw_lock);
+    {
+      G_WRITE_UNLOCK (&type_rw_lock);
+      g_warning ("prerequisite `%s' for interface `%s' is neither instantiatable nor interface",
+                type_descriptive_name_I (prerequisite_type),
+                type_descriptive_name_I (interface_type));
+    }
+}
+
+/**
+ * g_type_interface_prerequisites:
+ * @interface_type: an interface type
+ * @n_prerequisites: location to return the number of prerequisites, or %NULL
+ * 
+ * Returns the prerequisites of an interfaces type.
+ * 
+ * Return value: a newly-allocated zero-terminated array of #GType containing 
+ * the prerequisites of @interface_type
+ *
+ * Since: 2.2
+ **/
+GType* /* free result */
+g_type_interface_prerequisites (GType  interface_type,
+                               guint *n_prerequisites)
+{
+  TypeNode *iface;
+  
+  g_return_val_if_fail (G_TYPE_IS_INTERFACE (interface_type), NULL);
+
+  iface = lookup_type_node_I (interface_type);
+  if (iface)
+    {
+      GType *types;
+      TypeNode *inode = NULL;
+      guint i, n = 0;
+      
+      G_READ_LOCK (&type_rw_lock);
+      types = g_new0 (GType, IFACE_NODE_N_PREREQUISITES (iface) + 1);
+      for (i = 0; i < IFACE_NODE_N_PREREQUISITES (iface); i++)
+       {
+         GType prerequisite = IFACE_NODE_PREREQUISITES (iface)[i];
+         TypeNode *node = lookup_type_node_I (prerequisite);
+         if (node->is_instantiatable &&
+             (!inode || type_node_is_a_L (node, inode)))
+           inode = node;
+         else
+           types[n++] = NODE_TYPE (node);
+       }
+      if (inode)
+       types[n++] = NODE_TYPE (inode);
+      
+      if (n_prerequisites)
+       *n_prerequisites = n;
+      G_READ_UNLOCK (&type_rw_lock);
+      
+      return types;
+    }
+  else
+    {
+      if (n_prerequisites)
+       *n_prerequisites = 0;
+      
+      return NULL;
+    }
 }
 
+
 static IFaceHolder*
 type_iface_peek_holder_L (TypeNode *iface,
                          GType     instance_type)
 {
   IFaceHolder *iholder;
-
+  
   g_assert (NODE_IS_IFACE (iface));
-
+  
   iholder = iface_node_get_holders_L (iface);
   while (iholder && iholder->instance_type != instance_type)
     iholder = iholder->next;
@@ -1237,11 +1306,11 @@ type_iface_peek_holder_L (TypeNode *iface,
 
 static IFaceHolder*
 type_iface_retrieve_holder_info_Wm (TypeNode *iface,
-                                  GType     instance_type,
-                                  gboolean  need_info)
+                                   GType     instance_type,
+                                   gboolean  need_info)
 {
   IFaceHolder *iholder = type_iface_peek_holder_L (iface, instance_type);
-
+  
   if (iholder && !iholder->info && need_info)
     {
       GInterfaceInfo tmp_info;
@@ -1261,7 +1330,7 @@ type_iface_retrieve_holder_info_Wm (TypeNode *iface,
       if (iholder->info)
         INVALID_RECURSION ("g_type_plugin_*", iholder->plugin, NODE_NAME (iface));
       
-      check_interface_info_L (iface, instance_type, &tmp_info);
+      check_interface_info_I (iface, instance_type, &tmp_info);
       iholder->info = g_memdup (&tmp_info, sizeof (tmp_info));
     }
   
@@ -1302,20 +1371,18 @@ g_type_create_instance (GType type)
   GTypeClass *class;
   guint i;
   
-  G_READ_LOCK (&type_rw_lock);
-  node = lookup_type_node_L (type);
-  G_READ_UNLOCK (&type_rw_lock);
+  node = lookup_type_node_I (type);
   if (!node || !node->is_instantiatable)
     {
       g_warning ("cannot create new instance of invalid (non-instantiatable) type `%s'",
-                type_descriptive_name_U (type));
+                type_descriptive_name_I (type));
       return NULL;
     }
   /* G_TYPE_IS_ABSTRACT() is an external call: _U */
-  if (G_TYPE_IS_ABSTRACT (type))
+  if (!node->mutatable_check_cache && G_TYPE_IS_ABSTRACT (type))
     {
       g_warning ("cannot create instance of abstract (non-instantiatable) type `%s'",
-                type_descriptive_name_U (type));
+                type_descriptive_name_I (type));
       return NULL;
     }
   
@@ -1339,10 +1406,7 @@ g_type_create_instance (GType type)
     {
       TypeNode *pnode;
       
-      G_READ_LOCK (&type_rw_lock);
-      pnode = lookup_type_node_L (node->supers[i]);
-      G_READ_UNLOCK (&type_rw_lock);
-      
+      pnode = lookup_type_node_I (node->supers[i]);
       if (pnode->data->instance.instance_init)
        {
          instance->g_class = pnode->data->instance.class;
@@ -1365,19 +1429,16 @@ g_type_free_instance (GTypeInstance *instance)
   
   g_return_if_fail (instance != NULL && instance->g_class != NULL);
   
-  G_READ_LOCK (&type_rw_lock);
   class = instance->g_class;
-  node = lookup_type_node_L (class->g_type);
+  node = lookup_type_node_I (class->g_type);
   if (!node || !node->is_instantiatable || !node->data || node->data->class.class != (gpointer) class)
     {
       g_warning ("cannot free instance of invalid (non-instantiatable) type `%s'",
-                type_descriptive_name_L (class->g_type));
-      G_READ_UNLOCK (&type_rw_lock);
+                type_descriptive_name_I (class->g_type));
       return;
     }
-  G_READ_UNLOCK (&type_rw_lock);
   /* G_TYPE_IS_ABSTRACT() is an external call: _U */
-  if (G_TYPE_IS_ABSTRACT (NODE_TYPE (node)))
+  if (!node->mutatable_check_cache && G_TYPE_IS_ABSTRACT (NODE_TYPE (node)))
     {
       g_warning ("cannot free instance of abstract (non-instantiatable) type `%s'",
                 NODE_NAME (node));
@@ -1385,7 +1446,9 @@ g_type_free_instance (GTypeInstance *instance)
     }
   
   instance->g_class = NULL;
-  memset (instance, 0xaa, node->data->instance.instance_size); /* FIXME: debugging hack */
+#ifdef G_ENABLE_DEBUG  
+  memset (instance, 0xaa, node->data->instance.instance_size); /* debugging hack */
+#endif  
   if (node->data->instance.n_preallocs)
     {
       G_WRITE_LOCK (&type_rw_lock);
@@ -1406,7 +1469,7 @@ type_iface_vtable_init_Wm (TypeNode *iface,
   IFaceHolder *iholder;
   GTypeInterface *vtable = NULL;
   TypeNode *pnode;
-
+  
   /* type_iface_retrieve_holder_info_Wm() doesn't modify write lock for returning NULL */
   iholder = type_iface_retrieve_holder_info_Wm (iface, NODE_TYPE (node), TRUE);
   if (!iholder)
@@ -1414,11 +1477,11 @@ type_iface_vtable_init_Wm (TypeNode *iface,
   
   g_assert (iface->data && entry && entry->vtable == NULL && iholder && iholder->info);
   
-  pnode = lookup_type_node_L (NODE_PARENT_TYPE (node));
+  pnode = lookup_type_node_I (NODE_PARENT_TYPE (node));
   if (pnode)   /* want to copy over parent iface contents */
     {
       IFaceEntry *pentry = type_lookup_iface_entry_L (pnode, iface);
-
+      
       if (pentry)
        vtable = g_memdup (pentry->vtable, iface->data->iface.vtable_size);
     }
@@ -1447,7 +1510,7 @@ type_iface_vtable_finalize_Wm (TypeNode       *iface,
 {
   IFaceEntry *entry = type_lookup_iface_entry_L (node, iface);
   IFaceHolder *iholder;
-
+  
   /* type_iface_retrieve_holder_info_Wm() doesn't modify write lock for returning NULL */
   iholder = type_iface_retrieve_holder_info_Wm (iface, NODE_TYPE (node), FALSE);
   if (!iholder)
@@ -1470,7 +1533,7 @@ type_iface_vtable_finalize_Wm (TypeNode       *iface,
   g_free (vtable);
   
   type_iface_blow_holder_info_Wm (iface, NODE_TYPE (node));
-
+  
   return TRUE; /* write lock modified */
 }
 
@@ -1493,7 +1556,7 @@ type_class_init_Wm (TypeNode   *node,
   
   if (pclass)
     {
-      TypeNode *pnode = lookup_type_node_L (pclass->g_type);
+      TypeNode *pnode = lookup_type_node_I (pclass->g_type);
       
       memcpy (class, pclass, pnode->data->class.class_size);
     }
@@ -1504,11 +1567,9 @@ type_class_init_Wm (TypeNode   *node,
   /* stack all base class initialization functions, so we
    * call them in ascending order.
    */
-  G_READ_LOCK (&type_rw_lock);
-  for (bnode = node; bnode; bnode = lookup_type_node_L (NODE_PARENT_TYPE (bnode)))
+  for (bnode = node; bnode; bnode = lookup_type_node_I (NODE_PARENT_TYPE (bnode)))
     if (bnode->data->class.class_init_base)
       init_slist = g_slist_prepend (init_slist, (gpointer) bnode->data->class.class_init_base);
-  G_READ_UNLOCK (&type_rw_lock);
   for (slist = init_slist; slist; slist = slist->next)
     {
       GBaseInitFunc class_init_base = (GBaseInitFunc) slist->data;
@@ -1525,25 +1586,25 @@ type_class_init_Wm (TypeNode   *node,
   /* ok, we got the class done, now initialize all interfaces, either
    * from parent, or through our holder info
    */
-  pnode = lookup_type_node_L (NODE_PARENT_TYPE (node));
+  pnode = lookup_type_node_I (NODE_PARENT_TYPE (node));
   entry = CLASSED_NODE_IFACES_ENTRIES (node) + 0;
   while (entry)
     {
       g_assert (entry->vtable == NULL);
       
-      if (!type_iface_vtable_init_Wm (lookup_type_node_L (entry->iface_type), node))
+      if (!type_iface_vtable_init_Wm (lookup_type_node_I (entry->iface_type), node))
        {
          guint j;
-
+         
          /* type_iface_vtable_init_Wm() doesn't modify write lock upon FALSE,
           * need to get this interface from parent
           */
          g_assert (pnode != NULL);
-
+         
          for (j = 0; j < CLASSED_NODE_N_IFACES (pnode); j++)
            {
              IFaceEntry *pentry = CLASSED_NODE_IFACES_ENTRIES (pnode) + j;
-
+             
              if (pentry->iface_type == entry->iface_type)
                {
                  entry->vtable = pentry->vtable;
@@ -1552,7 +1613,7 @@ type_class_init_Wm (TypeNode   *node,
            }
          g_assert (entry->vtable != NULL);
        }
-
+      
       /* refetch entry, IFACES_ENTRIES might be modified */
       for (entry = NULL, i = 0; i < CLASSED_NODE_N_IFACES (node); i++)
        if (!CLASSED_NODE_IFACES_ENTRIES (node)[i].vtable)
@@ -1563,34 +1624,33 @@ type_class_init_Wm (TypeNode   *node,
 static void
 type_data_finalize_class_ifaces_Wm (TypeNode *node)
 {
-  IFaceEntry *entry;
   guint i;
-  
+
   g_assert (node->is_instantiatable && node->data && node->data->class.class && node->data->common.ref_count == 0);
-  
+
   g_message ("finalizing interfaces for %sClass `%s'",
-            type_descriptive_name_L (G_TYPE_FUNDAMENTAL (NODE_TYPE (node))),
-            type_descriptive_name_L (NODE_TYPE (node)));
-  
-  for (entry = NULL, i = 0; i < CLASSED_NODE_N_IFACES (node); i++)
-    if (CLASSED_NODE_IFACES_ENTRIES (node)[i].vtable &&
-       CLASSED_NODE_IFACES_ENTRIES (node)[i].vtable->g_instance_type == NODE_TYPE (node))
-      entry = CLASSED_NODE_IFACES_ENTRIES (node) + i;
-  while (entry)
+            type_descriptive_name_I (NODE_FUNDAMENTAL_TYPE (node)),
+            type_descriptive_name_I (NODE_TYPE (node)));
+
+ reiterate:
+  for (i = 0; i < CLASSED_NODE_N_IFACES (node); i++)
     {
-      if (!type_iface_vtable_finalize_Wm (lookup_type_node_L (entry->iface_type), node, entry->vtable))
+      IFaceEntry *entry = CLASSED_NODE_IFACES_ENTRIES (node) + i;
+      if (entry->vtable)
        {
-         /* type_iface_vtable_finalize_Wm() doesn't modify write lock upon FALSE,
-          * iface vtable came from parent
-          */
-         entry->vtable = NULL;
+          if (type_iface_vtable_finalize_Wm (lookup_type_node_I (entry->iface_type), node, entry->vtable))
+            {
+              /* refetch entries, IFACES_ENTRIES might be modified */
+              goto reiterate;
+            }
+          else
+            {
+              /* type_iface_vtable_finalize_Wm() doesn't modify write lock upon FALSE,
+               * iface vtable came from parent
+               */
+              entry->vtable = NULL;
+            }
        }
-      
-      /* refetch entry, IFACES_ENTRIES might be modified */
-      for (entry = NULL, i = 0; i < CLASSED_NODE_N_IFACES (node); i++)
-       if (CLASSED_NODE_IFACES_ENTRIES (node)[i].vtable &&
-           CLASSED_NODE_IFACES_ENTRIES (node)[i].vtable->g_instance_type == NODE_TYPE (node))
-         entry = CLASSED_NODE_IFACES_ENTRIES (node) + i;
     }
 }
 
@@ -1610,15 +1670,9 @@ type_data_finalize_class_U (TypeNode  *node,
    */
   if (cdata->class_finalize_base)
     cdata->class_finalize_base (class);
-  G_READ_LOCK (&type_rw_lock);
-  for (bnode = lookup_type_node_L (NODE_PARENT_TYPE (node)); bnode; bnode = lookup_type_node_L (NODE_PARENT_TYPE (bnode)))
+  for (bnode = lookup_type_node_I (NODE_PARENT_TYPE (node)); bnode; bnode = lookup_type_node_I (NODE_PARENT_TYPE (bnode)))
     if (bnode->data->class.class_finalize_base)
-      {
-       G_READ_UNLOCK (&type_rw_lock);
-       bnode->data->class.class_finalize_base (class);
-       G_READ_LOCK (&type_rw_lock);
-      }
-  G_READ_UNLOCK (&type_rw_lock);
+      bnode->data->class.class_finalize_base (class);
   
   class->g_type = 0;
   g_free (cdata->class);
@@ -1628,14 +1682,14 @@ static void
 type_data_last_unref_Wm (GType    type,
                         gboolean uncached)
 {
-  TypeNode *node = lookup_type_node_L (type);
+  TypeNode *node = lookup_type_node_I (type);
   
   g_return_if_fail (node != NULL && node->plugin != NULL);
   
   if (!node->data || node->data->common.ref_count == 0)
     {
       g_warning ("cannot drop last reference to unreferenced type `%s'",
-                type_descriptive_name_U (type));
+                type_descriptive_name_I (type));
       return;
     }
   
@@ -1683,21 +1737,25 @@ type_data_last_unref_Wm (GType    type,
        {
          if (CLASSED_NODE_N_IFACES (node))
            type_data_finalize_class_ifaces_Wm (node);
+         node->mutatable_check_cache = FALSE;
          node->data = NULL;
          G_WRITE_UNLOCK (&type_rw_lock);
          type_data_finalize_class_U (node, &tdata->class);
          G_WRITE_LOCK (&type_rw_lock);
        }
       else
-       node->data = NULL;
-
+       {
+         node->mutatable_check_cache = FALSE;
+         node->data = NULL;
+       }
+      
       /* freeing tdata->common.value_table and its contents is taking care of
        * by allocating it in one chunk with tdata
        */
       g_free (tdata);
       
       if (ptype)
-       type_data_unref_Wm (lookup_type_node_L (ptype), FALSE);
+       type_data_unref_Wm (lookup_type_node_I (ptype), FALSE);
       G_WRITE_UNLOCK (&type_rw_lock);
       g_type_plugin_unuse (node->plugin);
       G_WRITE_LOCK (&type_rw_lock);
@@ -1761,17 +1819,18 @@ g_type_register_fundamental (GType                       type_id,
   GTypeFundamentalInfo *node_finfo;
   TypeNode *node;
   
-  g_return_val_if_uninitialized (static_last_fundamental_id, g_type_init, 0);
+  g_return_val_if_uninitialized (static_quark_type_flags, g_type_init, 0);
   g_return_val_if_fail (type_id > 0, 0);
   g_return_val_if_fail (type_name != NULL, 0);
   g_return_val_if_fail (info != NULL, 0);
   g_return_val_if_fail (finfo != NULL, 0);
   
-  if (!check_type_name_U (type_name))
+  if (!check_type_name_I (type_name))
     return 0;
-  if (G_TYPE_FUNDAMENTAL (type_id) != type_id)
+  if ((type_id & TYPE_ID_MASK) ||
+      type_id > G_TYPE_FUNDAMENTAL_MAX)
     {
-      g_warning ("cannot register fundamental type `%s' with non-fundamental id (%u)",
+      g_warning ("attempt to register fundamental type `%s' with invalid type id (%lu)",
                 type_name,
                 type_id);
       return 0;
@@ -1783,21 +1842,20 @@ g_type_register_fundamental (GType                       type_id,
                 type_name);
       return 0;
     }
-  G_WRITE_LOCK (&type_rw_lock);
-  if (lookup_type_node_L (type_id))
+  if (lookup_type_node_I (type_id))
     {
-      G_WRITE_UNLOCK (&type_rw_lock);
       g_warning ("cannot register existing fundamental type `%s' (as `%s')",
-                type_descriptive_name_U (type_id),
+                type_descriptive_name_I (type_id),
                 type_name);
       return 0;
     }
   
+  G_WRITE_LOCK (&type_rw_lock);
   node = type_node_fundamental_new_W (type_id, type_name, finfo->type_flags);
-  node_finfo = type_node_fundamental_info_L (node);
+  node_finfo = type_node_fundamental_info_I (node);
   type_add_flags_W (node, flags);
   
-  if (check_type_info_L (NULL, G_TYPE_FUNDAMENTAL (NODE_TYPE (node)), type_name, info))
+  if (check_type_info_I (NULL, NODE_FUNDAMENTAL_TYPE (node), type_name, info))
     type_data_make_W (node, info,
                      check_value_table_I (type_name, info->value_table) ? info->value_table : NULL);
   G_WRITE_UNLOCK (&type_rw_lock);
@@ -1814,13 +1872,13 @@ g_type_register_static (GType            parent_type,
   TypeNode *pnode, *node;
   GType type = 0;
   
-  g_return_val_if_uninitialized (static_last_fundamental_id, g_type_init, 0);
+  g_return_val_if_uninitialized (static_quark_type_flags, g_type_init, 0);
   g_return_val_if_fail (parent_type > 0, 0);
   g_return_val_if_fail (type_name != NULL, 0);
   g_return_val_if_fail (info != NULL, 0);
   
-  if (!check_type_name_U (type_name) ||
-      !check_derivation_U (parent_type, type_name))
+  if (!check_type_name_I (type_name) ||
+      !check_derivation_I (parent_type, type_name))
     return 0;
   if (info->class_finalize)
     {
@@ -1829,10 +1887,10 @@ g_type_register_static (GType            parent_type,
       return 0;
     }
   
+  pnode = lookup_type_node_I (parent_type);
   G_WRITE_LOCK (&type_rw_lock);
-  pnode = lookup_type_node_L (parent_type);
   type_data_ref_Wm (pnode);
-  if (check_type_info_L (pnode, G_TYPE_FUNDAMENTAL (parent_type), type_name, info))
+  if (check_type_info_I (pnode, NODE_FUNDAMENTAL_TYPE (pnode), type_name, info))
     {
       node = type_node_new_W (pnode, type_name, NULL);
       type_add_flags_W (node, flags);
@@ -1854,18 +1912,18 @@ g_type_register_dynamic (GType        parent_type,
   TypeNode *pnode, *node;
   GType type;
   
-  g_return_val_if_uninitialized (static_last_fundamental_id, g_type_init, 0);
+  g_return_val_if_uninitialized (static_quark_type_flags, g_type_init, 0);
   g_return_val_if_fail (parent_type > 0, 0);
   g_return_val_if_fail (type_name != NULL, 0);
   g_return_val_if_fail (plugin != NULL, 0);
   
-  if (!check_type_name_U (type_name) ||
-      !check_derivation_U (parent_type, type_name) ||
+  if (!check_type_name_I (type_name) ||
+      !check_derivation_I (parent_type, type_name) ||
       !check_plugin_U (plugin, TRUE, FALSE, type_name))
     return 0;
   
   G_WRITE_LOCK (&type_rw_lock);
-  pnode = lookup_type_node_L (parent_type);
+  pnode = lookup_type_node_I (parent_type);
   node = type_node_new_W (pnode, type_name, plugin);
   type_add_flags_W (node, flags);
   type = NODE_TYPE (node);
@@ -1886,10 +1944,10 @@ g_type_add_interface_static (GType                 instance_type,
   G_WRITE_LOCK (&type_rw_lock);
   if (check_add_interface_L (instance_type, interface_type))
     {
-      TypeNode *node = lookup_type_node_L (instance_type);
-      TypeNode *iface = lookup_type_node_L (interface_type);
+      TypeNode *node = lookup_type_node_I (instance_type);
+      TypeNode *iface = lookup_type_node_I (interface_type);
       
-      if (check_interface_info_L (iface, NODE_TYPE (node), info))
+      if (check_interface_info_I (iface, NODE_TYPE (node), info))
        {
          type_add_interface_W (node, iface, info, NULL);
          /* if we have a class already, the interface vtable needs to
@@ -1902,6 +1960,16 @@ g_type_add_interface_static (GType                 instance_type,
   G_WRITE_UNLOCK (&type_rw_lock);
 }
 
+/**
+ * g_type_add_interface_dynamic:
+ * @instance_type: the #GType value of an instantiable type.
+ * @interface_type: the #GType value of an interface type.
+ * @plugin: the #GTypePlugin structure to retrieve the #GInterfaceInfo from.
+ * 
+ * Adds the dynamic @interface_type to @instantiable_type. The information
+ * contained in the #GTypePlugin structure pointed to by @plugin
+ * is used to manage the relationship.
+ **/
 void
 g_type_add_interface_dynamic (GType        instance_type,
                              GType        interface_type,
@@ -1913,16 +1981,14 @@ g_type_add_interface_dynamic (GType        instance_type,
   g_return_if_fail (G_TYPE_IS_INSTANTIATABLE (instance_type));
   g_return_if_fail (g_type_parent (interface_type) == G_TYPE_INTERFACE);
   
-  G_READ_LOCK (&type_rw_lock);
-  node = lookup_type_node_L (instance_type);
-  G_READ_UNLOCK (&type_rw_lock);
+  node = lookup_type_node_I (instance_type);
   if (!check_plugin_U (plugin, FALSE, TRUE, NODE_NAME (node)))
     return;
   
   G_WRITE_LOCK (&type_rw_lock);
   if (check_add_interface_L (instance_type, interface_type))
     {
-      TypeNode *iface = lookup_type_node_L (interface_type);
+      TypeNode *iface = lookup_type_node_I (interface_type);
       
       type_add_interface_W (node, iface, NULL, plugin);
       /* if we have a class already, the interface vtable needs to
@@ -1944,7 +2010,7 @@ g_type_class_ref (GType type)
   /* optimize for common code path
    */
   G_WRITE_LOCK (&type_rw_lock);
-  node = lookup_type_node_L (type);
+  node = lookup_type_node_I (type);
   if (node && node->is_classed && node->data &&
       node->data->class.class && node->data->common.ref_count > 0)
     {
@@ -1959,7 +2025,7 @@ g_type_class_ref (GType type)
     {
       G_WRITE_UNLOCK (&type_rw_lock);
       g_warning ("cannot retrieve class for invalid (unclassed) type `%s'",
-                type_descriptive_name_U (type));
+                type_descriptive_name_I (type));
       return NULL;
     }
   
@@ -1994,14 +2060,14 @@ g_type_class_unref (gpointer g_class)
   
   g_return_if_fail (g_class != NULL);
   
+  node = lookup_type_node_I (class->g_type);
   G_WRITE_LOCK (&type_rw_lock);
-  node = lookup_type_node_L (class->g_type);
   if (node && node->is_classed && node->data &&
       node->data->class.class == class && node->data->common.ref_count > 0)
     type_data_unref_Wm (node, FALSE);
   else
     g_warning ("cannot unreference class of invalid (unclassed) type `%s'",
-              type_descriptive_name_L (class->g_type));
+              type_descriptive_name_I (class->g_type));
   G_WRITE_UNLOCK (&type_rw_lock);
 }
 
@@ -2014,13 +2080,13 @@ g_type_class_unref_uncached (gpointer g_class)
   g_return_if_fail (g_class != NULL);
   
   G_WRITE_LOCK (&type_rw_lock);
-  node = lookup_type_node_L (class->g_type);
+  node = lookup_type_node_I (class->g_type);
   if (node && node->is_classed && node->data &&
       node->data->class.class == class && node->data->common.ref_count > 0)
     type_data_unref_Wm (node, TRUE);
   else
     g_warning ("cannot unreference class of invalid (unclassed) type `%s'",
-              type_descriptive_name_L (class->g_type));
+              type_descriptive_name_I (class->g_type));
   G_WRITE_UNLOCK (&type_rw_lock);
 }
 
@@ -2030,8 +2096,8 @@ g_type_class_peek (GType type)
   TypeNode *node;
   gpointer class;
   
+  node = lookup_type_node_I (type);
   G_READ_LOCK (&type_rw_lock);
-  node = lookup_type_node_L (type);
   if (node && node->is_classed && node->data && node->data->class.class) /* common.ref_count _may_ be 0 */
     class = node->data->class.class;
   else
@@ -2049,11 +2115,11 @@ g_type_class_peek_parent (gpointer g_class)
   
   g_return_val_if_fail (g_class != NULL, NULL);
   
+  node = lookup_type_node_I (G_TYPE_FROM_CLASS (g_class));
   G_READ_LOCK (&type_rw_lock);
-  node = lookup_type_node_L (G_TYPE_FROM_CLASS (g_class));
   if (node && node->is_classed && node->data && NODE_PARENT_TYPE (node))
     {
-      node = lookup_type_node_L (NODE_PARENT_TYPE (node));
+      node = lookup_type_node_I (NODE_PARENT_TYPE (node));
       class = node->data->class.class;
     }
   else if (NODE_PARENT_TYPE (node))
@@ -2074,23 +2140,39 @@ g_type_interface_peek (gpointer instance_class,
   
   g_return_val_if_fail (instance_class != NULL, NULL);
   
-  G_READ_LOCK (&type_rw_lock);
-  node = lookup_type_node_L (class->g_type);
-  iface = lookup_type_node_L (iface_type);
+  node = lookup_type_node_I (class->g_type);
+  iface = lookup_type_node_I (iface_type);
   if (node && node->is_instantiatable && iface)
     {
-      IFaceEntry *entry = type_lookup_iface_entry_L (node, iface);
+      IFaceEntry *entry;
       
-      if (entry && entry->vtable)
+      G_READ_LOCK (&type_rw_lock);
+      
+      entry = type_lookup_iface_entry_L (node, iface);
+      if (entry && entry->vtable)      /* entry is relocatable */
        vtable = entry->vtable;
+      
+      G_READ_UNLOCK (&type_rw_lock);
     }
   else
     g_warning (G_STRLOC ": invalid class pointer `%p'", class);
-  G_READ_UNLOCK (&type_rw_lock);
   
   return vtable;
 }
 
+/**
+ * g_type_interface_peek_parent:
+ * @g_iface: A #GTypeInterface structure.
+ * 
+ * Returns the corresponding #GTypeInterface structure of the parent type
+ * of the instance type to which @g_iface belongs. This is useful when 
+ * deriving the implementation of an interface from the parent type and 
+ * then possibly overriding some methods. 
+ * 
+ * Return value: The corresponding #GTypeInterface structure of the parent type
+ * of the instance type to which @g_iface belongs, or %NULL if the parent type
+ * doesn't conform to the interface.
+ **/
 gpointer
 g_type_interface_peek_parent (gpointer g_iface)
 {
@@ -2098,25 +2180,28 @@ g_type_interface_peek_parent (gpointer g_iface)
   TypeNode *iface;
   gpointer vtable = NULL;
   GTypeInterface *iface_class = g_iface;
-
+  
   g_return_val_if_fail (g_iface != NULL, NULL);
-
-  G_READ_LOCK (&type_rw_lock);
-  iface = lookup_type_node_L (iface_class->g_type);
-  node = lookup_type_node_L (iface_class->g_instance_type);
+  
+  iface = lookup_type_node_I (iface_class->g_type);
+  node = lookup_type_node_I (iface_class->g_instance_type);
   if (node)
-    node = lookup_type_node_L (NODE_PARENT_TYPE (node));
+    node = lookup_type_node_I (NODE_PARENT_TYPE (node));
   if (node && node->is_instantiatable && iface)
     {
-      IFaceEntry *entry = type_lookup_iface_entry_L (node, iface);
-
-      if (entry && entry->vtable)
+      IFaceEntry *entry;
+      
+      G_READ_LOCK (&type_rw_lock);
+      
+      entry = type_lookup_iface_entry_L (node, iface);
+      if (entry && entry->vtable)      /* entry is relocatable */
        vtable = entry->vtable;
+      
+      G_READ_UNLOCK (&type_rw_lock);
     }
   else if (node)
     g_warning (G_STRLOC ": invalid interface pointer `%p'", g_iface);
-  G_READ_UNLOCK (&type_rw_lock);
-
+  
   return vtable;
 }
 
@@ -2125,11 +2210,9 @@ g_type_name (GType type)
 {
   TypeNode *node;
   
-  g_return_val_if_uninitialized (static_last_fundamental_id, g_type_init, NULL);
-
-  G_READ_LOCK (&type_rw_lock);
-  node = lookup_type_node_L (type);
-  G_READ_UNLOCK (&type_rw_lock);
+  g_return_val_if_uninitialized (static_quark_type_flags, g_type_init, NULL);
+  
+  node = lookup_type_node_I (type);
   
   return node ? NODE_NAME (node) : NULL;
 }
@@ -2139,9 +2222,7 @@ g_type_qname (GType type)
 {
   TypeNode *node;
   
-  G_READ_LOCK (&type_rw_lock);
-  node = lookup_type_node_L (type);
-  G_READ_UNLOCK (&type_rw_lock);
+  node = lookup_type_node_I (type);
   
   return node ? node->qname : 0;
 }
@@ -2158,7 +2239,7 @@ g_type_from_name (const gchar *name)
   if (quark)
     {
       G_READ_LOCK (&type_rw_lock);
-      type = GPOINTER_TO_UINT (g_hash_table_lookup (static_type_nodes_ht, GUINT_TO_POINTER (quark)));
+      type = (GType) g_hash_table_lookup (static_type_nodes_ht, GUINT_TO_POINTER (quark));
       G_READ_UNLOCK (&type_rw_lock);
     }
   
@@ -2170,9 +2251,7 @@ g_type_parent (GType type)
 {
   TypeNode *node;
   
-  G_READ_LOCK (&type_rw_lock);
-  node = lookup_type_node_L (type);
-  G_READ_UNLOCK (&type_rw_lock);
+  node = lookup_type_node_I (type);
   
   return node ? NODE_PARENT_TYPE (node) : 0;
 }
@@ -2182,9 +2261,7 @@ g_type_depth (GType type)
 {
   TypeNode *node;
   
-  G_READ_LOCK (&type_rw_lock);
-  node = lookup_type_node_L (type);
-  G_READ_UNLOCK (&type_rw_lock);
+  node = lookup_type_node_I (type);
   
   return node ? node->n_supers + 1 : 0;
 }
@@ -2196,11 +2273,10 @@ g_type_next_base (GType type,
   GType atype = 0;
   TypeNode *node;
   
-  G_READ_LOCK (&type_rw_lock);
-  node = lookup_type_node_L (type);
+  node = lookup_type_node_I (type);
   if (node)
     {
-      TypeNode *base_node = lookup_type_node_L (base_type);
+      TypeNode *base_node = lookup_type_node_I (base_type);
       
       if (base_node && base_node->n_supers < node->n_supers)
        {
@@ -2210,32 +2286,56 @@ g_type_next_base (GType type,
            atype = node->supers[n - 1];
        }
     }
-  G_READ_UNLOCK (&type_rw_lock);
   
   return atype;
 }
 
 static inline gboolean
-type_node_is_a_L (TypeNode *node,
-                 TypeNode *iface_node,
-                 /*        support_inheritance */
-                 gboolean  support_interfaces,
-                 gboolean  support_prerequisites)
-{
-  if (support_interfaces &&
-      node->is_instantiatable && NODE_IS_IFACE (iface_node) &&
-      type_lookup_iface_entry_L (node, iface_node) != NULL)
+type_node_check_conformities_UorL (TypeNode *node,
+                                  TypeNode *iface_node,
+                                  /*        support_inheritance */
+                                  gboolean  support_interfaces,
+                                  gboolean  support_prerequisites,
+                                  gboolean  have_lock)
+{
+  gboolean match;
+  
+  if (/* support_inheritance && */
+      iface_node->n_supers <= node->n_supers &&
+      node->supers[node->n_supers - iface_node->n_supers] == NODE_TYPE (iface_node))
     return TRUE;
-  else if (/* support_inheritance && */
-          iface_node->n_supers <= node->n_supers &&
-          node->supers[node->n_supers - iface_node->n_supers] == NODE_TYPE (iface_node))
-    return TRUE;
-  else if (support_prerequisites &&
-          NODE_IS_IFACE (node) &&
-          type_lookup_prerequisite_L (node, NODE_TYPE (iface_node)))
-    return TRUE;
-  else
-    return FALSE;
+  
+  support_interfaces = support_interfaces && node->is_instantiatable && NODE_IS_IFACE (iface_node);
+  support_prerequisites = support_prerequisites && NODE_IS_IFACE (node);
+  match = FALSE;
+  if (support_interfaces || support_prerequisites)
+    {
+      if (!have_lock)
+       G_READ_LOCK (&type_rw_lock);
+      if (support_interfaces && type_lookup_iface_entry_L (node, iface_node))
+       match = TRUE;
+      else if (support_prerequisites && type_lookup_prerequisite_L (node, NODE_TYPE (iface_node)))
+       match = TRUE;
+      if (!have_lock)
+       G_READ_UNLOCK (&type_rw_lock);
+    }
+  return match;
+}
+
+static gboolean
+type_node_is_a_L (TypeNode *node,
+                 TypeNode *iface_node)
+{
+  return type_node_check_conformities_UorL (node, iface_node, TRUE, TRUE, TRUE);
+}
+
+static inline gboolean
+type_node_conforms_to_U (TypeNode *node,
+                        TypeNode *iface_node,
+                        gboolean  support_interfaces,
+                        gboolean  support_prerequisites)
+{
+  return type_node_check_conformities_UorL (node, iface_node, support_interfaces, support_prerequisites, FALSE);
 }
 
 gboolean
@@ -2244,27 +2344,12 @@ g_type_is_a (GType type,
 {
   TypeNode *node, *iface_node;
   gboolean is_a;
-
-  G_READ_LOCK (&type_rw_lock);
-  node = lookup_type_node_L (type);
-  iface_node = lookup_type_node_L (iface_type);
-  is_a = node && iface_node && type_node_is_a_L (node, iface_node, TRUE, TRUE);
-  G_READ_UNLOCK (&type_rw_lock);
-
-  return is_a;
-}
-
-guint
-_g_type_fundamental_branch_last (GType type)
-{
-  GType ftype = G_TYPE_FUNDAMENTAL (type);
-  guint last_type;
   
-  G_READ_LOCK (&type_rw_lock);
-  last_type = ftype < static_last_fundamental_id ? static_branch_seqnos[ftype] : 0;
-  G_READ_UNLOCK (&type_rw_lock);
+  node = lookup_type_node_I (type);
+  iface_node = lookup_type_node_I (iface_type);
+  is_a = node && iface_node && type_node_conforms_to_U (node, iface_node, TRUE, TRUE);
   
-  return last_type;
+  return is_a;
 }
 
 GType* /* free result */
@@ -2273,12 +2358,13 @@ g_type_children (GType  type,
 {
   TypeNode *node;
   
-  G_READ_LOCK (&type_rw_lock);
-  node = lookup_type_node_L (type);
+  node = lookup_type_node_I (type);
   if (node)
     {
-      GType *children = g_new (GType, node->n_children + 1);
+      GType *children;
       
+      G_READ_LOCK (&type_rw_lock);     /* ->children is relocatable */
+      children = g_new (GType, node->n_children + 1);
       memcpy (children, node->children, sizeof (GType) * node->n_children);
       children[node->n_children] = 0;
       
@@ -2290,7 +2376,6 @@ g_type_children (GType  type,
     }
   else
     {
-      G_READ_UNLOCK (&type_rw_lock);
       if (n_children)
        *n_children = 0;
       
@@ -2304,13 +2389,14 @@ g_type_interfaces (GType  type,
 {
   TypeNode *node;
   
-  G_READ_LOCK (&type_rw_lock);
-  node = lookup_type_node_L (type);
+  node = lookup_type_node_I (type);
   if (node && node->is_instantiatable)
     {
-      GType *ifaces = g_new (GType, CLASSED_NODE_N_IFACES (node) + 1);
+      GType *ifaces;
       guint i;
       
+      G_READ_LOCK (&type_rw_lock);
+      ifaces = g_new (GType, CLASSED_NODE_N_IFACES (node) + 1);
       for (i = 0; i < CLASSED_NODE_N_IFACES (node); i++)
        ifaces[i] = CLASSED_NODE_IFACES_ENTRIES (node)[i].iface_type;
       ifaces[i] = 0;
@@ -2323,7 +2409,6 @@ g_type_interfaces (GType  type,
     }
   else
     {
-      G_READ_UNLOCK (&type_rw_lock);
       if (n_interfaces)
        *n_interfaces = 0;
       
@@ -2376,6 +2461,16 @@ type_get_qdata_L (TypeNode *node,
   return NULL;
 }
 
+/**
+ * g_type_get_qdata:
+ * @type: a #GType
+ * @quark: a #GQuark id to identify the data
+ * 
+ * Obtains data which has previously been attached to @type
+ * with g_type_set_qdata().
+ * 
+ * Return value: the data, or %NULL if no data was found
+ **/
 gpointer
 g_type_get_qdata (GType  type,
                  GQuark quark)
@@ -2383,16 +2478,15 @@ g_type_get_qdata (GType  type,
   TypeNode *node;
   gpointer data;
   
-  G_READ_LOCK (&type_rw_lock);
-  node = lookup_type_node_L (type);
+  node = lookup_type_node_I (type);
   if (node)
     {
+      G_READ_LOCK (&type_rw_lock);
       data = type_get_qdata_L (node, quark);
       G_READ_UNLOCK (&type_rw_lock);
     }
   else
     {
-      G_READ_UNLOCK (&type_rw_lock);
       g_return_val_if_fail (node != NULL, NULL);
       data = NULL;
     }
@@ -2434,6 +2528,14 @@ type_set_qdata_W (TypeNode *node,
   qdata[i].data = data;
 }
 
+/**
+ * g_type_set_qdata:
+ * @type: a #GType 
+ * @quark: a #GQuark id to identify the data
+ * @data: the data
+ * 
+ * Attaches arbitrary data to a type.
+ **/
 void
 g_type_set_qdata (GType    type,
                  GQuark   quark,
@@ -2443,18 +2545,15 @@ g_type_set_qdata (GType    type,
   
   g_return_if_fail (quark != 0);
   
-  G_WRITE_LOCK (&type_rw_lock);
-  node = lookup_type_node_L (type);
+  node = lookup_type_node_I (type);
   if (node)
     {
+      G_WRITE_LOCK (&type_rw_lock);
       type_set_qdata_W (node, quark, data);
       G_WRITE_UNLOCK (&type_rw_lock);
     }
   else
-    {
-      G_WRITE_UNLOCK (&type_rw_lock);
-      g_return_if_fail (node != NULL);
-    }
+    g_return_if_fail (node != NULL);
 }
 
 static void
@@ -2473,31 +2572,42 @@ type_add_flags_W (TypeNode  *node,
   type_set_qdata_W (node, static_quark_type_flags, GUINT_TO_POINTER (dflags));
 }
 
+/**
+ * g_type_query:
+ * @type: the #GType value of a static, classed type.
+ * @query: A user provided structure that is filled in with constant values 
+ *         upon success.
+ * 
+ * Queries the type system for information about a specific type. 
+ * This function will fill in a user-provided structure to hold type-specific 
+ * information. If an invalid #GType is passed in, the @type member of the 
+ * #GTypeQuery is 0. All members filled into the #GTypeQuery structure should
+ * be considered constant and have to be left untouched.
+ **/
 void
 g_type_query (GType       type,
              GTypeQuery *query)
 {
   TypeNode *node;
-
+  
   g_return_if_fail (query != NULL);
   
-  G_READ_LOCK (&type_rw_lock);
-  node = lookup_type_node_L (type);
-  if (node && node->is_classed && !node->plugin && node->data)
+  /* if node is not static and classed, we won't allow query */
+  query->type = 0;
+  node = lookup_type_node_I (type);
+  if (node && node->is_classed && !node->plugin)
     {
-      /* type is classed and static, probably even instantiatable */
-
-      query->type = NODE_TYPE (node);
-      query->type_name = NODE_NAME (node);
-      query->class_size = node->data->class.class_size;
-      query->instance_size = node->is_instantiatable ? node->data->instance.instance_size : 0;
-    }
-  else
-    {
-      /* node is not static and classed, won't allow query */
-      query->type = 0;
+      /* type is classed and probably even instantiatable */
+      G_READ_LOCK (&type_rw_lock);
+      if (node->data)  /* type is static or referenced */
+       {
+         query->type = NODE_TYPE (node);
+         query->type_name = NODE_NAME (node);
+         query->class_size = node->data->class.class_size;
+         query->instance_size = node->is_instantiatable ? node->data->instance.instance_size : 0;
+       }
+      G_READ_UNLOCK (&type_rw_lock);
     }
-  G_READ_UNLOCK (&type_rw_lock);
 }
 
 
@@ -2509,8 +2619,7 @@ g_type_test_flags (GType type,
   TypeNode *node;
   gboolean result = FALSE;
   
-  G_READ_LOCK (&type_rw_lock);
-  node = lookup_type_node_L (type);
+  node = lookup_type_node_I (type);
   if (node)
     {
       guint fflags = flags & TYPE_FUNDAMENTAL_FLAG_MASK;
@@ -2518,7 +2627,7 @@ g_type_test_flags (GType type,
       
       if (fflags)
        {
-         GTypeFundamentalInfo *finfo = type_node_fundamental_info_L (node);
+         GTypeFundamentalInfo *finfo = type_node_fundamental_info_I (node);
          
          fflags = (finfo->type_flags & fflags) == fflags;
        }
@@ -2526,13 +2635,16 @@ g_type_test_flags (GType type,
        fflags = TRUE;
       
       if (tflags)
-       tflags = (tflags & GPOINTER_TO_UINT (type_get_qdata_L (node, static_quark_type_flags))) == tflags;
+       {
+         G_READ_LOCK (&type_rw_lock);
+         tflags = (tflags & GPOINTER_TO_UINT (type_get_qdata_L (node, static_quark_type_flags))) == tflags;
+         G_READ_UNLOCK (&type_rw_lock);
+       }
       else
        tflags = TRUE;
       
       result = tflags && fflags;
     }
-  G_READ_UNLOCK (&type_rw_lock);
   
   return result;
 }
@@ -2542,13 +2654,24 @@ g_type_get_plugin (GType type)
 {
   TypeNode *node;
   
-  G_READ_LOCK (&type_rw_lock);
-  node = lookup_type_node_L (type);
-  G_READ_UNLOCK (&type_rw_lock);
+  node = lookup_type_node_I (type);
   
   return node ? node->plugin : NULL;
 }
 
+/**
+ * g_type_interface_get_plugin:
+ * @instance_type: the #GType value of an instantiatable type.
+ * @interface_type: the #GType value of an interface type.
+ * 
+ * Returns the #GTypePlugin structure for the dynamic interface 
+ * @interface_type which has been added to @instance_type, or 
+ * %NULL if @interface_type has not been added to @instance_type or does 
+ * not have a #GTypePlugin structure. See g_type_add_interface_dynamic().
+ * 
+ * Return value: the #GTypePlugin for the dynamic interface @interface_type
+ * of @instance_type.
+ **/
 GTypePlugin*
 g_type_interface_get_plugin (GType instance_type,
                             GType interface_type)
@@ -2556,24 +2679,26 @@ g_type_interface_get_plugin (GType instance_type,
   TypeNode *node;
   TypeNode *iface;
   
-  g_return_val_if_fail (G_TYPE_IS_INTERFACE (interface_type), NULL);
+  g_return_val_if_fail (G_TYPE_IS_INTERFACE (interface_type), NULL);   /* G_TYPE_IS_INTERFACE() is an external call: _U */
   
-  G_READ_LOCK (&type_rw_lock);
-  node = lookup_type_node_L (instance_type);  
-  iface = lookup_type_node_L (interface_type);
+  node = lookup_type_node_I (instance_type);  
+  iface = lookup_type_node_I (interface_type);
   if (node && iface)
     {
-      IFaceHolder *iholder = iface_node_get_holders_L (iface);
+      IFaceHolder *iholder;
+      GTypePlugin *plugin;
       
+      G_READ_LOCK (&type_rw_lock);
+      
+      iholder = iface_node_get_holders_L (iface);
       while (iholder && iholder->instance_type != instance_type)
        iholder = iholder->next;
+      plugin = iholder ? iholder->plugin : NULL;
+      
       G_READ_UNLOCK (&type_rw_lock);
       
-      if (iholder)
-       return iholder->plugin;
+      return plugin;
     }
-  else
-    G_READ_UNLOCK (&type_rw_lock);
   
   g_return_val_if_fail (node == NULL, NULL);
   g_return_val_if_fail (iface == NULL, NULL);
@@ -2584,15 +2709,23 @@ g_type_interface_get_plugin (GType instance_type,
 }
 
 GType
-g_type_fundamental_last (void)
+g_type_fundamental_next (void)
 {
   GType type;
   
   G_READ_LOCK (&type_rw_lock);
-  type = static_last_fundamental_id;
+  type = static_fundamental_next;
   G_READ_UNLOCK (&type_rw_lock);
+  type = G_TYPE_MAKE_FUNDAMENTAL (type);
+  return type <= G_TYPE_FUNDAMENTAL_MAX ? type : 0;
+}
+
+GType
+g_type_fundamental (GType type_id)
+{
+  TypeNode *node = lookup_type_node_I (type_id);
   
-  return type;
+  return node ? NODE_FUNDAMENTAL_TYPE (node) : 0;
 }
 
 gboolean
@@ -2601,16 +2734,14 @@ g_type_check_instance_is_a (GTypeInstance *type_instance,
 {
   TypeNode *node, *iface;
   gboolean check;
-
+  
   if (!type_instance || !type_instance->g_class)
     return FALSE;
-
-  G_READ_LOCK (&type_rw_lock);
-  node = lookup_type_node_L (type_instance->g_class->g_type);
-  iface = lookup_type_node_L (iface_type);
-  check = node && node->is_instantiatable && iface && type_node_is_a_L (node, iface, TRUE, FALSE);
-  G_READ_UNLOCK (&type_rw_lock);
-
+  
+  node = lookup_type_node_I (type_instance->g_class->g_type);
+  iface = lookup_type_node_I (iface_type);
+  check = node && node->is_instantiatable && iface && type_node_conforms_to_U (node, iface, TRUE, FALSE);
+  
   return check;
 }
 
@@ -2620,16 +2751,14 @@ g_type_check_class_is_a (GTypeClass *type_class,
 {
   TypeNode *node, *iface;
   gboolean check;
-
+  
   if (!type_class)
     return FALSE;
-
-  G_READ_LOCK (&type_rw_lock);
-  node = lookup_type_node_L (type_class->g_type);
-  iface = lookup_type_node_L (is_a_type);
-  check = node && node->is_classed && iface && type_node_is_a_L (node, iface, FALSE, FALSE);
-  G_READ_UNLOCK (&type_rw_lock);
-
+  
+  node = lookup_type_node_I (type_class->g_type);
+  iface = lookup_type_node_I (is_a_type);
+  check = node && node->is_classed && iface && type_node_conforms_to_U (node, iface, FALSE, FALSE);
+  
   return check;
 }
 
@@ -2643,32 +2772,27 @@ g_type_check_instance_cast (GTypeInstance *type_instance,
        {
          TypeNode *node, *iface;
          gboolean is_instantiatable, check;
-
-         G_READ_LOCK (&type_rw_lock);
-         node = lookup_type_node_L (type_instance->g_class->g_type);
+         
+         node = lookup_type_node_I (type_instance->g_class->g_type);
          is_instantiatable = node && node->is_instantiatable;
-         iface = lookup_type_node_L (iface_type);
-         check = is_instantiatable && iface && type_node_is_a_L (node, iface, TRUE, FALSE);
-         G_READ_UNLOCK (&type_rw_lock);
+         iface = lookup_type_node_I (iface_type);
+         check = is_instantiatable && iface && type_node_conforms_to_U (node, iface, TRUE, FALSE);
          if (check)
            return type_instance;
-
+         
          if (is_instantiatable)
            g_warning ("invalid cast from `%s' to `%s'",
-                      type_descriptive_name_U (type_instance->g_class->g_type),
-                      type_descriptive_name_U (iface_type));
+                      type_descriptive_name_I (type_instance->g_class->g_type),
+                      type_descriptive_name_I (iface_type));
          else
            g_warning ("invalid uninstantiatable type `%s' in cast to `%s'",
-                      type_descriptive_name_U (type_instance->g_class->g_type),
-                      type_descriptive_name_U (iface_type));
+                      type_descriptive_name_I (type_instance->g_class->g_type),
+                      type_descriptive_name_I (iface_type));
        }
       else
        g_warning ("invalid unclassed pointer in cast to `%s'",
-                  type_descriptive_name_U (iface_type));
+                  type_descriptive_name_I (iface_type));
     }
-  else
-    g_warning ("invalid cast from (NULL) pointer to `%s'",
-              type_descriptive_name_U (iface_type));
   
   return type_instance;
 }
@@ -2682,27 +2806,25 @@ g_type_check_class_cast (GTypeClass *type_class,
       TypeNode *node, *iface;
       gboolean is_classed, check;
       
-      G_READ_LOCK (&type_rw_lock);
-      node = lookup_type_node_L (type_class->g_type);
+      node = lookup_type_node_I (type_class->g_type);
       is_classed = node && node->is_classed;
-      iface = lookup_type_node_L (is_a_type);
-      check = is_classed && iface && type_node_is_a_L (node, iface, FALSE, FALSE);
-      G_READ_UNLOCK (&type_rw_lock);
+      iface = lookup_type_node_I (is_a_type);
+      check = is_classed && iface && type_node_conforms_to_U (node, iface, FALSE, FALSE);
       if (check)
        return type_class;
-
+      
       if (is_classed)
        g_warning ("invalid class cast from `%s' to `%s'",
-                  type_descriptive_name_U (type_class->g_type),
-                  type_descriptive_name_U (is_a_type));
+                  type_descriptive_name_I (type_class->g_type),
+                  type_descriptive_name_I (is_a_type));
       else
        g_warning ("invalid unclassed type `%s' in class cast to `%s'",
-                  type_descriptive_name_U (type_class->g_type),
-                  type_descriptive_name_U (is_a_type));
+                  type_descriptive_name_I (type_class->g_type),
+                  type_descriptive_name_I (is_a_type));
     }
   else
     g_warning ("invalid class cast from (NULL) pointer to `%s'",
-              type_descriptive_name_U (is_a_type));
+              type_descriptive_name_I (is_a_type));
   return type_class;
 }
 
@@ -2716,25 +2838,20 @@ g_type_check_instance (GTypeInstance *type_instance)
     {
       if (type_instance->g_class)
        {
-         TypeNode *node;
-         gboolean is_instantiatable;
+         TypeNode *node = lookup_type_node_I (type_instance->g_class->g_type);
          
-         G_READ_LOCK (&type_rw_lock);
-         node = lookup_type_node_L (type_instance->g_class->g_type);
-         is_instantiatable = node && node->is_instantiatable;
-         G_READ_UNLOCK (&type_rw_lock);
-         if (is_instantiatable)
+         if (node && node->is_instantiatable)
            return TRUE;
-
+         
          g_warning ("instance of invalid non-instantiatable type `%s'",
-                    type_descriptive_name_U (type_instance->g_class->g_type));
+                    type_descriptive_name_I (type_instance->g_class->g_type));
        }
       else
        g_warning ("instance with invalid (NULL) class pointer");
     }
   else
     g_warning ("invalid (NULL) pointer instance");
-
+  
   return FALSE;
 }
 
@@ -2743,10 +2860,14 @@ type_check_is_value_type_U (GType type)
 {
   GTypeFlags tflags = G_TYPE_FLAG_VALUE_ABSTRACT;
   TypeNode *node;
-
+  
+  /* common path speed up */
+  node = lookup_type_node_I (type);
+  if (node && node->mutatable_check_cache)
+    return TRUE;
+  
   G_READ_LOCK (&type_rw_lock);
  restart_check:
-  node = lookup_type_node_L (type);
   if (node)
     {
       if (node->data && node->data->common.ref_count > 0 &&
@@ -2755,22 +2876,23 @@ type_check_is_value_type_U (GType type)
       else if (NODE_IS_IFACE (node))
        {
          guint i;
-
+         
          for (i = 0; i < IFACE_NODE_N_PREREQUISITES (node); i++)
            {
              GType prtype = IFACE_NODE_PREREQUISITES (node)[i];
-             TypeNode *prnode = lookup_type_node_L (prtype);
-
+             TypeNode *prnode = lookup_type_node_I (prtype);
+             
              if (prnode->is_instantiatable)
                {
                  type = prtype;
+                 node = lookup_type_node_I (type);
                  goto restart_check;
                }
            }
        }
     }
   G_READ_UNLOCK (&type_rw_lock);
-
+  
   return !(tflags & G_TYPE_FLAG_VALUE_ABSTRACT);
 }
 
@@ -2796,49 +2918,58 @@ g_type_check_value_holds (GValue *value,
 GTypeValueTable*
 g_type_value_table_peek (GType type)
 {
-  TypeNode *node;
-  GTypeValueTable *vtable;
-  
+  GTypeValueTable *vtable = NULL;
+  TypeNode *node = lookup_type_node_I (type);
+  gboolean has_refed_data, has_table;
+  TypeData *data;
+
+  /* speed up common code path, we're not 100% safe here,
+   * but we should only get called with referenced types anyway
+   */
+  data = node ? node->data : NULL;
+  if (node && node->mutatable_check_cache)
+    return data->common.value_table;
+
   G_READ_LOCK (&type_rw_lock);
+  
  restart_table_peek:
-  node = lookup_type_node_L (type);
-  if (!node)
+  has_refed_data = node && node->data && node->data->common.ref_count;
+  has_table = has_refed_data && node->data->common.value_table->value_init;
+  if (has_refed_data)
     {
-      g_warning (G_STRLOC ": type id `%u' is invalid", type);
-      G_READ_UNLOCK (&type_rw_lock);
-      return NULL;
-    }
-  if (!node->data || node->data->common.ref_count < 1)
-    {
-      g_warning ("can't peek value table for type `%s' which is not currently referenced",
-                type_descriptive_name_L (type));
-      G_READ_UNLOCK (&type_rw_lock);
-      return NULL;
-    }
-  if (node->data->common.value_table->value_init)
-    vtable = node->data->common.value_table;
-  else if (NODE_IS_IFACE (node))
-    {
-      guint i;
-
-      for (i = 0; i < IFACE_NODE_N_PREREQUISITES (node); i++)
+      if (has_table)
+       vtable = node->data->common.value_table;
+      else if (NODE_IS_IFACE (node))
        {
-         GType prtype = IFACE_NODE_PREREQUISITES (node)[i];
-         TypeNode *prnode = lookup_type_node_L (prtype);
-
-         if (prnode->is_instantiatable)
+         guint i;
+         
+         for (i = 0; i < IFACE_NODE_N_PREREQUISITES (node); i++)
            {
-             type = prtype;
-             goto restart_table_peek;
+             GType prtype = IFACE_NODE_PREREQUISITES (node)[i];
+             TypeNode *prnode = lookup_type_node_I (prtype);
+             
+             if (prnode->is_instantiatable)
+               {
+                 type = prtype;
+                 node = lookup_type_node_I (type);
+                 goto restart_table_peek;
+               }
            }
        }
-      vtable = NULL;
     }
-  else
-    vtable = NULL;
+  
   G_READ_UNLOCK (&type_rw_lock);
   
-  return vtable;
+  if (vtable)
+    return vtable;
+  
+  if (!node)
+    g_warning (G_STRLOC ": type id `%lu' is invalid", type);
+  if (!has_refed_data)
+    g_warning ("can't peek value table for type `%s' which is not currently referenced",
+              type_descriptive_name_I (type));
+  
+  return NULL;
 }
 
 G_CONST_RETURN gchar*
@@ -2861,6 +2992,7 @@ g_type_name_from_class (GTypeClass *g_class)
 
 
 /* --- foreign prototypes --- */
+extern void    g_value_c_init          (void); /* sync with gvalue.c */
 extern void    g_value_types_init      (void); /* sync with gvaluetypes.c */
 extern void    g_enum_types_init       (void); /* sync with genums.c */
 extern void     g_param_type_init       (void);        /* sync with gparam.c */
@@ -2876,7 +3008,6 @@ void
 g_type_init_with_debug_flags (GTypeDebugFlags debug_flags)
 {
   G_LOCK_DEFINE_STATIC (type_init_lock);
-  static TypeNode *type0_node = NULL;
   const gchar *env_string;
   GTypeInfo info;
   TypeNode *node;
@@ -2886,23 +3017,23 @@ g_type_init_with_debug_flags (GTypeDebugFlags debug_flags)
   
   G_WRITE_LOCK (&type_rw_lock);
   
-  if (static_last_fundamental_id)
+  if (static_quark_type_flags)
     {
       G_WRITE_UNLOCK (&type_rw_lock);
       G_UNLOCK (type_init_lock);
       return;
     }
-
-  /* setup GRuntime wide debugging flags */
+  
+  /* setup GObject library wide debugging flags */
   _g_type_debug_flags = debug_flags & G_TYPE_DEBUG_MASK;
-  env_string = g_getenv ("GRUNTIME_DEBUG");
+  env_string = g_getenv ("GOBJECT_DEBUG");
   if (env_string != NULL)
     {
       static GDebugKey debug_keys[] = {
        { "objects", G_TYPE_DEBUG_OBJECTS },
        { "signals", G_TYPE_DEBUG_SIGNALS },
       };
-
+      
       _g_type_debug_flags |= g_parse_debug_string (env_string,
                                                   debug_keys,
                                                   sizeof (debug_keys) / sizeof (debug_keys[0]));
@@ -2919,11 +3050,7 @@ g_type_init_with_debug_flags (GTypeDebugFlags debug_flags)
   
   /* invalid type G_TYPE_INVALID (0)
    */
-  static_last_fundamental_id = 1;
-  static_type_nodes = g_renew (TypeNode**, static_type_nodes, static_last_fundamental_id);
-  static_type_nodes[0] = &type0_node;
-  static_branch_seqnos = g_renew (GType, static_branch_seqnos, static_last_fundamental_id);
-  static_branch_seqnos[0] = 1;
+  static_fundamental_type_nodes[0] = NULL;
   
   /* void type G_TYPE_NONE
    */
@@ -2941,6 +3068,8 @@ g_type_init_with_debug_flags (GTypeDebugFlags debug_flags)
   
   G_WRITE_UNLOCK (&type_rw_lock);
   
+  g_value_c_init ();
+
   /* G_TYPE_TYPE_PLUGIN
    */
   g_type_plugin_get_type ();
@@ -2972,7 +3101,7 @@ g_type_init_with_debug_flags (GTypeDebugFlags debug_flags)
   /* Value Transformations
    */
   g_value_transforms_init ();
-
+  
   /* Signal system
    */
   g_signal_init ();