2009-12-16 Rodrigo Kumpera <rkumpera@novell.com>
[mono.git] / mono / metadata / loader.c
index a19c3a936dbd052e0bd7525b0b91891848b7717c..c2eadb7f3da33ac044732f31b637d50d9651a64e 100644 (file)
@@ -63,6 +63,12 @@ static guint32 memberref_sig_cache_size;
  */
 guint32 loader_error_thread_id;
 
+/*
+ * This TLS variable holds how many times the current thread has acquired the loader 
+ * lock.
+ */
+guint32 loader_lock_nest_id;
+
 void
 mono_loader_init ()
 {
@@ -72,6 +78,7 @@ mono_loader_init ()
                InitializeCriticalSection (&loader_mutex);
 
                loader_error_thread_id = TlsAlloc ();
+               loader_lock_nest_id = TlsAlloc ();
 
                mono_counters_register ("Inflated signatures size",
                                                                MONO_COUNTER_GENERICS | MONO_COUNTER_INT, &inflated_signatures_size);
@@ -86,6 +93,7 @@ void
 mono_loader_cleanup (void)
 {
        TlsFree (loader_error_thread_id);
+       TlsFree (loader_lock_nest_id);
 
        /*DeleteCriticalSection (&loader_mutex);*/
 }
@@ -306,8 +314,8 @@ mono_loader_error_prepare_exception (MonoLoaderError *error)
        }
                
        case MONO_EXCEPTION_MISSING_FIELD: {
-               char *cnspace = g_strdup (*error->klass->name_space ? error->klass->name_space : "");
-               char *cname = g_strdup (error->klass->name);
+               char *cnspace = g_strdup ((error->klass && *error->klass->name_space) ? error->klass->name_space : "");
+               char *cname = g_strdup (error->klass ? error->klass->name : "");
                char *cmembername = g_strdup (error->member_name);
                 char *class_name;
 
@@ -405,11 +413,11 @@ field_from_memberref (MonoImage *image, guint32 token, MonoClass **retklass,
                      MonoGenericContext *context)
 {
        MonoClass *klass;
-       MonoClassField *field, *sig_field = NULL;
+       MonoClassField *field;
        MonoTableInfo *tables = image->tables;
        MonoType *sig_type;
        guint32 cols[6];
-       guint32 nindex, class;
+       guint32 nindex, class, class_table;
        const char *fname;
        const char *ptr;
        guint32 idx = mono_metadata_token_index (token);
@@ -421,7 +429,34 @@ field_from_memberref (MonoImage *image, guint32 token, MonoClass **retklass,
        fname = mono_metadata_string_heap (image, cols [MONO_MEMBERREF_NAME]);
 
        if (!mono_verifier_verify_memberref_signature (image, cols [MONO_MEMBERREF_SIGNATURE], NULL)) {
-               mono_loader_set_error_bad_image (g_strdup_printf ("Bad field signature class token %08x field name %s token %08x", class, fname, token));
+               mono_loader_set_error_bad_image (g_strdup_printf ("Bad field signature class token 0x%08x field name %s token 0x%08x on image %s", class, fname, token, image->name));
+               return NULL;
+       }
+
+       switch (class) {
+       case MONO_MEMBERREF_PARENT_TYPEDEF:
+               class_table = MONO_TOKEN_TYPE_DEF;
+               klass = mono_class_get (image, MONO_TOKEN_TYPE_DEF | nindex);
+               break;
+       case MONO_MEMBERREF_PARENT_TYPEREF:
+               class_table = MONO_TOKEN_TYPE_REF;
+               klass = mono_class_from_typeref (image, MONO_TOKEN_TYPE_REF | nindex);
+               break;
+       case MONO_MEMBERREF_PARENT_TYPESPEC:
+               class_table = MONO_TOKEN_TYPE_SPEC;
+               klass = mono_class_get_full (image, MONO_TOKEN_TYPE_SPEC | nindex, context);
+               break;
+       default:
+               /*FIXME this must set a loader error!*/
+               g_warning ("field load from %x", class);
+               return NULL;
+       }
+
+       if (!klass) {
+               char *name = mono_class_name_from_token (image, class_table | nindex);
+               g_warning ("Missing field %s in class %s (type token %d)", fname, name, class_table | nindex);
+               mono_loader_set_error_type_load (name, image->assembly_name);
+               g_free (name);
                return NULL;
        }
 
@@ -430,7 +465,8 @@ field_from_memberref (MonoImage *image, guint32 token, MonoClass **retklass,
        /* we may want to check the signature here... */
 
        if (*ptr++ != 0x6) {
-               mono_loader_set_error_bad_image (g_strdup_printf ("Bad field signature class token %08x field name %s token %08x", class, fname, token));
+               g_warning ("Bad field signature class token %08x field name %s token %08x", class, fname, token);
+               mono_loader_set_error_field_load (klass, fname);
                return NULL;
        }
        /* FIXME: This needs a cache, especially for generic instances, since
@@ -439,60 +475,20 @@ field_from_memberref (MonoImage *image, guint32 token, MonoClass **retklass,
        sig_type = find_cached_memberref_sig (image, cols [MONO_MEMBERREF_SIGNATURE]);
        if (!sig_type) {
                sig_type = mono_metadata_parse_type (image, MONO_PARSE_TYPE, 0, ptr, &ptr);
-               sig_type = cache_memberref_sig (image, cols [MONO_MEMBERREF_SIGNATURE], sig_type);
-       }
-
-       switch (class) {
-       case MONO_MEMBERREF_PARENT_TYPEDEF:
-               klass = mono_class_get (image, MONO_TOKEN_TYPE_DEF | nindex);
-               if (!klass) {
-                       char *name = mono_class_name_from_token (image, MONO_TOKEN_TYPE_DEF | nindex);
-                       g_warning ("Missing field %s in class %s (typedef index %d)", fname, name, nindex);
-                       mono_loader_set_error_type_load (name, image->assembly_name);
-                       g_free (name);
+               if (sig_type == NULL) {
+                       mono_loader_set_error_field_load (klass, fname);
                        return NULL;
                }
-               mono_class_init (klass);
-               if (retklass)
-                       *retklass = klass;
-               sig_field = field = mono_class_get_field_from_name (klass, fname);
-               break;
-       case MONO_MEMBERREF_PARENT_TYPEREF:
-               klass = mono_class_from_typeref (image, MONO_TOKEN_TYPE_REF | nindex);
-               if (!klass) {
-                       char *name = mono_class_name_from_token (image, MONO_TOKEN_TYPE_REF | nindex);
-                       g_warning ("missing field %s in class %s (typeref index %d)", fname, name, nindex);
-                       mono_loader_set_error_type_load (name, image->assembly_name);
-                       g_free (name);
-                       return NULL;
-               }
-               mono_class_init (klass);
-               if (retklass)
-                       *retklass = klass;
-               sig_field = field = mono_class_get_field_from_name (klass, fname);
-               break;
-       case MONO_MEMBERREF_PARENT_TYPESPEC: {
-               klass = mono_class_get_full (image, MONO_TOKEN_TYPE_SPEC | nindex, context);
-               //FIXME can't klass be null?
-               mono_class_init (klass);
-               if (retklass)
-                       *retklass = klass;
-               field = mono_class_get_field_from_name (klass, fname);
-               if (field)
-                       sig_field = mono_metadata_get_corresponding_field_from_generic_type_definition (field);
-               break;
-       }
-       default:
-               g_warning ("field load from %x", class);
-               return NULL;
+               sig_type = cache_memberref_sig (image, cols [MONO_MEMBERREF_SIGNATURE], sig_type);
        }
 
+       mono_class_init (klass); /*FIXME is this really necessary?*/
+       if (retklass)
+               *retklass = klass;
+       field = mono_class_get_field_from_name_full (klass, fname, sig_type);
+
        if (!field)
                mono_loader_set_error_field_load (klass, fname);
-       else if (sig_field && !mono_metadata_type_equal_full (sig_type, sig_field->type, TRUE)) {
-               mono_loader_set_error_field_load (klass, fname);
-               return NULL;
-       }
 
        return field;
 }
@@ -512,8 +508,8 @@ mono_field_from_token (MonoImage *image, guint32 token, MonoClass **retklass,
                *retklass = NULL;
                result = mono_lookup_dynamic_token_class (image, token, TRUE, &handle_class, context);
                // This checks the memberref type as well
-               if (result && handle_class != mono_defaults.fieldhandle_class) {
-                       mono_loader_set_error_bad_image (g_strdup ("Bad field token."));
+               if (!result || handle_class != mono_defaults.fieldhandle_class) {
+                       mono_loader_set_error_bad_image (g_strdup_printf ("Bad field token 0x%08x on image %s.", token, image->name));
                        return NULL;
                }
                *retklass = result->parent;
@@ -589,6 +585,7 @@ find_method_in_class (MonoClass *klass, const char *name, const char *qname, con
                        guint32 cols [MONO_METHOD_SIZE];
                        MonoMethod *method;
                        const char *m_name;
+                       MonoMethodSignature *other_sig;
 
                        mono_metadata_decode_table_row (klass->image, MONO_TABLE_METHOD, klass->method.first + i, cols, MONO_METHOD_SIZE);
 
@@ -600,7 +597,8 @@ find_method_in_class (MonoClass *klass, const char *name, const char *qname, con
                                continue;
 
                        method = mono_get_method (klass->image, MONO_TOKEN_METHOD_DEF | (klass->method.first + i + 1), klass);
-                       if (method && (sig->call_convention != MONO_CALL_VARARG) && mono_metadata_signature_equal (sig, mono_method_signature (method)))
+                       other_sig = mono_method_signature (method);
+                       if (method && other_sig && (sig->call_convention != MONO_CALL_VARARG) && mono_metadata_signature_equal (sig, other_sig))
                                return method;
                }
        }
@@ -608,17 +606,21 @@ find_method_in_class (MonoClass *klass, const char *name, const char *qname, con
        mono_class_setup_methods (klass);
        for (i = 0; i < klass->method.count; ++i) {
                MonoMethod *m = klass->methods [i];
+               MonoMethodSignature *msig;
 
                if (!((fqname && !strcmp (m->name, fqname)) ||
                      (qname && !strcmp (m->name, qname)) ||
                      (name && !strcmp (m->name, name))))
                        continue;
+               msig = mono_method_signature (m);
+               if (!msig)
+                       continue;
 
                if (sig->call_convention == MONO_CALL_VARARG) {
-                       if (mono_metadata_signature_vararg_match (sig, mono_method_signature (m)))
+                       if (mono_metadata_signature_vararg_match (sig, msig))
                                break;
                } else {
-                       if (mono_metadata_signature_equal (sig, mono_method_signature (m)))
+                       if (mono_metadata_signature_equal (sig, msig))
                                break;
                }
        }
@@ -753,7 +755,7 @@ inflate_generic_header (MonoMethodHeader *header, MonoGenericContext *context)
 }
 
 /*
- * token is the method_ref or method_def token used in a call IL instruction.
+ * token is the method_ref/def/spec token used in a call IL instruction.
  */
 MonoMethodSignature*
 mono_method_get_signature_full (MonoMethod *method, MonoImage *image, guint32 token, MonoGenericContext *context)
@@ -793,14 +795,15 @@ mono_method_get_signature_full (MonoMethod *method, MonoImage *image, guint32 to
                        guint32 class = cols [MONO_MEMBERREF_CLASS] & MONO_MEMBERREF_PARENT_MASK;
                        const char *fname = mono_metadata_string_heap (image, cols [MONO_MEMBERREF_NAME]);
 
-                       mono_loader_set_error_bad_image (g_strdup_printf ("Bad method signature class token %08x field name %s token %08x", class, fname, token));
+                       mono_loader_set_error_bad_image (g_strdup_printf ("Bad method signature class token 0x%08x field name %s token 0x%08x on image %s", class, fname, token, image->name));
                        return NULL;
                }
 
                ptr = mono_metadata_blob_heap (image, sig_idx);
                mono_metadata_decode_blob_size (ptr, &ptr);
                sig = mono_metadata_parse_method_signature (image, 0, ptr, NULL);
-
+               if (!sig)
+                       return NULL;
                sig = cache_memberref_sig (image, sig_idx, sig);
        }
 
@@ -989,6 +992,7 @@ method_from_memberref (MonoImage *image, guint32 idx, MonoGenericContext *typesp
 static MonoMethod *
 method_from_methodspec (MonoImage *image, MonoGenericContext *context, guint32 idx)
 {
+       MonoError error;
        MonoMethod *method;
        MonoClass *klass;
        MonoTableInfo *tables = image->tables;
@@ -1013,8 +1017,13 @@ method_from_methodspec (MonoImage *image, MonoGenericContext *context, guint32 i
        g_assert (param_count);
 
        inst = mono_metadata_parse_generic_inst (image, NULL, param_count, ptr, &ptr);
-       if (context && inst->is_open)
-               inst = mono_metadata_inflate_generic_inst (inst, context);
+       if (context && inst->is_open) {
+               inst = mono_metadata_inflate_generic_inst (inst, context, &error);
+               if (!mono_error_ok (&error)) {
+                       mono_error_cleanup (&error); /*FIXME don't swallow error message.*/
+                       return NULL;
+               }
+       }
 
        if ((token & MONO_METHODDEFORREF_MASK) == MONO_METHODDEFORREF_METHODDEF)
                method = mono_get_method_full (image, MONO_TOKEN_METHOD_DEF | nindex, NULL, context);
@@ -1244,7 +1253,7 @@ mono_lookup_pinvoke_call (MonoMethod *method, const char **exc_class, const char
                                continue;
                        break;
                default:
-#ifndef PLATFORM_WIN32
+#ifndef TARGET_WIN32
                        if (!g_ascii_strcasecmp ("user32.dll", new_scope) ||
                            !g_ascii_strcasecmp ("kernel32.dll", new_scope) ||
                            !g_ascii_strcasecmp ("user32", new_scope) ||
@@ -1253,7 +1262,7 @@ mono_lookup_pinvoke_call (MonoMethod *method, const char **exc_class, const char
                        } else
 #endif
                                    continue;
-#ifndef PLATFORM_WIN32
+#ifndef TARGET_WIN32
                        break;
 #endif
                }
@@ -1334,7 +1343,7 @@ mono_lookup_pinvoke_call (MonoMethod *method, const char **exc_class, const char
                int mangle_charset;
                int mangle_stdcall;
                int mangle_param_count;
-#ifdef PLATFORM_WIN32
+#ifdef TARGET_WIN32
                int param_count;
 #endif
 
@@ -1344,7 +1353,7 @@ mono_lookup_pinvoke_call (MonoMethod *method, const char **exc_class, const char
                for (mangle_charset = 0; mangle_charset <= 1; mangle_charset ++) {
                        for (mangle_stdcall = 0; mangle_stdcall <= 1; mangle_stdcall ++) {
                                gboolean need_param_count = FALSE;
-#ifdef PLATFORM_WIN32
+#ifdef TARGET_WIN32
                                if (mangle_stdcall > 0)
                                        need_param_count = TRUE;
 #endif
@@ -1361,7 +1370,7 @@ mono_lookup_pinvoke_call (MonoMethod *method, const char **exc_class, const char
                                                        mangled_name = g_strconcat (import, "W", NULL);
                                                break;
                                        case PINVOKE_ATTRIBUTE_CHAR_SET_AUTO:
-#ifdef PLATFORM_WIN32
+#ifdef TARGET_WIN32
                                                if (mangle_charset == 0)
                                                        mangled_name = g_strconcat (import, "W", NULL);
 #else
@@ -1378,7 +1387,7 @@ mono_lookup_pinvoke_call (MonoMethod *method, const char **exc_class, const char
                                                break;
                                        }
 
-#ifdef PLATFORM_WIN32
+#ifdef TARGET_WIN32
                                        if (mangle_param_count == 0)
                                                param_count = mono_method_signature (method)->param_count * sizeof (gpointer);
                                        else
@@ -1449,7 +1458,7 @@ mono_get_method_from_token (MonoImage *image, guint32 token, MonoClass *klass,
                result = mono_lookup_dynamic_token_class (image, token, TRUE, &handle_class, context);
                // This checks the memberref type as well
                if (result && handle_class != mono_defaults.methodhandle_class) {
-                       mono_loader_set_error_bad_image (g_strdup ("Bad method token."));
+                       mono_loader_set_error_bad_image (g_strdup_printf ("Bad method token 0x%08x on image %s.", token, image->name));
                        return NULL;
                }
                return result;
@@ -1460,16 +1469,18 @@ mono_get_method_from_token (MonoImage *image, guint32 token, MonoClass *klass,
                        if (used_context) *used_context = TRUE;
                        return method_from_methodspec (image, context, idx);
                }
-               if (table != MONO_TABLE_MEMBERREF)
-                       g_print("got wrong token: 0x%08x\n", token);
-               g_assert (table == MONO_TABLE_MEMBERREF);
+               if (table != MONO_TABLE_MEMBERREF) {
+                       g_warning ("got wrong token: 0x%08x\n", token);
+                       mono_loader_set_error_bad_image (g_strdup_printf ("Bad method token 0x%08x on image %s.", token, image->name));
+                       return NULL;
+               }
                return method_from_memberref (image, idx, context, used_context);
        }
 
        if (used_context) *used_context = FALSE;
 
        if (idx > image->tables [MONO_TABLE_METHOD].rows) {
-               mono_loader_set_error_bad_image (g_strdup ("Bad method token."));
+               mono_loader_set_error_bad_image (g_strdup_printf ("Bad method token 0x%08x on image %s.", token, image->name));
                return NULL;
        }
 
@@ -1483,8 +1494,10 @@ mono_get_method_from_token (MonoImage *image, guint32 token, MonoClass *klass,
 
        mono_stats.method_count ++;
 
-       if (!klass) {
+       if (!klass) { /*FIXME put this before the image alloc*/
                guint32 type = mono_metadata_typedef_from_method (image, token);
+               if (!type)
+                       return NULL;
                klass = mono_class_get (image, MONO_TOKEN_TYPE_DEF | type);
                if (klass == NULL)
                        return NULL;
@@ -1512,8 +1525,9 @@ mono_get_method_from_token (MonoImage *image, guint32 token, MonoClass *klass,
        if (generic_container) {
                result->is_generic = TRUE;
                generic_container->owner.method = result;
-
-               mono_metadata_load_generic_param_constraints (image, token, generic_container);
+               /*FIXME put this before the image alloc*/
+               if (!mono_metadata_load_generic_param_constraints_full (image, token, generic_container))
+                       return NULL;
 
                container = generic_container;
        }
@@ -1524,7 +1538,7 @@ mono_get_method_from_token (MonoImage *image, guint32 token, MonoClass *klass,
        } else if (cols [2] & METHOD_ATTRIBUTE_PINVOKE_IMPL) {
                MonoMethodPInvoke *piinfo = (MonoMethodPInvoke *)result;
 
-#ifdef PLATFORM_WIN32
+#ifdef TARGET_WIN32
                /* IJW is P/Invoke with a predefined function pointer. */
                if (image->is_module_handle && (cols [1] & METHOD_IMPL_ATTRIBUTE_NATIVE)) {
                        piinfo->addr = mono_image_rva_map (image, cols [0]);
@@ -1549,14 +1563,6 @@ mono_get_method (MonoImage *image, guint32 token, MonoClass *klass)
        return mono_get_method_full (image, token, klass, NULL);
 }
 
-static gpointer
-get_method_token (gpointer value)
-{
-       MonoMethod *m = (MonoMethod*)value;
-
-       return GUINT_TO_POINTER (m->token);
-}
-
 MonoMethod *
 mono_get_method_full (MonoImage *image, guint32 token, MonoClass *klass,
                      MonoGenericContext *context)
@@ -1570,8 +1576,8 @@ mono_get_method_full (MonoImage *image, guint32 token, MonoClass *klass,
 
        if (mono_metadata_token_table (token) == MONO_TABLE_METHOD) {
                if (!image->method_cache)
-                       image->method_cache = mono_value_hash_table_new (NULL, NULL, get_method_token);
-               result = mono_value_hash_table_lookup (image->method_cache, GINT_TO_POINTER (token));
+                       image->method_cache = g_hash_table_new (NULL, NULL);
+               result = g_hash_table_lookup (image->method_cache, GINT_TO_POINTER (mono_metadata_token_index (token)));
        } else {
                if (!image->methodref_cache)
                        image->methodref_cache = g_hash_table_new (NULL, NULL);
@@ -1590,7 +1596,7 @@ mono_get_method_full (MonoImage *image, guint32 token, MonoClass *klass,
        if (!used_context && !result->is_inflated) {
                MonoMethod *result2;
                if (mono_metadata_token_table (token) == MONO_TABLE_METHOD)
-                       result2 = mono_value_hash_table_lookup (image->method_cache, GINT_TO_POINTER (token));
+                       result2 = g_hash_table_lookup (image->method_cache, GINT_TO_POINTER (mono_metadata_token_index (token)));
                else
                        result2 = g_hash_table_lookup (image->methodref_cache, GINT_TO_POINTER (token));
 
@@ -1600,7 +1606,7 @@ mono_get_method_full (MonoImage *image, guint32 token, MonoClass *klass,
                }
 
                if (mono_metadata_token_table (token) == MONO_TABLE_METHOD)
-                       mono_value_hash_table_insert (image->method_cache, GINT_TO_POINTER (token), result);
+                       g_hash_table_insert (image->method_cache, GINT_TO_POINTER (mono_metadata_token_index (token)), result);
                else
                        g_hash_table_insert (image->methodref_cache, GINT_TO_POINTER (token), result);
        }
@@ -1639,17 +1645,19 @@ mono_get_method_constrained (MonoImage *image, guint32 token, MonoClass *constra
        mono_class_init (constrained_class);
        method = *cil_method;
        original_sig = sig = mono_method_signature (method);
+       if (sig == NULL)
+               return NULL;
 
        if (method->is_inflated && sig->generic_param_count) {
                MonoMethodInflated *imethod = (MonoMethodInflated *) method;
-               sig = mono_method_signature (imethod->declaring);
+               sig = mono_method_signature (imethod->declaring); /*We assume that if the inflated method signature is valid, the declaring method is too*/
                method_context = mono_method_get_context (method);
 
                original_sig = sig;
                /*
                 * We must inflate the signature with the class instantiation to work on
                 * cases where a class inherit from a generic type and the override replaces
-                * and type argument which a concrete type. See #325283.
+                * any type argument which a concrete type. See #325283.
                 */
                if (method_context->class_inst) {
                        MonoGenericContext ctx;
@@ -1657,6 +1665,8 @@ mono_get_method_constrained (MonoImage *image, guint32 token, MonoClass *constra
                        ctx.class_inst = method_context->class_inst;
                
                        sig = inflate_generic_signature (method->klass->image, sig, &ctx);
+                       if (sig == NULL)
+                               return NULL;
                }
        }
 
@@ -1729,14 +1739,22 @@ mono_method_get_param_names (MonoMethod *method, const char **names)
        MonoClass *klass;
        MonoTableInfo *methodt;
        MonoTableInfo *paramt;
+       MonoMethodSignature *signature;
        guint32 idx;
 
        if (method->is_inflated)
                method = ((MonoMethodInflated *) method)->declaring;
 
-       if (!mono_method_signature (method)->param_count)
+       signature = mono_method_signature (method);
+       /*FIXME this check is somewhat redundant since the caller usally will have to get the signature to figure out the
+         number of arguments and allocate a properly sized array. */
+       if (signature == NULL)
+               return;
+
+       if (!signature->param_count)
                return;
-       for (i = 0; i < mono_method_signature (method)->param_count; ++i)
+
+       for (i = 0; i < signature->param_count; ++i)
                names [i] = "";
 
        klass = method->klass;
@@ -1772,10 +1790,9 @@ mono_method_get_param_names (MonoMethod *method, const char **names)
                        lastp = paramt->rows + 1;
                for (i = param_index; i < lastp; ++i) {
                        mono_metadata_decode_row (paramt, i -1, cols, MONO_PARAM_SIZE);
-                       if (cols [MONO_PARAM_SEQUENCE]) /* skip return param spec */
+                       if (cols [MONO_PARAM_SEQUENCE] && cols [MONO_PARAM_SEQUENCE] <= signature->param_count) /* skip return param spec and bounds check*/
                                names [cols [MONO_PARAM_SEQUENCE] - 1] = mono_metadata_string_heap (klass->image, cols [MONO_PARAM_NAME]);
                }
-               return;
        }
 }
 
@@ -1814,9 +1831,13 @@ mono_method_get_marshal_info (MonoMethod *method, MonoMarshalSpec **mspecs)
        MonoClass *klass = method->klass;
        MonoTableInfo *methodt;
        MonoTableInfo *paramt;
+       MonoMethodSignature *signature;
        guint32 idx;
 
-       for (i = 0; i < mono_method_signature (method)->param_count + 1; ++i)
+       signature = mono_method_signature (method);
+       g_assert (signature); /*FIXME there is no way to signal error from this function*/
+
+       for (i = 0; i < signature->param_count + 1; ++i)
                mspecs [i] = NULL;
 
        if (method->klass->image->dynamic) {
@@ -1825,7 +1846,7 @@ mono_method_get_marshal_info (MonoMethod *method, MonoMarshalSpec **mspecs)
                                ((MonoDynamicImage*)method->klass->image)->method_aux_hash, method);
                if (method_aux && method_aux->param_marshall) {
                        MonoMarshalSpec **dyn_specs = method_aux->param_marshall;
-                       for (i = 0; i < mono_method_signature (method)->param_count + 1; ++i)
+                       for (i = 0; i < signature->param_count + 1; ++i)
                                if (dyn_specs [i]) {
                                        mspecs [i] = g_new0 (MonoMarshalSpec, 1);
                                        memcpy (mspecs [i], dyn_specs [i], sizeof (MonoMarshalSpec));
@@ -1851,7 +1872,7 @@ mono_method_get_marshal_info (MonoMethod *method, MonoMarshalSpec **mspecs)
                for (i = param_index; i < lastp; ++i) {
                        mono_metadata_decode_row (paramt, i -1, cols, MONO_PARAM_SIZE);
 
-                       if (cols [MONO_PARAM_FLAGS] & PARAM_ATTRIBUTE_HAS_FIELD_MARSHAL) {
+                       if (cols [MONO_PARAM_FLAGS] & PARAM_ATTRIBUTE_HAS_FIELD_MARSHAL && cols [MONO_PARAM_SEQUENCE] <= signature->param_count) {
                                const char *tp;
                                tp = mono_metadata_get_marshal_info (klass->image, i - 1, FALSE);
                                g_assert (tp);
@@ -1968,6 +1989,8 @@ mono_method_get_last_managed (void)
        return m;
 }
 
+static gboolean loader_lock_track_ownership = FALSE;
+
 /**
  * mono_loader_lock:
  *
@@ -1977,12 +2000,45 @@ void
 mono_loader_lock (void)
 {
        mono_locks_acquire (&loader_mutex, LoaderLock);
+       if (G_UNLIKELY (loader_lock_track_ownership)) {
+               TlsSetValue (loader_lock_nest_id, GUINT_TO_POINTER (GPOINTER_TO_UINT (TlsGetValue (loader_lock_nest_id)) + 1));
+       }
 }
 
 void
 mono_loader_unlock (void)
 {
        mono_locks_release (&loader_mutex, LoaderLock);
+       if (G_UNLIKELY (loader_lock_track_ownership)) {
+               TlsSetValue (loader_lock_nest_id, GUINT_TO_POINTER (GPOINTER_TO_UINT (TlsGetValue (loader_lock_nest_id)) - 1));
+       }
+}
+
+/*
+ * mono_loader_lock_track_ownership:
+ *
+ *   Set whenever the runtime should track ownership of the loader lock. If set to TRUE,
+ * the mono_loader_lock_is_owned_by_self () can be called to query whenever the current
+ * thread owns the loader lock. 
+ */
+void
+mono_loader_lock_track_ownership (gboolean track)
+{
+       loader_lock_track_ownership = track;
+}
+
+/*
+ * mono_loader_lock_is_owned_by_self:
+ *
+ *   Return whenever the current thread owns the loader lock.
+ * This is useful to avoid blocking operations while holding the loader lock.
+ */
+gboolean
+mono_loader_lock_is_owned_by_self (void)
+{
+       g_assert (loader_lock_track_ownership);
+
+       return GPOINTER_TO_UINT (TlsGetValue (loader_lock_nest_id)) > 0;
 }
 
 /**
@@ -2000,7 +2056,6 @@ mono_method_signature (MonoMethod *m)
        gboolean can_cache_signature;
        MonoGenericContainer *container;
        MonoMethodSignature *signature = NULL;
-       int *pattrs;
        guint32 sig_offset;
 
        /* We need memory barriers below because of the double-checked locking pattern */ 
@@ -2045,11 +2100,8 @@ mono_method_signature (MonoMethod *m)
        can_cache_signature = !(m->iflags & METHOD_IMPL_ATTRIBUTE_INTERNAL_CALL) && !(m->flags & METHOD_ATTRIBUTE_PINVOKE_IMPL) && !container;
 
        /* If the method has parameter attributes, that can modify the signature */
-       pattrs = mono_metadata_get_param_attrs (img, idx);
-       if (pattrs) {
+       if (mono_metadata_method_has_param_attrs (img, idx))
                can_cache_signature = FALSE;
-               g_free (pattrs);
-       }
 
        if (can_cache_signature)
                signature = g_hash_table_lookup (img->method_signatures, sig);
@@ -2076,14 +2128,22 @@ mono_method_signature (MonoMethod *m)
 
        /* Verify metadata consistency */
        if (signature->generic_param_count) {
-               if (!container || !container->is_method)
-                       g_error ("Signature claims method has generic parameters, but generic_params table says it doesn't");
-               if (container->type_argc != signature->generic_param_count)
-                       g_error ("Inconsistent generic parameter count.  Signature says %d, generic_params table says %d",
-                                signature->generic_param_count, container->type_argc);
-       } else if (container && container->is_method && container->type_argc)
-               g_error ("generic_params table claims method has generic parameters, but signature says it doesn't");
-
+               if (!container || !container->is_method) {
+                       g_warning ("Signature claims method has generic parameters, but generic_params table says it doesn't for method 0x%08x from image %s", idx, img->name);
+                       mono_loader_unlock ();
+                       return NULL;
+               }
+               if (container->type_argc != signature->generic_param_count) {
+                       g_warning ("Inconsistent generic parameter count.  Signature says %d, generic_params table says %d for method 0x%08x from image %s",
+                                signature->generic_param_count, container->type_argc, idx, img->name);
+                       mono_loader_unlock ();
+                       return NULL;
+               }
+       } else if (container && container->is_method && container->type_argc) {
+               g_warning ("generic_params table claims method has generic parameters, but signature says it doesn't for method 0x%08x from image %s", idx, img->name);
+               mono_loader_unlock ();
+               return NULL;
+       }
        if (m->iflags & METHOD_IMPL_ATTRIBUTE_INTERNAL_CALL)
                signature->pinvoke = 1;
        else if (m->flags & METHOD_ATTRIBUTE_PINVOKE_IMPL) {
@@ -2111,8 +2171,9 @@ mono_method_signature (MonoMethod *m)
                case PINVOKE_ATTRIBUTE_CALL_CONV_GENERIC:
                case PINVOKE_ATTRIBUTE_CALL_CONV_GENERICINST:
                default:
-                       g_warning ("unsupported calling convention : 0x%04x", piinfo->piflags);
-                       g_assert_not_reached ();
+                       g_warning ("unsupported calling convention : 0x%04x for method 0x%08x from image %s", piinfo->piflags, idx, img->name);
+                       mono_loader_unlock ();
+                       return NULL;
                }
                signature->call_convention = conv;
        }
@@ -2188,13 +2249,13 @@ mono_method_get_header (MonoMethod *method)
        idx = mono_metadata_token_index (method->token);
        img = method->klass->image;
        rva = mono_metadata_decode_row_col (&img->tables [MONO_TABLE_METHOD], idx - 1, MONO_METHOD_RVA);
-       loc = mono_image_rva_map (img, rva);
-
-       g_assert (loc);
 
        if (!mono_verifier_verify_method_header (img, rva, NULL))
                return NULL;
 
+       loc = mono_image_rva_map (img, rva);
+       g_assert (loc);
+
        header = mono_metadata_parse_mh_full (img, mono_method_get_generic_container (method), loc);
 
        mono_loader_lock ();