2009-01-09 Zoltan Varga <vargaz@gmail.com>
[mono.git] / mono / metadata / metadata.c
index 4bce9560fe6205cb82857261231f0a6266a60ce8..357f78efd67dddd7059f301e6ba142f1ec8f04fe 100644 (file)
@@ -441,10 +441,49 @@ typedef struct {
        MonoGenericContext context;
 } MonoInflatedMethodSignature;
 
+/**
+ * mono_image_alloc_lock:
+ *
+ *   Same as mono_image_alloc, but do the locking as well.
+ * LOCKING: Acquires the loader lock.
+ */
+static gpointer
+mono_image_alloc_lock (MonoImage *image, guint size)
+{
+       gpointer res;
+
+       mono_loader_lock ();
+       res = mono_image_alloc (image, size);
+       mono_loader_unlock ();
+
+       return res;
+}
+
+/**
+ * mono_image_alloc0_lock:
+ *
+ *   Same as mono_image_alloc, but do the locking as well.
+ * LOCKING: Acquires the loader lock.
+ */
+static gpointer
+mono_image_alloc0_lock (MonoImage *image, guint size)
+{
+       gpointer res;
+
+       mono_loader_lock ();
+       res = mono_image_alloc0 (image, size);
+       mono_loader_unlock ();
+
+       return res;
+}
+
 /**
  * mono_meta_table_name:
  * @table: table index
  *
+ * Returns the name of the given ECMA metadata logical format table
+ * as described in ECMA 335, Partition II, Section 22.
+ * 
  * Returns: the name for the @table index
  */
 const char *
@@ -538,8 +577,10 @@ mono_metadata_compute_size (MonoImage *meta, int tableindex, guint32 *result_bit
                                break;
                        case MONO_TABLE_EVENT:
                                g_assert (i == 2);
-                               field_size = MAX (idx_size (MONO_TABLE_TYPEDEF), idx_size(MONO_TABLE_TYPEREF));
-                               field_size = MAX (field_size, idx_size(MONO_TABLE_TYPESPEC));
+                               n = MAX (meta->tables [MONO_TABLE_TYPEDEF].rows, meta->tables [MONO_TABLE_TYPEREF].rows);
+                               n = MAX (n, meta->tables [MONO_TABLE_TYPESPEC].rows);
+                               /*This is a coded token for 3 tables, so takes 2 bits */
+                               field_size = rtsize (n, 16 - MONO_TYPEDEFORREF_BITS);
                                break;
                        case MONO_TABLE_EVENT_POINTER:
                                g_assert (i == 0);
@@ -596,9 +637,11 @@ mono_metadata_compute_size (MonoImage *meta, int tableindex, guint32 *result_bit
                                break;
                        case MONO_TABLE_GENERICPARAM:
                                g_assert (i == 2 || i == 4 || i == 5);
-                               if (i == 2)
-                                       field_size = MAX (idx_size (MONO_TABLE_METHOD), idx_size (MONO_TABLE_TYPEDEF));
-                               else if (i == 4)
+                               if (i == 2) {
+                                       n = MAX (meta->tables [MONO_TABLE_METHOD].rows, meta->tables [MONO_TABLE_TYPEDEF].rows);
+                                       /*This is a coded token for 2 tables, so takes 1 bit */
+                                       field_size = rtsize (n, 16 - MONO_TYPEORMETHOD_BITS);
+                               } else if (i == 4)
                                        field_size = idx_size (MONO_TABLE_TYPEDEF);
                                else if (i == 5)
                                        field_size = idx_size (MONO_TABLE_TYPEDEF);
@@ -960,7 +1003,7 @@ mono_metadata_decode_row (const MonoTableInfo *t, int idx, guint32 *res, int res
        data = t->base + idx * t->row_size;
        
        g_assert (res_size == count);
-       
+
        for (i = 0; i < count; i++) {
                int n = mono_metadata_table_size (bitfield, i);
 
@@ -1249,16 +1292,17 @@ mono_metadata_parse_custom_mod (MonoImage *m, MonoCustomMod *dest, const char *p
  * Returns: a #MonoArrayType structure describing the array type
  * and dimensions. Memory is allocated from the image mempool.
  *
- * LOCKING: Assumes the loader lock is held.
+ * LOCKING: Acquires the loader lock
  */
 MonoArrayType *
 mono_metadata_parse_array_full (MonoImage *m, MonoGenericContainer *container,
                                const char *ptr, const char **rptr)
 {
        int i;
-       MonoArrayType *array = mono_mempool_alloc0 (m->mempool, sizeof (MonoArrayType));
+       MonoArrayType *array;
        MonoType *etype;
        
+       array = mono_image_alloc0_lock (m, sizeof (MonoArrayType));
        etype = mono_metadata_parse_type_full (m, container, MONO_PARSE_TYPE, 0, ptr, &ptr);
        if (!etype)
                return NULL;
@@ -1397,8 +1441,8 @@ mono_type_equal (gconstpointer ka, gconstpointer kb)
        return 1;
 }
 
-static guint
-mono_generic_inst_hash (gconstpointer data)
+guint
+mono_metadata_generic_inst_hash (gconstpointer data)
 {
        const MonoGenericInst *ginst = (const MonoGenericInst *) data;
        guint hash = 0;
@@ -1433,8 +1477,8 @@ mono_generic_inst_equal_full (const MonoGenericInst *a, const MonoGenericInst *b
        return TRUE;
 }
 
-static gboolean
-mono_generic_inst_equal (gconstpointer ka, gconstpointer kb)
+gboolean
+mono_metadata_generic_inst_equal (gconstpointer ka, gconstpointer kb)
 {
        const MonoGenericInst *a = (const MonoGenericInst *) ka;
        const MonoGenericInst *b = (const MonoGenericInst *) kb;
@@ -1476,7 +1520,7 @@ mono_metadata_init (void)
        int i;
 
        type_cache = g_hash_table_new (mono_type_hash, mono_type_equal);
-       generic_inst_cache = g_hash_table_new_full (mono_generic_inst_hash, mono_generic_inst_equal, NULL, (GDestroyNotify)free_generic_inst);
+       generic_inst_cache = g_hash_table_new_full (mono_metadata_generic_inst_hash, mono_metadata_generic_inst_equal, NULL, (GDestroyNotify)free_generic_inst);
        generic_class_cache = g_hash_table_new_full (mono_generic_class_hash, mono_generic_class_equal, NULL, (GDestroyNotify)free_generic_class);
 
        for (i = 0; i < NBUILTIN_TYPES (); ++i)
@@ -1543,7 +1587,6 @@ mono_metadata_parse_type_full (MonoImage *m, MonoGenericContainer *container, Mo
        int count = 0;
        gboolean found;
 
-       mono_loader_lock ();
        /*
         * According to the spec, custom modifiers should come before the byref
         * flag, but the IL produced by ilasm from the following signature:
@@ -1576,7 +1619,7 @@ mono_metadata_parse_type_full (MonoImage *m, MonoGenericContainer *container, Mo
        }
 
        if (count) {
-               type = mono_mempool_alloc0 (m->mempool, sizeof (MonoType) + ((gint32)count - MONO_ZERO_LEN_ARRAY) * sizeof (MonoCustomMod));
+               type = mono_image_alloc0_lock (m, sizeof (MonoType) + ((gint32)count - MONO_ZERO_LEN_ARRAY) * sizeof (MonoCustomMod));
                type->num_mods = count;
                if (count > 64)
                        g_warning ("got more than 64 modifiers in type");
@@ -1613,7 +1656,6 @@ mono_metadata_parse_type_full (MonoImage *m, MonoGenericContainer *container, Mo
        type->pinned = pinned ? 1 : 0;
 
        if (!do_mono_metadata_parse_type (type, m, container, ptr, &ptr)) {
-               mono_loader_unlock ();
                return NULL;
        }
 
@@ -1644,13 +1686,11 @@ mono_metadata_parse_type_full (MonoImage *m, MonoGenericContainer *container, Mo
                                    of a MonoClass which currently holds the loader lock.  'type' is local.
                        */
                        if (ret->data.klass == type->data.klass) {
-                               mono_loader_unlock ();
                                return ret;
                        }
                }
                /* No need to use locking since nobody is modifying the hash table */
                if ((cached = g_hash_table_lookup (type_cache, type))) {
-                       mono_loader_unlock ();
                        return cached;
                }
        }
@@ -1658,15 +1698,14 @@ mono_metadata_parse_type_full (MonoImage *m, MonoGenericContainer *container, Mo
        /* printf ("%x %x %c %s\n", type->attrs, type->num_mods, type->pinned ? 'p' : ' ', mono_type_full_name (type)); */
        
        if (type == &stype) {
-               type = mono_mempool_alloc (m->mempool, sizeof (MonoType));
+               type = mono_image_alloc_lock (m, sizeof (MonoType));
                memcpy (type, &stype, sizeof (MonoType));
        }
-       mono_loader_unlock ();
        return type;
 }
 
 /*
- * LOCKING: Assumes the loader lock is held.
+ * LOCKING: Acquires the loader lock.
  */
 MonoType*
 mono_metadata_parse_type (MonoImage *m, MonoParseTypeMode mode, short opt_attrs,
@@ -1774,15 +1813,33 @@ mono_metadata_signature_alloc (MonoImage *m, guint32 nparams)
 {
        MonoMethodSignature *sig;
 
-       mono_loader_lock ();
-       sig = mono_mempool_alloc0 (m->mempool, sizeof (MonoMethodSignature) + ((gint32)nparams - MONO_ZERO_LEN_ARRAY) * sizeof (MonoType*));
+       sig = mono_image_alloc0_lock (m, sizeof (MonoMethodSignature) + ((gint32)nparams - MONO_ZERO_LEN_ARRAY) * sizeof (MonoType*));
        sig->param_count = nparams;
        sig->sentinelpos = -1;
-       mono_loader_unlock ();
 
        return sig;
 }
 
+MonoMethodSignature*
+mono_metadata_signature_dup_full (MonoMemPool *mp, MonoMethodSignature *sig)
+{
+       int sigsize;
+
+       sigsize = sizeof (MonoMethodSignature) + (sig->param_count - MONO_ZERO_LEN_ARRAY) * sizeof (MonoType *);
+
+       if (mp) {
+               MonoMethodSignature *ret;
+               mono_loader_lock ();
+               ret = mono_mempool_alloc (mp, sigsize);
+               mono_loader_unlock ();
+
+               memcpy (ret, sig, sigsize);
+               return ret;
+       } else {
+               return g_memdup (sig, sigsize);
+       }
+}
+
 /*
  * mono_metadata_signature_dup:
  * @sig: method signature
@@ -1795,10 +1852,7 @@ mono_metadata_signature_alloc (MonoImage *m, guint32 nparams)
 MonoMethodSignature*
 mono_metadata_signature_dup (MonoMethodSignature *sig)
 {
-       int sigsize;
-
-       sigsize = sizeof (MonoMethodSignature) + (sig->param_count - MONO_ZERO_LEN_ARRAY) * sizeof (MonoType *);
-       return g_memdup (sig, sigsize);
+       return mono_metadata_signature_dup_full (NULL, sig);
 }
 
 /*
@@ -2124,9 +2178,11 @@ inflated_method_in_image (gpointer key, gpointer value, gpointer data)
        MonoImage *image = data;
        MonoMethodInflated *method = key;
 
+       // FIXME:
+       // https://bugzilla.novell.com/show_bug.cgi?id=458168
        return method->declaring->klass->image == image ||
                (method->context.class_inst && ginst_in_image (method->context.class_inst, image)) ||
-               (method->context.method_inst && ginst_in_image (method->context.method_inst, image));
+               (method->context.method_inst && ginst_in_image (method->context.method_inst, image)) || signature_in_image (mono_method_signature ((MonoMethod*)method), image);
 }
 
 static gboolean
@@ -2218,17 +2274,36 @@ free_generic_class (MonoGenericClass *gclass)
                /* Allocated in mono_class_init () */
                g_free (class->methods);
                g_free (class->properties);
-               /* Allocated in mono_class_setup_fields () */
-               if (class->fields) {
-                       for (i = 0; i < class->field.count; ++i) {
-                               g_free (class->fields [i].generic_info);
-                               mono_metadata_free_type (class->fields [i].type);
-                       }
-               }
                /* Allocated in mono_generic_class_get_class () */
                g_free (class->interfaces);
                g_free (class);
-       }               
+       } else if (gclass->is_dynamic) {
+               MonoDynamicGenericClass *dgclass = (MonoDynamicGenericClass *)gclass;
+
+               for (i = 0; i < dgclass->count_fields; ++i) {
+                       MonoClassField *field = dgclass->fields + i;
+                       mono_metadata_free_type (field->type);
+                       g_free ((char*)field->name);
+               }
+               for (i = 0; i < dgclass->count_properties; ++i) {
+                       MonoProperty *property = dgclass->properties + i;
+                       g_free ((char*)property->name);
+               }
+               for (i = 0; i < dgclass->count_events; ++i) {
+                       MonoEvent *event = dgclass->events + i;
+                       g_free ((char*)event->name);
+               }
+               
+               g_free (dgclass->methods);
+               g_free (dgclass->ctors);
+               g_free (dgclass->fields);
+               g_free (dgclass->properties);
+               g_free (dgclass->events);
+               g_free (dgclass->field_objects);
+               g_free (dgclass->field_generic_types);
+               if (!mono_generic_class_is_generic_type_definition (gclass))
+                       g_free (gclass->cached_class);
+       }
        g_free (gclass);
 }
 
@@ -2522,7 +2597,7 @@ select_container (MonoGenericContainer *gc, MonoTypeEnum type)
  * @generic_container: Our MonoClass's or MonoMethodNormal's MonoGenericContainer;
  *                     see mono_metadata_parse_type_full() for details.
  * Internal routine to parse a generic type parameter.
- * LOCKING: Assumes the loader lock is held.
+ * LOCKING: Acquires the loader lock
  */
 static MonoGenericParam *
 mono_metadata_parse_generic_param (MonoImage *m, MonoGenericContainer *generic_container,
@@ -2535,8 +2610,10 @@ mono_metadata_parse_generic_param (MonoImage *m, MonoGenericContainer *generic_c
        generic_container = select_container (generic_container, type);
        if (!generic_container) {
                /* Create dummy MonoGenericParam */
-               MonoGenericParam *param = mono_mempool_alloc0 (m->mempool, sizeof (MonoGenericParam));
-               param->name = mono_mempool_alloc0 (m->mempool, 8);
+               MonoGenericParam *param;
+
+               param = mono_image_alloc0_lock (m, sizeof (MonoGenericParam));
+               param->name = mono_image_alloc0_lock (m, 8);
                sprintf ((char*)param->name, "%d", index);
                param->num = index;
                param->image = m;
@@ -2548,6 +2625,38 @@ mono_metadata_parse_generic_param (MonoImage *m, MonoGenericContainer *generic_c
        return &generic_container->type_params [index];
 }
 
+/*
+ * mono_metadata_get_shared_type:
+ *
+ *   Return a shared instance of TYPE, if available, NULL otherwise.
+ * Shared MonoType instances help save memory. Their contents should not be modified
+ * by the caller. They do not need to be freed as their lifetime is bound by either
+ * the lifetime of the runtime (builtin types), or the lifetime of the MonoClass
+ * instance they are embedded in. If they are freed, they should be freed using
+ * mono_metadata_free_type () instead of g_free ().
+ */
+MonoType*
+mono_metadata_get_shared_type (MonoType *type)
+{
+       MonoType *cached;
+
+       /* No need to use locking since nobody is modifying the hash table */
+       if ((cached = g_hash_table_lookup (type_cache, type)))
+               return cached;
+
+       switch (type->type){
+       case MONO_TYPE_CLASS:
+       case MONO_TYPE_VALUETYPE:
+               if (type == &type->data.klass->byval_arg)
+                       return type;
+               if (type == &type->data.klass->this_arg)
+                       return type;
+               break;
+       }
+
+       return NULL;
+}
+
 /* 
  * do_mono_metadata_parse_type:
  * @type: MonoType to be filled in with the return value
@@ -2737,7 +2846,7 @@ parse_section_data (MonoImage *m, MonoMethodHeader *mh, const unsigned char *ptr
                        int i;
                        mh->num_clauses = is_fat ? sect_data_len / 24: sect_data_len / 12;
                        /* we could just store a pointer if we don't need to byteswap */
-                       mh->clauses = mono_mempool_alloc0 (m->mempool, sizeof (MonoExceptionClause) * mh->num_clauses);
+                       mh->clauses = mono_image_alloc0_lock (m, sizeof (MonoExceptionClause) * mh->num_clauses);
                        for (i = 0; i < mh->num_clauses; ++i) {
                                MonoExceptionClause *ec = &mh->clauses [i];
                                guint32 tof_value;
@@ -2786,7 +2895,7 @@ parse_section_data (MonoImage *m, MonoMethodHeader *mh, const unsigned char *ptr
  * info about local variables and optional exception tables.
  * This is a Mono runtime internal function.
  *
- * LOCKING: Assumes the loader lock is held.
+ * LOCKING: Acquires the loader lock.
  *
  * Returns: a MonoMethodHeader allocated from the image mempool.
  */
@@ -2803,19 +2912,17 @@ mono_metadata_parse_mh_full (MonoImage *m, MonoGenericContainer *container, cons
        
        g_return_val_if_fail (ptr != NULL, NULL);
 
-       mono_loader_lock ();
        switch (format) {
        case METHOD_HEADER_TINY_FORMAT:
-               mh = mono_mempool_alloc0 (m->mempool, sizeof (MonoMethodHeader));
+               mh = mono_image_alloc0_lock (m, sizeof (MonoMethodHeader));
                ptr++;
                mh->max_stack = 8;
                local_var_sig_tok = 0;
                mh->code_size = flags >> 2;
                mh->code = (unsigned char*)ptr;
-               mono_loader_unlock ();
                return mh;
        case METHOD_HEADER_TINY_FORMAT1:
-               mh = mono_mempool_alloc0 (m->mempool, sizeof (MonoMethodHeader));
+               mh = mono_image_alloc0_lock (m, sizeof (MonoMethodHeader));
                ptr++;
                mh->max_stack = 8;
                local_var_sig_tok = 0;
@@ -2826,7 +2933,6 @@ mono_metadata_parse_mh_full (MonoImage *m, MonoGenericContainer *container, cons
                 */
                mh->code_size = flags >> 2;
                mh->code = (unsigned char*)ptr;
-               mono_loader_unlock ();
                return mh;
        case METHOD_HEADER_FAT_FORMAT:
                fat_flags = read16 (ptr);
@@ -2855,7 +2961,6 @@ mono_metadata_parse_mh_full (MonoImage *m, MonoGenericContainer *container, cons
                ptr = (char*)code + code_size;
                break;
        default:
-               mono_loader_unlock ();
                return NULL;
        }
                       
@@ -2872,18 +2977,17 @@ mono_metadata_parse_mh_full (MonoImage *m, MonoGenericContainer *container, cons
                        g_warning ("wrong signature for locals blob");
                locals_ptr++;
                len = mono_metadata_decode_value (locals_ptr, &locals_ptr);
-               mh = mono_mempool_alloc0 (m->mempool, sizeof (MonoMethodHeader) + (len - MONO_ZERO_LEN_ARRAY) * sizeof (MonoType*));
+               mh = mono_image_alloc0_lock (m, sizeof (MonoMethodHeader) + (len - MONO_ZERO_LEN_ARRAY) * sizeof (MonoType*));
                mh->num_locals = len;
                for (i = 0; i < len; ++i) {
                        mh->locals [i] = mono_metadata_parse_type_full (
                                m, container, MONO_PARSE_LOCAL, 0, locals_ptr, &locals_ptr);
                        if (!mh->locals [i]) {
-                               mono_loader_unlock ();
                                return NULL;
                        }
                }
        } else {
-               mh = mono_mempool_alloc0 (m->mempool, sizeof (MonoMethodHeader));
+               mh = mono_image_alloc0_lock (m, sizeof (MonoMethodHeader));
        }
        mh->code = code;
        mh->code_size = code_size;
@@ -2891,7 +2995,6 @@ mono_metadata_parse_mh_full (MonoImage *m, MonoGenericContainer *container, cons
        mh->init_locals = init_locals;
        if (fat_flags & METHOD_HEADER_MORE_SECTS)
                parse_section_data (m, mh, (const unsigned char*)ptr);
-       mono_loader_unlock ();
        return mh;
 }
 
@@ -3344,9 +3447,7 @@ mono_metadata_interfaces_from_typedef_full (MonoImage *meta, guint32 index, Mono
                ++pos;
        }
 
-       mono_loader_lock ();
-       result = mono_mempool_alloc0 (meta->mempool, sizeof (MonoClass*) * (pos - start));
-       mono_loader_unlock ();
+       result = mono_image_alloc0_lock (meta, sizeof (MonoClass*) * (pos - start));
 
        pos = start;
        while (pos < tdef->rows) {
@@ -3687,6 +3788,13 @@ int
 mono_type_stack_size_internal (MonoType *t, int *align, gboolean allow_open)
 {
        int tmp;
+#if SIZEOF_VOID_P == SIZEOF_REGISTER
+       int stack_slot_size = sizeof (gpointer);
+       int stack_slot_align = __alignof__ (gpointer);
+#elif SIZEOF_VOID_P < SIZEOF_REGISTER
+       int stack_slot_size = SIZEOF_REGISTER;
+       int stack_slot_align = SIZEOF_REGISTER;
+#endif
 
        g_assert (t != NULL);
 
@@ -3694,8 +3802,8 @@ mono_type_stack_size_internal (MonoType *t, int *align, gboolean allow_open)
                align = &tmp;
 
        if (t->byref) {
-               *align = __alignof__(gpointer);
-               return sizeof (gpointer);
+               *align = stack_slot_align;
+               return stack_slot_size;
        }
 
        switch (t->type){
@@ -3716,11 +3824,16 @@ mono_type_stack_size_internal (MonoType *t, int *align, gboolean allow_open)
        case MONO_TYPE_PTR:
        case MONO_TYPE_FNPTR:
        case MONO_TYPE_ARRAY:
-               *align = __alignof__(gpointer);
-               return sizeof (gpointer);
+               *align = stack_slot_align;
+               return stack_slot_size;
+       case MONO_TYPE_VAR:
+       case MONO_TYPE_MVAR:
+               g_assert (allow_open);
+               *align = stack_slot_align;
+               return stack_slot_size;
        case MONO_TYPE_TYPEDBYREF:
-               *align = __alignof__(gpointer);
-               return sizeof (gpointer) * 3;
+               *align = stack_slot_align;
+               return stack_slot_size * 3;
        case MONO_TYPE_R4:
                *align = __alignof__(float);
                return sizeof (float);          
@@ -3739,11 +3852,11 @@ mono_type_stack_size_internal (MonoType *t, int *align, gboolean allow_open)
                else {
                        size = mono_class_value_size (t->data.klass, (guint32*)align);
 
-                       *align = *align + __alignof__(gpointer) - 1;
-                       *align &= ~(__alignof__(gpointer) - 1);
+                       *align = *align + stack_slot_align - 1;
+                       *align &= ~(stack_slot_align - 1);
 
-                       size += sizeof (gpointer) - 1;
-                       size &= ~(sizeof (gpointer) - 1);
+                       size += stack_slot_size - 1;
+                       size &= ~(stack_slot_size - 1);
 
                        return size;
                }
@@ -3761,17 +3874,17 @@ mono_type_stack_size_internal (MonoType *t, int *align, gboolean allow_open)
                        else {
                                guint32 size = mono_class_value_size (mono_class_from_mono_type (t), (guint32*)align);
 
-                               *align = *align + __alignof__(gpointer) - 1;
-                               *align &= ~(__alignof__(gpointer) - 1);
+                               *align = *align + stack_slot_align - 1;
+                               *align &= ~(stack_slot_align - 1);
 
-                               size += sizeof (gpointer) - 1;
-                               size &= ~(sizeof (gpointer) - 1);
+                               size += stack_slot_size - 1;
+                               size &= ~(stack_slot_size - 1);
 
                                return size;
                        }
                } else {
-                       *align = __alignof__(gpointer);
-                       return sizeof (gpointer);
+                       *align = stack_slot_align;
+                       return stack_slot_size;
                }
        }
        default:
@@ -3827,9 +3940,9 @@ mono_metadata_generic_context_hash (const MonoGenericContext *context)
        /* FIXME: check if this seed is good enough */
        guint hash = 0xc01dfee7;
        if (context->class_inst)
-               hash = ((hash << 5) - hash) ^ context->class_inst->id;
+               hash = ((hash << 5) - hash) ^ mono_metadata_generic_inst_hash (context->class_inst);
        if (context->method_inst)
-               hash = ((hash << 5) - hash) ^ context->method_inst->id;
+               hash = ((hash << 5) - hash) ^ mono_metadata_generic_inst_hash (context->method_inst);
        return hash;
 }
 
@@ -4095,13 +4208,10 @@ mono_metadata_type_dup (MonoMemPool *mp, const MonoType *o)
        if (o->type == MONO_TYPE_PTR) {
                r->data.type = mono_metadata_type_dup (mp, o->data.type);
        } else if (o->type == MONO_TYPE_ARRAY) {
-               /* FIXME: should mono_dup_array_type() use mempools? */
-               g_assert (!mp);
-               r->data.array = mono_dup_array_type (o->data.array);
+               r->data.array = mono_dup_array_type (mp, o->data.array);
        } else if (o->type == MONO_TYPE_FNPTR) {
-               /* FIXME: should mono_metadata_signature_deep_dup() use mempools? */
-               g_assert (!mp);
-               r->data.method = mono_metadata_signature_deep_dup (o->data.method);
+               /*FIXME the dup'ed signature is leaked mono_metadata_free_type*/
+               r->data.method = mono_metadata_signature_deep_dup (mp, o->data.method);
        }
        return r;
 }
@@ -4168,6 +4278,13 @@ mono_metadata_encode_value (guint32 value, char *buf, char **endbuf)
 void
 mono_metadata_field_info (MonoImage *meta, guint32 index, guint32 *offset, guint32 *rva, 
                          MonoMarshalSpec **marshal_spec)
+{
+       return mono_metadata_field_info_with_mempool (NULL, meta, index, offset, rva, marshal_spec);
+}
+
+void
+mono_metadata_field_info_with_mempool (MonoMemPool *mempool, MonoImage *meta, guint32 index, guint32 *offset, guint32 *rva, 
+                         MonoMarshalSpec **marshal_spec)
 {
        MonoTableInfo *tdef;
        locator_t loc;
@@ -4207,7 +4324,7 @@ mono_metadata_field_info (MonoImage *meta, guint32 index, guint32 *offset, guint
                const char *p;
                
                if ((p = mono_metadata_get_marshal_info (meta, index, TRUE))) {
-                       *marshal_spec = mono_metadata_parse_marshal_spec (meta, p);
+                       *marshal_spec = mono_metadata_parse_marshal_spec_with_mempool (mempool, p);
                }
        }
 
@@ -4495,7 +4612,7 @@ mono_type_create_from_typespec (MonoImage *image, guint32 type_spec)
        ptr = mono_metadata_blob_heap (image, cols [MONO_TYPESPEC_SIGNATURE]);
        len = mono_metadata_decode_value (ptr, &ptr);
 
-       type = mono_mempool_alloc0 (image->mempool, sizeof (MonoType));
+       type = mono_image_alloc0 (image, sizeof (MonoType));
 
        if (*ptr == MONO_TYPE_BYREF) {
                type->byref = 1;
@@ -4521,8 +4638,27 @@ mono_type_create_from_typespec (MonoImage *image, guint32 type_spec)
        return type;
 }
 
+
+static char*
+mono_mempool_strndup (MonoMemPool *mp, const char *data, guint len)
+{
+       char *res;
+       if (!mp)
+               return g_strndup (data, len);
+       res = mono_mempool_alloc (mp, len + 1);
+       memcpy (res, data, len);
+       res [len] = 0;
+       return res;
+}
+
 MonoMarshalSpec *
 mono_metadata_parse_marshal_spec (MonoImage *image, const char *ptr)
+{
+       return mono_metadata_parse_marshal_spec_with_mempool (NULL, ptr);
+}
+
+MonoMarshalSpec *
+mono_metadata_parse_marshal_spec_with_mempool (MonoMemPool *mempool, const char *ptr)
 {
        MonoMarshalSpec *res;
        int len;
@@ -4530,7 +4666,10 @@ mono_metadata_parse_marshal_spec (MonoImage *image, const char *ptr)
 
        /* fixme: this is incomplete, but I cant find more infos in the specs */
 
-       res = g_new0 (MonoMarshalSpec, 1);
+       if (mempool)
+               res = mono_mempool_alloc0 (mempool, sizeof (MonoMarshalSpec));
+       else
+               res = g_new0 (MonoMarshalSpec, 1);
        
        len = mono_metadata_decode_value (ptr, &ptr);
        res->native = *ptr++;
@@ -4579,11 +4718,11 @@ mono_metadata_parse_marshal_spec (MonoImage *image, const char *ptr)
                ptr += len;
                /* read custom marshaler type name */
                len = mono_metadata_decode_value (ptr, &ptr);
-               res->data.custom_data.custom_name = g_strndup (ptr, len);               
+               res->data.custom_data.custom_name = mono_mempool_strndup (mempool, ptr, len);           
                ptr += len;
                /* read cookie string */
                len = mono_metadata_decode_value (ptr, &ptr);
-               res->data.custom_data.cookie = g_strndup (ptr, len);
+               res->data.custom_data.cookie = mono_mempool_strndup (mempool, ptr, len);
        }
 
        if (res->native == MONO_NATIVE_SAFEARRAY) {
@@ -4970,8 +5109,7 @@ guint32
 mono_metadata_get_generic_param_row (MonoImage *image, guint32 token, guint32 *owner)
 {
        MonoTableInfo *tdef  = &image->tables [MONO_TABLE_GENERICPARAM];
-       guint32 cols [MONO_GENERICPARAM_SIZE];
-       guint32 i;
+       locator_t loc;
 
        g_assert (owner);
        if (!tdef->base)
@@ -4987,13 +5125,18 @@ mono_metadata_get_generic_param_row (MonoImage *image, guint32 token, guint32 *o
        }
        *owner |= mono_metadata_token_index (token) << MONO_TYPEORMETHOD_BITS;
 
-       for (i = 0; i < tdef->rows; ++i) {
-               mono_metadata_decode_row (tdef, i, cols, MONO_GENERICPARAM_SIZE);
-               if (cols [MONO_GENERICPARAM_OWNER] == *owner)
-                       return i + 1;
-       }
+       loc.idx = *owner;
+       loc.col_idx = MONO_GENERICPARAM_OWNER;
+       loc.t = tdef;
 
-       return 0;
+       if (!bsearch (&loc, tdef->base, tdef->rows, tdef->row_size, table_locator))
+               return 0;
+
+       /* Find the first entry by searching backwards */
+       while ((loc.result > 0) && (mono_metadata_decode_row_col (tdef, loc.result - 1, MONO_GENERICPARAM_OWNER) == loc.idx))
+               loc.result --;
+
+       return loc.result + 1;
 }
 
 gboolean
@@ -5035,7 +5178,7 @@ mono_metadata_load_generic_param_constraints (MonoImage *image, guint32 token,
  *
  * Returns: NULL if @token is not a generic type or method definition or the new generic container.
  *
- * LOCKING: Assumes the loader lock is held.
+ * LOCKING: Acquires the loader lock
  *
  */
 MonoGenericContainer *
@@ -5053,7 +5196,7 @@ mono_metadata_load_generic_params (MonoImage *image, guint32 token, MonoGenericC
        mono_metadata_decode_row (tdef, i - 1, cols, MONO_GENERICPARAM_SIZE);
        params = NULL;
        n = 0;
-       container = mono_mempool_alloc0 (image->mempool, sizeof (MonoGenericContainer));
+       container = mono_image_alloc0_lock (image, sizeof (MonoGenericContainer));
        do {
                n++;
                params = g_realloc (params, sizeof (MonoGenericParam) * n);
@@ -5069,7 +5212,7 @@ mono_metadata_load_generic_params (MonoImage *image, guint32 token, MonoGenericC
        } while (cols [MONO_GENERICPARAM_OWNER] == owner);
 
        container->type_argc = n;
-       container->type_params = mono_mempool_alloc0 (image->mempool, sizeof (MonoGenericParam) * n);
+       container->type_params = mono_image_alloc0_lock (image, sizeof (MonoGenericParam) * n);
        memcpy (container->type_params, params, sizeof (MonoGenericParam) * n);
        g_free (params);
        container->parent = parent_container;
@@ -5233,3 +5376,57 @@ mono_aligned_addr_hash (gconstpointer ptr)
        return GPOINTER_TO_UINT (ptr) >> 3;
 }
 
+/*
+ * If @field belongs to an inflated generic class, return the corresponding field of the
+ * generic type definition class.
+ */
+MonoClassField*
+mono_metadata_get_corresponding_field_from_generic_type_definition (MonoClassField *field)
+{
+       MonoClass *gtd;
+       int offset;
+
+       if (!field->parent->generic_class)
+               return field;
+
+       gtd = field->parent->generic_class->container_class;
+       offset = field - field->parent->fields;
+       return gtd->fields + offset;
+}
+
+/*
+ * If @event belongs to an inflated generic class, return the corresponding event of the
+ * generic type definition class.
+ */
+MonoEvent*
+mono_metadata_get_corresponding_event_from_generic_type_definition (MonoEvent *event)
+{
+       MonoClass *gtd;
+       int offset;
+
+       if (!event->parent->generic_class)
+               return event;
+
+       gtd = event->parent->generic_class->container_class;
+       offset = event - event->parent->events;
+       return gtd->events + offset;
+}
+
+/*
+ * If @property belongs to an inflated generic class, return the corresponding property of the
+ * generic type definition class.
+ */
+MonoProperty*
+mono_metadata_get_corresponding_property_from_generic_type_definition (MonoProperty *property)
+{
+       MonoClass *gtd;
+       int offset;
+
+       if (!property->parent->generic_class)
+               return property;
+
+       gtd = property->parent->generic_class->container_class;
+       offset = property - property->parent->properties;
+       return gtd->properties + offset;
+}
+