2 * remoting.c: Remoting support
4 * Copyright 2002-2003 Ximian, Inc (http://www.ximian.com)
5 * Copyright 2004-2009 Novell, Inc (http://www.novell.com)
6 * Copyright 2011-2014 Xamarin, Inc (http://www.xamarin.com)
8 * Licensed under the MIT license. See LICENSE file in the project root for full license information.
13 #include "mono/metadata/remoting.h"
14 #include "mono/metadata/marshal.h"
15 #include "mono/metadata/abi-details.h"
16 #include "mono/metadata/cominterop.h"
17 #include "mono/metadata/tabledefs.h"
18 #include "mono/metadata/exception.h"
19 #include "mono/metadata/debug-helpers.h"
20 #include "mono/metadata/reflection-internals.h"
23 MONO_MARSHAL_NONE, /* No marshalling needed */
24 MONO_MARSHAL_COPY, /* Can be copied by value to the new domain */
25 MONO_MARSHAL_COPY_OUT, /* out parameter that needs to be copied back to the original instance */
26 MONO_MARSHAL_SERIALIZE /* Value needs to be serialized into the new domain */
27 } MonoXDomainMarshalType;
29 #ifndef DISABLE_REMOTING
31 #define OPDEF(a,b,c,d,e,f,g,h,i,j) \
35 #include "mono/cil/opcode.def"
40 struct _MonoRemotingMethods {
42 MonoMethod *invoke_with_check;
43 MonoMethod *xdomain_invoke;
44 MonoMethod *xdomain_dispatch;
47 typedef struct _MonoRemotingMethods MonoRemotingMethods;
50 mono_remoting_wrapper (MonoMethod *method, gpointer *params);
53 mono_marshal_set_domain_by_id (gint32 id, MonoBoolean push);
56 mono_marshal_check_domain_image (gint32 domain_id, MonoImage *image);
59 mono_upgrade_remote_class_wrapper (MonoReflectionType *rtype, MonoTransparentProxy *tproxy);
61 static MonoXDomainMarshalType
62 mono_get_xdomain_marshal_type (MonoType *t);
65 mono_marshal_xdomain_copy_out_value (MonoObject *src, MonoObject *dst);
67 static MonoReflectionType *
68 type_from_handle (MonoType *handle);
70 /* Class lazy loading functions */
71 static GENERATE_GET_CLASS_WITH_CACHE (remoting_services, System.Runtime.Remoting, RemotingServices)
72 static GENERATE_GET_CLASS_WITH_CACHE (call_context, System.Runtime.Remoting.Messaging, CallContext)
73 static GENERATE_GET_CLASS_WITH_CACHE (context, System.Runtime.Remoting.Contexts, Context)
75 static mono_mutex_t remoting_mutex;
76 static gboolean remoting_mutex_inited;
78 static MonoClass *byte_array_class;
80 static MonoMethod *method_rs_serialize, *method_rs_deserialize, *method_exc_fixexc, *method_rs_appdomain_target;
81 static MonoMethod *method_set_call_context, *method_needs_context_sink, *method_rs_serialize_exc;
85 mono_compile_method_icall (MonoMethod *method);
88 register_icall (gpointer func, const char *name, const char *sigstr, gboolean save)
90 MonoMethodSignature *sig = mono_create_icall_signature (sigstr);
92 mono_register_jit_icall (func, name, sig, save);
98 g_assert (remoting_mutex_inited);
99 mono_os_mutex_lock (&remoting_mutex);
103 remoting_unlock (void)
105 g_assert (remoting_mutex_inited);
106 mono_os_mutex_unlock (&remoting_mutex);
110 * Return the hash table pointed to by VAR, lazily creating it if neccesary.
113 get_cache (GHashTable **var, GHashFunc hash_func, GCompareFunc equal_func)
119 g_hash_table_new (hash_func, equal_func);
120 mono_memory_barrier ();
129 get_cache_full (GHashTable **var, GHashFunc hash_func, GCompareFunc equal_func, GDestroyNotify key_destroy_func, GDestroyNotify value_destroy_func)
135 g_hash_table_new_full (hash_func, equal_func, key_destroy_func, value_destroy_func);
136 mono_memory_barrier ();
145 mono_remoting_init (void)
147 mono_os_mutex_init (&remoting_mutex);
148 remoting_mutex_inited = TRUE;
152 mono_remoting_marshal_init (void)
156 static gboolean module_initialized = FALSE;
157 static gboolean icalls_registered = FALSE;
159 if (module_initialized)
162 byte_array_class = mono_array_class_get (mono_defaults.byte_class, 1);
165 klass = mono_class_get_remoting_services_class ();
166 method_rs_serialize = mono_class_get_method_from_name (klass, "SerializeCallData", -1);
167 g_assert (method_rs_serialize);
168 method_rs_deserialize = mono_class_get_method_from_name (klass, "DeserializeCallData", -1);
169 g_assert (method_rs_deserialize);
170 method_rs_serialize_exc = mono_class_get_method_from_name (klass, "SerializeExceptionData", -1);
171 g_assert (method_rs_serialize_exc);
173 klass = mono_defaults.real_proxy_class;
174 method_rs_appdomain_target = mono_class_get_method_from_name (klass, "GetAppDomainTarget", -1);
175 g_assert (method_rs_appdomain_target);
177 klass = mono_defaults.exception_class;
178 method_exc_fixexc = mono_class_get_method_from_name (klass, "FixRemotingException", -1);
179 g_assert (method_exc_fixexc);
181 klass = mono_class_get_call_context_class ();
182 method_set_call_context = mono_class_get_method_from_name (klass, "SetCurrentCallContext", -1);
183 g_assert (method_set_call_context);
185 klass = mono_class_get_context_class ();
186 method_needs_context_sink = mono_class_get_method_from_name (klass, "get_NeedsContextSink", -1);
187 g_assert (method_needs_context_sink);
192 if (!icalls_registered) {
193 register_icall (type_from_handle, "type_from_handle", "object ptr", FALSE);
194 register_icall (mono_marshal_set_domain_by_id, "mono_marshal_set_domain_by_id", "int32 int32 int32", FALSE);
195 register_icall (mono_marshal_check_domain_image, "mono_marshal_check_domain_image", "int32 int32 ptr", FALSE);
196 register_icall (ves_icall_mono_marshal_xdomain_copy_value, "ves_icall_mono_marshal_xdomain_copy_value", "object object", FALSE);
197 register_icall (mono_marshal_xdomain_copy_out_value, "mono_marshal_xdomain_copy_out_value", "void object object", FALSE);
198 register_icall (mono_remoting_wrapper, "mono_remoting_wrapper", "object ptr ptr", FALSE);
199 register_icall (mono_upgrade_remote_class_wrapper, "mono_upgrade_remote_class_wrapper", "void object object", FALSE);
200 register_icall (mono_compile_method_icall, "mono_compile_method_icall", "ptr ptr", FALSE);
201 /* mono_load_remote_field_new_icall registered by mini-runtime.c */
202 /* mono_store_remote_field_new_icall registered by mini-runtime.c */
206 icalls_registered = TRUE;
208 mono_loader_unlock ();
210 module_initialized = TRUE;
213 /* This is an icall, it will return NULL and set pending exception on failure */
214 static MonoReflectionType *
215 type_from_handle (MonoType *handle)
218 MonoReflectionType *ret;
219 MonoDomain *domain = mono_domain_get ();
220 MonoClass *klass = mono_class_from_mono_type (handle);
222 mono_class_init (klass);
224 ret = mono_type_get_object_checked (domain, handle, &error);
225 mono_error_set_pending_exception (&error);
232 mono_mb_emit_proxy_check (MonoMethodBuilder *mb, int branch_code)
235 mono_mb_emit_ldflda (mb, MONO_STRUCT_OFFSET (MonoObject, vtable));
236 mono_mb_emit_byte (mb, CEE_LDIND_I);
237 mono_mb_emit_icon (mb, MONO_STRUCT_OFFSET (MonoVTable, klass));
238 mono_mb_emit_byte (mb, CEE_ADD);
239 mono_mb_emit_byte (mb, CEE_LDIND_I);
240 mono_mb_emit_byte (mb, MONO_CUSTOM_PREFIX);
241 mono_mb_emit_byte (mb, CEE_MONO_CLASSCONST);
242 mono_mb_emit_i4 (mb, mono_mb_add_data (mb, mono_defaults.transparent_proxy_class));
243 pos = mono_mb_emit_branch (mb, branch_code);
248 mono_mb_emit_xdomain_check (MonoMethodBuilder *mb, int branch_code)
251 mono_mb_emit_ldflda (mb, MONO_STRUCT_OFFSET (MonoTransparentProxy, rp));
252 mono_mb_emit_byte (mb, CEE_LDIND_REF);
253 mono_mb_emit_ldflda (mb, MONO_STRUCT_OFFSET (MonoRealProxy, target_domain_id));
254 mono_mb_emit_byte (mb, CEE_LDIND_I4);
255 mono_mb_emit_icon (mb, -1);
256 pos = mono_mb_emit_branch (mb, branch_code);
261 mono_mb_emit_contextbound_check (MonoMethodBuilder *mb, int branch_code)
263 static int offset = -1;
267 mono_marshal_find_bitfield_offset (MonoClass, contextbound, &offset, &mask);
269 mono_mb_emit_ldflda (mb, MONO_STRUCT_OFFSET (MonoTransparentProxy, remote_class));
270 mono_mb_emit_byte (mb, CEE_LDIND_REF);
271 mono_mb_emit_ldflda (mb, MONO_STRUCT_OFFSET (MonoRemoteClass, proxy_class));
272 mono_mb_emit_byte (mb, CEE_LDIND_REF);
273 mono_mb_emit_ldflda (mb, offset);
274 mono_mb_emit_byte (mb, CEE_LDIND_U1);
275 mono_mb_emit_icon (mb, mask);
276 mono_mb_emit_byte (mb, CEE_AND);
277 mono_mb_emit_icon (mb, 0);
278 return mono_mb_emit_branch (mb, branch_code);
280 #endif /* !DISABLE_JIT */
282 static inline MonoMethod*
283 mono_marshal_remoting_find_in_cache (MonoMethod *method, int wrapper_type)
285 MonoMethod *res = NULL;
286 MonoRemotingMethods *wrps = NULL;
288 mono_marshal_lock_internal ();
289 if (mono_method_get_wrapper_cache (method)->remoting_invoke_cache)
290 wrps = (MonoRemotingMethods *)g_hash_table_lookup (mono_method_get_wrapper_cache (method)->remoting_invoke_cache, method);
293 switch (wrapper_type) {
294 case MONO_WRAPPER_REMOTING_INVOKE: res = wrps->invoke; break;
295 case MONO_WRAPPER_REMOTING_INVOKE_WITH_CHECK: res = wrps->invoke_with_check; break;
296 case MONO_WRAPPER_XDOMAIN_INVOKE: res = wrps->xdomain_invoke; break;
297 case MONO_WRAPPER_XDOMAIN_DISPATCH: res = wrps->xdomain_dispatch; break;
301 /* it is important to do the unlock after the load from wrps, since in
302 * mono_remoting_mb_create_and_cache () we drop the marshal lock to be able
303 * to take the loader lock and some other thread may set the fields.
305 mono_marshal_unlock_internal ();
309 /* Create the method from the builder and place it in the cache */
310 static inline MonoMethod*
311 mono_remoting_mb_create_and_cache (MonoMethod *key, MonoMethodBuilder *mb,
312 MonoMethodSignature *sig, int max_stack, WrapperInfo *info)
314 MonoMethod **res = NULL;
315 MonoRemotingMethods *wrps;
318 cache = get_cache_full (&mono_method_get_wrapper_cache (key)->remoting_invoke_cache, mono_aligned_addr_hash, NULL, NULL, g_free);
320 mono_marshal_lock_internal ();
321 wrps = (MonoRemotingMethods *)g_hash_table_lookup (cache, key);
323 wrps = g_new0 (MonoRemotingMethods, 1);
324 g_hash_table_insert (cache, key, wrps);
327 switch (mb->method->wrapper_type) {
328 case MONO_WRAPPER_REMOTING_INVOKE: res = &wrps->invoke; break;
329 case MONO_WRAPPER_REMOTING_INVOKE_WITH_CHECK: res = &wrps->invoke_with_check; break;
330 case MONO_WRAPPER_XDOMAIN_INVOKE: res = &wrps->xdomain_invoke; break;
331 case MONO_WRAPPER_XDOMAIN_DISPATCH: res = &wrps->xdomain_dispatch; break;
332 default: g_assert_not_reached (); break;
334 mono_marshal_unlock_internal ();
338 newm = mono_mb_create_method (mb, sig, max_stack);
340 mono_marshal_lock_internal ();
343 mono_marshal_set_wrapper_info (*res, info);
344 mono_marshal_unlock_internal ();
346 mono_marshal_unlock_internal ();
347 mono_free_method (newm);
355 mono_remoting_wrapper (MonoMethod *method, gpointer *params)
358 MonoMethodMessage *msg;
359 MonoTransparentProxy *this_obj;
360 MonoObject *res, *exc;
363 this_obj = *((MonoTransparentProxy **)params [0]);
366 g_assert (((MonoObject *)this_obj)->vtable->klass == mono_defaults.transparent_proxy_class);
368 /* skip the this pointer */
371 if (mono_class_is_contextbound (this_obj->remote_class->proxy_class) && this_obj->rp->context == (MonoObject *) mono_context_get ())
374 MonoMethodSignature *sig = mono_method_signature (method);
375 int count = sig->param_count;
376 gpointer* mparams = (gpointer*) alloca(count*sizeof(gpointer));
378 for (i=0; i<count; i++) {
379 MonoClass *klass = mono_class_from_mono_type (sig->params [i]);
380 if (klass->valuetype) {
381 if (sig->params [i]->byref) {
382 mparams[i] = *((gpointer *)params [i]);
384 /* runtime_invoke expects a boxed instance */
385 if (mono_class_is_nullable (mono_class_from_mono_type (sig->params [i]))) {
386 mparams[i] = mono_nullable_box ((guint8 *)params [i], klass, &error);
390 mparams[i] = params [i];
393 mparams[i] = *((gpointer**)params [i]);
397 res = mono_runtime_invoke_checked (method, method->klass->valuetype? mono_object_unbox ((MonoObject*)this_obj): this_obj, mparams, &error);
404 msg = mono_method_call_message_new (method, params, NULL, NULL, NULL, &error);
408 res = mono_remoting_invoke ((MonoObject *)this_obj->rp, msg, &exc, &out_args, &error);
413 mono_error_init (&error);
414 mono_error_set_exception_instance (&error, (MonoException *)exc);
418 mono_method_return_message_restore (method, params, out_args, &error);
419 if (!is_ok (&error)) goto fail;
423 /* This icall will be called from managed code, and more over
424 * from a protected wrapper so interruptions such as pending
425 * exceptions will not be honored. (See
426 * is_running_protected_wrapper () in threads.c and
427 * mono_marshal_get_remoting_invoke () in remoting.c)
429 mono_error_raise_exception (&error); /* OK to throw, see note */
435 mono_marshal_get_remoting_invoke (MonoMethod *method)
437 MonoMethodSignature *sig;
438 MonoMethodBuilder *mb;
445 if (method->wrapper_type == MONO_WRAPPER_REMOTING_INVOKE || method->wrapper_type == MONO_WRAPPER_XDOMAIN_INVOKE)
448 /* this seems to be the best plase to put this, as all remoting invokes seem to get filtered through here */
450 if (mono_class_is_com_object (method->klass) || method->klass == mono_class_try_get_com_object_class ()) {
451 MonoVTable *vtable = mono_class_vtable (mono_domain_get (), method->klass);
452 g_assert (vtable); /*FIXME do proper error handling*/
454 if (!mono_vtable_is_remote (vtable)) {
455 return mono_cominterop_get_invoke (method);
460 sig = mono_signature_no_pinvoke (method);
462 /* we cant remote methods without this pointer */
466 if ((res = mono_marshal_remoting_find_in_cache (method, MONO_WRAPPER_REMOTING_INVOKE)))
469 mono_remoting_marshal_init ();
471 mb = mono_mb_new (method->klass, method->name, MONO_WRAPPER_REMOTING_INVOKE);
474 mb->method->save_lmf = 1;
476 params_var = mono_mb_emit_save_args (mb, sig, TRUE);
478 mono_mb_emit_ptr (mb, method);
479 mono_mb_emit_ldloc (mb, params_var);
480 mono_mb_emit_icall (mb, mono_remoting_wrapper);
481 // FIXME: this interrupt checkpoint code is a no-op since 'mb'
482 // is a MONO_WRAPPER_REMOTING_INVOKE, and
483 // mono_thread_interruption_checkpoint_request (FALSE)
484 // considers such wrappers "protected" and always returns
485 // NULL as if there's no pending interruption.
486 mono_marshal_emit_thread_interrupt_checkpoint (mb);
488 if (sig->ret->type == MONO_TYPE_VOID) {
489 mono_mb_emit_byte (mb, CEE_POP);
490 mono_mb_emit_byte (mb, CEE_RET);
492 mono_mb_emit_restore_result (mb, sig->ret);
496 info = mono_wrapper_info_create (mb, WRAPPER_SUBTYPE_NONE);
497 info->d.remoting.method = method;
498 res = mono_remoting_mb_create_and_cache (method, mb, sig, sig->param_count + 16, info);
504 /* mono_marshal_xdomain_copy_out_value()
505 * Copies the contents of the src instance into the dst instance. src and dst
506 * must have the same type, and if they are arrays, the same size.
508 * This is an icall, it may use mono_error_set_pending_exception
511 mono_marshal_xdomain_copy_out_value (MonoObject *src, MonoObject *dst)
514 if (src == NULL || dst == NULL) return;
516 g_assert (mono_object_class (src) == mono_object_class (dst));
518 switch (mono_object_class (src)->byval_arg.type) {
519 case MONO_TYPE_ARRAY:
520 case MONO_TYPE_SZARRAY: {
521 int mt = mono_get_xdomain_marshal_type (&(mono_object_class (src)->element_class->byval_arg));
522 if (mt == MONO_MARSHAL_SERIALIZE) return;
523 if (mt == MONO_MARSHAL_COPY) {
524 int i, len = mono_array_length ((MonoArray *)dst);
525 for (i = 0; i < len; i++) {
526 MonoObject *item = (MonoObject *)mono_array_get ((MonoArray *)src, gpointer, i);
527 MonoObject *item_copy = mono_marshal_xdomain_copy_value (item, &error);
528 if (mono_error_set_pending_exception (&error))
530 mono_array_setref ((MonoArray *)dst, i, item_copy);
533 mono_array_full_copy ((MonoArray *)src, (MonoArray *)dst);
544 #if !defined (DISABLE_JIT)
546 mono_marshal_emit_xdomain_copy_value (MonoMethodBuilder *mb, MonoClass *pclass)
548 mono_mb_emit_icall (mb, ves_icall_mono_marshal_xdomain_copy_value);
549 mono_mb_emit_op (mb, CEE_CASTCLASS, pclass);
553 mono_marshal_emit_xdomain_copy_out_value (MonoMethodBuilder *mb, MonoClass *pclass)
555 mono_mb_emit_icall (mb, mono_marshal_xdomain_copy_out_value);
559 /* mono_marshal_supports_fast_xdomain()
560 * Returns TRUE if the method can use the fast xdomain wrapper.
563 mono_marshal_supports_fast_xdomain (MonoMethod *method)
565 return !mono_class_is_contextbound (method->klass) &&
566 !((method->flags & METHOD_ATTRIBUTE_SPECIAL_NAME) && (strcmp (".ctor", method->name) == 0));
570 mono_marshal_set_domain_by_id (gint32 id, MonoBoolean push)
572 MonoDomain *current_domain = mono_domain_get ();
573 MonoDomain *domain = mono_domain_get_by_id (id);
575 if (!domain || !mono_domain_set (domain, FALSE)) {
576 mono_set_pending_exception (mono_get_exception_appdomain_unloaded ());
581 mono_thread_push_appdomain_ref (domain);
583 mono_thread_pop_appdomain_ref ();
585 return current_domain->domain_id;
588 #if !defined (DISABLE_JIT)
590 mono_marshal_emit_switch_domain (MonoMethodBuilder *mb)
592 mono_mb_emit_icall (mb, mono_marshal_set_domain_by_id);
596 mono_compile_method_icall (MonoMethod *method)
599 gpointer result = mono_compile_method_checked (method, &error);
600 mono_error_set_pending_exception (&error);
604 /* mono_marshal_emit_load_domain_method ()
605 * Loads into the stack a pointer to the code of the provided method for
606 * the current domain.
609 mono_marshal_emit_load_domain_method (MonoMethodBuilder *mb, MonoMethod *method)
611 /* We need a pointer to the method for the running domain (not the domain
612 * that compiles the method).
614 mono_mb_emit_ptr (mb, method);
615 mono_mb_emit_icall (mb, mono_compile_method_icall);
619 /* mono_marshal_check_domain_image ()
620 * Returns TRUE if the image is loaded in the specified
621 * application domain.
624 mono_marshal_check_domain_image (gint32 domain_id, MonoImage *image)
629 MonoDomain *domain = mono_domain_get_by_id (domain_id);
633 mono_domain_assemblies_lock (domain);
634 for (tmp = domain->domain_assemblies; tmp; tmp = tmp->next) {
635 ass = (MonoAssembly *)tmp->data;
636 if (ass->image == image)
639 mono_domain_assemblies_unlock (domain);
644 /* mono_marshal_get_xappdomain_dispatch ()
645 * Generates a method that dispatches a method call from another domain into
646 * the current domain.
649 mono_marshal_get_xappdomain_dispatch (MonoMethod *method, int *marshal_types, int complex_count, int complex_out_count, int ret_marshal_type)
651 MonoMethodSignature *sig, *csig;
652 MonoMethodBuilder *mb;
654 int i, j, param_index, copy_locals_base;
655 MonoClass *ret_class = NULL;
656 int loc_array=0, loc_return=0, loc_serialized_exc=0;
657 MonoExceptionClause *main_clause;
659 gboolean copy_return;
662 if ((res = mono_marshal_remoting_find_in_cache (method, MONO_WRAPPER_XDOMAIN_DISPATCH)))
665 sig = mono_method_signature (method);
666 copy_return = (sig->ret->type != MONO_TYPE_VOID && ret_marshal_type != MONO_MARSHAL_SERIALIZE);
669 csig = mono_metadata_signature_alloc (mono_defaults.corlib, 3 + sig->param_count - complex_count);
670 csig->params [j++] = &mono_defaults.object_class->byval_arg;
671 csig->params [j++] = &byte_array_class->this_arg;
672 csig->params [j++] = &byte_array_class->this_arg;
673 for (i = 0; i < sig->param_count; i++) {
674 if (marshal_types [i] != MONO_MARSHAL_SERIALIZE)
675 csig->params [j++] = sig->params [i];
678 csig->ret = sig->ret;
680 csig->ret = &mono_defaults.void_class->byval_arg;
682 csig->hasthis = FALSE;
684 mb = mono_mb_new (method->klass, method->name, MONO_WRAPPER_XDOMAIN_DISPATCH);
685 mb->method->save_lmf = 1;
690 loc_serialized_exc = mono_mb_add_local (mb, &byte_array_class->byval_arg);
691 if (complex_count > 0)
692 loc_array = mono_mb_add_local (mb, &mono_defaults.object_class->byval_arg);
693 if (sig->ret->type != MONO_TYPE_VOID) {
694 loc_return = mono_mb_add_local (mb, sig->ret);
695 ret_class = mono_class_from_mono_type (sig->ret);
700 main_clause = (MonoExceptionClause *)mono_image_alloc0 (method->klass->image, sizeof (MonoExceptionClause));
701 main_clause->try_offset = mono_mb_get_label (mb);
703 /* Clean the call context */
705 mono_mb_emit_byte (mb, CEE_LDNULL);
706 mono_mb_emit_managed_call (mb, method_set_call_context, NULL);
707 mono_mb_emit_byte (mb, CEE_POP);
709 /* Deserialize call data */
711 mono_mb_emit_ldarg (mb, 1);
712 mono_mb_emit_byte (mb, CEE_LDIND_REF);
713 mono_mb_emit_byte (mb, CEE_DUP);
714 pos = mono_mb_emit_short_branch (mb, CEE_BRFALSE_S);
716 mono_marshal_emit_xdomain_copy_value (mb, byte_array_class);
717 mono_mb_emit_managed_call (mb, method_rs_deserialize, NULL);
719 if (complex_count > 0)
720 mono_mb_emit_stloc (mb, loc_array);
722 mono_mb_emit_byte (mb, CEE_POP);
724 mono_mb_patch_short_branch (mb, pos);
726 /* Get the target object */
728 mono_mb_emit_ldarg (mb, 0);
729 mono_mb_emit_managed_call (mb, method_rs_appdomain_target, NULL);
731 /* Load the arguments */
733 copy_locals_base = mb->locals;
734 param_index = 3; // Index of the first non-serialized parameter of this wrapper
736 for (i = 0; i < sig->param_count; i++) {
737 MonoType *pt = sig->params [i];
738 MonoClass *pclass = mono_class_from_mono_type (pt);
739 switch (marshal_types [i]) {
740 case MONO_MARSHAL_SERIALIZE: {
741 /* take the value from the serialized array */
742 mono_mb_emit_ldloc (mb, loc_array);
743 mono_mb_emit_icon (mb, j++);
745 if (pclass->valuetype) {
746 mono_mb_emit_byte (mb, CEE_LDELEM_REF);
747 mono_mb_emit_op (mb, CEE_UNBOX, pclass);
749 mono_mb_emit_op (mb, CEE_LDELEMA, pclass);
752 if (pclass->valuetype) {
753 mono_mb_emit_byte (mb, CEE_LDELEM_REF);
754 mono_mb_emit_op (mb, CEE_UNBOX, pclass);
755 mono_mb_emit_op (mb, CEE_LDOBJ, pclass);
757 mono_mb_emit_byte (mb, CEE_LDELEM_REF);
758 if (pclass != mono_defaults.object_class) {
759 mono_mb_emit_op (mb, CEE_CASTCLASS, pclass);
765 case MONO_MARSHAL_COPY_OUT: {
766 /* Keep a local copy of the value since we need to copy it back after the call */
767 int copy_local = mono_mb_add_local (mb, &(pclass->byval_arg));
768 mono_mb_emit_ldarg (mb, param_index++);
769 mono_marshal_emit_xdomain_copy_value (mb, pclass);
770 mono_mb_emit_byte (mb, CEE_DUP);
771 mono_mb_emit_stloc (mb, copy_local);
774 case MONO_MARSHAL_COPY: {
775 mono_mb_emit_ldarg (mb, param_index);
777 mono_mb_emit_byte (mb, CEE_DUP);
778 mono_mb_emit_byte (mb, CEE_DUP);
779 mono_mb_emit_byte (mb, CEE_LDIND_REF);
780 mono_marshal_emit_xdomain_copy_value (mb, pclass);
781 mono_mb_emit_byte (mb, CEE_STIND_REF);
783 mono_marshal_emit_xdomain_copy_value (mb, pclass);
788 case MONO_MARSHAL_NONE:
789 mono_mb_emit_ldarg (mb, param_index++);
794 /* Make the call to the real object */
796 mono_marshal_emit_thread_force_interrupt_checkpoint (mb);
798 mono_mb_emit_op (mb, CEE_CALLVIRT, method);
800 if (sig->ret->type != MONO_TYPE_VOID)
801 mono_mb_emit_stloc (mb, loc_return);
803 /* copy back MONO_MARSHAL_COPY_OUT parameters */
807 for (i = 0; i < sig->param_count; i++) {
808 if (marshal_types [i] == MONO_MARSHAL_SERIALIZE) continue;
809 if (marshal_types [i] == MONO_MARSHAL_COPY_OUT) {
810 mono_mb_emit_ldloc (mb, copy_locals_base + (j++));
811 mono_mb_emit_ldarg (mb, param_index);
812 mono_marshal_emit_xdomain_copy_out_value (mb, mono_class_from_mono_type (sig->params [i]));
817 /* Serialize the return values */
819 if (complex_out_count > 0) {
820 /* Reset parameters in the array that don't need to be serialized back */
822 for (i = 0; i < sig->param_count; i++) {
823 if (marshal_types[i] != MONO_MARSHAL_SERIALIZE) continue;
824 if (!sig->params [i]->byref) {
825 mono_mb_emit_ldloc (mb, loc_array);
826 mono_mb_emit_icon (mb, j);
827 mono_mb_emit_byte (mb, CEE_LDNULL);
828 mono_mb_emit_byte (mb, CEE_STELEM_REF);
833 /* Add the return value to the array */
835 if (ret_marshal_type == MONO_MARSHAL_SERIALIZE) {
836 mono_mb_emit_ldloc (mb, loc_array);
837 mono_mb_emit_icon (mb, complex_count); /* The array has an additional slot to hold the ret value */
838 mono_mb_emit_ldloc (mb, loc_return);
840 g_assert (ret_class); /*FIXME properly fail here*/
841 if (ret_class->valuetype) {
842 mono_mb_emit_op (mb, CEE_BOX, ret_class);
844 mono_mb_emit_byte (mb, CEE_STELEM_REF);
849 mono_mb_emit_ldarg (mb, 1);
850 mono_mb_emit_ldloc (mb, loc_array);
851 mono_mb_emit_managed_call (mb, method_rs_serialize, NULL);
852 mono_mb_emit_byte (mb, CEE_STIND_REF);
853 } else if (ret_marshal_type == MONO_MARSHAL_SERIALIZE) {
854 mono_mb_emit_ldarg (mb, 1);
855 mono_mb_emit_ldloc (mb, loc_return);
856 if (ret_class->valuetype) {
857 mono_mb_emit_op (mb, CEE_BOX, ret_class);
859 mono_mb_emit_managed_call (mb, method_rs_serialize, NULL);
860 mono_mb_emit_byte (mb, CEE_STIND_REF);
862 mono_mb_emit_ldarg (mb, 1);
863 mono_mb_emit_byte (mb, CEE_LDNULL);
864 mono_mb_emit_managed_call (mb, method_rs_serialize, NULL);
865 mono_mb_emit_byte (mb, CEE_STIND_REF);
868 mono_mb_emit_ldarg (mb, 2);
869 mono_mb_emit_byte (mb, CEE_LDNULL);
870 mono_mb_emit_byte (mb, CEE_STIND_REF);
871 pos_leave = mono_mb_emit_branch (mb, CEE_LEAVE);
873 /* Main exception catch */
874 main_clause->flags = MONO_EXCEPTION_CLAUSE_NONE;
875 main_clause->try_len = mono_mb_get_pos (mb) - main_clause->try_offset;
876 main_clause->data.catch_class = mono_defaults.object_class;
879 main_clause->handler_offset = mono_mb_get_label (mb);
880 mono_mb_emit_managed_call (mb, method_rs_serialize_exc, NULL);
881 mono_mb_emit_stloc (mb, loc_serialized_exc);
882 mono_mb_emit_ldarg (mb, 2);
883 mono_mb_emit_ldloc (mb, loc_serialized_exc);
884 mono_mb_emit_byte (mb, CEE_STIND_REF);
885 mono_mb_emit_branch (mb, CEE_LEAVE);
886 main_clause->handler_len = mono_mb_get_pos (mb) - main_clause->handler_offset;
889 mono_mb_patch_branch (mb, pos_leave);
892 mono_mb_emit_ldloc (mb, loc_return);
894 mono_mb_emit_byte (mb, CEE_RET);
896 mono_mb_set_clauses (mb, 1, main_clause);
899 info = mono_wrapper_info_create (mb, WRAPPER_SUBTYPE_NONE);
900 info->d.remoting.method = method;
901 res = mono_remoting_mb_create_and_cache (method, mb, csig, csig->param_count + 16, info);
907 /* mono_marshal_get_xappdomain_invoke ()
908 * Generates a fast remoting wrapper for cross app domain calls.
911 mono_marshal_get_xappdomain_invoke (MonoMethod *method)
913 MonoMethodSignature *sig;
914 MonoMethodBuilder *mb;
916 int i, j, complex_count, complex_out_count, copy_locals_base;
918 MonoClass *ret_class = NULL;
919 MonoMethod *xdomain_method;
920 int ret_marshal_type = MONO_MARSHAL_NONE;
921 int loc_array=0, loc_serialized_data=-1, loc_real_proxy;
922 int loc_old_domainid, loc_domainid, loc_return=0, loc_serialized_exc=0, loc_context;
923 int pos, pos_dispatch, pos_noex;
924 gboolean copy_return = FALSE;
929 if (method->wrapper_type == MONO_WRAPPER_REMOTING_INVOKE || method->wrapper_type == MONO_WRAPPER_XDOMAIN_INVOKE)
932 /* we cant remote methods without this pointer */
933 if (!mono_method_signature (method)->hasthis)
936 mono_remoting_marshal_init ();
938 if (!mono_marshal_supports_fast_xdomain (method))
939 return mono_marshal_get_remoting_invoke (method);
941 if ((res = mono_marshal_remoting_find_in_cache (method, MONO_WRAPPER_XDOMAIN_INVOKE)))
944 sig = mono_signature_no_pinvoke (method);
946 mb = mono_mb_new (method->klass, method->name, MONO_WRAPPER_XDOMAIN_INVOKE);
947 mb->method->save_lmf = 1;
949 /* Count the number of parameters that need to be serialized */
951 marshal_types = (int *)alloca (sizeof (int) * sig->param_count);
952 complex_count = complex_out_count = 0;
953 for (i = 0; i < sig->param_count; i++) {
954 MonoType *ptype = sig->params[i];
955 int mt = mono_get_xdomain_marshal_type (ptype);
957 /* If the [Out] attribute is applied to a parameter that can be internally copied,
958 * the copy will be made by reusing the original object instance
960 if ((ptype->attrs & PARAM_ATTRIBUTE_OUT) != 0 && mt == MONO_MARSHAL_COPY && !ptype->byref)
961 mt = MONO_MARSHAL_COPY_OUT;
962 else if (mt == MONO_MARSHAL_SERIALIZE) {
964 if (ptype->byref) complex_out_count++;
966 marshal_types [i] = mt;
969 if (sig->ret->type != MONO_TYPE_VOID) {
970 ret_marshal_type = mono_get_xdomain_marshal_type (sig->ret);
971 ret_class = mono_class_from_mono_type (sig->ret);
972 copy_return = ret_marshal_type != MONO_MARSHAL_SERIALIZE;
978 if (complex_count > 0)
979 loc_array = mono_mb_add_local (mb, &mono_defaults.object_class->byval_arg);
980 loc_serialized_data = mono_mb_add_local (mb, &byte_array_class->byval_arg);
981 loc_real_proxy = mono_mb_add_local (mb, &mono_defaults.object_class->byval_arg);
983 loc_return = mono_mb_add_local (mb, sig->ret);
984 loc_old_domainid = mono_mb_add_local (mb, &mono_defaults.int32_class->byval_arg);
985 loc_domainid = mono_mb_add_local (mb, &mono_defaults.int32_class->byval_arg);
986 loc_serialized_exc = mono_mb_add_local (mb, &byte_array_class->byval_arg);
987 loc_context = mono_mb_add_local (mb, &mono_defaults.object_class->byval_arg);
989 /* Save thread domain data */
991 mono_mb_emit_icall (mb, mono_context_get);
992 mono_mb_emit_byte (mb, CEE_DUP);
993 mono_mb_emit_stloc (mb, loc_context);
995 /* If the thread is not running in the default context, it needs to go
996 * through the whole remoting sink, since the context is going to change
998 mono_mb_emit_managed_call (mb, method_needs_context_sink, NULL);
999 pos = mono_mb_emit_short_branch (mb, CEE_BRTRUE_S);
1001 /* Another case in which the fast path can't be used: when the target domain
1002 * has a different image for the same assembly.
1005 /* Get the target domain id */
1007 mono_mb_emit_ldarg (mb, 0);
1008 mono_mb_emit_ldflda (mb, MONO_STRUCT_OFFSET (MonoTransparentProxy, rp));
1009 mono_mb_emit_byte (mb, CEE_LDIND_REF);
1010 mono_mb_emit_byte (mb, CEE_DUP);
1011 mono_mb_emit_stloc (mb, loc_real_proxy);
1013 mono_mb_emit_ldflda (mb, MONO_STRUCT_OFFSET (MonoRealProxy, target_domain_id));
1014 mono_mb_emit_byte (mb, CEE_LDIND_I4);
1015 mono_mb_emit_stloc (mb, loc_domainid);
1017 /* Check if the target domain has the same image for the required assembly */
1019 mono_mb_emit_ldloc (mb, loc_domainid);
1020 mono_mb_emit_ptr (mb, method->klass->image);
1021 mono_mb_emit_icall (mb, mono_marshal_check_domain_image);
1022 pos_dispatch = mono_mb_emit_short_branch (mb, CEE_BRTRUE_S);
1024 /* Use the whole remoting sink to dispatch this message */
1026 mono_mb_patch_short_branch (mb, pos);
1028 mono_mb_emit_ldarg (mb, 0);
1029 for (i = 0; i < sig->param_count; i++)
1030 mono_mb_emit_ldarg (mb, i + 1);
1032 mono_mb_emit_managed_call (mb, mono_marshal_get_remoting_invoke (method), NULL);
1033 mono_mb_emit_byte (mb, CEE_RET);
1034 mono_mb_patch_short_branch (mb, pos_dispatch);
1036 /* Create the array that will hold the parameters to be serialized */
1038 if (complex_count > 0) {
1039 mono_mb_emit_icon (mb, (ret_marshal_type == MONO_MARSHAL_SERIALIZE && complex_out_count > 0) ? complex_count + 1 : complex_count); /* +1 for the return type */
1040 mono_mb_emit_op (mb, CEE_NEWARR, mono_defaults.object_class);
1043 for (i = 0; i < sig->param_count; i++) {
1045 if (marshal_types [i] != MONO_MARSHAL_SERIALIZE) continue;
1046 pclass = mono_class_from_mono_type (sig->params[i]);
1047 mono_mb_emit_byte (mb, CEE_DUP);
1048 mono_mb_emit_icon (mb, j);
1049 mono_mb_emit_ldarg (mb, i + 1); /* 0=this */
1050 if (sig->params[i]->byref) {
1051 if (pclass->valuetype)
1052 mono_mb_emit_op (mb, CEE_LDOBJ, pclass);
1054 mono_mb_emit_byte (mb, CEE_LDIND_REF);
1056 if (pclass->valuetype)
1057 mono_mb_emit_op (mb, CEE_BOX, pclass);
1058 mono_mb_emit_byte (mb, CEE_STELEM_REF);
1061 mono_mb_emit_stloc (mb, loc_array);
1063 /* Serialize parameters */
1065 mono_mb_emit_ldloc (mb, loc_array);
1066 mono_mb_emit_managed_call (mb, method_rs_serialize, NULL);
1067 mono_mb_emit_stloc (mb, loc_serialized_data);
1069 mono_mb_emit_byte (mb, CEE_LDNULL);
1070 mono_mb_emit_managed_call (mb, method_rs_serialize, NULL);
1071 mono_mb_emit_stloc (mb, loc_serialized_data);
1076 mono_mb_emit_ldloc (mb, loc_domainid);
1077 mono_mb_emit_byte (mb, CEE_LDC_I4_1);
1078 mono_marshal_emit_switch_domain (mb);
1079 mono_mb_emit_stloc (mb, loc_old_domainid);
1081 /* Load the arguments */
1083 mono_mb_emit_ldloc (mb, loc_real_proxy);
1084 mono_mb_emit_ldloc_addr (mb, loc_serialized_data);
1085 mono_mb_emit_ldloc_addr (mb, loc_serialized_exc);
1087 copy_locals_base = mb->locals;
1088 for (i = 0; i < sig->param_count; i++) {
1089 switch (marshal_types [i]) {
1090 case MONO_MARSHAL_SERIALIZE:
1092 case MONO_MARSHAL_COPY: {
1093 mono_mb_emit_ldarg (mb, i+1);
1094 if (sig->params [i]->byref) {
1095 /* make a local copy of the byref parameter. The real parameter
1096 * will be updated after the xdomain call
1098 MonoClass *pclass = mono_class_from_mono_type (sig->params [i]);
1099 int copy_local = mono_mb_add_local (mb, &(pclass->byval_arg));
1100 mono_mb_emit_byte (mb, CEE_LDIND_REF);
1101 mono_mb_emit_stloc (mb, copy_local);
1102 mono_mb_emit_ldloc_addr (mb, copy_local);
1106 case MONO_MARSHAL_COPY_OUT:
1107 case MONO_MARSHAL_NONE:
1108 mono_mb_emit_ldarg (mb, i+1);
1113 /* Make the call to the invoke wrapper in the target domain */
1115 xdomain_method = mono_marshal_get_xappdomain_dispatch (method, marshal_types, complex_count, complex_out_count, ret_marshal_type);
1116 mono_marshal_emit_load_domain_method (mb, xdomain_method);
1117 mono_mb_emit_calli (mb, mono_method_signature (xdomain_method));
1120 mono_mb_emit_stloc (mb, loc_return);
1124 mono_mb_emit_ldloc (mb, loc_old_domainid);
1125 mono_mb_emit_byte (mb, CEE_LDC_I4_0);
1126 mono_marshal_emit_switch_domain (mb);
1127 mono_mb_emit_byte (mb, CEE_POP);
1129 /* Restore thread domain data */
1131 mono_mb_emit_ldloc (mb, loc_context);
1132 mono_mb_emit_icall (mb, mono_context_set);
1134 /* if (loc_serialized_exc != null) ... */
1136 mono_mb_emit_ldloc (mb, loc_serialized_exc);
1137 pos_noex = mono_mb_emit_short_branch (mb, CEE_BRFALSE_S);
1139 mono_mb_emit_ldloc (mb, loc_serialized_exc);
1140 mono_marshal_emit_xdomain_copy_value (mb, byte_array_class);
1141 mono_mb_emit_managed_call (mb, method_rs_deserialize, NULL);
1142 mono_mb_emit_op (mb, CEE_CASTCLASS, mono_defaults.exception_class);
1143 mono_mb_emit_managed_call (mb, method_exc_fixexc, NULL);
1144 mono_mb_emit_byte (mb, CEE_THROW);
1145 mono_mb_patch_short_branch (mb, pos_noex);
1147 /* copy back non-serialized output parameters */
1150 for (i = 0; i < sig->param_count; i++) {
1151 if (!sig->params [i]->byref || marshal_types [i] != MONO_MARSHAL_COPY) continue;
1152 mono_mb_emit_ldarg (mb, i + 1);
1153 mono_mb_emit_ldloc (mb, copy_locals_base + (j++));
1154 mono_marshal_emit_xdomain_copy_value (mb, mono_class_from_mono_type (sig->params [i]));
1155 mono_mb_emit_byte (mb, CEE_STIND_REF);
1158 /* Deserialize out parameters */
1160 if (complex_out_count > 0) {
1161 mono_mb_emit_ldloc (mb, loc_serialized_data);
1162 mono_marshal_emit_xdomain_copy_value (mb, byte_array_class);
1163 mono_mb_emit_managed_call (mb, method_rs_deserialize, NULL);
1164 mono_mb_emit_stloc (mb, loc_array);
1166 /* Copy back output parameters and return type */
1169 for (i = 0; i < sig->param_count; i++) {
1170 if (marshal_types [i] != MONO_MARSHAL_SERIALIZE) continue;
1171 if (sig->params[i]->byref) {
1172 MonoClass *pclass = mono_class_from_mono_type (sig->params [i]);
1173 mono_mb_emit_ldarg (mb, i + 1);
1174 mono_mb_emit_ldloc (mb, loc_array);
1175 mono_mb_emit_icon (mb, j);
1176 mono_mb_emit_byte (mb, CEE_LDELEM_REF);
1177 if (pclass->valuetype) {
1178 mono_mb_emit_op (mb, CEE_UNBOX, pclass);
1179 mono_mb_emit_op (mb, CEE_LDOBJ, pclass);
1180 mono_mb_emit_op (mb, CEE_STOBJ, pclass);
1182 if (pclass != mono_defaults.object_class)
1183 mono_mb_emit_op (mb, CEE_CASTCLASS, pclass);
1184 mono_mb_emit_byte (mb, CEE_STIND_REF);
1190 if (ret_marshal_type == MONO_MARSHAL_SERIALIZE) {
1191 mono_mb_emit_ldloc (mb, loc_array);
1192 mono_mb_emit_icon (mb, complex_count);
1193 mono_mb_emit_byte (mb, CEE_LDELEM_REF);
1194 if (ret_class->valuetype) {
1195 mono_mb_emit_op (mb, CEE_UNBOX, ret_class);
1196 mono_mb_emit_op (mb, CEE_LDOBJ, ret_class);
1199 } else if (ret_marshal_type == MONO_MARSHAL_SERIALIZE) {
1200 mono_mb_emit_ldloc (mb, loc_serialized_data);
1201 mono_marshal_emit_xdomain_copy_value (mb, byte_array_class);
1202 mono_mb_emit_managed_call (mb, method_rs_deserialize, NULL);
1203 if (ret_class->valuetype) {
1204 mono_mb_emit_op (mb, CEE_UNBOX, ret_class);
1205 mono_mb_emit_op (mb, CEE_LDOBJ, ret_class);
1206 } else if (ret_class != mono_defaults.object_class) {
1207 mono_mb_emit_op (mb, CEE_CASTCLASS, ret_class);
1210 mono_mb_emit_ldloc (mb, loc_serialized_data);
1211 mono_mb_emit_byte (mb, CEE_DUP);
1212 pos = mono_mb_emit_short_branch (mb, CEE_BRFALSE_S);
1213 mono_marshal_emit_xdomain_copy_value (mb, byte_array_class);
1215 mono_mb_patch_short_branch (mb, pos);
1216 mono_mb_emit_managed_call (mb, method_rs_deserialize, NULL);
1217 mono_mb_emit_byte (mb, CEE_POP);
1221 mono_mb_emit_ldloc (mb, loc_return);
1222 if (ret_marshal_type == MONO_MARSHAL_COPY)
1223 mono_marshal_emit_xdomain_copy_value (mb, ret_class);
1226 mono_mb_emit_byte (mb, CEE_RET);
1227 #endif /* DISABLE_JIT */
1229 info = mono_wrapper_info_create (mb, WRAPPER_SUBTYPE_NONE);
1230 info->d.remoting.method = method;
1231 res = mono_remoting_mb_create_and_cache (method, mb, sig, sig->param_count + 16, info);
1238 mono_marshal_get_remoting_invoke_for_target (MonoMethod *method, MonoRemotingTarget target_type)
1240 if (target_type == MONO_REMOTING_TARGET_APPDOMAIN) {
1241 return mono_marshal_get_xappdomain_invoke (method);
1242 } else if (target_type == MONO_REMOTING_TARGET_COMINTEROP) {
1244 return mono_cominterop_get_invoke (method);
1246 g_assert_not_reached ();
1249 return mono_marshal_get_remoting_invoke (method);
1255 G_GNUC_UNUSED static gpointer
1256 mono_marshal_load_remoting_wrapper (MonoRealProxy *rp, MonoMethod *method)
1259 MonoMethod *marshal_method = NULL;
1260 if (rp->target_domain_id != -1)
1261 marshal_method = mono_marshal_get_xappdomain_invoke (method);
1263 marshal_method = mono_marshal_get_remoting_invoke (method);
1264 gpointer compiled_ptr = mono_compile_method_checked (marshal_method, &error);
1265 mono_error_assert_ok (&error);
1266 return compiled_ptr;
1270 mono_marshal_get_remoting_invoke_with_check (MonoMethod *method)
1272 MonoMethodSignature *sig;
1273 MonoMethodBuilder *mb;
1274 MonoMethod *res, *native;
1276 int i, pos, pos_rem;
1280 if (method->wrapper_type == MONO_WRAPPER_REMOTING_INVOKE_WITH_CHECK)
1283 /* we cant remote methods without this pointer */
1284 g_assert (mono_method_signature (method)->hasthis);
1286 if ((res = mono_marshal_remoting_find_in_cache (method, MONO_WRAPPER_REMOTING_INVOKE_WITH_CHECK)))
1289 sig = mono_signature_no_pinvoke (method);
1291 mb = mono_mb_new (method->klass, method->name, MONO_WRAPPER_REMOTING_INVOKE_WITH_CHECK);
1294 for (i = 0; i <= sig->param_count; i++)
1295 mono_mb_emit_ldarg (mb, i);
1297 mono_mb_emit_ldarg (mb, 0);
1298 pos = mono_mb_emit_proxy_check (mb, CEE_BNE_UN);
1300 if (mono_marshal_supports_fast_xdomain (method)) {
1301 mono_mb_emit_ldarg (mb, 0);
1302 pos_rem = mono_mb_emit_xdomain_check (mb, CEE_BEQ);
1304 /* wrapper for cross app domain calls */
1305 native = mono_marshal_get_xappdomain_invoke (method);
1306 mono_mb_emit_managed_call (mb, native, mono_method_signature (native));
1307 mono_mb_emit_byte (mb, CEE_RET);
1309 mono_mb_patch_branch (mb, pos_rem);
1311 /* wrapper for normal remote calls */
1312 native = mono_marshal_get_remoting_invoke (method);
1313 mono_mb_emit_managed_call (mb, native, mono_method_signature (native));
1314 mono_mb_emit_byte (mb, CEE_RET);
1317 mono_mb_patch_branch (mb, pos);
1318 mono_mb_emit_managed_call (mb, method, mono_method_signature (method));
1319 mono_mb_emit_byte (mb, CEE_RET);
1322 info = mono_wrapper_info_create (mb, WRAPPER_SUBTYPE_NONE);
1323 info->d.remoting.method = method;
1324 res = mono_remoting_mb_create_and_cache (method, mb, sig, sig->param_count + 16, info);
1331 * mono_marshal_get_ldfld_remote_wrapper:
1332 * @klass: The return type
1334 * This method generates a wrapper for calling mono_load_remote_field_new.
1335 * The return type is ignored for now, as mono_load_remote_field_new () always
1336 * returns an object. In the future, to optimize some codepaths, we might
1337 * call a different function that takes a pointer to a valuetype, instead.
1340 mono_marshal_get_ldfld_remote_wrapper (MonoClass *klass)
1342 MonoMethodSignature *sig;
1343 MonoMethodBuilder *mb;
1345 static MonoMethod* cached = NULL;
1347 mono_marshal_lock_internal ();
1349 mono_marshal_unlock_internal ();
1352 mono_marshal_unlock_internal ();
1354 mb = mono_mb_new_no_dup_name (mono_defaults.object_class, "__mono_load_remote_field_new_wrapper", MONO_WRAPPER_LDFLD_REMOTE);
1356 mb->method->save_lmf = 1;
1358 sig = mono_metadata_signature_alloc (mono_defaults.corlib, 3);
1359 sig->params [0] = &mono_defaults.object_class->byval_arg;
1360 sig->params [1] = &mono_defaults.int_class->byval_arg;
1361 sig->params [2] = &mono_defaults.int_class->byval_arg;
1362 sig->ret = &mono_defaults.object_class->byval_arg;
1365 mono_mb_emit_ldarg (mb, 0);
1366 mono_mb_emit_ldarg (mb, 1);
1367 mono_mb_emit_ldarg (mb, 2);
1369 mono_mb_emit_icall (mb, mono_load_remote_field_new_icall);
1371 mono_mb_emit_byte (mb, CEE_RET);
1374 mono_marshal_lock_internal ();
1376 mono_marshal_unlock_internal ();
1379 newm = mono_mb_create (mb, sig, 4, NULL);
1380 mono_marshal_lock_internal ();
1385 mono_marshal_unlock_internal ();
1387 mono_marshal_unlock_internal ();
1388 mono_free_method (newm);
1397 * mono_marshal_get_ldfld_wrapper:
1398 * @type: the type of the field
1400 * This method generates a function which can be use to load a field with type
1401 * @type from an object. The generated function has the following signature:
1402 * <@type> ldfld_wrapper (MonoObject *this_obj, MonoClass *klass, MonoClassField *field, int offset)
1405 mono_marshal_get_ldfld_wrapper (MonoType *type)
1407 MonoMethodSignature *sig;
1408 MonoMethodBuilder *mb;
1414 int t, pos0, pos1 = 0;
1416 type = mono_type_get_underlying_type (type);
1421 if (type->type == MONO_TYPE_SZARRAY) {
1422 klass = mono_defaults.array_class;
1423 } else if (type->type == MONO_TYPE_VALUETYPE) {
1424 klass = type->data.klass;
1425 } else if (t == MONO_TYPE_OBJECT || t == MONO_TYPE_CLASS || t == MONO_TYPE_STRING) {
1426 klass = mono_defaults.object_class;
1427 } else if (t == MONO_TYPE_PTR || t == MONO_TYPE_FNPTR) {
1428 klass = mono_defaults.int_class;
1429 } else if (t == MONO_TYPE_GENERICINST) {
1430 if (mono_type_generic_inst_is_valuetype (type))
1431 klass = mono_class_from_mono_type (type);
1433 klass = mono_defaults.object_class;
1435 klass = mono_class_from_mono_type (type);
1438 klass = mono_defaults.int_class;
1441 cache = get_cache (&klass->image->ldfld_wrapper_cache, mono_aligned_addr_hash, NULL);
1442 if ((res = mono_marshal_find_in_cache (cache, klass)))
1445 /* we add the %p pointer value of klass because class names are not unique */
1446 name = g_strdup_printf ("__ldfld_wrapper_%p_%s.%s", klass, klass->name_space, klass->name);
1447 mb = mono_mb_new (mono_defaults.object_class, name, MONO_WRAPPER_LDFLD);
1450 sig = mono_metadata_signature_alloc (mono_defaults.corlib, 4);
1451 sig->params [0] = &mono_defaults.object_class->byval_arg;
1452 sig->params [1] = &mono_defaults.int_class->byval_arg;
1453 sig->params [2] = &mono_defaults.int_class->byval_arg;
1454 sig->params [3] = &mono_defaults.int_class->byval_arg;
1455 sig->ret = &klass->byval_arg;
1458 mono_mb_emit_ldarg (mb, 0);
1459 pos0 = mono_mb_emit_proxy_check (mb, CEE_BNE_UN);
1461 mono_mb_emit_ldarg (mb, 0);
1462 mono_mb_emit_ldarg (mb, 1);
1463 mono_mb_emit_ldarg (mb, 2);
1465 mono_mb_emit_managed_call (mb, mono_marshal_get_ldfld_remote_wrapper (klass), NULL);
1468 csig = mono_metadata_signature_alloc (mono_defaults.corlib, 3);
1469 csig->params [0] = &mono_defaults.object_class->byval_arg;
1470 csig->params [1] = &mono_defaults.int_class->byval_arg;
1471 csig->params [2] = &mono_defaults.int_class->byval_arg;
1472 csig->ret = &klass->this_arg;
1475 mono_mb_emit_native_call (mb, csig, mono_load_remote_field_new);
1476 mono_marshal_emit_thread_interrupt_checkpoint (mb);
1479 if (klass->valuetype) {
1480 mono_mb_emit_op (mb, CEE_UNBOX, klass);
1481 pos1 = mono_mb_emit_branch (mb, CEE_BR);
1483 mono_mb_emit_byte (mb, CEE_RET);
1486 mono_mb_patch_branch (mb, pos0);
1488 mono_mb_emit_ldarg (mb, 0);
1489 mono_mb_emit_byte (mb, MONO_CUSTOM_PREFIX);
1490 mono_mb_emit_byte (mb, CEE_MONO_OBJADDR);
1491 mono_mb_emit_ldarg (mb, 3);
1492 mono_mb_emit_byte (mb, CEE_ADD);
1494 if (klass->valuetype)
1495 mono_mb_patch_branch (mb, pos1);
1500 case MONO_TYPE_BOOLEAN:
1501 case MONO_TYPE_CHAR:
1510 case MONO_TYPE_ARRAY:
1511 case MONO_TYPE_SZARRAY:
1512 case MONO_TYPE_OBJECT:
1513 case MONO_TYPE_CLASS:
1514 case MONO_TYPE_STRING:
1518 case MONO_TYPE_FNPTR:
1519 mono_mb_emit_byte (mb, mono_type_to_ldind (type));
1521 case MONO_TYPE_VALUETYPE:
1522 g_assert (!klass->enumtype);
1523 mono_mb_emit_op (mb, CEE_LDOBJ, klass);
1525 case MONO_TYPE_GENERICINST:
1526 if (mono_type_generic_inst_is_valuetype (type)) {
1527 mono_mb_emit_op (mb, CEE_LDOBJ, klass);
1529 mono_mb_emit_byte (mb, CEE_LDIND_REF);
1533 case MONO_TYPE_MVAR:
1534 mono_mb_emit_op (mb, CEE_LDOBJ, klass);
1537 g_warning ("type %x not implemented", type->type);
1538 g_assert_not_reached ();
1541 mono_mb_emit_byte (mb, CEE_RET);
1542 #endif /* DISABLE_JIT */
1544 info = mono_wrapper_info_create (mb, WRAPPER_SUBTYPE_NONE);
1545 info->d.proxy.klass = klass;
1546 res = mono_mb_create_and_cache_full (cache, klass,
1547 mb, sig, sig->param_count + 16, info, NULL);
1554 * mono_marshal_get_ldflda_wrapper:
1555 * @type: the type of the field
1557 * This method generates a function which can be used to load a field address
1558 * from an object. The generated function has the following signature:
1559 * gpointer ldflda_wrapper (MonoObject *this_obj, MonoClass *klass, MonoClassField *field, int offset);
1562 mono_marshal_get_ldflda_wrapper (MonoType *type)
1564 MonoMethodSignature *sig;
1565 MonoMethodBuilder *mb;
1571 int t, pos0, pos1, pos2, pos3;
1573 type = mono_type_get_underlying_type (type);
1577 if (type->type == MONO_TYPE_SZARRAY) {
1578 klass = mono_defaults.array_class;
1579 } else if (type->type == MONO_TYPE_VALUETYPE) {
1580 klass = type->data.klass;
1581 } else if (t == MONO_TYPE_OBJECT || t == MONO_TYPE_CLASS || t == MONO_TYPE_STRING ||
1582 t == MONO_TYPE_CLASS) {
1583 klass = mono_defaults.object_class;
1584 } else if (t == MONO_TYPE_PTR || t == MONO_TYPE_FNPTR) {
1585 klass = mono_defaults.int_class;
1586 } else if (t == MONO_TYPE_GENERICINST) {
1587 if (mono_type_generic_inst_is_valuetype (type))
1588 klass = mono_class_from_mono_type (type);
1590 klass = mono_defaults.object_class;
1592 klass = mono_class_from_mono_type (type);
1595 klass = mono_defaults.int_class;
1598 cache = get_cache (&klass->image->ldflda_wrapper_cache, mono_aligned_addr_hash, NULL);
1599 if ((res = mono_marshal_find_in_cache (cache, klass)))
1602 /* we add the %p pointer value of klass because class names are not unique */
1603 name = g_strdup_printf ("__ldflda_wrapper_%p_%s.%s", klass, klass->name_space, klass->name);
1604 mb = mono_mb_new (mono_defaults.object_class, name, MONO_WRAPPER_LDFLDA);
1607 sig = mono_metadata_signature_alloc (mono_defaults.corlib, 4);
1608 sig->params [0] = &mono_defaults.object_class->byval_arg;
1609 sig->params [1] = &mono_defaults.int_class->byval_arg;
1610 sig->params [2] = &mono_defaults.int_class->byval_arg;
1611 sig->params [3] = &mono_defaults.int_class->byval_arg;
1612 sig->ret = &mono_defaults.int_class->byval_arg;
1615 /* if typeof (this) != transparent_proxy goto pos0 */
1616 mono_mb_emit_ldarg (mb, 0);
1617 pos0 = mono_mb_emit_proxy_check (mb, CEE_BNE_UN);
1619 /* if same_appdomain goto pos1 */
1620 mono_mb_emit_ldarg (mb, 0);
1621 pos1 = mono_mb_emit_xdomain_check (mb, CEE_BEQ);
1623 mono_mb_emit_exception_full (mb, "System", "InvalidOperationException", "Attempt to load field address from object in another appdomain.");
1625 /* same app domain */
1626 mono_mb_patch_branch (mb, pos1);
1628 /* if typeof (this) != contextbound goto pos2 */
1629 mono_mb_emit_ldarg (mb, 0);
1630 pos2 = mono_mb_emit_contextbound_check (mb, CEE_BEQ);
1632 /* if this->rp->context == mono_context_get goto pos3 */
1633 mono_mb_emit_ldarg (mb, 0);
1634 mono_mb_emit_ldflda (mb, MONO_STRUCT_OFFSET (MonoTransparentProxy, rp));
1635 mono_mb_emit_byte (mb, CEE_LDIND_REF);
1636 mono_mb_emit_ldflda (mb, MONO_STRUCT_OFFSET (MonoRealProxy, context));
1637 mono_mb_emit_byte (mb, CEE_LDIND_REF);
1638 mono_mb_emit_icall (mb, mono_context_get);
1639 pos3 = mono_mb_emit_branch (mb, CEE_BEQ);
1641 mono_mb_emit_exception_full (mb, "System", "InvalidOperationException", "Attempt to load field address from object in another context.");
1643 mono_mb_patch_branch (mb, pos2);
1644 mono_mb_patch_branch (mb, pos3);
1646 /* return the address of the field from this->rp->unwrapped_server */
1647 mono_mb_emit_ldarg (mb, 0);
1648 mono_mb_emit_ldflda (mb, MONO_STRUCT_OFFSET (MonoTransparentProxy, rp));
1649 mono_mb_emit_byte (mb, CEE_LDIND_REF);
1650 mono_mb_emit_ldflda (mb, MONO_STRUCT_OFFSET (MonoRealProxy, unwrapped_server));
1651 mono_mb_emit_byte (mb, CEE_LDIND_REF);
1652 mono_mb_emit_byte (mb, MONO_CUSTOM_PREFIX);
1653 mono_mb_emit_byte (mb, CEE_MONO_OBJADDR);
1654 mono_mb_emit_ldarg (mb, 3);
1655 mono_mb_emit_byte (mb, CEE_ADD);
1656 mono_mb_emit_byte (mb, CEE_RET);
1658 /* not a proxy: return the address of the field directly */
1659 mono_mb_patch_branch (mb, pos0);
1661 mono_mb_emit_ldarg (mb, 0);
1662 mono_mb_emit_byte (mb, MONO_CUSTOM_PREFIX);
1663 mono_mb_emit_byte (mb, CEE_MONO_OBJADDR);
1664 mono_mb_emit_ldarg (mb, 3);
1665 mono_mb_emit_byte (mb, CEE_ADD);
1667 mono_mb_emit_byte (mb, CEE_RET);
1670 info = mono_wrapper_info_create (mb, WRAPPER_SUBTYPE_NONE);
1671 info->d.proxy.klass = klass;
1672 res = mono_mb_create_and_cache_full (cache, klass,
1673 mb, sig, sig->param_count + 16,
1681 * mono_marshal_get_stfld_remote_wrapper:
1682 * klass: The type of the field
1684 * This function generates a wrapper for calling mono_store_remote_field_new
1685 * with the appropriate signature.
1686 * Similarly to mono_marshal_get_ldfld_remote_wrapper () this doesn't depend on the
1687 * klass argument anymore.
1690 mono_marshal_get_stfld_remote_wrapper (MonoClass *klass)
1692 MonoMethodSignature *sig;
1693 MonoMethodBuilder *mb;
1695 static MonoMethod *cached = NULL;
1697 mono_marshal_lock_internal ();
1699 mono_marshal_unlock_internal ();
1702 mono_marshal_unlock_internal ();
1704 mb = mono_mb_new_no_dup_name (mono_defaults.object_class, "__mono_store_remote_field_new_wrapper", MONO_WRAPPER_STFLD_REMOTE);
1706 mb->method->save_lmf = 1;
1708 sig = mono_metadata_signature_alloc (mono_defaults.corlib, 4);
1709 sig->params [0] = &mono_defaults.object_class->byval_arg;
1710 sig->params [1] = &mono_defaults.int_class->byval_arg;
1711 sig->params [2] = &mono_defaults.int_class->byval_arg;
1712 sig->params [3] = &mono_defaults.object_class->byval_arg;
1713 sig->ret = &mono_defaults.void_class->byval_arg;
1716 mono_mb_emit_ldarg (mb, 0);
1717 mono_mb_emit_ldarg (mb, 1);
1718 mono_mb_emit_ldarg (mb, 2);
1719 mono_mb_emit_ldarg (mb, 3);
1721 mono_mb_emit_icall (mb, mono_store_remote_field_new_icall);
1723 mono_mb_emit_byte (mb, CEE_RET);
1726 mono_marshal_lock_internal ();
1728 mono_marshal_unlock_internal ();
1731 newm = mono_mb_create (mb, sig, 6, NULL);
1732 mono_marshal_lock_internal ();
1737 mono_marshal_unlock_internal ();
1739 mono_marshal_unlock_internal ();
1740 mono_free_method (newm);
1749 * mono_marshal_get_stfld_wrapper:
1750 * @type: the type of the field
1752 * This method generates a function which can be use to store a field with type
1753 * @type. The generated function has the following signature:
1754 * void stfld_wrapper (MonoObject *this_obj, MonoClass *klass, MonoClassField *field, int offset, <@type> val)
1757 mono_marshal_get_stfld_wrapper (MonoType *type)
1759 MonoMethodSignature *sig;
1760 MonoMethodBuilder *mb;
1768 type = mono_type_get_underlying_type (type);
1772 if (type->type == MONO_TYPE_SZARRAY) {
1773 klass = mono_defaults.array_class;
1774 } else if (type->type == MONO_TYPE_VALUETYPE) {
1775 klass = type->data.klass;
1776 } else if (t == MONO_TYPE_OBJECT || t == MONO_TYPE_CLASS || t == MONO_TYPE_STRING) {
1777 klass = mono_defaults.object_class;
1778 } else if (t == MONO_TYPE_PTR || t == MONO_TYPE_FNPTR) {
1779 klass = mono_defaults.int_class;
1780 } else if (t == MONO_TYPE_GENERICINST) {
1781 if (mono_type_generic_inst_is_valuetype (type))
1782 klass = mono_class_from_mono_type (type);
1784 klass = mono_defaults.object_class;
1786 klass = mono_class_from_mono_type (type);
1789 klass = mono_defaults.int_class;
1792 cache = get_cache (&klass->image->stfld_wrapper_cache, mono_aligned_addr_hash, NULL);
1793 if ((res = mono_marshal_find_in_cache (cache, klass)))
1796 /* we add the %p pointer value of klass because class names are not unique */
1797 name = g_strdup_printf ("__stfld_wrapper_%p_%s.%s", klass, klass->name_space, klass->name);
1798 mb = mono_mb_new (mono_defaults.object_class, name, MONO_WRAPPER_STFLD);
1801 sig = mono_metadata_signature_alloc (mono_defaults.corlib, 5);
1802 sig->params [0] = &mono_defaults.object_class->byval_arg;
1803 sig->params [1] = &mono_defaults.int_class->byval_arg;
1804 sig->params [2] = &mono_defaults.int_class->byval_arg;
1805 sig->params [3] = &mono_defaults.int_class->byval_arg;
1806 sig->params [4] = &klass->byval_arg;
1807 sig->ret = &mono_defaults.void_class->byval_arg;
1810 mono_mb_emit_ldarg (mb, 0);
1811 pos = mono_mb_emit_proxy_check (mb, CEE_BNE_UN);
1813 mono_mb_emit_ldarg (mb, 0);
1814 mono_mb_emit_ldarg (mb, 1);
1815 mono_mb_emit_ldarg (mb, 2);
1816 mono_mb_emit_ldarg (mb, 4);
1817 if (klass->valuetype)
1818 mono_mb_emit_op (mb, CEE_BOX, klass);
1820 mono_mb_emit_managed_call (mb, mono_marshal_get_stfld_remote_wrapper (klass), NULL);
1822 mono_mb_emit_byte (mb, CEE_RET);
1824 mono_mb_patch_branch (mb, pos);
1826 mono_mb_emit_ldarg (mb, 0);
1827 mono_mb_emit_byte (mb, MONO_CUSTOM_PREFIX);
1828 mono_mb_emit_byte (mb, CEE_MONO_OBJADDR);
1829 mono_mb_emit_ldarg (mb, 3);
1830 mono_mb_emit_byte (mb, CEE_ADD);
1831 mono_mb_emit_ldarg (mb, 4);
1836 case MONO_TYPE_BOOLEAN:
1837 case MONO_TYPE_CHAR:
1846 case MONO_TYPE_ARRAY:
1847 case MONO_TYPE_SZARRAY:
1848 case MONO_TYPE_OBJECT:
1849 case MONO_TYPE_CLASS:
1850 case MONO_TYPE_STRING:
1854 case MONO_TYPE_FNPTR:
1855 mono_mb_emit_byte (mb, mono_type_to_stind (type));
1857 case MONO_TYPE_VALUETYPE:
1858 g_assert (!klass->enumtype);
1859 mono_mb_emit_op (mb, CEE_STOBJ, klass);
1861 case MONO_TYPE_GENERICINST:
1863 case MONO_TYPE_MVAR:
1864 mono_mb_emit_op (mb, CEE_STOBJ, klass);
1867 g_warning ("type %x not implemented", type->type);
1868 g_assert_not_reached ();
1871 mono_mb_emit_byte (mb, CEE_RET);
1874 info = mono_wrapper_info_create (mb, WRAPPER_SUBTYPE_NONE);
1875 info->d.proxy.klass = klass;
1876 res = mono_mb_create_and_cache_full (cache, klass,
1877 mb, sig, sig->param_count + 16,
1885 mono_marshal_get_proxy_cancast (MonoClass *klass)
1887 static MonoMethodSignature *isint_sig = NULL;
1891 int pos_failed, pos_end;
1892 char *name, *klass_name;
1893 MonoMethod *can_cast_to;
1894 MonoMethodDesc *desc;
1895 MonoMethodBuilder *mb;
1897 cache = get_cache (&klass->image->proxy_isinst_cache, mono_aligned_addr_hash, NULL);
1898 if ((res = mono_marshal_find_in_cache (cache, klass)))
1902 isint_sig = mono_metadata_signature_alloc (mono_defaults.corlib, 1);
1903 isint_sig->params [0] = &mono_defaults.object_class->byval_arg;
1904 isint_sig->ret = &mono_defaults.object_class->byval_arg;
1905 isint_sig->pinvoke = 0;
1908 klass_name = mono_type_full_name (&klass->byval_arg);
1909 name = g_strdup_printf ("__proxy_isinst_wrapper_%s", klass_name);
1910 mb = mono_mb_new (mono_defaults.object_class, name, MONO_WRAPPER_PROXY_ISINST);
1911 g_free (klass_name);
1914 mb->method->save_lmf = 1;
1917 /* get the real proxy from the transparent proxy*/
1918 mono_mb_emit_ldarg (mb, 0);
1919 mono_mb_emit_ldflda (mb, MONO_STRUCT_OFFSET (MonoTransparentProxy, rp));
1920 mono_mb_emit_byte (mb, CEE_LDIND_REF);
1922 /* get the reflection type from the type handle */
1923 mono_mb_emit_ptr (mb, &klass->byval_arg);
1924 mono_mb_emit_icall (mb, type_from_handle);
1926 mono_mb_emit_ldarg (mb, 0);
1928 /* make the call to CanCastTo (type, ob) */
1929 desc = mono_method_desc_new ("IRemotingTypeInfo:CanCastTo", FALSE);
1930 can_cast_to = mono_method_desc_search_in_class (desc, mono_defaults.iremotingtypeinfo_class);
1931 g_assert (can_cast_to);
1932 mono_method_desc_free (desc);
1933 mono_mb_emit_op (mb, CEE_CALLVIRT, can_cast_to);
1935 pos_failed = mono_mb_emit_branch (mb, CEE_BRFALSE);
1937 /* Upgrade the proxy vtable by calling: mono_upgrade_remote_class_wrapper (type, ob)*/
1938 mono_mb_emit_ptr (mb, &klass->byval_arg);
1939 mono_mb_emit_icall (mb, type_from_handle);
1940 mono_mb_emit_ldarg (mb, 0);
1942 mono_mb_emit_icall (mb, mono_upgrade_remote_class_wrapper);
1943 mono_marshal_emit_thread_interrupt_checkpoint (mb);
1945 mono_mb_emit_ldarg (mb, 0);
1946 pos_end = mono_mb_emit_branch (mb, CEE_BR);
1950 mono_mb_patch_branch (mb, pos_failed);
1951 mono_mb_emit_byte (mb, CEE_LDNULL);
1955 mono_mb_patch_branch (mb, pos_end);
1956 mono_mb_emit_byte (mb, CEE_RET);
1959 info = mono_wrapper_info_create (mb, WRAPPER_SUBTYPE_NONE);
1960 info->d.proxy.klass = klass;
1961 res = mono_mb_create_and_cache_full (cache, klass, mb, isint_sig, isint_sig->param_count + 16, info, NULL);
1968 mono_upgrade_remote_class_wrapper (MonoReflectionType *rtype, MonoTransparentProxy *tproxy)
1972 MonoDomain *domain = ((MonoObject*)tproxy)->vtable->domain;
1973 klass = mono_class_from_mono_type (rtype->type);
1974 mono_upgrade_remote_class (domain, (MonoObject*)tproxy, klass, &error);
1975 mono_error_set_pending_exception (&error);
1978 #else /* DISABLE_REMOTING */
1981 mono_remoting_init (void)
1985 #endif /* DISABLE_REMOTING */
1987 /* mono_get_xdomain_marshal_type()
1988 * Returns the kind of marshalling that a type needs for cross domain calls.
1990 static MonoXDomainMarshalType
1991 mono_get_xdomain_marshal_type (MonoType *t)
1994 case MONO_TYPE_VOID:
1995 g_assert_not_reached ();
1999 case MONO_TYPE_BOOLEAN:
2002 case MONO_TYPE_CHAR:
2009 return MONO_MARSHAL_NONE;
2010 case MONO_TYPE_STRING:
2011 return MONO_MARSHAL_COPY;
2012 case MONO_TYPE_ARRAY:
2013 case MONO_TYPE_SZARRAY: {
2014 MonoClass *elem_class = mono_class_from_mono_type (t)->element_class;
2015 if (mono_get_xdomain_marshal_type (&(elem_class->byval_arg)) != MONO_MARSHAL_SERIALIZE)
2016 return MONO_MARSHAL_COPY;
2022 return MONO_MARSHAL_SERIALIZE;
2025 /* mono_marshal_xdomain_copy_value
2026 * Makes a copy of "val" suitable for the current domain.
2029 mono_marshal_xdomain_copy_value (MonoObject *val, MonoError *error)
2031 mono_error_init (error);
2033 if (val == NULL) return NULL;
2035 domain = mono_domain_get ();
2037 switch (mono_object_class (val)->byval_arg.type) {
2038 case MONO_TYPE_VOID:
2039 g_assert_not_reached ();
2043 case MONO_TYPE_BOOLEAN:
2046 case MONO_TYPE_CHAR:
2052 case MONO_TYPE_R8: {
2053 MonoObject *res = mono_value_box_checked (domain, mono_object_class (val), ((char*)val) + sizeof(MonoObject), error);
2057 case MONO_TYPE_STRING: {
2058 MonoString *str = (MonoString *) val;
2059 MonoObject *res = NULL;
2060 res = (MonoObject *) mono_string_new_utf16_checked (domain, mono_string_chars (str), mono_string_length (str), error);
2063 case MONO_TYPE_ARRAY:
2064 case MONO_TYPE_SZARRAY: {
2066 MonoXDomainMarshalType mt = mono_get_xdomain_marshal_type (&(mono_object_class (val)->element_class->byval_arg));
2067 if (mt == MONO_MARSHAL_SERIALIZE) return NULL;
2068 acopy = mono_array_clone_in_domain (domain, (MonoArray *) val, error);
2069 return_val_if_nok (error, NULL);
2071 if (mt == MONO_MARSHAL_COPY) {
2072 int i, len = mono_array_length (acopy);
2073 for (i = 0; i < len; i++) {
2074 MonoObject *item = (MonoObject *)mono_array_get (acopy, gpointer, i);
2075 MonoObject *item_copy = mono_marshal_xdomain_copy_value (item, error);
2076 return_val_if_nok (error, NULL);
2077 mono_array_setref (acopy, i, item_copy);
2080 return (MonoObject *) acopy;
2089 /* mono_marshal_xdomain_copy_value
2090 * Makes a copy of "val" suitable for the current domain.
2093 ves_icall_mono_marshal_xdomain_copy_value (MonoObject *val)
2096 MonoObject *result = mono_marshal_xdomain_copy_value (val, &error);
2097 mono_error_set_pending_exception (&error);