2 * loader.c: Image Loader
5 * Paolo Molaro (lupus@ximian.com)
6 * Miguel de Icaza (miguel@ximian.com)
7 * Patrik Torstensson (patrik.torstensson@labs2.com)
9 * Copyright 2001-2003 Ximian, Inc (http://www.ximian.com)
10 * Copyright 2004-2009 Novell, Inc (http://www.novell.com)
11 * Copyright 2011 Xamarin, Inc (http://www.xamarin.com)
13 * This file is used by the interpreter and the JIT engine to locate
14 * assemblies. Used to load AssemblyRef and later to resolve various
18 * This should keep track of the assembly versions that we are loading.
20 * Licensed under the MIT license. See LICENSE file in the project root for full license information.
27 #include <mono/metadata/metadata.h>
28 #include <mono/metadata/image.h>
29 #include <mono/metadata/assembly.h>
30 #include <mono/metadata/tokentype.h>
31 #include <mono/metadata/tabledefs.h>
32 #include <mono/metadata/metadata-internals.h>
33 #include <mono/metadata/loader.h>
34 #include <mono/metadata/class-internals.h>
35 #include <mono/metadata/debug-helpers.h>
36 #include <mono/metadata/reflection.h>
37 #include <mono/metadata/profiler.h>
38 #include <mono/metadata/profiler-private.h>
39 #include <mono/metadata/exception.h>
40 #include <mono/metadata/marshal.h>
41 #include <mono/metadata/lock-tracer.h>
42 #include <mono/metadata/verify-internals.h>
43 #include <mono/utils/mono-logger-internals.h>
44 #include <mono/utils/mono-dl.h>
45 #include <mono/utils/mono-membar.h>
46 #include <mono/utils/mono-counters.h>
47 #include <mono/utils/mono-error-internals.h>
48 #include <mono/utils/mono-tls.h>
49 #include <mono/utils/mono-path.h>
51 MonoDefaults mono_defaults
;
54 * This lock protects the hash tables inside MonoImage used by the metadata
55 * loading functions in class.c and loader.c.
57 * See domain-internals.h for locking policy in combination with the
60 static MonoCoopMutex loader_mutex
;
61 static mono_mutex_t global_loader_data_mutex
;
62 static gboolean loader_lock_inited
;
65 static guint32 inflated_signatures_size
;
66 static guint32 memberref_sig_cache_size
;
67 static guint32 methods_size
;
68 static guint32 signatures_size
;
71 * This TLS variable holds how many times the current thread has acquired the loader
74 MonoNativeTlsKey loader_lock_nest_id
;
76 static void dllmap_cleanup (void);
80 global_loader_data_lock (void)
82 mono_locks_os_acquire (&global_loader_data_mutex
, LoaderGlobalDataLock
);
86 global_loader_data_unlock (void)
88 mono_locks_os_release (&global_loader_data_mutex
, LoaderGlobalDataLock
);
94 static gboolean inited
;
97 mono_coop_mutex_init_recursive (&loader_mutex
);
98 mono_os_mutex_init_recursive (&global_loader_data_mutex
);
99 loader_lock_inited
= TRUE
;
101 mono_native_tls_alloc (&loader_lock_nest_id
, NULL
);
103 mono_counters_init ();
104 mono_counters_register ("Inflated signatures size",
105 MONO_COUNTER_GENERICS
| MONO_COUNTER_INT
, &inflated_signatures_size
);
106 mono_counters_register ("Memberref signature cache size",
107 MONO_COUNTER_METADATA
| MONO_COUNTER_INT
, &memberref_sig_cache_size
);
108 mono_counters_register ("MonoMethod size",
109 MONO_COUNTER_METADATA
| MONO_COUNTER_INT
, &methods_size
);
110 mono_counters_register ("MonoMethodSignature size",
111 MONO_COUNTER_METADATA
| MONO_COUNTER_INT
, &signatures_size
);
118 mono_loader_cleanup (void)
122 mono_native_tls_free (loader_lock_nest_id
);
124 mono_coop_mutex_destroy (&loader_mutex
);
125 mono_os_mutex_destroy (&global_loader_data_mutex
);
126 loader_lock_inited
= FALSE
;
130 * find_cached_memberref_sig:
132 * Return a cached copy of the memberref signature identified by SIG_IDX.
133 * We use a gpointer since the cache stores both MonoTypes and MonoMethodSignatures.
134 * A cache is needed since the type/signature parsing routines allocate everything
135 * from a mempool, so without a cache, multiple requests for the same signature would
136 * lead to unbounded memory growth. For normal methods/fields this is not a problem
137 * since the resulting methods/fields are cached, but inflated methods/fields cannot
139 * LOCKING: Acquires the loader lock.
142 find_cached_memberref_sig (MonoImage
*image
, guint32 sig_idx
)
146 mono_image_lock (image
);
147 res
= g_hash_table_lookup (image
->memberref_signatures
, GUINT_TO_POINTER (sig_idx
));
148 mono_image_unlock (image
);
154 cache_memberref_sig (MonoImage
*image
, guint32 sig_idx
, gpointer sig
)
158 mono_image_lock (image
);
159 prev_sig
= g_hash_table_lookup (image
->memberref_signatures
, GUINT_TO_POINTER (sig_idx
));
161 /* Somebody got in before us */
165 g_hash_table_insert (image
->memberref_signatures
, GUINT_TO_POINTER (sig_idx
), sig
);
166 /* An approximation based on glib 2.18 */
167 memberref_sig_cache_size
+= sizeof (gpointer
) * 4;
169 mono_image_unlock (image
);
174 static MonoClassField
*
175 field_from_memberref (MonoImage
*image
, guint32 token
, MonoClass
**retklass
,
176 MonoGenericContext
*context
, MonoError
*error
)
178 MonoClass
*klass
= NULL
;
179 MonoClassField
*field
;
180 MonoTableInfo
*tables
= image
->tables
;
183 guint32 nindex
, class_index
;
186 guint32 idx
= mono_metadata_token_index (token
);
190 mono_metadata_decode_row (&tables
[MONO_TABLE_MEMBERREF
], idx
-1, cols
, MONO_MEMBERREF_SIZE
);
191 nindex
= cols
[MONO_MEMBERREF_CLASS
] >> MONO_MEMBERREF_PARENT_BITS
;
192 class_index
= cols
[MONO_MEMBERREF_CLASS
] & MONO_MEMBERREF_PARENT_MASK
;
194 fname
= mono_metadata_string_heap (image
, cols
[MONO_MEMBERREF_NAME
]);
196 if (!mono_verifier_verify_memberref_field_signature (image
, cols
[MONO_MEMBERREF_SIGNATURE
], NULL
)) {
197 mono_error_set_bad_image (error
, image
, "Bad field '%u' signature 0x%08x", class_index
, token
);
201 switch (class_index
) {
202 case MONO_MEMBERREF_PARENT_TYPEDEF
:
203 klass
= mono_class_get_checked (image
, MONO_TOKEN_TYPE_DEF
| nindex
, error
);
205 case MONO_MEMBERREF_PARENT_TYPEREF
:
206 klass
= mono_class_from_typeref_checked (image
, MONO_TOKEN_TYPE_REF
| nindex
, error
);
208 case MONO_MEMBERREF_PARENT_TYPESPEC
:
209 klass
= mono_class_get_and_inflate_typespec_checked (image
, MONO_TOKEN_TYPE_SPEC
| nindex
, context
, error
);
212 mono_error_set_bad_image (error
, image
, "Bad field field '%u' signature 0x%08x", class_index
, token
);
218 ptr
= mono_metadata_blob_heap (image
, cols
[MONO_MEMBERREF_SIGNATURE
]);
219 mono_metadata_decode_blob_size (ptr
, &ptr
);
220 /* we may want to check the signature here... */
223 mono_error_set_field_load (error
, klass
, fname
, "Bad field signature class token %08x field name %s token %08x", class_index
, fname
, token
);
227 /* FIXME: This needs a cache, especially for generic instances, since
228 * we ask mono_metadata_parse_type_checked () to allocates everything from a mempool.
229 * FIXME part2, mono_metadata_parse_type_checked actually allows for a transient type instead.
230 * FIXME part3, transient types are not 100% transient, so we need to take care of that first.
232 sig_type
= (MonoType
*)find_cached_memberref_sig (image
, cols
[MONO_MEMBERREF_SIGNATURE
]);
234 MonoError inner_error
;
235 sig_type
= mono_metadata_parse_type_checked (image
, NULL
, 0, FALSE
, ptr
, &ptr
, &inner_error
);
236 if (sig_type
== NULL
) {
237 mono_error_set_field_load (error
, klass
, fname
, "Could not parse field '%s' signature %08x due to: %s", fname
, token
, mono_error_get_message (&inner_error
));
238 mono_error_cleanup (&inner_error
);
241 sig_type
= (MonoType
*)cache_memberref_sig (image
, cols
[MONO_MEMBERREF_SIGNATURE
], sig_type
);
244 mono_class_init (klass
); /*FIXME is this really necessary?*/
247 field
= mono_class_get_field_from_name_full (klass
, fname
, sig_type
);
250 mono_error_set_field_load (error
, klass
, fname
, "Could not find field '%s'", fname
);
257 * mono_field_from_token:
258 * @deprecated use the _checked variant
259 * Notes: runtime code MUST not use this function
262 mono_field_from_token (MonoImage
*image
, guint32 token
, MonoClass
**retklass
, MonoGenericContext
*context
)
265 MonoClassField
*res
= mono_field_from_token_checked (image
, token
, retklass
, context
, &error
);
266 g_assert (mono_error_ok (&error
));
271 mono_field_from_token_checked (MonoImage
*image
, guint32 token
, MonoClass
**retklass
, MonoGenericContext
*context
, MonoError
*error
)
275 MonoClassField
*field
;
279 if (image_is_dynamic (image
)) {
280 MonoClassField
*result
;
281 MonoClass
*handle_class
;
284 MonoError inner_error
;
285 result
= (MonoClassField
*)mono_lookup_dynamic_token_class (image
, token
, TRUE
, &handle_class
, context
, &inner_error
);
286 mono_error_cleanup (&inner_error
);
287 // This checks the memberref type as well
288 if (!result
|| handle_class
!= mono_defaults
.fieldhandle_class
) {
289 mono_error_set_bad_image (error
, image
, "Bad field token 0x%08x", token
);
292 *retklass
= result
->parent
;
296 if ((field
= (MonoClassField
*)mono_conc_hashtable_lookup (image
->field_cache
, GUINT_TO_POINTER (token
)))) {
297 *retklass
= field
->parent
;
301 if (mono_metadata_token_table (token
) == MONO_TABLE_MEMBERREF
) {
302 field
= field_from_memberref (image
, token
, retklass
, context
, error
);
304 type
= mono_metadata_typedef_from_field (image
, mono_metadata_token_index (token
));
306 mono_error_set_bad_image (error
, image
, "Invalid field token 0x%08x", token
);
309 k
= mono_class_get_checked (image
, MONO_TOKEN_TYPE_DEF
| type
, error
);
316 field
= mono_class_get_field (k
, token
);
318 mono_error_set_bad_image (error
, image
, "Could not resolve field token 0x%08x", token
);
322 if (field
&& field
->parent
&& !mono_class_is_ginst (field
->parent
) && !mono_class_is_gtd (field
->parent
)) {
323 mono_image_lock (image
);
324 mono_conc_hashtable_insert (image
->field_cache
, GUINT_TO_POINTER (token
), field
);
325 mono_image_unlock (image
);
332 mono_metadata_signature_vararg_match (MonoMethodSignature
*sig1
, MonoMethodSignature
*sig2
)
336 if (sig1
->hasthis
!= sig2
->hasthis
||
337 sig1
->sentinelpos
!= sig2
->sentinelpos
)
340 for (i
= 0; i
< sig1
->sentinelpos
; i
++) {
341 MonoType
*p1
= sig1
->params
[i
];
342 MonoType
*p2
= sig2
->params
[i
];
344 /*if (p1->attrs != p2->attrs)
347 if (!mono_metadata_type_equal (p1
, p2
))
351 if (!mono_metadata_type_equal (sig1
->ret
, sig2
->ret
))
357 find_method_in_class (MonoClass
*klass
, const char *name
, const char *qname
, const char *fqname
,
358 MonoMethodSignature
*sig
, MonoClass
*from_class
, MonoError
*error
)
362 /* Search directly in the metadata to avoid calling setup_methods () */
365 /* FIXME: !mono_class_is_ginst (from_class) condition causes test failures. */
366 if (klass
->type_token
&& !image_is_dynamic (klass
->image
) && !klass
->methods
&& !klass
->rank
&& klass
== from_class
&& !mono_class_is_ginst (from_class
)) {
367 int first_idx
= mono_class_get_first_method_idx (klass
);
368 int mcount
= mono_class_get_method_count (klass
);
369 for (i
= 0; i
< mcount
; ++i
) {
370 guint32 cols
[MONO_METHOD_SIZE
];
373 MonoMethodSignature
*other_sig
;
375 mono_metadata_decode_table_row (klass
->image
, MONO_TABLE_METHOD
, first_idx
+ i
, cols
, MONO_METHOD_SIZE
);
377 m_name
= mono_metadata_string_heap (klass
->image
, cols
[MONO_METHOD_NAME
]);
379 if (!((fqname
&& !strcmp (m_name
, fqname
)) ||
380 (qname
&& !strcmp (m_name
, qname
)) ||
381 (name
&& !strcmp (m_name
, name
))))
384 method
= mono_get_method_checked (klass
->image
, MONO_TOKEN_METHOD_DEF
| (first_idx
+ i
+ 1), klass
, NULL
, error
);
385 if (!mono_error_ok (error
)) //bail out if we hit a loader error
388 other_sig
= mono_method_signature_checked (method
, error
);
389 if (!mono_error_ok (error
)) //bail out if we hit a loader error
391 if (other_sig
&& (sig
->call_convention
!= MONO_CALL_VARARG
) && mono_metadata_signature_equal (sig
, other_sig
))
397 mono_class_setup_methods (klass
); /* FIXME don't swallow the error here. */
399 We can't fail lookup of methods otherwise the runtime will fail with MissingMethodException instead of TypeLoadException.
400 See mono/tests/generic-type-load-exception.2.il
401 FIXME we should better report this error to the caller
403 if (!klass
->methods
|| mono_class_has_failure (klass
)) {
404 mono_error_set_type_load_class (error
, klass
, "Could not find method due to a type load error"); //FIXME get the error from the class
408 int mcount
= mono_class_get_method_count (klass
);
409 for (i
= 0; i
< mcount
; ++i
) {
410 MonoMethod
*m
= klass
->methods
[i
];
411 MonoMethodSignature
*msig
;
413 /* We must cope with failing to load some of the types. */
417 if (!((fqname
&& !strcmp (m
->name
, fqname
)) ||
418 (qname
&& !strcmp (m
->name
, qname
)) ||
419 (name
&& !strcmp (m
->name
, name
))))
421 msig
= mono_method_signature_checked (m
, error
);
422 if (!mono_error_ok (error
)) //bail out if we hit a loader error
428 if (sig
->call_convention
== MONO_CALL_VARARG
) {
429 if (mono_metadata_signature_vararg_match (sig
, msig
))
432 if (mono_metadata_signature_equal (sig
, msig
))
438 return mono_class_get_method_by_index (from_class
, i
);
443 find_method (MonoClass
*in_class
, MonoClass
*ic
, const char* name
, MonoMethodSignature
*sig
, MonoClass
*from_class
, MonoError
*error
)
446 char *qname
, *fqname
, *class_name
;
447 gboolean is_interface
;
448 MonoMethod
*result
= NULL
;
449 MonoClass
*initial_class
= in_class
;
452 is_interface
= MONO_CLASS_IS_INTERFACE (in_class
);
455 class_name
= mono_type_get_name_full (&ic
->byval_arg
, MONO_TYPE_NAME_FORMAT_IL
);
457 qname
= g_strconcat (class_name
, ".", name
, NULL
);
458 if (ic
->name_space
&& ic
->name_space
[0])
459 fqname
= g_strconcat (ic
->name_space
, ".", class_name
, ".", name
, NULL
);
463 class_name
= qname
= fqname
= NULL
;
466 g_assert (from_class
);
467 result
= find_method_in_class (in_class
, name
, qname
, fqname
, sig
, from_class
, error
);
468 if (result
|| !mono_error_ok (error
))
471 if (name
[0] == '.' && (!strcmp (name
, ".ctor") || !strcmp (name
, ".cctor")))
475 * This happens when we fail to lazily load the interfaces of one of the types.
476 * On such case we can't just bail out since user code depends on us trying harder.
478 if (from_class
->interface_offsets_count
!= in_class
->interface_offsets_count
) {
479 in_class
= in_class
->parent
;
480 from_class
= from_class
->parent
;
484 for (i
= 0; i
< in_class
->interface_offsets_count
; i
++) {
485 MonoClass
*in_ic
= in_class
->interfaces_packed
[i
];
486 MonoClass
*from_ic
= from_class
->interfaces_packed
[i
];
487 char *ic_qname
, *ic_fqname
, *ic_class_name
;
489 ic_class_name
= mono_type_get_name_full (&in_ic
->byval_arg
, MONO_TYPE_NAME_FORMAT_IL
);
490 ic_qname
= g_strconcat (ic_class_name
, ".", name
, NULL
);
491 if (in_ic
->name_space
&& in_ic
->name_space
[0])
492 ic_fqname
= g_strconcat (in_ic
->name_space
, ".", ic_class_name
, ".", name
, NULL
);
496 result
= find_method_in_class (in_ic
, ic
? name
: NULL
, ic_qname
, ic_fqname
, sig
, from_ic
, error
);
497 g_free (ic_class_name
);
500 if (result
|| !mono_error_ok (error
))
504 in_class
= in_class
->parent
;
505 from_class
= from_class
->parent
;
507 g_assert (!in_class
== !from_class
);
510 result
= find_method_in_class (mono_defaults
.object_class
, name
, qname
, fqname
, sig
, mono_defaults
.object_class
, error
);
512 //we did not find the method
513 if (!result
&& mono_error_ok (error
)) {
514 char *desc
= mono_signature_get_desc (sig
, FALSE
);
515 mono_error_set_method_load (error
, initial_class
, name
, "Could not find method with signature %s", desc
);
526 static MonoMethodSignature
*
527 inflate_generic_signature_checked (MonoImage
*image
, MonoMethodSignature
*sig
, MonoGenericContext
*context
, MonoError
*error
)
529 MonoMethodSignature
*res
;
537 res
= (MonoMethodSignature
*)g_malloc0 (MONO_SIZEOF_METHOD_SIGNATURE
+ ((gint32
)sig
->param_count
) * sizeof (MonoType
*));
538 res
->param_count
= sig
->param_count
;
539 res
->sentinelpos
= -1;
540 res
->ret
= mono_class_inflate_generic_type_checked (sig
->ret
, context
, error
);
541 if (!mono_error_ok (error
))
543 is_open
= mono_class_is_open_constructed_type (res
->ret
);
544 for (i
= 0; i
< sig
->param_count
; ++i
) {
545 res
->params
[i
] = mono_class_inflate_generic_type_checked (sig
->params
[i
], context
, error
);
546 if (!mono_error_ok (error
))
550 is_open
= mono_class_is_open_constructed_type (res
->params
[i
]);
552 res
->hasthis
= sig
->hasthis
;
553 res
->explicit_this
= sig
->explicit_this
;
554 res
->call_convention
= sig
->call_convention
;
555 res
->pinvoke
= sig
->pinvoke
;
556 res
->generic_param_count
= sig
->generic_param_count
;
557 res
->sentinelpos
= sig
->sentinelpos
;
558 res
->has_type_parameters
= is_open
;
559 res
->is_inflated
= 1;
564 mono_metadata_free_type (res
->ret
);
565 for (i
= 0; i
< sig
->param_count
; ++i
) {
567 mono_metadata_free_type (res
->params
[i
]);
574 * mono_inflate_generic_signature:
576 * Inflate SIG with CONTEXT, and return a canonical copy. On error, set ERROR, and return NULL.
579 mono_inflate_generic_signature (MonoMethodSignature
*sig
, MonoGenericContext
*context
, MonoError
*error
)
581 MonoMethodSignature
*res
, *cached
;
583 res
= inflate_generic_signature_checked (NULL
, sig
, context
, error
);
584 if (!mono_error_ok (error
))
586 cached
= mono_metadata_get_inflated_signature (res
, context
);
588 mono_metadata_free_inflated_signature (res
);
592 static MonoMethodHeader
*
593 inflate_generic_header (MonoMethodHeader
*header
, MonoGenericContext
*context
, MonoError
*error
)
595 size_t locals_size
= sizeof (gpointer
) * header
->num_locals
;
596 size_t clauses_size
= header
->num_clauses
* sizeof (MonoExceptionClause
);
597 size_t header_size
= MONO_SIZEOF_METHOD_HEADER
+ locals_size
+ clauses_size
;
598 MonoMethodHeader
*res
= (MonoMethodHeader
*)g_malloc0 (header_size
);
599 res
->num_locals
= header
->num_locals
;
600 res
->clauses
= (MonoExceptionClause
*) &res
->locals
[res
->num_locals
] ;
601 memcpy (res
->clauses
, header
->clauses
, clauses_size
);
603 res
->code
= header
->code
;
604 res
->code_size
= header
->code_size
;
605 res
->max_stack
= header
->max_stack
;
606 res
->num_clauses
= header
->num_clauses
;
607 res
->init_locals
= header
->init_locals
;
609 res
->is_transient
= TRUE
;
613 for (int i
= 0; i
< header
->num_locals
; ++i
) {
614 res
->locals
[i
] = mono_class_inflate_generic_type_checked (header
->locals
[i
], context
, error
);
618 if (res
->num_clauses
) {
619 for (int i
= 0; i
< header
->num_clauses
; ++i
) {
620 MonoExceptionClause
*clause
= &res
->clauses
[i
];
621 if (clause
->flags
!= MONO_EXCEPTION_CLAUSE_NONE
)
623 clause
->data
.catch_class
= mono_class_inflate_generic_class_checked (clause
->data
.catch_class
, context
, error
);
635 * token is the method_ref/def/spec token used in a call IL instruction.
636 * @deprecated use the _checked variant
637 * Notes: runtime code MUST not use this function
640 mono_method_get_signature_full (MonoMethod
*method
, MonoImage
*image
, guint32 token
, MonoGenericContext
*context
)
643 MonoMethodSignature
*res
= mono_method_get_signature_checked (method
, image
, token
, context
, &error
);
644 mono_error_cleanup (&error
);
649 mono_method_get_signature_checked (MonoMethod
*method
, MonoImage
*image
, guint32 token
, MonoGenericContext
*context
, MonoError
*error
)
651 int table
= mono_metadata_token_table (token
);
652 int idx
= mono_metadata_token_index (token
);
654 guint32 cols
[MONO_MEMBERREF_SIZE
];
655 MonoMethodSignature
*sig
;
660 /* !table is for wrappers: we should really assign their own token to them */
661 if (!table
|| table
== MONO_TABLE_METHOD
)
662 return mono_method_signature_checked (method
, error
);
664 if (table
== MONO_TABLE_METHODSPEC
) {
665 /* the verifier (do_invoke_method) will turn the NULL into a verifier error */
666 if ((method
->flags
& METHOD_ATTRIBUTE_PINVOKE_IMPL
) || !method
->is_inflated
) {
667 mono_error_set_bad_image (error
, image
, "Method is a pinvoke or open generic");
671 return mono_method_signature_checked (method
, error
);
674 if (mono_class_is_ginst (method
->klass
))
675 return mono_method_signature_checked (method
, error
);
677 if (image_is_dynamic (image
)) {
678 sig
= mono_reflection_lookup_signature (image
, method
, token
, error
);
682 mono_metadata_decode_row (&image
->tables
[MONO_TABLE_MEMBERREF
], idx
-1, cols
, MONO_MEMBERREF_SIZE
);
683 sig_idx
= cols
[MONO_MEMBERREF_SIGNATURE
];
685 sig
= (MonoMethodSignature
*)find_cached_memberref_sig (image
, sig_idx
);
687 if (!mono_verifier_verify_memberref_method_signature (image
, sig_idx
, NULL
)) {
688 guint32 klass
= cols
[MONO_MEMBERREF_CLASS
] & MONO_MEMBERREF_PARENT_MASK
;
689 const char *fname
= mono_metadata_string_heap (image
, cols
[MONO_MEMBERREF_NAME
]);
691 //FIXME include the verification error
692 mono_error_set_bad_image (error
, image
, "Bad method signature class token 0x%08x field name %s token 0x%08x", klass
, fname
, token
);
696 ptr
= mono_metadata_blob_heap (image
, sig_idx
);
697 mono_metadata_decode_blob_size (ptr
, &ptr
);
699 sig
= mono_metadata_parse_method_signature_full (image
, NULL
, 0, ptr
, NULL
, error
);
703 sig
= (MonoMethodSignature
*)cache_memberref_sig (image
, sig_idx
, sig
);
705 /* FIXME: we probably should verify signature compat in the dynamic case too*/
706 if (!mono_verifier_is_sig_compatible (image
, method
, sig
)) {
707 guint32 klass
= cols
[MONO_MEMBERREF_CLASS
] & MONO_MEMBERREF_PARENT_MASK
;
708 const char *fname
= mono_metadata_string_heap (image
, cols
[MONO_MEMBERREF_NAME
]);
710 mono_error_set_bad_image (error
, image
, "Incompatible method signature class token 0x%08x field name %s token 0x%08x", klass
, fname
, token
);
716 MonoMethodSignature
*cached
;
718 /* This signature is not owned by a MonoMethod, so need to cache */
719 sig
= inflate_generic_signature_checked (image
, sig
, context
, error
);
720 if (!mono_error_ok (error
))
723 cached
= mono_metadata_get_inflated_signature (sig
, context
);
725 mono_metadata_free_inflated_signature (sig
);
727 inflated_signatures_size
+= mono_metadata_signature_size (cached
);
731 g_assert (mono_error_ok (error
));
736 * token is the method_ref/def/spec token used in a call IL instruction.
737 * @deprecated use the _checked variant
738 * Notes: runtime code MUST not use this function
741 mono_method_get_signature (MonoMethod
*method
, MonoImage
*image
, guint32 token
)
744 MonoMethodSignature
*res
= mono_method_get_signature_checked (method
, image
, token
, NULL
, &error
);
745 mono_error_cleanup (&error
);
749 /* this is only for the typespec array methods */
751 mono_method_search_in_array_class (MonoClass
*klass
, const char *name
, MonoMethodSignature
*sig
)
755 mono_class_setup_methods (klass
);
756 g_assert (!mono_class_has_failure (klass
)); /*FIXME this should not fail, right?*/
757 int mcount
= mono_class_get_method_count (klass
);
758 for (i
= 0; i
< mcount
; ++i
) {
759 MonoMethod
*method
= klass
->methods
[i
];
760 if (strcmp (method
->name
, name
) == 0 && sig
->param_count
== method
->signature
->param_count
)
767 method_from_memberref (MonoImage
*image
, guint32 idx
, MonoGenericContext
*typespec_context
,
768 gboolean
*used_context
, MonoError
*error
)
770 MonoClass
*klass
= NULL
;
771 MonoMethod
*method
= NULL
;
772 MonoTableInfo
*tables
= image
->tables
;
774 guint32 nindex
, class_index
, sig_idx
;
776 MonoMethodSignature
*sig
;
781 mono_metadata_decode_row (&tables
[MONO_TABLE_MEMBERREF
], idx
-1, cols
, 3);
782 nindex
= cols
[MONO_MEMBERREF_CLASS
] >> MONO_MEMBERREF_PARENT_BITS
;
783 class_index
= cols
[MONO_MEMBERREF_CLASS
] & MONO_MEMBERREF_PARENT_MASK
;
784 /*g_print ("methodref: 0x%x 0x%x %s\n", class, nindex,
785 mono_metadata_string_heap (m, cols [MONO_MEMBERREF_NAME]));*/
787 mname
= mono_metadata_string_heap (image
, cols
[MONO_MEMBERREF_NAME
]);
790 * Whether we actually used the `typespec_context' or not.
791 * This is used to tell our caller whether or not it's safe to insert the returned
792 * method into a cache.
795 *used_context
= class_index
== MONO_MEMBERREF_PARENT_TYPESPEC
;
797 switch (class_index
) {
798 case MONO_MEMBERREF_PARENT_TYPEREF
:
799 klass
= mono_class_from_typeref_checked (image
, MONO_TOKEN_TYPE_REF
| nindex
, error
);
803 case MONO_MEMBERREF_PARENT_TYPESPEC
:
805 * Parse the TYPESPEC in the parent's context.
807 klass
= mono_class_get_and_inflate_typespec_checked (image
, MONO_TOKEN_TYPE_SPEC
| nindex
, typespec_context
, error
);
811 case MONO_MEMBERREF_PARENT_TYPEDEF
:
812 klass
= mono_class_get_checked (image
, MONO_TOKEN_TYPE_DEF
| nindex
, error
);
816 case MONO_MEMBERREF_PARENT_METHODDEF
: {
817 method
= mono_get_method_checked (image
, MONO_TOKEN_METHOD_DEF
| nindex
, NULL
, NULL
, error
);
823 mono_error_set_bad_image (error
, image
, "Memberref parent unknown: class: %d, index %d", class_index
, nindex
);
828 mono_class_init (klass
);
830 sig_idx
= cols
[MONO_MEMBERREF_SIGNATURE
];
832 if (!mono_verifier_verify_memberref_method_signature (image
, sig_idx
, NULL
)) {
833 mono_error_set_method_load (error
, klass
, mname
, "Verifier rejected method signature");
837 ptr
= mono_metadata_blob_heap (image
, sig_idx
);
838 mono_metadata_decode_blob_size (ptr
, &ptr
);
840 sig
= (MonoMethodSignature
*)find_cached_memberref_sig (image
, sig_idx
);
842 sig
= mono_metadata_parse_method_signature_full (image
, NULL
, 0, ptr
, NULL
, error
);
846 sig
= (MonoMethodSignature
*)cache_memberref_sig (image
, sig_idx
, sig
);
849 switch (class_index
) {
850 case MONO_MEMBERREF_PARENT_TYPEREF
:
851 case MONO_MEMBERREF_PARENT_TYPEDEF
:
852 method
= find_method (klass
, NULL
, mname
, sig
, klass
, error
);
855 case MONO_MEMBERREF_PARENT_TYPESPEC
: {
858 type
= &klass
->byval_arg
;
860 if (type
->type
!= MONO_TYPE_ARRAY
&& type
->type
!= MONO_TYPE_SZARRAY
) {
861 MonoClass
*in_class
= mono_class_is_ginst (klass
) ? mono_class_get_generic_class (klass
)->container_class
: klass
;
862 method
= find_method (in_class
, NULL
, mname
, sig
, klass
, error
);
866 /* we're an array and we created these methods already in klass in mono_class_init () */
867 method
= mono_method_search_in_array_class (klass
, mname
, sig
);
871 mono_error_set_bad_image (error
, image
,"Memberref parent unknown: class: %d, index %d", class_index
, nindex
);
875 if (!method
&& mono_error_ok (error
)) {
876 char *msig
= mono_signature_get_desc (sig
, FALSE
);
877 GString
*s
= g_string_new (mname
);
878 if (sig
->generic_param_count
)
879 g_string_append_printf (s
, "<[%d]>", sig
->generic_param_count
);
880 g_string_append_printf (s
, "(%s)", msig
);
882 msig
= g_string_free (s
, FALSE
);
884 mono_error_set_method_load (error
, klass
, mname
, "Could not find method %s", msig
);
892 g_assert (!mono_error_ok (error
));
897 method_from_methodspec (MonoImage
*image
, MonoGenericContext
*context
, guint32 idx
, MonoError
*error
)
901 MonoTableInfo
*tables
= image
->tables
;
902 MonoGenericContext new_context
;
903 MonoGenericInst
*inst
;
905 guint32 cols
[MONO_METHODSPEC_SIZE
];
906 guint32 token
, nindex
, param_count
;
910 mono_metadata_decode_row (&tables
[MONO_TABLE_METHODSPEC
], idx
- 1, cols
, MONO_METHODSPEC_SIZE
);
911 token
= cols
[MONO_METHODSPEC_METHOD
];
912 nindex
= token
>> MONO_METHODDEFORREF_BITS
;
914 if (!mono_verifier_verify_methodspec_signature (image
, cols
[MONO_METHODSPEC_SIGNATURE
], NULL
)) {
915 mono_error_set_bad_image (error
, image
, "Bad method signals signature 0x%08x", idx
);
919 ptr
= mono_metadata_blob_heap (image
, cols
[MONO_METHODSPEC_SIGNATURE
]);
921 mono_metadata_decode_value (ptr
, &ptr
);
923 param_count
= mono_metadata_decode_value (ptr
, &ptr
);
925 inst
= mono_metadata_parse_generic_inst (image
, NULL
, param_count
, ptr
, &ptr
, error
);
929 if (context
&& inst
->is_open
) {
930 inst
= mono_metadata_inflate_generic_inst (inst
, context
, error
);
931 if (!mono_error_ok (error
))
935 if ((token
& MONO_METHODDEFORREF_MASK
) == MONO_METHODDEFORREF_METHODDEF
) {
936 method
= mono_get_method_checked (image
, MONO_TOKEN_METHOD_DEF
| nindex
, NULL
, context
, error
);
940 method
= method_from_memberref (image
, nindex
, context
, NULL
, error
);
946 klass
= method
->klass
;
948 if (mono_class_is_ginst (klass
)) {
949 g_assert (method
->is_inflated
);
950 method
= ((MonoMethodInflated
*) method
)->declaring
;
953 new_context
.class_inst
= mono_class_is_ginst (klass
) ? mono_class_get_generic_class (klass
)->context
.class_inst
: NULL
;
954 new_context
.method_inst
= inst
;
956 method
= mono_class_inflate_generic_method_full_checked (method
, klass
, &new_context
, error
);
968 static MonoDllMap
*global_dll_map
;
971 mono_dllmap_lookup_list (MonoDllMap
*dll_map
, const char *dll
, const char* func
, const char **rdll
, const char **rfunc
) {
979 global_loader_data_lock ();
982 * we use the first entry we find that matches, since entries from
983 * the config file are prepended to the list and we document that the
986 for (; dll_map
; dll_map
= dll_map
->next
) {
987 if (dll_map
->dll
[0] == 'i' && dll_map
->dll
[1] == ':') {
988 if (g_ascii_strcasecmp (dll_map
->dll
+ 2, dll
))
990 } else if (strcmp (dll_map
->dll
, dll
)) {
993 if (!found
&& dll_map
->target
) {
994 *rdll
= dll_map
->target
;
996 /* we don't quit here, because we could find a full
997 * entry that matches also function and that has priority.
1000 if (dll_map
->func
&& strcmp (dll_map
->func
, func
) == 0) {
1001 *rdll
= dll_map
->target
;
1002 *rfunc
= dll_map
->target_func
;
1007 global_loader_data_unlock ();
1012 mono_dllmap_lookup (MonoImage
*assembly
, const char *dll
, const char* func
, const char **rdll
, const char **rfunc
)
1015 if (assembly
&& assembly
->dll_map
) {
1016 res
= mono_dllmap_lookup_list (assembly
->dll_map
, dll
, func
, rdll
, rfunc
);
1020 return mono_dllmap_lookup_list (global_dll_map
, dll
, func
, rdll
, rfunc
);
1024 * mono_dllmap_insert:
1025 * @assembly: if NULL, this is a global mapping, otherwise the remapping of the dynamic library will only apply to the specified assembly
1026 * @dll: The name of the external library, as it would be found in the DllImport declaration. If prefixed with 'i:' the matching of the library name is done without case sensitivity
1027 * @func: if not null, the mapping will only applied to the named function (the value of EntryPoint)
1028 * @tdll: The name of the library to map the specified @dll if it matches.
1029 * @tfunc: The name of the function that replaces the invocation. If NULL, it is replaced with a copy of @func.
1031 * LOCKING: Acquires the loader lock.
1033 * This function is used to programatically add DllImport remapping in either
1034 * a specific assembly, or as a global remapping. This is done by remapping
1035 * references in a DllImport attribute from the @dll library name into the @tdll
1036 * name. If the @dll name contains the prefix "i:", the comparison of the
1037 * library name is done without case sensitivity.
1039 * If you pass @func, this is the name of the EntryPoint in a DllImport if specified
1040 * or the name of the function as determined by DllImport. If you pass @func, you
1041 * must also pass @tfunc which is the name of the target function to invoke on a match.
1044 * mono_dllmap_insert (NULL, "i:libdemo.dll", NULL, relocated_demo_path, NULL);
1046 * The above will remap DllImport statments for "libdemo.dll" and "LIBDEMO.DLL" to
1047 * the contents of relocated_demo_path for all assemblies in the Mono process.
1049 * NOTE: This can be called before the runtime is initialized, for example from
1050 * mono_config_parse ().
1053 mono_dllmap_insert (MonoImage
*assembly
, const char *dll
, const char *func
, const char *tdll
, const char *tfunc
)
1057 mono_loader_init ();
1060 entry
= (MonoDllMap
*)g_malloc0 (sizeof (MonoDllMap
));
1061 entry
->dll
= dll
? g_strdup (dll
): NULL
;
1062 entry
->target
= tdll
? g_strdup (tdll
): NULL
;
1063 entry
->func
= func
? g_strdup (func
): NULL
;
1064 entry
->target_func
= tfunc
? g_strdup (tfunc
): (func
? g_strdup (func
): NULL
);
1066 global_loader_data_lock ();
1067 entry
->next
= global_dll_map
;
1068 global_dll_map
= entry
;
1069 global_loader_data_unlock ();
1071 entry
= (MonoDllMap
*)mono_image_alloc0 (assembly
, sizeof (MonoDllMap
));
1072 entry
->dll
= dll
? mono_image_strdup (assembly
, dll
): NULL
;
1073 entry
->target
= tdll
? mono_image_strdup (assembly
, tdll
): NULL
;
1074 entry
->func
= func
? mono_image_strdup (assembly
, func
): NULL
;
1075 entry
->target_func
= tfunc
? mono_image_strdup (assembly
, tfunc
): (func
? mono_image_strdup (assembly
, func
): NULL
);
1077 mono_image_lock (assembly
);
1078 entry
->next
= assembly
->dll_map
;
1079 assembly
->dll_map
= entry
;
1080 mono_image_unlock (assembly
);
1085 free_dllmap (MonoDllMap
*map
)
1088 MonoDllMap
*next
= map
->next
;
1091 g_free (map
->target
);
1093 g_free (map
->target_func
);
1100 dllmap_cleanup (void)
1102 free_dllmap (global_dll_map
);
1103 global_dll_map
= NULL
;
1106 static GHashTable
*global_module_map
;
1109 cached_module_load (const char *name
, int flags
, char **err
)
1115 global_loader_data_lock ();
1116 if (!global_module_map
)
1117 global_module_map
= g_hash_table_new (g_str_hash
, g_str_equal
);
1118 res
= (MonoDl
*)g_hash_table_lookup (global_module_map
, name
);
1120 global_loader_data_unlock ();
1123 res
= mono_dl_open (name
, flags
, err
);
1125 g_hash_table_insert (global_module_map
, g_strdup (name
), res
);
1126 global_loader_data_unlock ();
1131 mono_loader_register_module (const char *name
, MonoDl
*module
)
1133 if (!global_module_map
)
1134 global_module_map
= g_hash_table_new (g_str_hash
, g_str_equal
);
1135 g_hash_table_insert (global_module_map
, g_strdup (name
), module
);
1138 static MonoDl
*internal_module
;
1141 is_absolute_path (const char *path
)
1143 #ifdef PLATFORM_MACOSX
1144 if (!strncmp (path
, "@executable_path/", 17) || !strncmp (path
, "@loader_path/", 13) ||
1145 !strncmp (path
, "@rpath/", 7))
1148 return g_path_is_absolute (path
);
1152 mono_lookup_pinvoke_call (MonoMethod
*method
, const char **exc_class
, const char **exc_arg
)
1154 MonoImage
*image
= method
->klass
->image
;
1155 MonoMethodPInvoke
*piinfo
= (MonoMethodPInvoke
*)method
;
1156 MonoTableInfo
*tables
= image
->tables
;
1157 MonoTableInfo
*im
= &tables
[MONO_TABLE_IMPLMAP
];
1158 MonoTableInfo
*mr
= &tables
[MONO_TABLE_MODULEREF
];
1159 guint32 im_cols
[MONO_IMPLMAP_SIZE
];
1160 guint32 scope_token
;
1161 const char *import
= NULL
;
1162 const char *orig_scope
;
1163 const char *new_scope
;
1165 char *full_name
, *file_name
, *found_name
= NULL
;
1167 MonoDl
*module
= NULL
;
1168 gboolean cached
= FALSE
;
1169 gpointer addr
= NULL
;
1171 g_assert (method
->flags
& METHOD_ATTRIBUTE_PINVOKE_IMPL
);
1179 return piinfo
->addr
;
1181 if (image_is_dynamic (method
->klass
->image
)) {
1182 MonoReflectionMethodAux
*method_aux
=
1183 (MonoReflectionMethodAux
*)g_hash_table_lookup (
1184 ((MonoDynamicImage
*)method
->klass
->image
)->method_aux_hash
, method
);
1188 import
= method_aux
->dllentry
;
1189 orig_scope
= method_aux
->dll
;
1192 if (!piinfo
->implmap_idx
|| piinfo
->implmap_idx
> im
->rows
)
1195 mono_metadata_decode_row (im
, piinfo
->implmap_idx
- 1, im_cols
, MONO_IMPLMAP_SIZE
);
1197 if (!im_cols
[MONO_IMPLMAP_SCOPE
] || im_cols
[MONO_IMPLMAP_SCOPE
] > mr
->rows
)
1200 piinfo
->piflags
= im_cols
[MONO_IMPLMAP_FLAGS
];
1201 import
= mono_metadata_string_heap (image
, im_cols
[MONO_IMPLMAP_NAME
]);
1202 scope_token
= mono_metadata_decode_row_col (mr
, im_cols
[MONO_IMPLMAP_SCOPE
] - 1, MONO_MODULEREF_NAME
);
1203 orig_scope
= mono_metadata_string_heap (image
, scope_token
);
1206 mono_dllmap_lookup (image
, orig_scope
, import
, &new_scope
, &import
);
1209 mono_image_lock (image
);
1210 if (!image
->pinvoke_scopes
) {
1211 image
->pinvoke_scopes
= g_hash_table_new_full (g_str_hash
, g_str_equal
, g_free
, NULL
);
1212 image
->pinvoke_scope_filenames
= g_hash_table_new_full (g_str_hash
, g_str_equal
, g_free
, g_free
);
1214 module
= (MonoDl
*)g_hash_table_lookup (image
->pinvoke_scopes
, new_scope
);
1215 found_name
= (char *)g_hash_table_lookup (image
->pinvoke_scope_filenames
, new_scope
);
1216 mono_image_unlock (image
);
1220 found_name
= g_strdup (found_name
);
1224 mono_trace (G_LOG_LEVEL_INFO
, MONO_TRACE_DLLIMPORT
,
1225 "DllImport attempting to load: '%s'.", new_scope
);
1227 /* we allow a special name to dlopen from the running process namespace */
1228 if (strcmp (new_scope
, "__Internal") == 0){
1229 if (internal_module
== NULL
)
1230 internal_module
= mono_dl_open (NULL
, MONO_DL_LAZY
, &error_msg
);
1231 module
= internal_module
;
1236 * Try loading the module using a variety of names
1238 for (i
= 0; i
< 5; ++i
) {
1239 char *base_name
= NULL
, *dir_name
= NULL
;
1240 gboolean is_absolute
= is_absolute_path (new_scope
);
1244 /* Try the original name */
1245 file_name
= g_strdup (new_scope
);
1248 /* Try trimming the .dll extension */
1249 if (strstr (new_scope
, ".dll") == (new_scope
+ strlen (new_scope
) - 4)) {
1250 file_name
= g_strdup (new_scope
);
1251 file_name
[strlen (new_scope
) - 4] = '\0';
1258 dir_name
= g_path_get_dirname (new_scope
);
1259 base_name
= g_path_get_basename (new_scope
);
1260 if (strstr (base_name
, "lib") != base_name
) {
1261 char *tmp
= g_strdup_printf ("lib%s", base_name
);
1264 file_name
= g_strdup_printf ("%s%s%s", dir_name
, G_DIR_SEPARATOR_S
, base_name
);
1267 } else if (strstr (new_scope
, "lib") != new_scope
) {
1268 file_name
= g_strdup_printf ("lib%s", new_scope
);
1273 if (!is_absolute
&& mono_dl_get_system_dir ()) {
1274 dir_name
= (char*)mono_dl_get_system_dir ();
1275 file_name
= g_path_get_basename (new_scope
);
1281 #ifndef TARGET_WIN32
1282 if (!g_ascii_strcasecmp ("user32.dll", new_scope
) ||
1283 !g_ascii_strcasecmp ("kernel32.dll", new_scope
) ||
1284 !g_ascii_strcasecmp ("user32", new_scope
) ||
1285 !g_ascii_strcasecmp ("kernel", new_scope
)) {
1286 file_name
= g_strdup ("libMonoSupportW.so");
1290 #ifndef TARGET_WIN32
1297 dir_name
= g_path_get_dirname (file_name
);
1299 base_name
= g_path_get_basename (file_name
);
1302 if (!module
&& is_absolute
) {
1303 module
= cached_module_load (file_name
, MONO_DL_LAZY
, &error_msg
);
1305 mono_trace (G_LOG_LEVEL_INFO
, MONO_TRACE_DLLIMPORT
,
1306 "DllImport error loading library '%s': '%s'.",
1307 file_name
, error_msg
);
1310 found_name
= g_strdup (file_name
);
1314 if (!module
&& !is_absolute
) {
1318 for (j
= 0; j
< 3; ++j
) {
1323 mdirname
= g_path_get_dirname (image
->name
);
1325 case 1: /* @executable_path@/../lib */
1329 binl
= mono_dl_get_executable_path (buf
, sizeof (buf
));
1331 char *base
, *newbase
;
1334 resolvedname
= mono_path_resolve_symlinks (buf
);
1336 base
= g_path_get_dirname (resolvedname
);
1337 newbase
= g_path_get_dirname(base
);
1338 mdirname
= g_strdup_printf ("%s/lib", newbase
);
1340 g_free (resolvedname
);
1347 case 2: /* @executable_path@/../Libraries */
1351 binl
= mono_dl_get_executable_path (buf
, sizeof (buf
));
1353 char *base
, *newbase
;
1356 resolvedname
= mono_path_resolve_symlinks (buf
);
1358 base
= g_path_get_dirname (resolvedname
);
1359 newbase
= g_path_get_dirname(base
);
1360 mdirname
= g_strdup_printf ("%s/Libraries", newbase
);
1362 g_free (resolvedname
);
1374 while ((full_name
= mono_dl_build_path (mdirname
, file_name
, &iter
))) {
1375 module
= cached_module_load (full_name
, MONO_DL_LAZY
, &error_msg
);
1377 mono_trace (G_LOG_LEVEL_INFO
, MONO_TRACE_DLLIMPORT
,
1378 "DllImport error loading library '%s': '%s'.",
1379 full_name
, error_msg
);
1382 found_name
= g_strdup (full_name
);
1398 char *file_or_base
= is_absolute
? base_name
: file_name
;
1399 while ((full_name
= mono_dl_build_path (dir_name
, file_or_base
, &iter
))) {
1400 module
= cached_module_load (full_name
, MONO_DL_LAZY
, &error_msg
);
1402 mono_trace (G_LOG_LEVEL_INFO
, MONO_TRACE_DLLIMPORT
,
1403 "DllImport error loading library '%s': '%s'.",
1404 full_name
, error_msg
);
1407 found_name
= g_strdup (full_name
);
1416 module
= cached_module_load (file_name
, MONO_DL_LAZY
, &error_msg
);
1418 mono_trace (G_LOG_LEVEL_INFO
, MONO_TRACE_DLLIMPORT
,
1419 "DllImport error loading library '%s': '%s'.",
1420 file_name
, error_msg
);
1422 found_name
= g_strdup (file_name
);
1437 mono_trace (G_LOG_LEVEL_WARNING
, MONO_TRACE_DLLIMPORT
,
1438 "DllImport unable to load library '%s'.",
1443 *exc_class
= "DllNotFoundException";
1444 *exc_arg
= new_scope
;
1450 mono_trace (G_LOG_LEVEL_INFO
, MONO_TRACE_DLLIMPORT
,
1451 "DllImport loaded library '%s'.", found_name
);
1452 mono_image_lock (image
);
1453 if (!g_hash_table_lookup (image
->pinvoke_scopes
, new_scope
)) {
1454 g_hash_table_insert (image
->pinvoke_scopes
, g_strdup (new_scope
), module
);
1455 g_hash_table_insert (image
->pinvoke_scope_filenames
, g_strdup (new_scope
), g_strdup (found_name
));
1457 mono_image_unlock (image
);
1460 mono_trace (G_LOG_LEVEL_INFO
, MONO_TRACE_DLLIMPORT
,
1461 "DllImport searching in: '%s' ('%s').", new_scope
, found_name
);
1462 g_free (found_name
);
1465 if (import
&& import
[0] == '#' && isdigit (import
[1])) {
1469 id
= strtol (import
+ 1, &end
, 10);
1470 if (id
> 0 && *end
== '\0')
1474 mono_trace (G_LOG_LEVEL_INFO
, MONO_TRACE_DLLIMPORT
,
1475 "Searching for '%s'.", import
);
1477 if (piinfo
->piflags
& PINVOKE_ATTRIBUTE_NO_MANGLE
) {
1478 error_msg
= mono_dl_symbol (module
, import
, &addr
);
1480 char *mangled_name
= NULL
, *mangled_name2
= NULL
;
1483 int mangle_param_count
;
1489 * Search using a variety of mangled names
1491 for (mangle_charset
= 0; mangle_charset
<= 1; mangle_charset
++) {
1492 for (mangle_stdcall
= 0; mangle_stdcall
<= 1; mangle_stdcall
++) {
1493 gboolean need_param_count
= FALSE
;
1495 if (mangle_stdcall
> 0)
1496 need_param_count
= TRUE
;
1498 for (mangle_param_count
= 0; mangle_param_count
<= (need_param_count
? 256 : 0); mangle_param_count
+= 4) {
1503 mangled_name
= (char*)import
;
1504 switch (piinfo
->piflags
& PINVOKE_ATTRIBUTE_CHAR_SET_MASK
) {
1505 case PINVOKE_ATTRIBUTE_CHAR_SET_UNICODE
:
1506 /* Try the mangled name first */
1507 if (mangle_charset
== 0)
1508 mangled_name
= g_strconcat (import
, "W", NULL
);
1510 case PINVOKE_ATTRIBUTE_CHAR_SET_AUTO
:
1512 if (mangle_charset
== 0)
1513 mangled_name
= g_strconcat (import
, "W", NULL
);
1515 /* Try the mangled name last */
1516 if (mangle_charset
== 1)
1517 mangled_name
= g_strconcat (import
, "A", NULL
);
1520 case PINVOKE_ATTRIBUTE_CHAR_SET_ANSI
:
1522 /* Try the mangled name last */
1523 if (mangle_charset
== 1)
1524 mangled_name
= g_strconcat (import
, "A", NULL
);
1529 if (mangle_param_count
== 0)
1530 param_count
= mono_method_signature (method
)->param_count
* sizeof (gpointer
);
1532 /* Try brute force, since it would be very hard to compute the stack usage correctly */
1533 param_count
= mangle_param_count
;
1535 /* Try the stdcall mangled name */
1537 * gcc under windows creates mangled names without the underscore, but MS.NET
1538 * doesn't support it, so we doesn't support it either.
1540 if (mangle_stdcall
== 1)
1541 mangled_name2
= g_strdup_printf ("_%s@%d", mangled_name
, param_count
);
1543 mangled_name2
= mangled_name
;
1545 mangled_name2
= mangled_name
;
1548 mono_trace (G_LOG_LEVEL_INFO
, MONO_TRACE_DLLIMPORT
,
1549 "Probing '%s'.", mangled_name2
);
1551 error_msg
= mono_dl_symbol (module
, mangled_name2
, &addr
);
1554 mono_trace (G_LOG_LEVEL_INFO
, MONO_TRACE_DLLIMPORT
,
1555 "Found as '%s'.", mangled_name2
);
1557 mono_trace (G_LOG_LEVEL_INFO
, MONO_TRACE_DLLIMPORT
,
1558 "Could not find '%s' due to '%s'.", mangled_name2
, error_msg
);
1563 if (mangled_name
!= mangled_name2
)
1564 g_free (mangled_name2
);
1565 if (mangled_name
!= import
)
1566 g_free (mangled_name
);
1575 *exc_class
= "EntryPointNotFoundException";
1580 piinfo
->addr
= addr
;
1585 * LOCKING: assumes the loader lock to be taken.
1588 mono_get_method_from_token (MonoImage
*image
, guint32 token
, MonoClass
*klass
,
1589 MonoGenericContext
*context
, gboolean
*used_context
, MonoError
*error
)
1592 int table
= mono_metadata_token_table (token
);
1593 int idx
= mono_metadata_token_index (token
);
1594 MonoTableInfo
*tables
= image
->tables
;
1595 MonoGenericContainer
*generic_container
= NULL
, *container
= NULL
;
1596 const char *sig
= NULL
;
1597 guint32 cols
[MONO_TYPEDEF_SIZE
];
1601 if (image_is_dynamic (image
)) {
1602 MonoClass
*handle_class
;
1604 result
= (MonoMethod
*)mono_lookup_dynamic_token_class (image
, token
, TRUE
, &handle_class
, context
, error
);
1605 mono_error_assert_ok (error
);
1607 // This checks the memberref type as well
1608 if (result
&& handle_class
!= mono_defaults
.methodhandle_class
) {
1609 mono_error_set_bad_image (error
, image
, "Bad method token 0x%08x on dynamic image", token
);
1615 if (table
!= MONO_TABLE_METHOD
) {
1616 if (table
== MONO_TABLE_METHODSPEC
) {
1617 if (used_context
) *used_context
= TRUE
;
1618 return method_from_methodspec (image
, context
, idx
, error
);
1620 if (table
!= MONO_TABLE_MEMBERREF
) {
1621 mono_error_set_bad_image (error
, image
, "Bad method token 0x%08x.", token
);
1624 return method_from_memberref (image
, idx
, context
, used_context
, error
);
1627 if (used_context
) *used_context
= FALSE
;
1629 if (idx
> image
->tables
[MONO_TABLE_METHOD
].rows
) {
1630 mono_error_set_bad_image (error
, image
, "Bad method token 0x%08x (out of bounds).", token
);
1635 guint32 type
= mono_metadata_typedef_from_method (image
, token
);
1637 mono_error_set_bad_image (error
, image
, "Bad method token 0x%08x (could not find corresponding typedef).", token
);
1640 klass
= mono_class_get_checked (image
, MONO_TOKEN_TYPE_DEF
| type
, error
);
1645 mono_metadata_decode_row (&image
->tables
[MONO_TABLE_METHOD
], idx
- 1, cols
, 6);
1647 if ((cols
[2] & METHOD_ATTRIBUTE_PINVOKE_IMPL
) ||
1648 (cols
[1] & METHOD_IMPL_ATTRIBUTE_INTERNAL_CALL
)) {
1649 result
= (MonoMethod
*)mono_image_alloc0 (image
, sizeof (MonoMethodPInvoke
));
1651 result
= (MonoMethod
*)mono_image_alloc0 (image
, sizeof (MonoMethod
));
1652 methods_size
+= sizeof (MonoMethod
);
1655 mono_stats
.method_count
++;
1658 result
->klass
= klass
;
1659 result
->flags
= cols
[2];
1660 result
->iflags
= cols
[1];
1661 result
->token
= token
;
1662 result
->name
= mono_metadata_string_heap (image
, cols
[3]);
1664 if (!sig
) /* already taken from the methodref */
1665 sig
= mono_metadata_blob_heap (image
, cols
[4]);
1666 /* size = */ mono_metadata_decode_blob_size (sig
, &sig
);
1668 container
= mono_class_try_get_generic_container (klass
);
1671 * load_generic_params does a binary search so only call it if the method
1675 generic_container
= mono_metadata_load_generic_params (image
, token
, container
);
1677 if (generic_container
) {
1678 result
->is_generic
= TRUE
;
1679 generic_container
->owner
.method
= result
;
1680 generic_container
->is_anonymous
= FALSE
; // Method is now known, container is no longer anonymous
1681 /*FIXME put this before the image alloc*/
1682 if (!mono_metadata_load_generic_param_constraints_checked (image
, token
, generic_container
, error
))
1685 container
= generic_container
;
1688 if (cols
[1] & METHOD_IMPL_ATTRIBUTE_INTERNAL_CALL
) {
1689 if (result
->klass
== mono_defaults
.string_class
&& !strcmp (result
->name
, ".ctor"))
1690 result
->string_ctor
= 1;
1691 } else if (cols
[2] & METHOD_ATTRIBUTE_PINVOKE_IMPL
) {
1692 MonoMethodPInvoke
*piinfo
= (MonoMethodPInvoke
*)result
;
1695 /* IJW is P/Invoke with a predefined function pointer. */
1696 if (image
->is_module_handle
&& (cols
[1] & METHOD_IMPL_ATTRIBUTE_NATIVE
)) {
1697 piinfo
->addr
= mono_image_rva_map (image
, cols
[0]);
1698 g_assert (piinfo
->addr
);
1701 piinfo
->implmap_idx
= mono_metadata_implmap_from_method (image
, idx
- 1);
1702 /* Native methods can have no map. */
1703 if (piinfo
->implmap_idx
)
1704 piinfo
->piflags
= mono_metadata_decode_row_col (&tables
[MONO_TABLE_IMPLMAP
], piinfo
->implmap_idx
- 1, MONO_IMPLMAP_FLAGS
);
1707 if (generic_container
)
1708 mono_method_set_generic_container (result
, generic_container
);
1714 mono_get_method (MonoImage
*image
, guint32 token
, MonoClass
*klass
)
1717 MonoMethod
*result
= mono_get_method_checked (image
, token
, klass
, NULL
, &error
);
1718 mono_error_cleanup (&error
);
1723 mono_get_method_full (MonoImage
*image
, guint32 token
, MonoClass
*klass
,
1724 MonoGenericContext
*context
)
1727 MonoMethod
*result
= mono_get_method_checked (image
, token
, klass
, context
, &error
);
1728 mono_error_cleanup (&error
);
1733 mono_get_method_checked (MonoImage
*image
, guint32 token
, MonoClass
*klass
, MonoGenericContext
*context
, MonoError
*error
)
1735 MonoMethod
*result
= NULL
;
1736 gboolean used_context
= FALSE
;
1738 /* We do everything inside the lock to prevent creation races */
1742 mono_image_lock (image
);
1744 if (mono_metadata_token_table (token
) == MONO_TABLE_METHOD
) {
1745 if (!image
->method_cache
)
1746 image
->method_cache
= g_hash_table_new (NULL
, NULL
);
1747 result
= (MonoMethod
*)g_hash_table_lookup (image
->method_cache
, GINT_TO_POINTER (mono_metadata_token_index (token
)));
1748 } else if (!image_is_dynamic (image
)) {
1749 if (!image
->methodref_cache
)
1750 image
->methodref_cache
= g_hash_table_new (NULL
, NULL
);
1751 result
= (MonoMethod
*)g_hash_table_lookup (image
->methodref_cache
, GINT_TO_POINTER (token
));
1753 mono_image_unlock (image
);
1759 result
= mono_get_method_from_token (image
, token
, klass
, context
, &used_context
, error
);
1763 mono_image_lock (image
);
1764 if (!used_context
&& !result
->is_inflated
) {
1765 MonoMethod
*result2
= NULL
;
1767 if (mono_metadata_token_table (token
) == MONO_TABLE_METHOD
)
1768 result2
= (MonoMethod
*)g_hash_table_lookup (image
->method_cache
, GINT_TO_POINTER (mono_metadata_token_index (token
)));
1769 else if (!image_is_dynamic (image
))
1770 result2
= (MonoMethod
*)g_hash_table_lookup (image
->methodref_cache
, GINT_TO_POINTER (token
));
1773 mono_image_unlock (image
);
1777 if (mono_metadata_token_table (token
) == MONO_TABLE_METHOD
)
1778 g_hash_table_insert (image
->method_cache
, GINT_TO_POINTER (mono_metadata_token_index (token
)), result
);
1779 else if (!image_is_dynamic (image
))
1780 g_hash_table_insert (image
->methodref_cache
, GINT_TO_POINTER (token
), result
);
1783 mono_image_unlock (image
);
1789 get_method_constrained (MonoImage
*image
, MonoMethod
*method
, MonoClass
*constrained_class
, MonoGenericContext
*context
, MonoError
*error
)
1792 MonoClass
*ic
= NULL
;
1793 MonoGenericContext
*method_context
= NULL
;
1794 MonoMethodSignature
*sig
, *original_sig
;
1798 mono_class_init (constrained_class
);
1799 original_sig
= sig
= mono_method_signature_checked (method
, error
);
1804 if (method
->is_inflated
&& sig
->generic_param_count
) {
1805 MonoMethodInflated
*imethod
= (MonoMethodInflated
*) method
;
1806 sig
= mono_method_signature_checked (imethod
->declaring
, error
); /*We assume that if the inflated method signature is valid, the declaring method is too*/
1809 method_context
= mono_method_get_context (method
);
1813 * We must inflate the signature with the class instantiation to work on
1814 * cases where a class inherit from a generic type and the override replaces
1815 * any type argument which a concrete type. See #325283.
1817 if (method_context
->class_inst
) {
1818 MonoGenericContext ctx
;
1819 ctx
.method_inst
= NULL
;
1820 ctx
.class_inst
= method_context
->class_inst
;
1821 /*Fixme, property propagate this error*/
1822 sig
= inflate_generic_signature_checked (method
->klass
->image
, sig
, &ctx
, error
);
1828 if ((constrained_class
!= method
->klass
) && (MONO_CLASS_IS_INTERFACE (method
->klass
)))
1831 result
= find_method (constrained_class
, ic
, method
->name
, sig
, constrained_class
, error
);
1832 if (sig
!= original_sig
)
1833 mono_metadata_free_inflated_signature (sig
);
1838 if (method_context
) {
1839 result
= mono_class_inflate_generic_method_checked (result
, method_context
, error
);
1848 mono_get_method_constrained_with_method (MonoImage
*image
, MonoMethod
*method
, MonoClass
*constrained_class
,
1849 MonoGenericContext
*context
, MonoError
*error
)
1853 return get_method_constrained (image
, method
, constrained_class
, context
, error
);
1857 * mono_get_method_constrained:
1859 * This is used when JITing the `constrained.' opcode.
1861 * This returns two values: the contrained method, which has been inflated
1862 * as the function return value; And the original CIL-stream method as
1863 * declared in cil_method. The later is used for verification.
1866 mono_get_method_constrained (MonoImage
*image
, guint32 token
, MonoClass
*constrained_class
,
1867 MonoGenericContext
*context
, MonoMethod
**cil_method
)
1870 MonoMethod
*result
= mono_get_method_constrained_checked (image
, token
, constrained_class
, context
, cil_method
, &error
);
1871 mono_error_cleanup (&error
);
1876 mono_get_method_constrained_checked (MonoImage
*image
, guint32 token
, MonoClass
*constrained_class
, MonoGenericContext
*context
, MonoMethod
**cil_method
, MonoError
*error
)
1880 *cil_method
= mono_get_method_from_token (image
, token
, NULL
, context
, NULL
, error
);
1884 return get_method_constrained (image
, *cil_method
, constrained_class
, context
, error
);
1888 mono_free_method (MonoMethod
*method
)
1890 if (mono_profiler_get_events () & MONO_PROFILE_METHOD_EVENTS
)
1891 mono_profiler_method_free (method
);
1893 /* FIXME: This hack will go away when the profiler will support freeing methods */
1894 if (mono_profiler_get_events () != MONO_PROFILE_NONE
)
1897 if (method
->signature
) {
1899 * FIXME: This causes crashes because the types inside signatures and
1900 * locals are shared.
1902 /* mono_metadata_free_method_signature (method->signature); */
1903 /* g_free (method->signature); */
1906 if (method_is_dynamic (method
)) {
1907 MonoMethodWrapper
*mw
= (MonoMethodWrapper
*)method
;
1910 mono_marshal_free_dynamic_wrappers (method
);
1912 mono_image_property_remove (method
->klass
->image
, method
);
1914 g_free ((char*)method
->name
);
1916 g_free ((char*)mw
->header
->code
);
1917 for (i
= 0; i
< mw
->header
->num_locals
; ++i
)
1918 g_free (mw
->header
->locals
[i
]);
1919 g_free (mw
->header
->clauses
);
1920 g_free (mw
->header
);
1922 g_free (mw
->method_data
);
1923 g_free (method
->signature
);
1929 mono_method_get_param_names (MonoMethod
*method
, const char **names
)
1933 MonoTableInfo
*methodt
;
1934 MonoTableInfo
*paramt
;
1935 MonoMethodSignature
*signature
;
1938 if (method
->is_inflated
)
1939 method
= ((MonoMethodInflated
*) method
)->declaring
;
1941 signature
= mono_method_signature (method
);
1942 /*FIXME this check is somewhat redundant since the caller usally will have to get the signature to figure out the
1943 number of arguments and allocate a properly sized array. */
1944 if (signature
== NULL
)
1947 if (!signature
->param_count
)
1950 for (i
= 0; i
< signature
->param_count
; ++i
)
1953 klass
= method
->klass
;
1957 mono_class_init (klass
);
1959 if (image_is_dynamic (klass
->image
)) {
1960 MonoReflectionMethodAux
*method_aux
=
1961 (MonoReflectionMethodAux
*)g_hash_table_lookup (
1962 ((MonoDynamicImage
*)method
->klass
->image
)->method_aux_hash
, method
);
1963 if (method_aux
&& method_aux
->param_names
) {
1964 for (i
= 0; i
< mono_method_signature (method
)->param_count
; ++i
)
1965 if (method_aux
->param_names
[i
+ 1])
1966 names
[i
] = method_aux
->param_names
[i
+ 1];
1971 if (method
->wrapper_type
) {
1972 char **pnames
= NULL
;
1974 mono_image_lock (klass
->image
);
1975 if (klass
->image
->wrapper_param_names
)
1976 pnames
= (char **)g_hash_table_lookup (klass
->image
->wrapper_param_names
, method
);
1977 mono_image_unlock (klass
->image
);
1980 for (i
= 0; i
< signature
->param_count
; ++i
)
1981 names
[i
] = pnames
[i
];
1986 methodt
= &klass
->image
->tables
[MONO_TABLE_METHOD
];
1987 paramt
= &klass
->image
->tables
[MONO_TABLE_PARAM
];
1988 idx
= mono_method_get_index (method
);
1990 guint32 cols
[MONO_PARAM_SIZE
];
1993 param_index
= mono_metadata_decode_row_col (methodt
, idx
- 1, MONO_METHOD_PARAMLIST
);
1995 if (idx
< methodt
->rows
)
1996 lastp
= mono_metadata_decode_row_col (methodt
, idx
, MONO_METHOD_PARAMLIST
);
1998 lastp
= paramt
->rows
+ 1;
1999 for (i
= param_index
; i
< lastp
; ++i
) {
2000 mono_metadata_decode_row (paramt
, i
-1, cols
, MONO_PARAM_SIZE
);
2001 if (cols
[MONO_PARAM_SEQUENCE
] && cols
[MONO_PARAM_SEQUENCE
] <= signature
->param_count
) /* skip return param spec and bounds check*/
2002 names
[cols
[MONO_PARAM_SEQUENCE
] - 1] = mono_metadata_string_heap (klass
->image
, cols
[MONO_PARAM_NAME
]);
2008 mono_method_get_param_token (MonoMethod
*method
, int index
)
2010 MonoClass
*klass
= method
->klass
;
2011 MonoTableInfo
*methodt
;
2014 mono_class_init (klass
);
2016 if (image_is_dynamic (klass
->image
))
2017 g_assert_not_reached ();
2019 methodt
= &klass
->image
->tables
[MONO_TABLE_METHOD
];
2020 idx
= mono_method_get_index (method
);
2022 guint param_index
= mono_metadata_decode_row_col (methodt
, idx
- 1, MONO_METHOD_PARAMLIST
);
2026 return mono_metadata_make_token (MONO_TABLE_PARAM
, 0);
2028 return mono_metadata_make_token (MONO_TABLE_PARAM
, param_index
+ index
);
2035 mono_method_get_marshal_info (MonoMethod
*method
, MonoMarshalSpec
**mspecs
)
2038 MonoClass
*klass
= method
->klass
;
2039 MonoTableInfo
*methodt
;
2040 MonoTableInfo
*paramt
;
2041 MonoMethodSignature
*signature
;
2044 signature
= mono_method_signature (method
);
2045 g_assert (signature
); /*FIXME there is no way to signal error from this function*/
2047 for (i
= 0; i
< signature
->param_count
+ 1; ++i
)
2050 if (image_is_dynamic (method
->klass
->image
)) {
2051 MonoReflectionMethodAux
*method_aux
=
2052 (MonoReflectionMethodAux
*)g_hash_table_lookup (
2053 ((MonoDynamicImage
*)method
->klass
->image
)->method_aux_hash
, method
);
2054 if (method_aux
&& method_aux
->param_marshall
) {
2055 MonoMarshalSpec
**dyn_specs
= method_aux
->param_marshall
;
2056 for (i
= 0; i
< signature
->param_count
+ 1; ++i
)
2057 if (dyn_specs
[i
]) {
2058 mspecs
[i
] = g_new0 (MonoMarshalSpec
, 1);
2059 memcpy (mspecs
[i
], dyn_specs
[i
], sizeof (MonoMarshalSpec
));
2060 mspecs
[i
]->data
.custom_data
.custom_name
= g_strdup (dyn_specs
[i
]->data
.custom_data
.custom_name
);
2061 mspecs
[i
]->data
.custom_data
.cookie
= g_strdup (dyn_specs
[i
]->data
.custom_data
.cookie
);
2067 mono_class_init (klass
);
2069 methodt
= &klass
->image
->tables
[MONO_TABLE_METHOD
];
2070 paramt
= &klass
->image
->tables
[MONO_TABLE_PARAM
];
2071 idx
= mono_method_get_index (method
);
2073 guint32 cols
[MONO_PARAM_SIZE
];
2074 guint param_index
= mono_metadata_decode_row_col (methodt
, idx
- 1, MONO_METHOD_PARAMLIST
);
2076 if (idx
< methodt
->rows
)
2077 lastp
= mono_metadata_decode_row_col (methodt
, idx
, MONO_METHOD_PARAMLIST
);
2079 lastp
= paramt
->rows
+ 1;
2081 for (i
= param_index
; i
< lastp
; ++i
) {
2082 mono_metadata_decode_row (paramt
, i
-1, cols
, MONO_PARAM_SIZE
);
2084 if (cols
[MONO_PARAM_FLAGS
] & PARAM_ATTRIBUTE_HAS_FIELD_MARSHAL
&& cols
[MONO_PARAM_SEQUENCE
] <= signature
->param_count
) {
2086 tp
= mono_metadata_get_marshal_info (klass
->image
, i
- 1, FALSE
);
2088 mspecs
[cols
[MONO_PARAM_SEQUENCE
]]= mono_metadata_parse_marshal_spec (klass
->image
, tp
);
2097 mono_method_has_marshal_info (MonoMethod
*method
)
2100 MonoClass
*klass
= method
->klass
;
2101 MonoTableInfo
*methodt
;
2102 MonoTableInfo
*paramt
;
2105 if (image_is_dynamic (method
->klass
->image
)) {
2106 MonoReflectionMethodAux
*method_aux
=
2107 (MonoReflectionMethodAux
*)g_hash_table_lookup (
2108 ((MonoDynamicImage
*)method
->klass
->image
)->method_aux_hash
, method
);
2109 MonoMarshalSpec
**dyn_specs
= method_aux
->param_marshall
;
2111 for (i
= 0; i
< mono_method_signature (method
)->param_count
+ 1; ++i
)
2118 mono_class_init (klass
);
2120 methodt
= &klass
->image
->tables
[MONO_TABLE_METHOD
];
2121 paramt
= &klass
->image
->tables
[MONO_TABLE_PARAM
];
2122 idx
= mono_method_get_index (method
);
2124 guint32 cols
[MONO_PARAM_SIZE
];
2125 guint param_index
= mono_metadata_decode_row_col (methodt
, idx
- 1, MONO_METHOD_PARAMLIST
);
2127 if (idx
+ 1 < methodt
->rows
)
2128 lastp
= mono_metadata_decode_row_col (methodt
, idx
, MONO_METHOD_PARAMLIST
);
2130 lastp
= paramt
->rows
+ 1;
2132 for (i
= param_index
; i
< lastp
; ++i
) {
2133 mono_metadata_decode_row (paramt
, i
-1, cols
, MONO_PARAM_SIZE
);
2135 if (cols
[MONO_PARAM_FLAGS
] & PARAM_ATTRIBUTE_HAS_FIELD_MARSHAL
)
2144 mono_method_get_wrapper_data (MonoMethod
*method
, guint32 id
)
2147 g_assert (method
!= NULL
);
2148 g_assert (method
->wrapper_type
!= MONO_WRAPPER_NONE
);
2150 data
= (void **)((MonoMethodWrapper
*)method
)->method_data
;
2151 g_assert (data
!= NULL
);
2152 g_assert (id
<= GPOINTER_TO_UINT (*data
));
2159 } StackWalkUserData
;
2162 stack_walk_adapter (MonoStackFrameInfo
*frame
, MonoContext
*ctx
, gpointer data
)
2164 StackWalkUserData
*d
= (StackWalkUserData
*)data
;
2166 switch (frame
->type
) {
2167 case FRAME_TYPE_DEBUGGER_INVOKE
:
2168 case FRAME_TYPE_MANAGED_TO_NATIVE
:
2169 case FRAME_TYPE_TRAMPOLINE
:
2171 case FRAME_TYPE_MANAGED
:
2172 g_assert (frame
->ji
);
2173 return d
->func (frame
->actual_method
, frame
->native_offset
, frame
->il_offset
, frame
->managed
, d
->user_data
);
2176 g_assert_not_reached ();
2182 mono_stack_walk (MonoStackWalk func
, gpointer user_data
)
2184 StackWalkUserData ud
= { func
, user_data
};
2185 mono_get_eh_callbacks ()->mono_walk_stack_with_ctx (stack_walk_adapter
, NULL
, MONO_UNWIND_LOOKUP_ALL
, &ud
);
2189 mono_stack_walk_no_il (MonoStackWalk func
, gpointer user_data
)
2191 StackWalkUserData ud
= { func
, user_data
};
2192 mono_get_eh_callbacks ()->mono_walk_stack_with_ctx (stack_walk_adapter
, NULL
, MONO_UNWIND_DEFAULT
, &ud
);
2196 MonoStackWalkAsyncSafe func
;
2198 } AsyncStackWalkUserData
;
2202 async_stack_walk_adapter (MonoStackFrameInfo
*frame
, MonoContext
*ctx
, gpointer data
)
2204 AsyncStackWalkUserData
*d
= (AsyncStackWalkUserData
*)data
;
2206 switch (frame
->type
) {
2207 case FRAME_TYPE_DEBUGGER_INVOKE
:
2208 case FRAME_TYPE_MANAGED_TO_NATIVE
:
2209 case FRAME_TYPE_TRAMPOLINE
:
2211 case FRAME_TYPE_MANAGED
:
2214 if (frame
->ji
->async
) {
2215 return d
->func (NULL
, frame
->domain
, frame
->ji
->code_start
, frame
->native_offset
, d
->user_data
);
2217 return d
->func (frame
->actual_method
, frame
->domain
, frame
->ji
->code_start
, frame
->native_offset
, d
->user_data
);
2221 g_assert_not_reached ();
2228 * mono_stack_walk_async_safe:
2230 * Async safe version callable from signal handlers.
2233 mono_stack_walk_async_safe (MonoStackWalkAsyncSafe func
, void *initial_sig_context
, void *user_data
)
2236 AsyncStackWalkUserData ud
= { func
, user_data
};
2238 mono_sigctx_to_monoctx (initial_sig_context
, &ctx
);
2239 mono_get_eh_callbacks ()->mono_walk_stack_with_ctx (async_stack_walk_adapter
, &ctx
, MONO_UNWIND_SIGNAL_SAFE
, &ud
);
2243 last_managed (MonoMethod
*m
, gint no
, gint ilo
, gboolean managed
, gpointer data
)
2245 MonoMethod
**dest
= (MonoMethod
**)data
;
2247 /*g_print ("In %s::%s [%d] [%d]\n", m->klass->name, m->name, no, ilo);*/
2253 mono_method_get_last_managed (void)
2255 MonoMethod
*m
= NULL
;
2256 mono_stack_walk_no_il (last_managed
, &m
);
2260 static gboolean loader_lock_track_ownership
= FALSE
;
2265 * See docs/thread-safety.txt for the locking strategy.
2268 mono_loader_lock (void)
2270 mono_locks_coop_acquire (&loader_mutex
, LoaderLock
);
2271 if (G_UNLIKELY (loader_lock_track_ownership
)) {
2272 mono_native_tls_set_value (loader_lock_nest_id
, GUINT_TO_POINTER (GPOINTER_TO_UINT (mono_native_tls_get_value (loader_lock_nest_id
)) + 1));
2277 mono_loader_unlock (void)
2279 mono_locks_coop_release (&loader_mutex
, LoaderLock
);
2280 if (G_UNLIKELY (loader_lock_track_ownership
)) {
2281 mono_native_tls_set_value (loader_lock_nest_id
, GUINT_TO_POINTER (GPOINTER_TO_UINT (mono_native_tls_get_value (loader_lock_nest_id
)) - 1));
2286 * mono_loader_lock_track_ownership:
2288 * Set whenever the runtime should track ownership of the loader lock. If set to TRUE,
2289 * the mono_loader_lock_is_owned_by_self () can be called to query whenever the current
2290 * thread owns the loader lock.
2293 mono_loader_lock_track_ownership (gboolean track
)
2295 loader_lock_track_ownership
= track
;
2299 * mono_loader_lock_is_owned_by_self:
2301 * Return whenever the current thread owns the loader lock.
2302 * This is useful to avoid blocking operations while holding the loader lock.
2305 mono_loader_lock_is_owned_by_self (void)
2307 g_assert (loader_lock_track_ownership
);
2309 return GPOINTER_TO_UINT (mono_native_tls_get_value (loader_lock_nest_id
)) > 0;
2313 * mono_loader_lock_if_inited:
2315 * Acquire the loader lock if it has been initialized, no-op otherwise. This can
2316 * be used in runtime initialization code which can be executed before mono_loader_init ().
2319 mono_loader_lock_if_inited (void)
2321 if (loader_lock_inited
)
2322 mono_loader_lock ();
2326 mono_loader_unlock_if_inited (void)
2328 if (loader_lock_inited
)
2329 mono_loader_unlock ();
2333 * mono_method_signature:
2335 * Return the signature of the method M. On failure, returns NULL, and ERR is set.
2337 MonoMethodSignature
*
2338 mono_method_signature_checked (MonoMethod
*m
, MonoError
*error
)
2343 gboolean can_cache_signature
;
2344 MonoGenericContainer
*container
;
2345 MonoMethodSignature
*signature
= NULL
, *sig2
;
2348 /* We need memory barriers below because of the double-checked locking pattern */
2353 return m
->signature
;
2355 img
= m
->klass
->image
;
2357 if (m
->is_inflated
) {
2358 MonoMethodInflated
*imethod
= (MonoMethodInflated
*) m
;
2359 /* the lock is recursive */
2360 signature
= mono_method_signature (imethod
->declaring
);
2361 signature
= inflate_generic_signature_checked (imethod
->declaring
->klass
->image
, signature
, mono_method_get_context (m
), error
);
2362 if (!mono_error_ok (error
))
2365 inflated_signatures_size
+= mono_metadata_signature_size (signature
);
2367 mono_image_lock (img
);
2369 mono_memory_barrier ();
2371 m
->signature
= signature
;
2373 mono_image_unlock (img
);
2375 return m
->signature
;
2378 g_assert (mono_metadata_token_table (m
->token
) == MONO_TABLE_METHOD
);
2379 idx
= mono_metadata_token_index (m
->token
);
2381 sig
= mono_metadata_blob_heap (img
, sig_offset
= mono_metadata_decode_row_col (&img
->tables
[MONO_TABLE_METHOD
], idx
- 1, MONO_METHOD_SIGNATURE
));
2383 g_assert (!mono_class_is_ginst (m
->klass
));
2384 container
= mono_method_get_generic_container (m
);
2386 container
= mono_class_try_get_generic_container (m
->klass
);
2388 /* Generic signatures depend on the container so they cannot be cached */
2389 /* icall/pinvoke signatures cannot be cached cause we modify them below */
2390 can_cache_signature
= !(m
->iflags
& METHOD_IMPL_ATTRIBUTE_INTERNAL_CALL
) && !(m
->flags
& METHOD_ATTRIBUTE_PINVOKE_IMPL
) && !container
;
2392 /* If the method has parameter attributes, that can modify the signature */
2393 if (mono_metadata_method_has_param_attrs (img
, idx
))
2394 can_cache_signature
= FALSE
;
2396 if (can_cache_signature
) {
2397 mono_image_lock (img
);
2398 signature
= (MonoMethodSignature
*)g_hash_table_lookup (img
->method_signatures
, sig
);
2399 mono_image_unlock (img
);
2403 const char *sig_body
;
2404 /*TODO we should cache the failure result somewhere*/
2405 if (!mono_verifier_verify_method_signature (img
, sig_offset
, error
))
2408 /* size = */ mono_metadata_decode_blob_size (sig
, &sig_body
);
2410 signature
= mono_metadata_parse_method_signature_full (img
, container
, idx
, sig_body
, NULL
, error
);
2414 if (can_cache_signature
) {
2415 mono_image_lock (img
);
2416 sig2
= (MonoMethodSignature
*)g_hash_table_lookup (img
->method_signatures
, sig
);
2418 g_hash_table_insert (img
->method_signatures
, (gpointer
)sig
, signature
);
2419 mono_image_unlock (img
);
2422 signatures_size
+= mono_metadata_signature_size (signature
);
2425 /* Verify metadata consistency */
2426 if (signature
->generic_param_count
) {
2427 if (!container
|| !container
->is_method
) {
2428 mono_error_set_method_load (error
, m
->klass
, m
->name
, "Signature claims method has generic parameters, but generic_params table says it doesn't for method 0x%08x from image %s", idx
, img
->name
);
2431 if (container
->type_argc
!= signature
->generic_param_count
) {
2432 mono_error_set_method_load (error
, m
->klass
, m
->name
, "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
);
2435 } else if (container
&& container
->is_method
&& container
->type_argc
) {
2436 mono_error_set_method_load (error
, m
->klass
, m
->name
, "generic_params table claims method has generic parameters, but signature says it doesn't for method 0x%08x from image %s", idx
, img
->name
);
2439 if (m
->iflags
& METHOD_IMPL_ATTRIBUTE_INTERNAL_CALL
) {
2440 signature
->pinvoke
= 1;
2443 * On Windows the default pinvoke calling convention is STDCALL but
2444 * we need CDECL since this is actually an icall.
2446 signature
->call_convention
= MONO_CALL_C
;
2448 } else if (m
->flags
& METHOD_ATTRIBUTE_PINVOKE_IMPL
) {
2449 MonoCallConvention conv
= (MonoCallConvention
)0;
2450 MonoMethodPInvoke
*piinfo
= (MonoMethodPInvoke
*)m
;
2451 signature
->pinvoke
= 1;
2453 switch (piinfo
->piflags
& PINVOKE_ATTRIBUTE_CALL_CONV_MASK
) {
2454 case 0: /* no call conv, so using default */
2455 case PINVOKE_ATTRIBUTE_CALL_CONV_WINAPI
:
2456 conv
= MONO_CALL_DEFAULT
;
2458 case PINVOKE_ATTRIBUTE_CALL_CONV_CDECL
:
2461 case PINVOKE_ATTRIBUTE_CALL_CONV_STDCALL
:
2462 conv
= MONO_CALL_STDCALL
;
2464 case PINVOKE_ATTRIBUTE_CALL_CONV_THISCALL
:
2465 conv
= MONO_CALL_THISCALL
;
2467 case PINVOKE_ATTRIBUTE_CALL_CONV_FASTCALL
:
2468 conv
= MONO_CALL_FASTCALL
;
2470 case PINVOKE_ATTRIBUTE_CALL_CONV_GENERIC
:
2471 case PINVOKE_ATTRIBUTE_CALL_CONV_GENERICINST
:
2473 mono_error_set_method_load (error
, m
->klass
, m
->name
, "unsupported calling convention : 0x%04x for method 0x%08x from image %s", piinfo
->piflags
, idx
, img
->name
);
2476 signature
->call_convention
= conv
;
2479 mono_image_lock (img
);
2481 mono_memory_barrier ();
2483 m
->signature
= signature
;
2485 mono_image_unlock (img
);
2487 return m
->signature
;
2491 * mono_method_signature:
2493 * Return the signature of the method M. On failure, returns NULL.
2495 MonoMethodSignature
*
2496 mono_method_signature (MonoMethod
*m
)
2499 MonoMethodSignature
*sig
;
2501 sig
= mono_method_signature_checked (m
, &error
);
2503 char *type_name
= mono_type_get_full_name (m
->klass
);
2504 g_warning ("Could not load signature of %s:%s due to: %s", type_name
, m
->name
, mono_error_get_message (&error
));
2506 mono_error_cleanup (&error
);
2513 mono_method_get_name (MonoMethod
*method
)
2515 return method
->name
;
2519 mono_method_get_class (MonoMethod
*method
)
2521 return method
->klass
;
2525 mono_method_get_token (MonoMethod
*method
)
2527 return method
->token
;
2531 mono_method_get_header_checked (MonoMethod
*method
, MonoError
*error
)
2537 MonoGenericContainer
*container
;
2540 img
= method
->klass
->image
;
2542 if ((method
->flags
& METHOD_ATTRIBUTE_ABSTRACT
) || (method
->iflags
& METHOD_IMPL_ATTRIBUTE_RUNTIME
) || (method
->iflags
& METHOD_IMPL_ATTRIBUTE_INTERNAL_CALL
) || (method
->flags
& METHOD_ATTRIBUTE_PINVOKE_IMPL
)) {
2543 mono_error_set_bad_image (error
, img
, "Method has no body");
2547 if (method
->is_inflated
) {
2548 MonoMethodInflated
*imethod
= (MonoMethodInflated
*) method
;
2549 MonoMethodHeader
*header
, *iheader
;
2551 header
= mono_method_get_header_checked (imethod
->declaring
, error
);
2555 iheader
= inflate_generic_header (header
, mono_method_get_context (method
), error
);
2556 mono_metadata_free_mh (header
);
2564 if (method
->wrapper_type
!= MONO_WRAPPER_NONE
|| method
->sre_method
) {
2565 MonoMethodWrapper
*mw
= (MonoMethodWrapper
*)method
;
2566 g_assert (mw
->header
);
2571 * We don't need locks here: the new header is allocated from malloc memory
2572 * and is not stored anywhere in the runtime, the user needs to free it.
2574 g_assert (mono_metadata_token_table (method
->token
) == MONO_TABLE_METHOD
);
2575 idx
= mono_metadata_token_index (method
->token
);
2576 rva
= mono_metadata_decode_row_col (&img
->tables
[MONO_TABLE_METHOD
], idx
- 1, MONO_METHOD_RVA
);
2578 if (!mono_verifier_verify_method_header (img
, rva
, NULL
)) {
2579 mono_error_set_bad_image (error
, img
, "Invalid method header, failed verification");
2583 loc
= mono_image_rva_map (img
, rva
);
2585 mono_error_set_bad_image (error
, img
, "Method has zero rva");
2590 * When parsing the types of local variables, we must pass any container available
2591 * to ensure that both VAR and MVAR will get the right owner.
2593 container
= mono_method_get_generic_container (method
);
2595 container
= mono_class_try_get_generic_container (method
->klass
);
2596 return mono_metadata_parse_mh_full (img
, container
, (const char *)loc
, error
);
2600 mono_method_get_header (MonoMethod
*method
)
2603 MonoMethodHeader
*header
= mono_method_get_header_checked (method
, &error
);
2604 mono_error_cleanup (&error
);
2610 mono_method_get_flags (MonoMethod
*method
, guint32
*iflags
)
2613 *iflags
= method
->iflags
;
2614 return method
->flags
;
2618 * Find the method index in the metadata methodDef table.
2621 mono_method_get_index (MonoMethod
*method
)
2623 MonoClass
*klass
= method
->klass
;
2627 /* constructed array methods are not in the MethodDef table */
2631 return mono_metadata_token_index (method
->token
);
2633 mono_class_setup_methods (klass
);
2634 if (mono_class_has_failure (klass
))
2636 int first_idx
= mono_class_get_first_method_idx (klass
);
2637 int mcount
= mono_class_get_method_count (klass
);
2638 for (i
= 0; i
< mcount
; ++i
) {
2639 if (method
== klass
->methods
[i
]) {
2640 if (klass
->image
->uncompressed_metadata
)
2641 return mono_metadata_translate_token_index (klass
->image
, MONO_TABLE_METHOD
, first_idx
+ i
+ 1);
2643 return first_idx
+ i
+ 1;