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)
12 #include "mono/metadata/remoting.h"
13 #include "mono/metadata/marshal.h"
14 #include "mono/metadata/abi-details.h"
15 #include "mono/metadata/cominterop.h"
16 #include "mono/metadata/tabledefs.h"
17 #include "mono/metadata/exception.h"
18 #include "mono/metadata/debug-helpers.h"
19 #include "mono/metadata/reflection-internals.h"
22 MONO_MARSHAL_NONE, /* No marshalling needed */
23 MONO_MARSHAL_COPY, /* Can be copied by value to the new domain */
24 MONO_MARSHAL_COPY_OUT, /* out parameter that needs to be copied back to the original instance */
25 MONO_MARSHAL_SERIALIZE /* Value needs to be serialized into the new domain */
26 } MonoXDomainMarshalType;
28 #ifndef DISABLE_REMOTING
30 #define OPDEF(a,b,c,d,e,f,g,h,i,j) \
34 #include "mono/cil/opcode.def"
39 struct _MonoRemotingMethods {
41 MonoMethod *invoke_with_check;
42 MonoMethod *xdomain_invoke;
43 MonoMethod *xdomain_dispatch;
46 typedef struct _MonoRemotingMethods MonoRemotingMethods;
49 mono_remoting_wrapper (MonoMethod *method, gpointer *params);
52 mono_marshal_set_domain_by_id (gint32 id, MonoBoolean push);
55 mono_marshal_check_domain_image (gint32 domain_id, MonoImage *image);
58 mono_upgrade_remote_class_wrapper (MonoReflectionType *rtype, MonoTransparentProxy *tproxy);
60 static MonoXDomainMarshalType
61 mono_get_xdomain_marshal_type (MonoType *t);
64 mono_marshal_xdomain_copy_out_value (MonoObject *src, MonoObject *dst);
66 static MonoReflectionType *
67 type_from_handle (MonoType *handle);
69 /* Class lazy loading functions */
70 static GENERATE_GET_CLASS_WITH_CACHE (remoting_services, System.Runtime.Remoting, RemotingServices)
71 static GENERATE_GET_CLASS_WITH_CACHE (call_context, System.Runtime.Remoting.Messaging, CallContext)
72 static GENERATE_GET_CLASS_WITH_CACHE (context, System.Runtime.Remoting.Contexts, Context)
74 static mono_mutex_t remoting_mutex;
75 static gboolean remoting_mutex_inited;
77 static MonoClass *byte_array_class;
79 static MonoMethod *method_rs_serialize, *method_rs_deserialize, *method_exc_fixexc, *method_rs_appdomain_target;
80 static MonoMethod *method_set_call_context, *method_needs_context_sink, *method_rs_serialize_exc;
84 register_icall (gpointer func, const char *name, const char *sigstr, gboolean save)
86 MonoMethodSignature *sig = mono_create_icall_signature (sigstr);
88 mono_register_jit_icall (func, name, sig, save);
94 g_assert (remoting_mutex_inited);
95 mono_os_mutex_lock (&remoting_mutex);
99 remoting_unlock (void)
101 g_assert (remoting_mutex_inited);
102 mono_os_mutex_unlock (&remoting_mutex);
106 * Return the hash table pointed to by VAR, lazily creating it if neccesary.
109 get_cache (GHashTable **var, GHashFunc hash_func, GCompareFunc equal_func)
115 g_hash_table_new (hash_func, equal_func);
116 mono_memory_barrier ();
125 get_cache_full (GHashTable **var, GHashFunc hash_func, GCompareFunc equal_func, GDestroyNotify key_destroy_func, GDestroyNotify value_destroy_func)
131 g_hash_table_new_full (hash_func, equal_func, key_destroy_func, value_destroy_func);
132 mono_memory_barrier ();
141 mono_remoting_init (void)
143 mono_os_mutex_init (&remoting_mutex);
144 remoting_mutex_inited = TRUE;
148 mono_remoting_marshal_init (void)
152 static gboolean module_initialized = FALSE;
153 static gboolean icalls_registered = FALSE;
155 if (module_initialized)
158 byte_array_class = mono_array_class_get (mono_defaults.byte_class, 1);
161 klass = mono_class_get_remoting_services_class ();
162 method_rs_serialize = mono_class_get_method_from_name (klass, "SerializeCallData", -1);
163 g_assert (method_rs_serialize);
164 method_rs_deserialize = mono_class_get_method_from_name (klass, "DeserializeCallData", -1);
165 g_assert (method_rs_deserialize);
166 method_rs_serialize_exc = mono_class_get_method_from_name (klass, "SerializeExceptionData", -1);
167 g_assert (method_rs_serialize_exc);
169 klass = mono_defaults.real_proxy_class;
170 method_rs_appdomain_target = mono_class_get_method_from_name (klass, "GetAppDomainTarget", -1);
171 g_assert (method_rs_appdomain_target);
173 klass = mono_defaults.exception_class;
174 method_exc_fixexc = mono_class_get_method_from_name (klass, "FixRemotingException", -1);
175 g_assert (method_exc_fixexc);
177 klass = mono_class_get_call_context_class ();
178 method_set_call_context = mono_class_get_method_from_name (klass, "SetCurrentCallContext", -1);
179 g_assert (method_set_call_context);
181 klass = mono_class_get_context_class ();
182 method_needs_context_sink = mono_class_get_method_from_name (klass, "get_NeedsContextSink", -1);
183 g_assert (method_needs_context_sink);
188 if (!icalls_registered) {
189 register_icall (type_from_handle, "type_from_handle", "object ptr", FALSE);
190 register_icall (mono_marshal_set_domain_by_id, "mono_marshal_set_domain_by_id", "int32 int32 int32", FALSE);
191 register_icall (mono_marshal_check_domain_image, "mono_marshal_check_domain_image", "int32 int32 ptr", FALSE);
192 register_icall (mono_marshal_xdomain_copy_value, "mono_marshal_xdomain_copy_value", "object object", FALSE);
193 register_icall (mono_marshal_xdomain_copy_out_value, "mono_marshal_xdomain_copy_out_value", "void object object", FALSE);
194 register_icall (mono_remoting_wrapper, "mono_remoting_wrapper", "object ptr ptr", FALSE);
195 register_icall (mono_upgrade_remote_class_wrapper, "mono_upgrade_remote_class_wrapper", "void object object", FALSE);
198 icalls_registered = TRUE;
200 mono_loader_unlock ();
202 module_initialized = TRUE;
205 static MonoReflectionType *
206 type_from_handle (MonoType *handle)
209 MonoReflectionType *ret;
210 MonoDomain *domain = mono_domain_get ();
211 MonoClass *klass = mono_class_from_mono_type (handle);
213 mono_class_init (klass);
215 ret = mono_type_get_object_checked (domain, handle, &error);
216 mono_error_raise_exception (&error); /* FIXME don't raise here */
223 mono_mb_emit_proxy_check (MonoMethodBuilder *mb, int branch_code)
226 mono_mb_emit_ldflda (mb, MONO_STRUCT_OFFSET (MonoObject, vtable));
227 mono_mb_emit_byte (mb, CEE_LDIND_I);
228 mono_mb_emit_icon (mb, MONO_STRUCT_OFFSET (MonoVTable, klass));
229 mono_mb_emit_byte (mb, CEE_ADD);
230 mono_mb_emit_byte (mb, CEE_LDIND_I);
231 mono_mb_emit_byte (mb, MONO_CUSTOM_PREFIX);
232 mono_mb_emit_byte (mb, CEE_MONO_CLASSCONST);
233 mono_mb_emit_i4 (mb, mono_mb_add_data (mb, mono_defaults.transparent_proxy_class));
234 pos = mono_mb_emit_branch (mb, branch_code);
239 mono_mb_emit_xdomain_check (MonoMethodBuilder *mb, int branch_code)
242 mono_mb_emit_ldflda (mb, MONO_STRUCT_OFFSET (MonoTransparentProxy, rp));
243 mono_mb_emit_byte (mb, CEE_LDIND_REF);
244 mono_mb_emit_ldflda (mb, MONO_STRUCT_OFFSET (MonoRealProxy, target_domain_id));
245 mono_mb_emit_byte (mb, CEE_LDIND_I4);
246 mono_mb_emit_icon (mb, -1);
247 pos = mono_mb_emit_branch (mb, branch_code);
252 mono_mb_emit_contextbound_check (MonoMethodBuilder *mb, int branch_code)
254 static int offset = -1;
258 mono_marshal_find_bitfield_offset (MonoClass, contextbound, &offset, &mask);
260 mono_mb_emit_ldflda (mb, MONO_STRUCT_OFFSET (MonoTransparentProxy, remote_class));
261 mono_mb_emit_byte (mb, CEE_LDIND_REF);
262 mono_mb_emit_ldflda (mb, MONO_STRUCT_OFFSET (MonoRemoteClass, proxy_class));
263 mono_mb_emit_byte (mb, CEE_LDIND_REF);
264 mono_mb_emit_ldflda (mb, offset);
265 mono_mb_emit_byte (mb, CEE_LDIND_U1);
266 mono_mb_emit_icon (mb, mask);
267 mono_mb_emit_byte (mb, CEE_AND);
268 mono_mb_emit_icon (mb, 0);
269 return mono_mb_emit_branch (mb, branch_code);
271 #endif /* !DISABLE_JIT */
273 static inline MonoMethod*
274 mono_marshal_remoting_find_in_cache (MonoMethod *method, int wrapper_type)
276 MonoMethod *res = NULL;
277 MonoRemotingMethods *wrps = NULL;
279 mono_marshal_lock_internal ();
280 if (mono_method_get_wrapper_cache (method)->remoting_invoke_cache)
281 wrps = (MonoRemotingMethods *)g_hash_table_lookup (mono_method_get_wrapper_cache (method)->remoting_invoke_cache, method);
284 switch (wrapper_type) {
285 case MONO_WRAPPER_REMOTING_INVOKE: res = wrps->invoke; break;
286 case MONO_WRAPPER_REMOTING_INVOKE_WITH_CHECK: res = wrps->invoke_with_check; break;
287 case MONO_WRAPPER_XDOMAIN_INVOKE: res = wrps->xdomain_invoke; break;
288 case MONO_WRAPPER_XDOMAIN_DISPATCH: res = wrps->xdomain_dispatch; break;
292 /* it is important to do the unlock after the load from wrps, since in
293 * mono_remoting_mb_create_and_cache () we drop the marshal lock to be able
294 * to take the loader lock and some other thread may set the fields.
296 mono_marshal_unlock_internal ();
300 /* Create the method from the builder and place it in the cache */
301 static inline MonoMethod*
302 mono_remoting_mb_create_and_cache (MonoMethod *key, MonoMethodBuilder *mb,
303 MonoMethodSignature *sig, int max_stack, WrapperInfo *info)
305 MonoMethod **res = NULL;
306 MonoRemotingMethods *wrps;
309 cache = get_cache_full (&mono_method_get_wrapper_cache (key)->remoting_invoke_cache, mono_aligned_addr_hash, NULL, NULL, g_free);
311 mono_marshal_lock_internal ();
312 wrps = (MonoRemotingMethods *)g_hash_table_lookup (cache, key);
314 wrps = g_new0 (MonoRemotingMethods, 1);
315 g_hash_table_insert (cache, key, wrps);
318 switch (mb->method->wrapper_type) {
319 case MONO_WRAPPER_REMOTING_INVOKE: res = &wrps->invoke; break;
320 case MONO_WRAPPER_REMOTING_INVOKE_WITH_CHECK: res = &wrps->invoke_with_check; break;
321 case MONO_WRAPPER_XDOMAIN_INVOKE: res = &wrps->xdomain_invoke; break;
322 case MONO_WRAPPER_XDOMAIN_DISPATCH: res = &wrps->xdomain_dispatch; break;
323 default: g_assert_not_reached (); break;
325 mono_marshal_unlock_internal ();
329 newm = mono_mb_create_method (mb, sig, max_stack);
331 mono_marshal_lock_internal ();
334 mono_marshal_set_wrapper_info (*res, info);
335 mono_marshal_unlock_internal ();
337 mono_marshal_unlock_internal ();
338 mono_free_method (newm);
346 mono_remoting_wrapper (MonoMethod *method, gpointer *params)
349 MonoMethodMessage *msg;
350 MonoTransparentProxy *this_obj;
351 MonoObject *res, *exc;
354 this_obj = *((MonoTransparentProxy **)params [0]);
357 g_assert (((MonoObject *)this_obj)->vtable->klass == mono_defaults.transparent_proxy_class);
359 /* skip the this pointer */
362 if (mono_class_is_contextbound (this_obj->remote_class->proxy_class) && this_obj->rp->context == (MonoObject *) mono_context_get ())
365 MonoMethodSignature *sig = mono_method_signature (method);
366 int count = sig->param_count;
367 gpointer* mparams = (gpointer*) alloca(count*sizeof(gpointer));
369 for (i=0; i<count; i++) {
370 MonoClass *klass = mono_class_from_mono_type (sig->params [i]);
371 if (klass->valuetype) {
372 if (sig->params [i]->byref) {
373 mparams[i] = *((gpointer *)params [i]);
375 /* runtime_invoke expects a boxed instance */
376 if (mono_class_is_nullable (mono_class_from_mono_type (sig->params [i])))
377 mparams[i] = mono_nullable_box ((guint8 *)params [i], klass);
379 mparams[i] = params [i];
382 mparams[i] = *((gpointer**)params [i]);
386 res = mono_runtime_invoke_checked (method, method->klass->valuetype? mono_object_unbox ((MonoObject*)this_obj): this_obj, mparams, &error);
387 mono_error_raise_exception (&error); /* FIXME don't raise here */
392 msg = mono_method_call_message_new (method, params, NULL, NULL, NULL);
394 res = mono_remoting_invoke ((MonoObject *)this_obj->rp, msg, &exc, &out_args, &error);
395 mono_error_raise_exception (&error); /* FIXME don't raise here */
398 mono_raise_exception ((MonoException *)exc);
400 mono_method_return_message_restore (method, params, out_args);
406 mono_marshal_get_remoting_invoke (MonoMethod *method)
408 MonoMethodSignature *sig;
409 MonoMethodBuilder *mb;
416 if (method->wrapper_type == MONO_WRAPPER_REMOTING_INVOKE || method->wrapper_type == MONO_WRAPPER_XDOMAIN_INVOKE)
419 /* this seems to be the best plase to put this, as all remoting invokes seem to get filtered through here */
421 if (mono_class_is_com_object (method->klass) || method->klass == mono_class_try_get_com_object_class ()) {
422 MonoVTable *vtable = mono_class_vtable (mono_domain_get (), method->klass);
423 g_assert (vtable); /*FIXME do proper error handling*/
425 if (!mono_vtable_is_remote (vtable)) {
426 return mono_cominterop_get_invoke (method);
431 sig = mono_signature_no_pinvoke (method);
433 /* we cant remote methods without this pointer */
437 if ((res = mono_marshal_remoting_find_in_cache (method, MONO_WRAPPER_REMOTING_INVOKE)))
440 mono_remoting_marshal_init ();
442 mb = mono_mb_new (method->klass, method->name, MONO_WRAPPER_REMOTING_INVOKE);
445 mb->method->save_lmf = 1;
447 params_var = mono_mb_emit_save_args (mb, sig, TRUE);
449 mono_mb_emit_ptr (mb, method);
450 mono_mb_emit_ldloc (mb, params_var);
451 mono_mb_emit_icall (mb, mono_remoting_wrapper);
452 mono_marshal_emit_thread_interrupt_checkpoint (mb);
454 if (sig->ret->type == MONO_TYPE_VOID) {
455 mono_mb_emit_byte (mb, CEE_POP);
456 mono_mb_emit_byte (mb, CEE_RET);
458 mono_mb_emit_restore_result (mb, sig->ret);
462 info = mono_wrapper_info_create (mb, WRAPPER_SUBTYPE_NONE);
463 info->d.remoting.method = method;
464 res = mono_remoting_mb_create_and_cache (method, mb, sig, sig->param_count + 16, info);
470 /* mono_marshal_xdomain_copy_out_value()
471 * Copies the contents of the src instance into the dst instance. src and dst
472 * must have the same type, and if they are arrays, the same size.
475 mono_marshal_xdomain_copy_out_value (MonoObject *src, MonoObject *dst)
477 if (src == NULL || dst == NULL) return;
479 g_assert (mono_object_class (src) == mono_object_class (dst));
481 switch (mono_object_class (src)->byval_arg.type) {
482 case MONO_TYPE_ARRAY:
483 case MONO_TYPE_SZARRAY: {
484 int mt = mono_get_xdomain_marshal_type (&(mono_object_class (src)->element_class->byval_arg));
485 if (mt == MONO_MARSHAL_SERIALIZE) return;
486 if (mt == MONO_MARSHAL_COPY) {
487 int i, len = mono_array_length ((MonoArray *)dst);
488 for (i = 0; i < len; i++) {
489 MonoObject *item = (MonoObject *)mono_array_get ((MonoArray *)src, gpointer, i);
490 mono_array_setref ((MonoArray *)dst, i, mono_marshal_xdomain_copy_value (item));
493 mono_array_full_copy ((MonoArray *)src, (MonoArray *)dst);
504 #if !defined (DISABLE_JIT)
506 mono_marshal_emit_xdomain_copy_value (MonoMethodBuilder *mb, MonoClass *pclass)
508 mono_mb_emit_icall (mb, mono_marshal_xdomain_copy_value);
509 mono_mb_emit_op (mb, CEE_CASTCLASS, pclass);
513 mono_marshal_emit_xdomain_copy_out_value (MonoMethodBuilder *mb, MonoClass *pclass)
515 mono_mb_emit_icall (mb, mono_marshal_xdomain_copy_out_value);
519 /* mono_marshal_supports_fast_xdomain()
520 * Returns TRUE if the method can use the fast xdomain wrapper.
523 mono_marshal_supports_fast_xdomain (MonoMethod *method)
525 return !mono_class_is_contextbound (method->klass) &&
526 !((method->flags & METHOD_ATTRIBUTE_SPECIAL_NAME) && (strcmp (".ctor", method->name) == 0));
530 mono_marshal_set_domain_by_id (gint32 id, MonoBoolean push)
532 MonoDomain *current_domain = mono_domain_get ();
533 MonoDomain *domain = mono_domain_get_by_id (id);
535 if (!domain || !mono_domain_set (domain, FALSE))
536 mono_raise_exception (mono_get_exception_appdomain_unloaded ());
539 mono_thread_push_appdomain_ref (domain);
541 mono_thread_pop_appdomain_ref ();
543 return current_domain->domain_id;
546 #if !defined (DISABLE_JIT)
548 mono_marshal_emit_switch_domain (MonoMethodBuilder *mb)
550 mono_mb_emit_icall (mb, mono_marshal_set_domain_by_id);
553 /* mono_marshal_emit_load_domain_method ()
554 * Loads into the stack a pointer to the code of the provided method for
555 * the current domain.
558 mono_marshal_emit_load_domain_method (MonoMethodBuilder *mb, MonoMethod *method)
560 /* We need a pointer to the method for the running domain (not the domain
561 * that compiles the method).
563 mono_mb_emit_ptr (mb, method);
564 mono_mb_emit_icall (mb, mono_compile_method);
568 /* mono_marshal_check_domain_image ()
569 * Returns TRUE if the image is loaded in the specified
570 * application domain.
573 mono_marshal_check_domain_image (gint32 domain_id, MonoImage *image)
578 MonoDomain *domain = mono_domain_get_by_id (domain_id);
582 mono_domain_assemblies_lock (domain);
583 for (tmp = domain->domain_assemblies; tmp; tmp = tmp->next) {
584 ass = (MonoAssembly *)tmp->data;
585 if (ass->image == image)
588 mono_domain_assemblies_unlock (domain);
593 /* mono_marshal_get_xappdomain_dispatch ()
594 * Generates a method that dispatches a method call from another domain into
595 * the current domain.
598 mono_marshal_get_xappdomain_dispatch (MonoMethod *method, int *marshal_types, int complex_count, int complex_out_count, int ret_marshal_type)
600 MonoMethodSignature *sig, *csig;
601 MonoMethodBuilder *mb;
603 int i, j, param_index, copy_locals_base;
604 MonoClass *ret_class = NULL;
605 int loc_array=0, loc_return=0, loc_serialized_exc=0;
606 MonoExceptionClause *main_clause;
608 gboolean copy_return;
611 if ((res = mono_marshal_remoting_find_in_cache (method, MONO_WRAPPER_XDOMAIN_DISPATCH)))
614 sig = mono_method_signature (method);
615 copy_return = (sig->ret->type != MONO_TYPE_VOID && ret_marshal_type != MONO_MARSHAL_SERIALIZE);
618 csig = mono_metadata_signature_alloc (mono_defaults.corlib, 3 + sig->param_count - complex_count);
619 csig->params [j++] = &mono_defaults.object_class->byval_arg;
620 csig->params [j++] = &byte_array_class->this_arg;
621 csig->params [j++] = &byte_array_class->this_arg;
622 for (i = 0; i < sig->param_count; i++) {
623 if (marshal_types [i] != MONO_MARSHAL_SERIALIZE)
624 csig->params [j++] = sig->params [i];
627 csig->ret = sig->ret;
629 csig->ret = &mono_defaults.void_class->byval_arg;
631 csig->hasthis = FALSE;
633 mb = mono_mb_new (method->klass, method->name, MONO_WRAPPER_XDOMAIN_DISPATCH);
634 mb->method->save_lmf = 1;
639 loc_serialized_exc = mono_mb_add_local (mb, &byte_array_class->byval_arg);
640 if (complex_count > 0)
641 loc_array = mono_mb_add_local (mb, &mono_defaults.object_class->byval_arg);
642 if (sig->ret->type != MONO_TYPE_VOID) {
643 loc_return = mono_mb_add_local (mb, sig->ret);
644 ret_class = mono_class_from_mono_type (sig->ret);
649 main_clause = (MonoExceptionClause *)mono_image_alloc0 (method->klass->image, sizeof (MonoExceptionClause));
650 main_clause->try_offset = mono_mb_get_label (mb);
652 /* Clean the call context */
654 mono_mb_emit_byte (mb, CEE_LDNULL);
655 mono_mb_emit_managed_call (mb, method_set_call_context, NULL);
656 mono_mb_emit_byte (mb, CEE_POP);
658 /* Deserialize call data */
660 mono_mb_emit_ldarg (mb, 1);
661 mono_mb_emit_byte (mb, CEE_LDIND_REF);
662 mono_mb_emit_byte (mb, CEE_DUP);
663 pos = mono_mb_emit_short_branch (mb, CEE_BRFALSE_S);
665 mono_marshal_emit_xdomain_copy_value (mb, byte_array_class);
666 mono_mb_emit_managed_call (mb, method_rs_deserialize, NULL);
668 if (complex_count > 0)
669 mono_mb_emit_stloc (mb, loc_array);
671 mono_mb_emit_byte (mb, CEE_POP);
673 mono_mb_patch_short_branch (mb, pos);
675 /* Get the target object */
677 mono_mb_emit_ldarg (mb, 0);
678 mono_mb_emit_managed_call (mb, method_rs_appdomain_target, NULL);
680 /* Load the arguments */
682 copy_locals_base = mb->locals;
683 param_index = 3; // Index of the first non-serialized parameter of this wrapper
685 for (i = 0; i < sig->param_count; i++) {
686 MonoType *pt = sig->params [i];
687 MonoClass *pclass = mono_class_from_mono_type (pt);
688 switch (marshal_types [i]) {
689 case MONO_MARSHAL_SERIALIZE: {
690 /* take the value from the serialized array */
691 mono_mb_emit_ldloc (mb, loc_array);
692 mono_mb_emit_icon (mb, j++);
694 if (pclass->valuetype) {
695 mono_mb_emit_byte (mb, CEE_LDELEM_REF);
696 mono_mb_emit_op (mb, CEE_UNBOX, pclass);
698 mono_mb_emit_op (mb, CEE_LDELEMA, pclass);
701 if (pclass->valuetype) {
702 mono_mb_emit_byte (mb, CEE_LDELEM_REF);
703 mono_mb_emit_op (mb, CEE_UNBOX, pclass);
704 mono_mb_emit_op (mb, CEE_LDOBJ, pclass);
706 mono_mb_emit_byte (mb, CEE_LDELEM_REF);
707 if (pclass != mono_defaults.object_class) {
708 mono_mb_emit_op (mb, CEE_CASTCLASS, pclass);
714 case MONO_MARSHAL_COPY_OUT: {
715 /* Keep a local copy of the value since we need to copy it back after the call */
716 int copy_local = mono_mb_add_local (mb, &(pclass->byval_arg));
717 mono_mb_emit_ldarg (mb, param_index++);
718 mono_marshal_emit_xdomain_copy_value (mb, pclass);
719 mono_mb_emit_byte (mb, CEE_DUP);
720 mono_mb_emit_stloc (mb, copy_local);
723 case MONO_MARSHAL_COPY: {
724 mono_mb_emit_ldarg (mb, param_index);
726 mono_mb_emit_byte (mb, CEE_DUP);
727 mono_mb_emit_byte (mb, CEE_DUP);
728 mono_mb_emit_byte (mb, CEE_LDIND_REF);
729 mono_marshal_emit_xdomain_copy_value (mb, pclass);
730 mono_mb_emit_byte (mb, CEE_STIND_REF);
732 mono_marshal_emit_xdomain_copy_value (mb, pclass);
737 case MONO_MARSHAL_NONE:
738 mono_mb_emit_ldarg (mb, param_index++);
743 /* Make the call to the real object */
745 mono_marshal_emit_thread_force_interrupt_checkpoint (mb);
747 mono_mb_emit_op (mb, CEE_CALLVIRT, method);
749 if (sig->ret->type != MONO_TYPE_VOID)
750 mono_mb_emit_stloc (mb, loc_return);
752 /* copy back MONO_MARSHAL_COPY_OUT parameters */
756 for (i = 0; i < sig->param_count; i++) {
757 if (marshal_types [i] == MONO_MARSHAL_SERIALIZE) continue;
758 if (marshal_types [i] == MONO_MARSHAL_COPY_OUT) {
759 mono_mb_emit_ldloc (mb, copy_locals_base + (j++));
760 mono_mb_emit_ldarg (mb, param_index);
761 mono_marshal_emit_xdomain_copy_out_value (mb, mono_class_from_mono_type (sig->params [i]));
766 /* Serialize the return values */
768 if (complex_out_count > 0) {
769 /* Reset parameters in the array that don't need to be serialized back */
771 for (i = 0; i < sig->param_count; i++) {
772 if (marshal_types[i] != MONO_MARSHAL_SERIALIZE) continue;
773 if (!sig->params [i]->byref) {
774 mono_mb_emit_ldloc (mb, loc_array);
775 mono_mb_emit_icon (mb, j);
776 mono_mb_emit_byte (mb, CEE_LDNULL);
777 mono_mb_emit_byte (mb, CEE_STELEM_REF);
782 /* Add the return value to the array */
784 if (ret_marshal_type == MONO_MARSHAL_SERIALIZE) {
785 mono_mb_emit_ldloc (mb, loc_array);
786 mono_mb_emit_icon (mb, complex_count); /* The array has an additional slot to hold the ret value */
787 mono_mb_emit_ldloc (mb, loc_return);
789 g_assert (ret_class); /*FIXME properly fail here*/
790 if (ret_class->valuetype) {
791 mono_mb_emit_op (mb, CEE_BOX, ret_class);
793 mono_mb_emit_byte (mb, CEE_STELEM_REF);
798 mono_mb_emit_ldarg (mb, 1);
799 mono_mb_emit_ldloc (mb, loc_array);
800 mono_mb_emit_managed_call (mb, method_rs_serialize, NULL);
801 mono_mb_emit_byte (mb, CEE_STIND_REF);
802 } else if (ret_marshal_type == MONO_MARSHAL_SERIALIZE) {
803 mono_mb_emit_ldarg (mb, 1);
804 mono_mb_emit_ldloc (mb, loc_return);
805 if (ret_class->valuetype) {
806 mono_mb_emit_op (mb, CEE_BOX, ret_class);
808 mono_mb_emit_managed_call (mb, method_rs_serialize, NULL);
809 mono_mb_emit_byte (mb, CEE_STIND_REF);
811 mono_mb_emit_ldarg (mb, 1);
812 mono_mb_emit_byte (mb, CEE_LDNULL);
813 mono_mb_emit_managed_call (mb, method_rs_serialize, NULL);
814 mono_mb_emit_byte (mb, CEE_STIND_REF);
817 mono_mb_emit_ldarg (mb, 2);
818 mono_mb_emit_byte (mb, CEE_LDNULL);
819 mono_mb_emit_byte (mb, CEE_STIND_REF);
820 pos_leave = mono_mb_emit_branch (mb, CEE_LEAVE);
822 /* Main exception catch */
823 main_clause->flags = MONO_EXCEPTION_CLAUSE_NONE;
824 main_clause->try_len = mono_mb_get_pos (mb) - main_clause->try_offset;
825 main_clause->data.catch_class = mono_defaults.object_class;
828 main_clause->handler_offset = mono_mb_get_label (mb);
829 mono_mb_emit_managed_call (mb, method_rs_serialize_exc, NULL);
830 mono_mb_emit_stloc (mb, loc_serialized_exc);
831 mono_mb_emit_ldarg (mb, 2);
832 mono_mb_emit_ldloc (mb, loc_serialized_exc);
833 mono_mb_emit_byte (mb, CEE_STIND_REF);
834 mono_mb_emit_branch (mb, CEE_LEAVE);
835 main_clause->handler_len = mono_mb_get_pos (mb) - main_clause->handler_offset;
838 mono_mb_patch_branch (mb, pos_leave);
841 mono_mb_emit_ldloc (mb, loc_return);
843 mono_mb_emit_byte (mb, CEE_RET);
845 mono_mb_set_clauses (mb, 1, main_clause);
848 info = mono_wrapper_info_create (mb, WRAPPER_SUBTYPE_NONE);
849 info->d.remoting.method = method;
850 res = mono_remoting_mb_create_and_cache (method, mb, csig, csig->param_count + 16, info);
856 /* mono_marshal_get_xappdomain_invoke ()
857 * Generates a fast remoting wrapper for cross app domain calls.
860 mono_marshal_get_xappdomain_invoke (MonoMethod *method)
862 MonoMethodSignature *sig;
863 MonoMethodBuilder *mb;
865 int i, j, complex_count, complex_out_count, copy_locals_base;
867 MonoClass *ret_class = NULL;
868 MonoMethod *xdomain_method;
869 int ret_marshal_type = MONO_MARSHAL_NONE;
870 int loc_array=0, loc_serialized_data=-1, loc_real_proxy;
871 int loc_old_domainid, loc_domainid, loc_return=0, loc_serialized_exc=0, loc_context;
872 int pos, pos_dispatch, pos_noex;
873 gboolean copy_return = FALSE;
878 if (method->wrapper_type == MONO_WRAPPER_REMOTING_INVOKE || method->wrapper_type == MONO_WRAPPER_XDOMAIN_INVOKE)
881 /* we cant remote methods without this pointer */
882 if (!mono_method_signature (method)->hasthis)
885 mono_remoting_marshal_init ();
887 if (!mono_marshal_supports_fast_xdomain (method))
888 return mono_marshal_get_remoting_invoke (method);
890 if ((res = mono_marshal_remoting_find_in_cache (method, MONO_WRAPPER_XDOMAIN_INVOKE)))
893 sig = mono_signature_no_pinvoke (method);
895 mb = mono_mb_new (method->klass, method->name, MONO_WRAPPER_XDOMAIN_INVOKE);
896 mb->method->save_lmf = 1;
898 /* Count the number of parameters that need to be serialized */
900 marshal_types = (int *)alloca (sizeof (int) * sig->param_count);
901 complex_count = complex_out_count = 0;
902 for (i = 0; i < sig->param_count; i++) {
903 MonoType *ptype = sig->params[i];
904 int mt = mono_get_xdomain_marshal_type (ptype);
906 /* If the [Out] attribute is applied to a parameter that can be internally copied,
907 * the copy will be made by reusing the original object instance
909 if ((ptype->attrs & PARAM_ATTRIBUTE_OUT) != 0 && mt == MONO_MARSHAL_COPY && !ptype->byref)
910 mt = MONO_MARSHAL_COPY_OUT;
911 else if (mt == MONO_MARSHAL_SERIALIZE) {
913 if (ptype->byref) complex_out_count++;
915 marshal_types [i] = mt;
918 if (sig->ret->type != MONO_TYPE_VOID) {
919 ret_marshal_type = mono_get_xdomain_marshal_type (sig->ret);
920 ret_class = mono_class_from_mono_type (sig->ret);
921 copy_return = ret_marshal_type != MONO_MARSHAL_SERIALIZE;
927 if (complex_count > 0)
928 loc_array = mono_mb_add_local (mb, &mono_defaults.object_class->byval_arg);
929 loc_serialized_data = mono_mb_add_local (mb, &byte_array_class->byval_arg);
930 loc_real_proxy = mono_mb_add_local (mb, &mono_defaults.object_class->byval_arg);
932 loc_return = mono_mb_add_local (mb, sig->ret);
933 loc_old_domainid = mono_mb_add_local (mb, &mono_defaults.int32_class->byval_arg);
934 loc_domainid = mono_mb_add_local (mb, &mono_defaults.int32_class->byval_arg);
935 loc_serialized_exc = mono_mb_add_local (mb, &byte_array_class->byval_arg);
936 loc_context = mono_mb_add_local (mb, &mono_defaults.object_class->byval_arg);
938 /* Save thread domain data */
940 mono_mb_emit_icall (mb, mono_context_get);
941 mono_mb_emit_byte (mb, CEE_DUP);
942 mono_mb_emit_stloc (mb, loc_context);
944 /* If the thread is not running in the default context, it needs to go
945 * through the whole remoting sink, since the context is going to change
947 mono_mb_emit_managed_call (mb, method_needs_context_sink, NULL);
948 pos = mono_mb_emit_short_branch (mb, CEE_BRTRUE_S);
950 /* Another case in which the fast path can't be used: when the target domain
951 * has a different image for the same assembly.
954 /* Get the target domain id */
956 mono_mb_emit_ldarg (mb, 0);
957 mono_mb_emit_ldflda (mb, MONO_STRUCT_OFFSET (MonoTransparentProxy, rp));
958 mono_mb_emit_byte (mb, CEE_LDIND_REF);
959 mono_mb_emit_byte (mb, CEE_DUP);
960 mono_mb_emit_stloc (mb, loc_real_proxy);
962 mono_mb_emit_ldflda (mb, MONO_STRUCT_OFFSET (MonoRealProxy, target_domain_id));
963 mono_mb_emit_byte (mb, CEE_LDIND_I4);
964 mono_mb_emit_stloc (mb, loc_domainid);
966 /* Check if the target domain has the same image for the required assembly */
968 mono_mb_emit_ldloc (mb, loc_domainid);
969 mono_mb_emit_ptr (mb, method->klass->image);
970 mono_mb_emit_icall (mb, mono_marshal_check_domain_image);
971 pos_dispatch = mono_mb_emit_short_branch (mb, CEE_BRTRUE_S);
973 /* Use the whole remoting sink to dispatch this message */
975 mono_mb_patch_short_branch (mb, pos);
977 mono_mb_emit_ldarg (mb, 0);
978 for (i = 0; i < sig->param_count; i++)
979 mono_mb_emit_ldarg (mb, i + 1);
981 mono_mb_emit_managed_call (mb, mono_marshal_get_remoting_invoke (method), NULL);
982 mono_mb_emit_byte (mb, CEE_RET);
983 mono_mb_patch_short_branch (mb, pos_dispatch);
985 /* Create the array that will hold the parameters to be serialized */
987 if (complex_count > 0) {
988 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 */
989 mono_mb_emit_op (mb, CEE_NEWARR, mono_defaults.object_class);
992 for (i = 0; i < sig->param_count; i++) {
994 if (marshal_types [i] != MONO_MARSHAL_SERIALIZE) continue;
995 pclass = mono_class_from_mono_type (sig->params[i]);
996 mono_mb_emit_byte (mb, CEE_DUP);
997 mono_mb_emit_icon (mb, j);
998 mono_mb_emit_ldarg (mb, i + 1); /* 0=this */
999 if (sig->params[i]->byref) {
1000 if (pclass->valuetype)
1001 mono_mb_emit_op (mb, CEE_LDOBJ, pclass);
1003 mono_mb_emit_byte (mb, CEE_LDIND_REF);
1005 if (pclass->valuetype)
1006 mono_mb_emit_op (mb, CEE_BOX, pclass);
1007 mono_mb_emit_byte (mb, CEE_STELEM_REF);
1010 mono_mb_emit_stloc (mb, loc_array);
1012 /* Serialize parameters */
1014 mono_mb_emit_ldloc (mb, loc_array);
1015 mono_mb_emit_managed_call (mb, method_rs_serialize, NULL);
1016 mono_mb_emit_stloc (mb, loc_serialized_data);
1018 mono_mb_emit_byte (mb, CEE_LDNULL);
1019 mono_mb_emit_managed_call (mb, method_rs_serialize, NULL);
1020 mono_mb_emit_stloc (mb, loc_serialized_data);
1025 mono_mb_emit_ldloc (mb, loc_domainid);
1026 mono_mb_emit_byte (mb, CEE_LDC_I4_1);
1027 mono_marshal_emit_switch_domain (mb);
1028 mono_mb_emit_stloc (mb, loc_old_domainid);
1030 /* Load the arguments */
1032 mono_mb_emit_ldloc (mb, loc_real_proxy);
1033 mono_mb_emit_ldloc_addr (mb, loc_serialized_data);
1034 mono_mb_emit_ldloc_addr (mb, loc_serialized_exc);
1036 copy_locals_base = mb->locals;
1037 for (i = 0; i < sig->param_count; i++) {
1038 switch (marshal_types [i]) {
1039 case MONO_MARSHAL_SERIALIZE:
1041 case MONO_MARSHAL_COPY: {
1042 mono_mb_emit_ldarg (mb, i+1);
1043 if (sig->params [i]->byref) {
1044 /* make a local copy of the byref parameter. The real parameter
1045 * will be updated after the xdomain call
1047 MonoClass *pclass = mono_class_from_mono_type (sig->params [i]);
1048 int copy_local = mono_mb_add_local (mb, &(pclass->byval_arg));
1049 mono_mb_emit_byte (mb, CEE_LDIND_REF);
1050 mono_mb_emit_stloc (mb, copy_local);
1051 mono_mb_emit_ldloc_addr (mb, copy_local);
1055 case MONO_MARSHAL_COPY_OUT:
1056 case MONO_MARSHAL_NONE:
1057 mono_mb_emit_ldarg (mb, i+1);
1062 /* Make the call to the invoke wrapper in the target domain */
1064 xdomain_method = mono_marshal_get_xappdomain_dispatch (method, marshal_types, complex_count, complex_out_count, ret_marshal_type);
1065 mono_marshal_emit_load_domain_method (mb, xdomain_method);
1066 mono_mb_emit_calli (mb, mono_method_signature (xdomain_method));
1069 mono_mb_emit_stloc (mb, loc_return);
1073 mono_mb_emit_ldloc (mb, loc_old_domainid);
1074 mono_mb_emit_byte (mb, CEE_LDC_I4_0);
1075 mono_marshal_emit_switch_domain (mb);
1076 mono_mb_emit_byte (mb, CEE_POP);
1078 /* Restore thread domain data */
1080 mono_mb_emit_ldloc (mb, loc_context);
1081 mono_mb_emit_icall (mb, mono_context_set);
1083 /* if (loc_serialized_exc != null) ... */
1085 mono_mb_emit_ldloc (mb, loc_serialized_exc);
1086 pos_noex = mono_mb_emit_short_branch (mb, CEE_BRFALSE_S);
1088 mono_mb_emit_ldloc (mb, loc_serialized_exc);
1089 mono_marshal_emit_xdomain_copy_value (mb, byte_array_class);
1090 mono_mb_emit_managed_call (mb, method_rs_deserialize, NULL);
1091 mono_mb_emit_op (mb, CEE_CASTCLASS, mono_defaults.exception_class);
1092 mono_mb_emit_managed_call (mb, method_exc_fixexc, NULL);
1093 mono_mb_emit_byte (mb, CEE_THROW);
1094 mono_mb_patch_short_branch (mb, pos_noex);
1096 /* copy back non-serialized output parameters */
1099 for (i = 0; i < sig->param_count; i++) {
1100 if (!sig->params [i]->byref || marshal_types [i] != MONO_MARSHAL_COPY) continue;
1101 mono_mb_emit_ldarg (mb, i + 1);
1102 mono_mb_emit_ldloc (mb, copy_locals_base + (j++));
1103 mono_marshal_emit_xdomain_copy_value (mb, mono_class_from_mono_type (sig->params [i]));
1104 mono_mb_emit_byte (mb, CEE_STIND_REF);
1107 /* Deserialize out parameters */
1109 if (complex_out_count > 0) {
1110 mono_mb_emit_ldloc (mb, loc_serialized_data);
1111 mono_marshal_emit_xdomain_copy_value (mb, byte_array_class);
1112 mono_mb_emit_managed_call (mb, method_rs_deserialize, NULL);
1113 mono_mb_emit_stloc (mb, loc_array);
1115 /* Copy back output parameters and return type */
1118 for (i = 0; i < sig->param_count; i++) {
1119 if (marshal_types [i] != MONO_MARSHAL_SERIALIZE) continue;
1120 if (sig->params[i]->byref) {
1121 MonoClass *pclass = mono_class_from_mono_type (sig->params [i]);
1122 mono_mb_emit_ldarg (mb, i + 1);
1123 mono_mb_emit_ldloc (mb, loc_array);
1124 mono_mb_emit_icon (mb, j);
1125 mono_mb_emit_byte (mb, CEE_LDELEM_REF);
1126 if (pclass->valuetype) {
1127 mono_mb_emit_op (mb, CEE_UNBOX, pclass);
1128 mono_mb_emit_op (mb, CEE_LDOBJ, pclass);
1129 mono_mb_emit_op (mb, CEE_STOBJ, pclass);
1131 if (pclass != mono_defaults.object_class)
1132 mono_mb_emit_op (mb, CEE_CASTCLASS, pclass);
1133 mono_mb_emit_byte (mb, CEE_STIND_REF);
1139 if (ret_marshal_type == MONO_MARSHAL_SERIALIZE) {
1140 mono_mb_emit_ldloc (mb, loc_array);
1141 mono_mb_emit_icon (mb, complex_count);
1142 mono_mb_emit_byte (mb, CEE_LDELEM_REF);
1143 if (ret_class->valuetype) {
1144 mono_mb_emit_op (mb, CEE_UNBOX, ret_class);
1145 mono_mb_emit_op (mb, CEE_LDOBJ, ret_class);
1148 } else if (ret_marshal_type == MONO_MARSHAL_SERIALIZE) {
1149 mono_mb_emit_ldloc (mb, loc_serialized_data);
1150 mono_marshal_emit_xdomain_copy_value (mb, byte_array_class);
1151 mono_mb_emit_managed_call (mb, method_rs_deserialize, NULL);
1152 if (ret_class->valuetype) {
1153 mono_mb_emit_op (mb, CEE_UNBOX, ret_class);
1154 mono_mb_emit_op (mb, CEE_LDOBJ, ret_class);
1155 } else if (ret_class != mono_defaults.object_class) {
1156 mono_mb_emit_op (mb, CEE_CASTCLASS, ret_class);
1159 mono_mb_emit_ldloc (mb, loc_serialized_data);
1160 mono_mb_emit_byte (mb, CEE_DUP);
1161 pos = mono_mb_emit_short_branch (mb, CEE_BRFALSE_S);
1162 mono_marshal_emit_xdomain_copy_value (mb, byte_array_class);
1164 mono_mb_patch_short_branch (mb, pos);
1165 mono_mb_emit_managed_call (mb, method_rs_deserialize, NULL);
1166 mono_mb_emit_byte (mb, CEE_POP);
1170 mono_mb_emit_ldloc (mb, loc_return);
1171 if (ret_marshal_type == MONO_MARSHAL_COPY)
1172 mono_marshal_emit_xdomain_copy_value (mb, ret_class);
1175 mono_mb_emit_byte (mb, CEE_RET);
1176 #endif /* DISABLE_JIT */
1178 info = mono_wrapper_info_create (mb, WRAPPER_SUBTYPE_NONE);
1179 info->d.remoting.method = method;
1180 res = mono_remoting_mb_create_and_cache (method, mb, sig, sig->param_count + 16, info);
1187 mono_marshal_get_remoting_invoke_for_target (MonoMethod *method, MonoRemotingTarget target_type)
1189 if (target_type == MONO_REMOTING_TARGET_APPDOMAIN) {
1190 return mono_marshal_get_xappdomain_invoke (method);
1191 } else if (target_type == MONO_REMOTING_TARGET_COMINTEROP) {
1193 return mono_cominterop_get_invoke (method);
1195 g_assert_not_reached ();
1198 return mono_marshal_get_remoting_invoke (method);
1204 G_GNUC_UNUSED static gpointer
1205 mono_marshal_load_remoting_wrapper (MonoRealProxy *rp, MonoMethod *method)
1207 if (rp->target_domain_id != -1)
1208 return mono_compile_method (mono_marshal_get_xappdomain_invoke (method));
1210 return mono_compile_method (mono_marshal_get_remoting_invoke (method));
1214 mono_marshal_get_remoting_invoke_with_check (MonoMethod *method)
1216 MonoMethodSignature *sig;
1217 MonoMethodBuilder *mb;
1218 MonoMethod *res, *native;
1220 int i, pos, pos_rem;
1224 if (method->wrapper_type == MONO_WRAPPER_REMOTING_INVOKE_WITH_CHECK)
1227 /* we cant remote methods without this pointer */
1228 g_assert (mono_method_signature (method)->hasthis);
1230 if ((res = mono_marshal_remoting_find_in_cache (method, MONO_WRAPPER_REMOTING_INVOKE_WITH_CHECK)))
1233 sig = mono_signature_no_pinvoke (method);
1235 mb = mono_mb_new (method->klass, method->name, MONO_WRAPPER_REMOTING_INVOKE_WITH_CHECK);
1238 for (i = 0; i <= sig->param_count; i++)
1239 mono_mb_emit_ldarg (mb, i);
1241 mono_mb_emit_ldarg (mb, 0);
1242 pos = mono_mb_emit_proxy_check (mb, CEE_BNE_UN);
1244 if (mono_marshal_supports_fast_xdomain (method)) {
1245 mono_mb_emit_ldarg (mb, 0);
1246 pos_rem = mono_mb_emit_xdomain_check (mb, CEE_BEQ);
1248 /* wrapper for cross app domain calls */
1249 native = mono_marshal_get_xappdomain_invoke (method);
1250 mono_mb_emit_managed_call (mb, native, mono_method_signature (native));
1251 mono_mb_emit_byte (mb, CEE_RET);
1253 mono_mb_patch_branch (mb, pos_rem);
1255 /* wrapper for normal remote calls */
1256 native = mono_marshal_get_remoting_invoke (method);
1257 mono_mb_emit_managed_call (mb, native, mono_method_signature (native));
1258 mono_mb_emit_byte (mb, CEE_RET);
1261 mono_mb_patch_branch (mb, pos);
1262 mono_mb_emit_managed_call (mb, method, mono_method_signature (method));
1263 mono_mb_emit_byte (mb, CEE_RET);
1266 info = mono_wrapper_info_create (mb, WRAPPER_SUBTYPE_NONE);
1267 info->d.remoting.method = method;
1268 res = mono_remoting_mb_create_and_cache (method, mb, sig, sig->param_count + 16, info);
1275 * mono_marshal_get_ldfld_remote_wrapper:
1276 * @klass: The return type
1278 * This method generates a wrapper for calling mono_load_remote_field_new.
1279 * The return type is ignored for now, as mono_load_remote_field_new () always
1280 * returns an object. In the future, to optimize some codepaths, we might
1281 * call a different function that takes a pointer to a valuetype, instead.
1284 mono_marshal_get_ldfld_remote_wrapper (MonoClass *klass)
1286 MonoMethodSignature *sig, *csig;
1287 MonoMethodBuilder *mb;
1289 static MonoMethod* cached = NULL;
1291 mono_marshal_lock_internal ();
1293 mono_marshal_unlock_internal ();
1296 mono_marshal_unlock_internal ();
1298 mb = mono_mb_new_no_dup_name (mono_defaults.object_class, "__mono_load_remote_field_new_wrapper", MONO_WRAPPER_LDFLD_REMOTE);
1300 mb->method->save_lmf = 1;
1302 sig = mono_metadata_signature_alloc (mono_defaults.corlib, 3);
1303 sig->params [0] = &mono_defaults.object_class->byval_arg;
1304 sig->params [1] = &mono_defaults.int_class->byval_arg;
1305 sig->params [2] = &mono_defaults.int_class->byval_arg;
1306 sig->ret = &mono_defaults.object_class->byval_arg;
1309 mono_mb_emit_ldarg (mb, 0);
1310 mono_mb_emit_ldarg (mb, 1);
1311 mono_mb_emit_ldarg (mb, 2);
1313 csig = mono_metadata_signature_alloc (mono_defaults.corlib, 3);
1314 csig->params [0] = &mono_defaults.object_class->byval_arg;
1315 csig->params [1] = &mono_defaults.int_class->byval_arg;
1316 csig->params [2] = &mono_defaults.int_class->byval_arg;
1317 csig->ret = &mono_defaults.object_class->byval_arg;
1320 mono_mb_emit_native_call (mb, csig, mono_load_remote_field_new);
1321 mono_marshal_emit_thread_interrupt_checkpoint (mb);
1323 mono_mb_emit_byte (mb, CEE_RET);
1326 mono_marshal_lock_internal ();
1328 mono_marshal_unlock_internal ();
1331 newm = mono_mb_create (mb, sig, 4, NULL);
1332 mono_marshal_lock_internal ();
1337 mono_marshal_unlock_internal ();
1339 mono_marshal_unlock_internal ();
1340 mono_free_method (newm);
1349 * mono_marshal_get_ldfld_wrapper:
1350 * @type: the type of the field
1352 * This method generates a function which can be use to load a field with type
1353 * @type from an object. The generated function has the following signature:
1354 * <@type> ldfld_wrapper (MonoObject *this_obj, MonoClass *klass, MonoClassField *field, int offset)
1357 mono_marshal_get_ldfld_wrapper (MonoType *type)
1359 MonoMethodSignature *sig;
1360 MonoMethodBuilder *mb;
1366 int t, pos0, pos1 = 0;
1368 type = mono_type_get_underlying_type (type);
1373 if (type->type == MONO_TYPE_SZARRAY) {
1374 klass = mono_defaults.array_class;
1375 } else if (type->type == MONO_TYPE_VALUETYPE) {
1376 klass = type->data.klass;
1377 } else if (t == MONO_TYPE_OBJECT || t == MONO_TYPE_CLASS || t == MONO_TYPE_STRING) {
1378 klass = mono_defaults.object_class;
1379 } else if (t == MONO_TYPE_PTR || t == MONO_TYPE_FNPTR) {
1380 klass = mono_defaults.int_class;
1381 } else if (t == MONO_TYPE_GENERICINST) {
1382 if (mono_type_generic_inst_is_valuetype (type))
1383 klass = mono_class_from_mono_type (type);
1385 klass = mono_defaults.object_class;
1387 klass = mono_class_from_mono_type (type);
1390 klass = mono_defaults.int_class;
1393 cache = get_cache (&klass->image->ldfld_wrapper_cache, mono_aligned_addr_hash, NULL);
1394 if ((res = mono_marshal_find_in_cache (cache, klass)))
1397 /* we add the %p pointer value of klass because class names are not unique */
1398 name = g_strdup_printf ("__ldfld_wrapper_%p_%s.%s", klass, klass->name_space, klass->name);
1399 mb = mono_mb_new (mono_defaults.object_class, name, MONO_WRAPPER_LDFLD);
1402 sig = mono_metadata_signature_alloc (mono_defaults.corlib, 4);
1403 sig->params [0] = &mono_defaults.object_class->byval_arg;
1404 sig->params [1] = &mono_defaults.int_class->byval_arg;
1405 sig->params [2] = &mono_defaults.int_class->byval_arg;
1406 sig->params [3] = &mono_defaults.int_class->byval_arg;
1407 sig->ret = &klass->byval_arg;
1410 mono_mb_emit_ldarg (mb, 0);
1411 pos0 = mono_mb_emit_proxy_check (mb, CEE_BNE_UN);
1413 mono_mb_emit_ldarg (mb, 0);
1414 mono_mb_emit_ldarg (mb, 1);
1415 mono_mb_emit_ldarg (mb, 2);
1417 mono_mb_emit_managed_call (mb, mono_marshal_get_ldfld_remote_wrapper (klass), NULL);
1420 csig = mono_metadata_signature_alloc (mono_defaults.corlib, 3);
1421 csig->params [0] = &mono_defaults.object_class->byval_arg;
1422 csig->params [1] = &mono_defaults.int_class->byval_arg;
1423 csig->params [2] = &mono_defaults.int_class->byval_arg;
1424 csig->ret = &klass->this_arg;
1427 mono_mb_emit_native_call (mb, csig, mono_load_remote_field_new);
1428 mono_marshal_emit_thread_interrupt_checkpoint (mb);
1431 if (klass->valuetype) {
1432 mono_mb_emit_op (mb, CEE_UNBOX, klass);
1433 pos1 = mono_mb_emit_branch (mb, CEE_BR);
1435 mono_mb_emit_byte (mb, CEE_RET);
1438 mono_mb_patch_branch (mb, pos0);
1440 mono_mb_emit_ldarg (mb, 0);
1441 mono_mb_emit_byte (mb, MONO_CUSTOM_PREFIX);
1442 mono_mb_emit_byte (mb, CEE_MONO_OBJADDR);
1443 mono_mb_emit_ldarg (mb, 3);
1444 mono_mb_emit_byte (mb, CEE_ADD);
1446 if (klass->valuetype)
1447 mono_mb_patch_branch (mb, pos1);
1452 case MONO_TYPE_BOOLEAN:
1453 case MONO_TYPE_CHAR:
1462 case MONO_TYPE_ARRAY:
1463 case MONO_TYPE_SZARRAY:
1464 case MONO_TYPE_OBJECT:
1465 case MONO_TYPE_CLASS:
1466 case MONO_TYPE_STRING:
1470 case MONO_TYPE_FNPTR:
1471 mono_mb_emit_byte (mb, mono_type_to_ldind (type));
1473 case MONO_TYPE_VALUETYPE:
1474 g_assert (!klass->enumtype);
1475 mono_mb_emit_op (mb, CEE_LDOBJ, klass);
1477 case MONO_TYPE_GENERICINST:
1478 if (mono_type_generic_inst_is_valuetype (type)) {
1479 mono_mb_emit_op (mb, CEE_LDOBJ, klass);
1481 mono_mb_emit_byte (mb, CEE_LDIND_REF);
1485 case MONO_TYPE_MVAR:
1486 mono_mb_emit_op (mb, CEE_LDOBJ, klass);
1489 g_warning ("type %x not implemented", type->type);
1490 g_assert_not_reached ();
1493 mono_mb_emit_byte (mb, CEE_RET);
1494 #endif /* DISABLE_JIT */
1496 info = mono_wrapper_info_create (mb, WRAPPER_SUBTYPE_NONE);
1497 info->d.proxy.klass = klass;
1498 res = mono_mb_create_and_cache_full (cache, klass,
1499 mb, sig, sig->param_count + 16, info, NULL);
1506 * mono_marshal_get_ldflda_wrapper:
1507 * @type: the type of the field
1509 * This method generates a function which can be used to load a field address
1510 * from an object. The generated function has the following signature:
1511 * gpointer ldflda_wrapper (MonoObject *this_obj, MonoClass *klass, MonoClassField *field, int offset);
1514 mono_marshal_get_ldflda_wrapper (MonoType *type)
1516 MonoMethodSignature *sig;
1517 MonoMethodBuilder *mb;
1523 int t, pos0, pos1, pos2, pos3;
1525 type = mono_type_get_underlying_type (type);
1529 if (type->type == MONO_TYPE_SZARRAY) {
1530 klass = mono_defaults.array_class;
1531 } else if (type->type == MONO_TYPE_VALUETYPE) {
1532 klass = type->data.klass;
1533 } else if (t == MONO_TYPE_OBJECT || t == MONO_TYPE_CLASS || t == MONO_TYPE_STRING ||
1534 t == MONO_TYPE_CLASS) {
1535 klass = mono_defaults.object_class;
1536 } else if (t == MONO_TYPE_PTR || t == MONO_TYPE_FNPTR) {
1537 klass = mono_defaults.int_class;
1538 } else if (t == MONO_TYPE_GENERICINST) {
1539 if (mono_type_generic_inst_is_valuetype (type))
1540 klass = mono_class_from_mono_type (type);
1542 klass = mono_defaults.object_class;
1544 klass = mono_class_from_mono_type (type);
1547 klass = mono_defaults.int_class;
1550 cache = get_cache (&klass->image->ldflda_wrapper_cache, mono_aligned_addr_hash, NULL);
1551 if ((res = mono_marshal_find_in_cache (cache, klass)))
1554 /* we add the %p pointer value of klass because class names are not unique */
1555 name = g_strdup_printf ("__ldflda_wrapper_%p_%s.%s", klass, klass->name_space, klass->name);
1556 mb = mono_mb_new (mono_defaults.object_class, name, MONO_WRAPPER_LDFLDA);
1559 sig = mono_metadata_signature_alloc (mono_defaults.corlib, 4);
1560 sig->params [0] = &mono_defaults.object_class->byval_arg;
1561 sig->params [1] = &mono_defaults.int_class->byval_arg;
1562 sig->params [2] = &mono_defaults.int_class->byval_arg;
1563 sig->params [3] = &mono_defaults.int_class->byval_arg;
1564 sig->ret = &mono_defaults.int_class->byval_arg;
1567 /* if typeof (this) != transparent_proxy goto pos0 */
1568 mono_mb_emit_ldarg (mb, 0);
1569 pos0 = mono_mb_emit_proxy_check (mb, CEE_BNE_UN);
1571 /* if same_appdomain goto pos1 */
1572 mono_mb_emit_ldarg (mb, 0);
1573 pos1 = mono_mb_emit_xdomain_check (mb, CEE_BEQ);
1575 mono_mb_emit_exception_full (mb, "System", "InvalidOperationException", "Attempt to load field address from object in another appdomain.");
1577 /* same app domain */
1578 mono_mb_patch_branch (mb, pos1);
1580 /* if typeof (this) != contextbound goto pos2 */
1581 mono_mb_emit_ldarg (mb, 0);
1582 pos2 = mono_mb_emit_contextbound_check (mb, CEE_BEQ);
1584 /* if this->rp->context == mono_context_get goto pos3 */
1585 mono_mb_emit_ldarg (mb, 0);
1586 mono_mb_emit_ldflda (mb, MONO_STRUCT_OFFSET (MonoTransparentProxy, rp));
1587 mono_mb_emit_byte (mb, CEE_LDIND_REF);
1588 mono_mb_emit_ldflda (mb, MONO_STRUCT_OFFSET (MonoRealProxy, context));
1589 mono_mb_emit_byte (mb, CEE_LDIND_REF);
1590 mono_mb_emit_icall (mb, mono_context_get);
1591 pos3 = mono_mb_emit_branch (mb, CEE_BEQ);
1593 mono_mb_emit_exception_full (mb, "System", "InvalidOperationException", "Attempt to load field address from object in another context.");
1595 mono_mb_patch_branch (mb, pos2);
1596 mono_mb_patch_branch (mb, pos3);
1598 /* return the address of the field from this->rp->unwrapped_server */
1599 mono_mb_emit_ldarg (mb, 0);
1600 mono_mb_emit_ldflda (mb, MONO_STRUCT_OFFSET (MonoTransparentProxy, rp));
1601 mono_mb_emit_byte (mb, CEE_LDIND_REF);
1602 mono_mb_emit_ldflda (mb, MONO_STRUCT_OFFSET (MonoRealProxy, unwrapped_server));
1603 mono_mb_emit_byte (mb, CEE_LDIND_REF);
1604 mono_mb_emit_byte (mb, MONO_CUSTOM_PREFIX);
1605 mono_mb_emit_byte (mb, CEE_MONO_OBJADDR);
1606 mono_mb_emit_ldarg (mb, 3);
1607 mono_mb_emit_byte (mb, CEE_ADD);
1608 mono_mb_emit_byte (mb, CEE_RET);
1610 /* not a proxy: return the address of the field directly */
1611 mono_mb_patch_branch (mb, pos0);
1613 mono_mb_emit_ldarg (mb, 0);
1614 mono_mb_emit_byte (mb, MONO_CUSTOM_PREFIX);
1615 mono_mb_emit_byte (mb, CEE_MONO_OBJADDR);
1616 mono_mb_emit_ldarg (mb, 3);
1617 mono_mb_emit_byte (mb, CEE_ADD);
1619 mono_mb_emit_byte (mb, CEE_RET);
1622 info = mono_wrapper_info_create (mb, WRAPPER_SUBTYPE_NONE);
1623 info->d.proxy.klass = klass;
1624 res = mono_mb_create_and_cache_full (cache, klass,
1625 mb, sig, sig->param_count + 16,
1633 * mono_marshal_get_stfld_remote_wrapper:
1634 * klass: The type of the field
1636 * This function generates a wrapper for calling mono_store_remote_field_new
1637 * with the appropriate signature.
1638 * Similarly to mono_marshal_get_ldfld_remote_wrapper () this doesn't depend on the
1639 * klass argument anymore.
1642 mono_marshal_get_stfld_remote_wrapper (MonoClass *klass)
1644 MonoMethodSignature *sig, *csig;
1645 MonoMethodBuilder *mb;
1647 static MonoMethod *cached = NULL;
1649 mono_marshal_lock_internal ();
1651 mono_marshal_unlock_internal ();
1654 mono_marshal_unlock_internal ();
1656 mb = mono_mb_new_no_dup_name (mono_defaults.object_class, "__mono_store_remote_field_new_wrapper", MONO_WRAPPER_STFLD_REMOTE);
1658 mb->method->save_lmf = 1;
1660 sig = mono_metadata_signature_alloc (mono_defaults.corlib, 4);
1661 sig->params [0] = &mono_defaults.object_class->byval_arg;
1662 sig->params [1] = &mono_defaults.int_class->byval_arg;
1663 sig->params [2] = &mono_defaults.int_class->byval_arg;
1664 sig->params [3] = &mono_defaults.object_class->byval_arg;
1665 sig->ret = &mono_defaults.void_class->byval_arg;
1668 mono_mb_emit_ldarg (mb, 0);
1669 mono_mb_emit_ldarg (mb, 1);
1670 mono_mb_emit_ldarg (mb, 2);
1671 mono_mb_emit_ldarg (mb, 3);
1673 csig = mono_metadata_signature_alloc (mono_defaults.corlib, 4);
1674 csig->params [0] = &mono_defaults.object_class->byval_arg;
1675 csig->params [1] = &mono_defaults.int_class->byval_arg;
1676 csig->params [2] = &mono_defaults.int_class->byval_arg;
1677 csig->params [3] = &mono_defaults.object_class->byval_arg;
1678 csig->ret = &mono_defaults.void_class->byval_arg;
1681 mono_mb_emit_native_call (mb, csig, mono_store_remote_field_new);
1682 mono_marshal_emit_thread_interrupt_checkpoint (mb);
1684 mono_mb_emit_byte (mb, CEE_RET);
1687 mono_marshal_lock_internal ();
1689 mono_marshal_unlock_internal ();
1692 newm = mono_mb_create (mb, sig, 6, NULL);
1693 mono_marshal_lock_internal ();
1698 mono_marshal_unlock_internal ();
1700 mono_marshal_unlock_internal ();
1701 mono_free_method (newm);
1710 * mono_marshal_get_stfld_wrapper:
1711 * @type: the type of the field
1713 * This method generates a function which can be use to store a field with type
1714 * @type. The generated function has the following signature:
1715 * void stfld_wrapper (MonoObject *this_obj, MonoClass *klass, MonoClassField *field, int offset, <@type> val)
1718 mono_marshal_get_stfld_wrapper (MonoType *type)
1720 MonoMethodSignature *sig;
1721 MonoMethodBuilder *mb;
1729 type = mono_type_get_underlying_type (type);
1733 if (type->type == MONO_TYPE_SZARRAY) {
1734 klass = mono_defaults.array_class;
1735 } else if (type->type == MONO_TYPE_VALUETYPE) {
1736 klass = type->data.klass;
1737 } else if (t == MONO_TYPE_OBJECT || t == MONO_TYPE_CLASS || t == MONO_TYPE_STRING) {
1738 klass = mono_defaults.object_class;
1739 } else if (t == MONO_TYPE_PTR || t == MONO_TYPE_FNPTR) {
1740 klass = mono_defaults.int_class;
1741 } else if (t == MONO_TYPE_GENERICINST) {
1742 if (mono_type_generic_inst_is_valuetype (type))
1743 klass = mono_class_from_mono_type (type);
1745 klass = mono_defaults.object_class;
1747 klass = mono_class_from_mono_type (type);
1750 klass = mono_defaults.int_class;
1753 cache = get_cache (&klass->image->stfld_wrapper_cache, mono_aligned_addr_hash, NULL);
1754 if ((res = mono_marshal_find_in_cache (cache, klass)))
1757 /* we add the %p pointer value of klass because class names are not unique */
1758 name = g_strdup_printf ("__stfld_wrapper_%p_%s.%s", klass, klass->name_space, klass->name);
1759 mb = mono_mb_new (mono_defaults.object_class, name, MONO_WRAPPER_STFLD);
1762 sig = mono_metadata_signature_alloc (mono_defaults.corlib, 5);
1763 sig->params [0] = &mono_defaults.object_class->byval_arg;
1764 sig->params [1] = &mono_defaults.int_class->byval_arg;
1765 sig->params [2] = &mono_defaults.int_class->byval_arg;
1766 sig->params [3] = &mono_defaults.int_class->byval_arg;
1767 sig->params [4] = &klass->byval_arg;
1768 sig->ret = &mono_defaults.void_class->byval_arg;
1771 mono_mb_emit_ldarg (mb, 0);
1772 pos = mono_mb_emit_proxy_check (mb, CEE_BNE_UN);
1774 mono_mb_emit_ldarg (mb, 0);
1775 mono_mb_emit_ldarg (mb, 1);
1776 mono_mb_emit_ldarg (mb, 2);
1777 mono_mb_emit_ldarg (mb, 4);
1778 if (klass->valuetype)
1779 mono_mb_emit_op (mb, CEE_BOX, klass);
1781 mono_mb_emit_managed_call (mb, mono_marshal_get_stfld_remote_wrapper (klass), NULL);
1783 mono_mb_emit_byte (mb, CEE_RET);
1785 mono_mb_patch_branch (mb, pos);
1787 mono_mb_emit_ldarg (mb, 0);
1788 mono_mb_emit_byte (mb, MONO_CUSTOM_PREFIX);
1789 mono_mb_emit_byte (mb, CEE_MONO_OBJADDR);
1790 mono_mb_emit_ldarg (mb, 3);
1791 mono_mb_emit_byte (mb, CEE_ADD);
1792 mono_mb_emit_ldarg (mb, 4);
1797 case MONO_TYPE_BOOLEAN:
1798 case MONO_TYPE_CHAR:
1807 case MONO_TYPE_ARRAY:
1808 case MONO_TYPE_SZARRAY:
1809 case MONO_TYPE_OBJECT:
1810 case MONO_TYPE_CLASS:
1811 case MONO_TYPE_STRING:
1815 case MONO_TYPE_FNPTR:
1816 mono_mb_emit_byte (mb, mono_type_to_stind (type));
1818 case MONO_TYPE_VALUETYPE:
1819 g_assert (!klass->enumtype);
1820 mono_mb_emit_op (mb, CEE_STOBJ, klass);
1822 case MONO_TYPE_GENERICINST:
1824 case MONO_TYPE_MVAR:
1825 mono_mb_emit_op (mb, CEE_STOBJ, klass);
1828 g_warning ("type %x not implemented", type->type);
1829 g_assert_not_reached ();
1832 mono_mb_emit_byte (mb, CEE_RET);
1835 info = mono_wrapper_info_create (mb, WRAPPER_SUBTYPE_NONE);
1836 info->d.proxy.klass = klass;
1837 res = mono_mb_create_and_cache_full (cache, klass,
1838 mb, sig, sig->param_count + 16,
1846 mono_marshal_get_proxy_cancast (MonoClass *klass)
1848 static MonoMethodSignature *isint_sig = NULL;
1852 int pos_failed, pos_end;
1853 char *name, *klass_name;
1854 MonoMethod *can_cast_to;
1855 MonoMethodDesc *desc;
1856 MonoMethodBuilder *mb;
1858 cache = get_cache (&klass->image->proxy_isinst_cache, mono_aligned_addr_hash, NULL);
1859 if ((res = mono_marshal_find_in_cache (cache, klass)))
1863 isint_sig = mono_metadata_signature_alloc (mono_defaults.corlib, 1);
1864 isint_sig->params [0] = &mono_defaults.object_class->byval_arg;
1865 isint_sig->ret = &mono_defaults.object_class->byval_arg;
1866 isint_sig->pinvoke = 0;
1869 klass_name = mono_type_full_name (&klass->byval_arg);
1870 name = g_strdup_printf ("__proxy_isinst_wrapper_%s", klass_name);
1871 mb = mono_mb_new (mono_defaults.object_class, name, MONO_WRAPPER_PROXY_ISINST);
1872 g_free (klass_name);
1875 mb->method->save_lmf = 1;
1878 /* get the real proxy from the transparent proxy*/
1879 mono_mb_emit_ldarg (mb, 0);
1880 mono_mb_emit_ldflda (mb, MONO_STRUCT_OFFSET (MonoTransparentProxy, rp));
1881 mono_mb_emit_byte (mb, CEE_LDIND_REF);
1883 /* get the reflection type from the type handle */
1884 mono_mb_emit_ptr (mb, &klass->byval_arg);
1885 mono_mb_emit_icall (mb, type_from_handle);
1887 mono_mb_emit_ldarg (mb, 0);
1889 /* make the call to CanCastTo (type, ob) */
1890 desc = mono_method_desc_new ("IRemotingTypeInfo:CanCastTo", FALSE);
1891 can_cast_to = mono_method_desc_search_in_class (desc, mono_defaults.iremotingtypeinfo_class);
1892 g_assert (can_cast_to);
1893 mono_method_desc_free (desc);
1894 mono_mb_emit_op (mb, CEE_CALLVIRT, can_cast_to);
1896 pos_failed = mono_mb_emit_branch (mb, CEE_BRFALSE);
1898 /* Upgrade the proxy vtable by calling: mono_upgrade_remote_class_wrapper (type, ob)*/
1899 mono_mb_emit_ptr (mb, &klass->byval_arg);
1900 mono_mb_emit_icall (mb, type_from_handle);
1901 mono_mb_emit_ldarg (mb, 0);
1903 mono_mb_emit_icall (mb, mono_upgrade_remote_class_wrapper);
1904 mono_marshal_emit_thread_interrupt_checkpoint (mb);
1906 mono_mb_emit_ldarg (mb, 0);
1907 pos_end = mono_mb_emit_branch (mb, CEE_BR);
1911 mono_mb_patch_branch (mb, pos_failed);
1912 mono_mb_emit_byte (mb, CEE_LDNULL);
1916 mono_mb_patch_branch (mb, pos_end);
1917 mono_mb_emit_byte (mb, CEE_RET);
1920 info = mono_wrapper_info_create (mb, WRAPPER_SUBTYPE_NONE);
1921 info->d.proxy.klass = klass;
1922 res = mono_mb_create_and_cache_full (cache, klass, mb, isint_sig, isint_sig->param_count + 16, info, NULL);
1929 mono_upgrade_remote_class_wrapper (MonoReflectionType *rtype, MonoTransparentProxy *tproxy)
1932 MonoDomain *domain = ((MonoObject*)tproxy)->vtable->domain;
1933 klass = mono_class_from_mono_type (rtype->type);
1934 mono_upgrade_remote_class (domain, (MonoObject*)tproxy, klass);
1937 #else /* DISABLE_REMOTING */
1940 mono_remoting_init (void)
1944 #endif /* DISABLE_REMOTING */
1946 /* mono_get_xdomain_marshal_type()
1947 * Returns the kind of marshalling that a type needs for cross domain calls.
1949 static MonoXDomainMarshalType
1950 mono_get_xdomain_marshal_type (MonoType *t)
1953 case MONO_TYPE_VOID:
1954 g_assert_not_reached ();
1958 case MONO_TYPE_BOOLEAN:
1961 case MONO_TYPE_CHAR:
1968 return MONO_MARSHAL_NONE;
1969 case MONO_TYPE_STRING:
1970 return MONO_MARSHAL_COPY;
1971 case MONO_TYPE_ARRAY:
1972 case MONO_TYPE_SZARRAY: {
1973 MonoClass *elem_class = mono_class_from_mono_type (t)->element_class;
1974 if (mono_get_xdomain_marshal_type (&(elem_class->byval_arg)) != MONO_MARSHAL_SERIALIZE)
1975 return MONO_MARSHAL_COPY;
1981 return MONO_MARSHAL_SERIALIZE;
1984 /* mono_marshal_xdomain_copy_value
1985 * Makes a copy of "val" suitable for the current domain.
1988 mono_marshal_xdomain_copy_value (MonoObject *val)
1992 if (val == NULL) return NULL;
1994 domain = mono_domain_get ();
1996 switch (mono_object_class (val)->byval_arg.type) {
1997 case MONO_TYPE_VOID:
1998 g_assert_not_reached ();
2002 case MONO_TYPE_BOOLEAN:
2005 case MONO_TYPE_CHAR:
2011 case MONO_TYPE_R8: {
2012 return mono_value_box (domain, mono_object_class (val), ((char*)val) + sizeof(MonoObject));
2014 case MONO_TYPE_STRING: {
2015 MonoString *str = (MonoString *) val;
2016 MonoObject *res = NULL;
2017 res = (MonoObject *) mono_string_new_utf16_checked (domain, mono_string_chars (str), mono_string_length (str), &error);
2018 mono_error_raise_exception (&error); /* FIXME don't raise here */
2021 case MONO_TYPE_ARRAY:
2022 case MONO_TYPE_SZARRAY: {
2024 MonoXDomainMarshalType mt = mono_get_xdomain_marshal_type (&(mono_object_class (val)->element_class->byval_arg));
2025 if (mt == MONO_MARSHAL_SERIALIZE) return NULL;
2026 acopy = mono_array_clone_in_domain (domain, (MonoArray *) val);
2027 if (mt == MONO_MARSHAL_COPY) {
2028 int i, len = mono_array_length (acopy);
2029 for (i = 0; i < len; i++) {
2030 MonoObject *item = (MonoObject *)mono_array_get (acopy, gpointer, i);
2031 mono_array_setref (acopy, i, mono_marshal_xdomain_copy_value (item));
2034 return (MonoObject *) acopy;