?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
[runtime] Require C# namespace to be quoted.
[mono-project.git] / mono / metadata / remoting.c
blobb85e950ab55e18c39cb8361edc3edaeef7154cca
1 /*
2 * remoting.c: Remoting support
3 *
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)
7 *
8 * Licensed under the MIT license. See LICENSE file in the project root for full license information.
9 */
10
11 #include "config.h"
12
13 #include "mono/metadata/handle.h"
14 #include "mono/metadata/remoting.h"
15 #include "mono/metadata/marshal.h"
16 #include "mono/metadata/marshal-internals.h"
17 #include "mono/metadata/abi-details.h"
18 #include "mono/metadata/cominterop.h"
19 #include "mono/metadata/tabledefs.h"
20 #include "mono/metadata/exception.h"
21 #include "mono/metadata/debug-helpers.h"
22 #include "mono/metadata/reflection-internals.h"
23
24 typedef enum {
25 MONO_MARSHAL_NONE, /* No marshalling needed */
26 MONO_MARSHAL_COPY, /* Can be copied by value to the new domain */
27 MONO_MARSHAL_COPY_OUT, /* out parameter that needs to be copied back to the original instance */
28 MONO_MARSHAL_SERIALIZE /* Value needs to be serialized into the new domain */
29 } MonoXDomainMarshalType;
30
31 #ifndef DISABLE_REMOTING
32
33 #define OPDEF(a,b,c,d,e,f,g,h,i,j) \
34 a = i,
35
36 enum {
37 #include "mono/cil/opcode.def"
38 LAST = 0xff
39 };
40 #undef OPDEF
41
42 struct _MonoRemotingMethods {
43 MonoMethod *invoke;
44 MonoMethod *invoke_with_check;
45 MonoMethod *xdomain_invoke;
46 MonoMethod *xdomain_dispatch;
47 };
48
49 typedef struct _MonoRemotingMethods MonoRemotingMethods;
50
51 static MonoObject *
52 mono_remoting_wrapper (MonoMethod *method, gpointer *params);
53
54 static gint32
55 mono_marshal_set_domain_by_id (gint32 id, MonoBoolean push);
56
57 static gboolean
58 mono_marshal_check_domain_image (gint32 domain_id, MonoImage *image);
59
60 MONO_API void
61 mono_upgrade_remote_class_wrapper (MonoReflectionType *rtype, MonoTransparentProxy *tproxy);
62
63 static MonoXDomainMarshalType
64 mono_get_xdomain_marshal_type (MonoType *t);
65
66 static void
67 mono_marshal_xdomain_copy_out_value (MonoObject *src, MonoObject *dst);
68
69 static MonoReflectionType *
70 type_from_handle (MonoType *handle);
71
72 /* Class lazy loading functions */
73 static GENERATE_GET_CLASS_WITH_CACHE (remoting_services, "System.Runtime.Remoting", "RemotingServices")
74 static GENERATE_GET_CLASS_WITH_CACHE (call_context, "System.Runtime.Remoting.Messaging", "CallContext")
75 static GENERATE_GET_CLASS_WITH_CACHE (context, "System.Runtime.Remoting.Contexts", "Context")
76
77 static mono_mutex_t remoting_mutex;
78 static gboolean remoting_mutex_inited;
79
80 static MonoClass *byte_array_class;
81 #ifndef DISABLE_JIT
82 static MonoMethod *method_rs_serialize, *method_rs_deserialize, *method_exc_fixexc, *method_rs_appdomain_target;
83 static MonoMethod *method_set_call_context, *method_needs_context_sink, *method_rs_serialize_exc;
84 #endif
85
86 static gpointer
87 mono_compile_method_icall (MonoMethod *method);
88
89 static void
90 register_icall (gpointer func, const char *name, const char *sigstr, gboolean save)
91 {
92 MonoMethodSignature *sig = mono_create_icall_signature (sigstr);
93
94 mono_register_jit_icall (func, name, sig, save);
95 }
96
97 static inline void
98 remoting_lock (void)
99 {
100 g_assert (remoting_mutex_inited);
101 mono_os_mutex_lock (&remoting_mutex);
102 }
103
104 static inline void
105 remoting_unlock (void)
106 {
107 g_assert (remoting_mutex_inited);
108 mono_os_mutex_unlock (&remoting_mutex);
109 }
110
111 /*
112 * Return the hash table pointed to by VAR, lazily creating it if neccesary.
113 */
114 static GHashTable*
115 get_cache (GHashTable **var, GHashFunc hash_func, GCompareFunc equal_func)
116 {
117 if (!(*var)) {
118 remoting_lock ();
119 if (!(*var)) {
120 GHashTable *cache =
121 g_hash_table_new (hash_func, equal_func);
122 mono_memory_barrier ();
123 *var = cache;
124 }
125 remoting_unlock ();
126 }
127 return *var;
128 }
129
130 static GHashTable*
131 get_cache_full (GHashTable **var, GHashFunc hash_func, GCompareFunc equal_func, GDestroyNotify key_destroy_func, GDestroyNotify value_destroy_func)
132 {
133 if (!(*var)) {
134 remoting_lock ();
135 if (!(*var)) {
136 GHashTable *cache =
137 g_hash_table_new_full (hash_func, equal_func, key_destroy_func, value_destroy_func);
138 mono_memory_barrier ();
139 *var = cache;
140 }
141 remoting_unlock ();
142 }
143 return *var;
144 }
145
146 void
147 mono_remoting_init (void)
148 {
149 mono_os_mutex_init (&remoting_mutex);
150 remoting_mutex_inited = TRUE;
151 }
152
153 static void
154 mono_remoting_marshal_init (void)
155 {
156 MonoClass *klass;
157
158 static gboolean module_initialized = FALSE;
159 static gboolean icalls_registered = FALSE;
160
161 if (module_initialized)
162 return;
163
164 byte_array_class = mono_array_class_get (mono_defaults.byte_class, 1);
165
166 #ifndef DISABLE_JIT
167 klass = mono_class_get_remoting_services_class ();
168 method_rs_serialize = mono_class_get_method_from_name (klass, "SerializeCallData", -1);
169 g_assert (method_rs_serialize);
170 method_rs_deserialize = mono_class_get_method_from_name (klass, "DeserializeCallData", -1);
171 g_assert (method_rs_deserialize);
172 method_rs_serialize_exc = mono_class_get_method_from_name (klass, "SerializeExceptionData", -1);
173 g_assert (method_rs_serialize_exc);
174
175 klass = mono_defaults.real_proxy_class;
176 method_rs_appdomain_target = mono_class_get_method_from_name (klass, "GetAppDomainTarget", -1);
177 g_assert (method_rs_appdomain_target);
178
179 klass = mono_defaults.exception_class;
180 method_exc_fixexc = mono_class_get_method_from_name (klass, "FixRemotingException", -1);
181 g_assert (method_exc_fixexc);
182
183 klass = mono_class_get_call_context_class ();
184 method_set_call_context = mono_class_get_method_from_name (klass, "SetCurrentCallContext", -1);
185 g_assert (method_set_call_context);
186
187 klass = mono_class_get_context_class ();
188 method_needs_context_sink = mono_class_get_method_from_name (klass, "get_NeedsContextSink", -1);
189 g_assert (method_needs_context_sink);
190 #endif
191
192 mono_loader_lock ();
193
194 if (!icalls_registered) {
195 register_icall (type_from_handle, "type_from_handle", "object ptr", FALSE);
196 register_icall (mono_marshal_set_domain_by_id, "mono_marshal_set_domain_by_id", "int32 int32 int32", FALSE);
197 register_icall (mono_marshal_check_domain_image, "mono_marshal_check_domain_image", "int32 int32 ptr", FALSE);
198 register_icall (ves_icall_mono_marshal_xdomain_copy_value, "ves_icall_mono_marshal_xdomain_copy_value", "object object", FALSE);
199 register_icall (mono_marshal_xdomain_copy_out_value, "mono_marshal_xdomain_copy_out_value", "void object object", FALSE);
200 register_icall (mono_remoting_wrapper, "mono_remoting_wrapper", "object ptr ptr", FALSE);
201 register_icall (mono_upgrade_remote_class_wrapper, "mono_upgrade_remote_class_wrapper", "void object object", FALSE);
202
203 #ifndef DISABLE_JIT
204 register_icall (mono_compile_method_icall, "mono_compile_method_icall", "ptr ptr", FALSE);
205 #endif
206
207 }
208
209 icalls_registered = TRUE;
210
211 mono_loader_unlock ();
212
213 module_initialized = TRUE;
214 }
215
216 /* This is an icall, it will return NULL and set pending exception on failure */
217 static MonoReflectionType *
218 type_from_handle (MonoType *handle)
219 {
220 MonoError error;
221 MonoReflectionType *ret;
222 MonoDomain *domain = mono_domain_get ();
223 MonoClass *klass = mono_class_from_mono_type (handle);
224
225 mono_class_init (klass);
226
227 ret = mono_type_get_object_checked (domain, handle, &error);
228 mono_error_set_pending_exception (&error);
229
230 return ret;
231 }
232
233 #ifndef DISABLE_JIT
234 static int
235 mono_mb_emit_proxy_check (MonoMethodBuilder *mb, int branch_code)
236 {
237 int pos;
238 mono_mb_emit_ldflda (mb, MONO_STRUCT_OFFSET (MonoObject, vtable));
239 mono_mb_emit_byte (mb, CEE_LDIND_I);
240 mono_mb_emit_icon (mb, MONO_STRUCT_OFFSET (MonoVTable, klass));
241 mono_mb_emit_byte (mb, CEE_ADD);
242 mono_mb_emit_byte (mb, CEE_LDIND_I);
243 mono_mb_emit_byte (mb, MONO_CUSTOM_PREFIX);
244 mono_mb_emit_byte (mb, CEE_MONO_CLASSCONST);
245 mono_mb_emit_i4 (mb, mono_mb_add_data (mb, mono_defaults.transparent_proxy_class));
246 pos = mono_mb_emit_branch (mb, branch_code);
247 return pos;
248 }
249
250 static int
251 mono_mb_emit_xdomain_check (MonoMethodBuilder *mb, int branch_code)
252 {
253 int pos;
254 mono_mb_emit_ldflda (mb, MONO_STRUCT_OFFSET (MonoTransparentProxy, rp));
255 mono_mb_emit_byte (mb, CEE_LDIND_REF);
256 mono_mb_emit_ldflda (mb, MONO_STRUCT_OFFSET (MonoRealProxy, target_domain_id));
257 mono_mb_emit_byte (mb, CEE_LDIND_I4);
258 mono_mb_emit_icon (mb, -1);
259 pos = mono_mb_emit_branch (mb, branch_code);
260 return pos;
261 }
262
263 static int
264 mono_mb_emit_contextbound_check (MonoMethodBuilder *mb, int branch_code)
265 {
266 static int offset = -1;
267 static guint8 mask;
268
269 if (offset < 0)
270 mono_marshal_find_bitfield_offset (MonoClass, contextbound, &offset, &mask);
271
272 mono_mb_emit_ldflda (mb, MONO_STRUCT_OFFSET (MonoTransparentProxy, remote_class));
273 mono_mb_emit_byte (mb, CEE_LDIND_REF);
274 mono_mb_emit_ldflda (mb, MONO_STRUCT_OFFSET (MonoRemoteClass, proxy_class));
275 mono_mb_emit_byte (mb, CEE_LDIND_REF);
276 mono_mb_emit_ldflda (mb, offset);
277 mono_mb_emit_byte (mb, CEE_LDIND_U1);
278 mono_mb_emit_icon (mb, mask);
279 mono_mb_emit_byte (mb, CEE_AND);
280 mono_mb_emit_icon (mb, 0);
281 return mono_mb_emit_branch (mb, branch_code);
282 }
283 #endif /* !DISABLE_JIT */
284
285 static inline MonoMethod*
286 mono_marshal_remoting_find_in_cache (MonoMethod *method, int wrapper_type)
287 {
288 MonoMethod *res = NULL;
289 MonoRemotingMethods *wrps = NULL;
290
291 mono_marshal_lock_internal ();
292 if (mono_method_get_wrapper_cache (method)->remoting_invoke_cache)
293 wrps = (MonoRemotingMethods *)g_hash_table_lookup (mono_method_get_wrapper_cache (method)->remoting_invoke_cache, method);
294
295 if (wrps) {
296 switch (wrapper_type) {
297 case MONO_WRAPPER_REMOTING_INVOKE: res = wrps->invoke; break;
298 case MONO_WRAPPER_REMOTING_INVOKE_WITH_CHECK: res = wrps->invoke_with_check; break;
299 case MONO_WRAPPER_XDOMAIN_INVOKE: res = wrps->xdomain_invoke; break;
300 case MONO_WRAPPER_XDOMAIN_DISPATCH: res = wrps->xdomain_dispatch; break;
301 }
302 }
303
304 /* it is important to do the unlock after the load from wrps, since in
305 * mono_remoting_mb_create_and_cache () we drop the marshal lock to be able
306 * to take the loader lock and some other thread may set the fields.
307 */
308 mono_marshal_unlock_internal ();
309 return res;
310 }
311
312 /* Create the method from the builder and place it in the cache */
313 static inline MonoMethod*
314 mono_remoting_mb_create_and_cache (MonoMethod *key, MonoMethodBuilder *mb,
315 MonoMethodSignature *sig, int max_stack, WrapperInfo *info)
316 {
317 MonoMethod **res = NULL;
318 MonoRemotingMethods *wrps;
319 GHashTable *cache;
320
321 cache = get_cache_full (&mono_method_get_wrapper_cache (key)->remoting_invoke_cache, mono_aligned_addr_hash, NULL, NULL, g_free);
322
323 mono_marshal_lock_internal ();
324 wrps = (MonoRemotingMethods *)g_hash_table_lookup (cache, key);
325 if (!wrps) {
326 wrps = g_new0 (MonoRemotingMethods, 1);
327 g_hash_table_insert (cache, key, wrps);
328 }
329
330 switch (mb->method->wrapper_type) {
331 case MONO_WRAPPER_REMOTING_INVOKE: res = &wrps->invoke; break;
332 case MONO_WRAPPER_REMOTING_INVOKE_WITH_CHECK: res = &wrps->invoke_with_check; break;
333 case MONO_WRAPPER_XDOMAIN_INVOKE: res = &wrps->xdomain_invoke; break;
334 case MONO_WRAPPER_XDOMAIN_DISPATCH: res = &wrps->xdomain_dispatch; break;
335 default: g_assert_not_reached (); break;
336 }
337 mono_marshal_unlock_internal ();
338
339 if (*res == NULL) {
340 MonoMethod *newm;
341 newm = mono_mb_create_method (mb, sig, max_stack);
342
343 mono_marshal_lock_internal ();
344 if (!*res) {
345 *res = newm;
346 mono_marshal_set_wrapper_info (*res, info);
347 mono_marshal_unlock_internal ();
348 } else {
349 mono_marshal_unlock_internal ();
350 mono_free_method (newm);
351 }
352 }
353
354 return *res;
355 }
356
357 static MonoObject *
358 mono_remoting_wrapper (MonoMethod *method, gpointer *params)
359 {
360 MonoError error;
361 MonoMethodMessage *msg;
362 MonoTransparentProxy *this_obj;
363 MonoObject *res, *exc;
364 MonoArray *out_args;
365
366 this_obj = *((MonoTransparentProxy **)params [0]);
367
368 g_assert (this_obj);
369 g_assert (mono_object_is_transparent_proxy (this_obj));
370
371 /* skip the this pointer */
372 params++;
373
374 if (mono_class_is_contextbound (this_obj->remote_class->proxy_class) && this_obj->rp->context == (MonoObject *) mono_context_get ())
375 {
376 int i;
377 MonoMethodSignature *sig = mono_method_signature (method);
378 int count = sig->param_count;
379 gpointer* mparams = (gpointer*) alloca(count*sizeof(gpointer));
380
381 for (i=0; i<count; i++) {
382 MonoClass *klass = mono_class_from_mono_type (sig->params [i]);
383 if (klass->valuetype) {
384 if (sig->params [i]->byref) {
385 mparams[i] = *((gpointer *)params [i]);
386 } else {
387 /* runtime_invoke expects a boxed instance */
388 if (mono_class_is_nullable (mono_class_from_mono_type (sig->params [i]))) {
389 mparams[i] = mono_nullable_box ((guint8 *)params [i], klass, &error);
390 if (!is_ok (&error))
391 goto fail;
392 } else
393 mparams[i] = params [i];
394 }
395 } else {
396 mparams[i] = *((gpointer**)params [i]);
397 }
398 }
399
400 res = mono_runtime_invoke_checked (method, method->klass->valuetype? mono_object_unbox ((MonoObject*)this_obj): this_obj, mparams, &error);
401 if (!is_ok (&error))
402 goto fail;
403
404 return res;
405 }
406
407 msg = mono_method_call_message_new (method, params, NULL, NULL, NULL, &error);
408 if (!is_ok (&error))
409 goto fail;
410
411 res = mono_remoting_invoke ((MonoObject *)this_obj->rp, msg, &exc, &out_args, &error);
412 if (!is_ok (&error))
413 goto fail;
414
415 if (exc) {
416 mono_error_init (&error);
417 mono_error_set_exception_instance (&error, (MonoException *)exc);
418 goto fail;
419 }
420
421 mono_method_return_message_restore (method, params, out_args, &error);
422 if (!is_ok (&error)) goto fail;
423
424 return res;
425 fail:
426 /* This icall will be called from managed code, and more over
427 * from a protected wrapper so interruptions such as pending
428 * exceptions will not be honored. (See
429 * is_running_protected_wrapper () in threads.c and
430 * mono_marshal_get_remoting_invoke () in remoting.c)
431 */
432 mono_error_raise_exception (&error); /* OK to throw, see note */
433 return NULL;
434 }
435
436
437 MonoMethod *
438 mono_marshal_get_remoting_invoke (MonoMethod *method)
439 {
440 MonoMethodSignature *sig;
441 MonoMethodBuilder *mb;
442 MonoMethod *res;
443 int params_var;
444 WrapperInfo *info;
445
446 g_assert (method);
447
448 if (method->wrapper_type == MONO_WRAPPER_REMOTING_INVOKE || method->wrapper_type == MONO_WRAPPER_XDOMAIN_INVOKE)
449 return method;
450
451 /* this seems to be the best plase to put this, as all remoting invokes seem to get filtered through here */
452 #ifndef DISABLE_COM
453 if (mono_class_is_com_object (method->klass) || method->klass == mono_class_try_get_com_object_class ()) {
454 MonoVTable *vtable = mono_class_vtable (mono_domain_get (), method->klass);
455 g_assert (vtable); /*FIXME do proper error handling*/
456
457 if (!mono_vtable_is_remote (vtable)) {
458 return mono_cominterop_get_invoke (method);
459 }
460 }
461 #endif
462
463 sig = mono_signature_no_pinvoke (method);
464
465 /* we cant remote methods without this pointer */
466 if (!sig->hasthis)
467 return method;
468
469 if ((res = mono_marshal_remoting_find_in_cache (method, MONO_WRAPPER_REMOTING_INVOKE)))
470 return res;
471
472 mono_remoting_marshal_init ();
473
474 mb = mono_mb_new (method->klass, method->name, MONO_WRAPPER_REMOTING_INVOKE);
475
476 #ifndef DISABLE_JIT
477 mb->method->save_lmf = 1;
478
479 params_var = mono_mb_emit_save_args (mb, sig, TRUE);
480
481 mono_mb_emit_ptr (mb, method);
482 mono_mb_emit_ldloc (mb, params_var);
483 mono_mb_emit_icall (mb, mono_remoting_wrapper);
484 // FIXME: this interrupt checkpoint code is a no-op since 'mb'
485 // is a MONO_WRAPPER_REMOTING_INVOKE, and
486 // mono_thread_interruption_checkpoint_request (FALSE)
487 // considers such wrappers "protected" and always returns
488 // NULL as if there's no pending interruption.
489 mono_marshal_emit_thread_interrupt_checkpoint (mb);
490
491 if (sig->ret->type == MONO_TYPE_VOID) {
492 mono_mb_emit_byte (mb, CEE_POP);
493 mono_mb_emit_byte (mb, CEE_RET);
494 } else {
495 mono_mb_emit_restore_result (mb, sig->ret);
496 }
497 #endif
498
499 info = mono_wrapper_info_create (mb, WRAPPER_SUBTYPE_NONE);
500 info->d.remoting.method = method;
501 res = mono_remoting_mb_create_and_cache (method, mb, sig, sig->param_count + 16, info);
502 mono_mb_free (mb);
503
504 return res;
505 }
506
507 /* mono_marshal_xdomain_copy_out_value()
508 * Copies the contents of the src instance into the dst instance. src and dst
509 * must have the same type, and if they are arrays, the same size.
510 *
511 * This is an icall, it may use mono_error_set_pending_exception
512 */
513 static void
514 mono_marshal_xdomain_copy_out_value (MonoObject *src, MonoObject *dst)
515 {
516 MonoError error;
517 if (src == NULL || dst == NULL) return;
518
519 g_assert (mono_object_class (src) == mono_object_class (dst));
520
521 switch (mono_object_class (src)->byval_arg.type) {
522 case MONO_TYPE_ARRAY:
523 case MONO_TYPE_SZARRAY: {
524 int mt = mono_get_xdomain_marshal_type (&(mono_object_class (src)->element_class->byval_arg));
525 if (mt == MONO_MARSHAL_SERIALIZE) return;
526 if (mt == MONO_MARSHAL_COPY) {
527 int i, len = mono_array_length ((MonoArray *)dst);
528 for (i = 0; i < len; i++) {
529 MonoObject *item = (MonoObject *)mono_array_get ((MonoArray *)src, gpointer, i);
530 MonoObject *item_copy = mono_marshal_xdomain_copy_value (item, &error);
531 if (mono_error_set_pending_exception (&error))
532 return;
533 mono_array_setref ((MonoArray *)dst, i, item_copy);
534 }
535 } else {
536 mono_array_full_copy ((MonoArray *)src, (MonoArray *)dst);
537 }
538 return;
539 }
540 default:
541 break;
542 }
543
544 }
545
546
547 #if !defined (DISABLE_JIT)
548 static void
549 mono_marshal_emit_xdomain_copy_value (MonoMethodBuilder *mb, MonoClass *pclass)
550 {
551 mono_mb_emit_icall (mb, ves_icall_mono_marshal_xdomain_copy_value);
552 mono_mb_emit_op (mb, CEE_CASTCLASS, pclass);
553 }
554
555 static void
556 mono_marshal_emit_xdomain_copy_out_value (MonoMethodBuilder *mb, MonoClass *pclass)
557 {
558 mono_mb_emit_icall (mb, mono_marshal_xdomain_copy_out_value);
559 }
560 #endif
561
562 /* mono_marshal_supports_fast_xdomain()
563 * Returns TRUE if the method can use the fast xdomain wrapper.
564 */
565 static gboolean
566 mono_marshal_supports_fast_xdomain (MonoMethod *method)
567 {
568 return !mono_class_is_contextbound (method->klass) &&
569 !((method->flags & METHOD_ATTRIBUTE_SPECIAL_NAME) && (strcmp (".ctor", method->name) == 0));
570 }
571
572 static gint32
573 mono_marshal_set_domain_by_id (gint32 id, MonoBoolean push)
574 {
575 MonoDomain *current_domain = mono_domain_get ();
576 MonoDomain *domain = mono_domain_get_by_id (id);
577
578 if (!domain || !mono_domain_set (domain, FALSE)) {
579 mono_set_pending_exception (mono_get_exception_appdomain_unloaded ());
580 return 0;
581 }
582
583 if (push)
584 mono_thread_push_appdomain_ref (domain);
585 else
586 mono_thread_pop_appdomain_ref ();
587
588 return current_domain->domain_id;
589 }
590
591 #if !defined (DISABLE_JIT)
592 static void
593 mono_marshal_emit_switch_domain (MonoMethodBuilder *mb)
594 {
595 mono_mb_emit_icall (mb, mono_marshal_set_domain_by_id);
596 }
597
598 gpointer
599 mono_compile_method_icall (MonoMethod *method)
600 {
601 MonoError error;
602 gpointer result = mono_compile_method_checked (method, &error);
603 mono_error_set_pending_exception (&error);
604 return result;
605 }
606
607 /* mono_marshal_emit_load_domain_method ()
608 * Loads into the stack a pointer to the code of the provided method for
609 * the current domain.
610 */
611 static void
612 mono_marshal_emit_load_domain_method (MonoMethodBuilder *mb, MonoMethod *method)
613 {
614 /* We need a pointer to the method for the running domain (not the domain
615 * that compiles the method).
616 */
617 mono_mb_emit_ptr (mb, method);
618 mono_mb_emit_icall (mb, mono_compile_method_icall);
619 }
620 #endif
621
622 /* mono_marshal_check_domain_image ()
623 * Returns TRUE if the image is loaded in the specified
624 * application domain.
625 */
626 static gboolean
627 mono_marshal_check_domain_image (gint32 domain_id, MonoImage *image)
628 {
629 MonoAssembly* ass;
630 GSList *tmp;
631
632 MonoDomain *domain = mono_domain_get_by_id (domain_id);
633 if (!domain)
634 return FALSE;
635
636 mono_domain_assemblies_lock (domain);
637 for (tmp = domain->domain_assemblies; tmp; tmp = tmp->next) {
638 ass = (MonoAssembly *)tmp->data;
639 if (ass->image == image)
640 break;
641 }
642 mono_domain_assemblies_unlock (domain);
643
644 return tmp != NULL;
645 }
646
647 /* mono_marshal_get_xappdomain_dispatch ()
648 * Generates a method that dispatches a method call from another domain into
649 * the current domain.
650 */
651 static MonoMethod *
652 mono_marshal_get_xappdomain_dispatch (MonoMethod *method, int *marshal_types, int complex_count, int complex_out_count, int ret_marshal_type)
653 {
654 MonoMethodSignature *sig, *csig;
655 MonoMethodBuilder *mb;
656 MonoMethod *res;
657 int i, j, param_index, copy_locals_base;
658 MonoClass *ret_class = NULL;
659 int loc_array=0, loc_return=0, loc_serialized_exc=0;
660 MonoExceptionClause *main_clause;
661 int pos, pos_leave;
662 gboolean copy_return;
663 WrapperInfo *info;
664
665 if ((res = mono_marshal_remoting_find_in_cache (method, MONO_WRAPPER_XDOMAIN_DISPATCH)))
666 return res;
667
668 sig = mono_method_signature (method);
669 copy_return = (sig->ret->type != MONO_TYPE_VOID && ret_marshal_type != MONO_MARSHAL_SERIALIZE);
670
671 j = 0;
672 csig = mono_metadata_signature_alloc (mono_defaults.corlib, 3 + sig->param_count - complex_count);
673 csig->params [j++] = &mono_defaults.object_class->byval_arg;
674 csig->params [j++] = &byte_array_class->this_arg;
675 csig->params [j++] = &byte_array_class->this_arg;
676 for (i = 0; i < sig->param_count; i++) {
677 if (marshal_types [i] != MONO_MARSHAL_SERIALIZE)
678 csig->params [j++] = sig->params [i];
679 }
680 if (copy_return)
681 csig->ret = sig->ret;
682 else
683 csig->ret = &mono_defaults.void_class->byval_arg;
684 csig->pinvoke = 1;
685 csig->hasthis = FALSE;
686
687 mb = mono_mb_new (method->klass, method->name, MONO_WRAPPER_XDOMAIN_DISPATCH);
688 mb->method->save_lmf = 1;
689
690 #ifndef DISABLE_JIT
691 /* Locals */
692
693 loc_serialized_exc = mono_mb_add_local (mb, &byte_array_class->byval_arg);
694 if (complex_count > 0)
695 loc_array = mono_mb_add_local (mb, &mono_defaults.object_class->byval_arg);
696 if (sig->ret->type != MONO_TYPE_VOID) {
697 loc_return = mono_mb_add_local (mb, sig->ret);
698 ret_class = mono_class_from_mono_type (sig->ret);
699 }
700
701 /* try */
702
703 main_clause = (MonoExceptionClause *)mono_image_alloc0 (method->klass->image, sizeof (MonoExceptionClause));
704 main_clause->try_offset = mono_mb_get_label (mb);
705
706 /* Clean the call context */
707
708 mono_mb_emit_byte (mb, CEE_LDNULL);
709 mono_mb_emit_managed_call (mb, method_set_call_context, NULL);
710 mono_mb_emit_byte (mb, CEE_POP);
711
712 /* Deserialize call data */
713
714 mono_mb_emit_ldarg (mb, 1);
715 mono_mb_emit_byte (mb, CEE_LDIND_REF);
716 mono_mb_emit_byte (mb, CEE_DUP);
717 pos = mono_mb_emit_short_branch (mb, CEE_BRFALSE_S);
718
719 mono_marshal_emit_xdomain_copy_value (mb, byte_array_class);
720 mono_mb_emit_managed_call (mb, method_rs_deserialize, NULL);
721
722 if (complex_count > 0)
723 mono_mb_emit_stloc (mb, loc_array);
724 else
725 mono_mb_emit_byte (mb, CEE_POP);
726
727 mono_mb_patch_short_branch (mb, pos);
728
729 /* Get the target object */
730
731 mono_mb_emit_ldarg (mb, 0);
732 mono_mb_emit_managed_call (mb, method_rs_appdomain_target, NULL);
733
734 /* Load the arguments */
735
736 copy_locals_base = mb->locals;
737 param_index = 3; // Index of the first non-serialized parameter of this wrapper
738 j = 0;
739 for (i = 0; i < sig->param_count; i++) {
740 MonoType *pt = sig->params [i];
741 MonoClass *pclass = mono_class_from_mono_type (pt);
742 switch (marshal_types [i]) {
743 case MONO_MARSHAL_SERIALIZE: {
744 /* take the value from the serialized array */
745 mono_mb_emit_ldloc (mb, loc_array);
746 mono_mb_emit_icon (mb, j++);
747 if (pt->byref) {
748 if (pclass->valuetype) {
749 mono_mb_emit_byte (mb, CEE_LDELEM_REF);
750 mono_mb_emit_op (mb, CEE_UNBOX, pclass);
751 } else {
752 mono_mb_emit_op (mb, CEE_LDELEMA, pclass);
753 }
754 } else {
755 if (pclass->valuetype) {
756 mono_mb_emit_byte (mb, CEE_LDELEM_REF);
757 mono_mb_emit_op (mb, CEE_UNBOX, pclass);
758 mono_mb_emit_op (mb, CEE_LDOBJ, pclass);
759 } else {
760 mono_mb_emit_byte (mb, CEE_LDELEM_REF);
761 if (pclass != mono_defaults.object_class) {
762 mono_mb_emit_op (mb, CEE_CASTCLASS, pclass);
763 }
764 }
765 }
766 break;
767 }
768 case MONO_MARSHAL_COPY_OUT: {
769 /* Keep a local copy of the value since we need to copy it back after the call */
770 int copy_local = mono_mb_add_local (mb, &(pclass->byval_arg));
771 mono_mb_emit_ldarg (mb, param_index++);
772 mono_marshal_emit_xdomain_copy_value (mb, pclass);
773 mono_mb_emit_byte (mb, CEE_DUP);
774 mono_mb_emit_stloc (mb, copy_local);
775 break;
776 }
777 case MONO_MARSHAL_COPY: {
778 mono_mb_emit_ldarg (mb, param_index);
779 if (pt->byref) {
780 mono_mb_emit_byte (mb, CEE_DUP);
781 mono_mb_emit_byte (mb, CEE_DUP);
782 mono_mb_emit_byte (mb, CEE_LDIND_REF);
783 mono_marshal_emit_xdomain_copy_value (mb, pclass);
784 mono_mb_emit_byte (mb, CEE_STIND_REF);
785 } else {
786 mono_marshal_emit_xdomain_copy_value (mb, pclass);
787 }
788 param_index++;
789 break;
790 }
791 case MONO_MARSHAL_NONE:
792 mono_mb_emit_ldarg (mb, param_index++);
793 break;
794 }
795 }
796
797 /* Make the call to the real object */
798
799 mono_marshal_emit_thread_force_interrupt_checkpoint (mb);
800
801 mono_mb_emit_op (mb, CEE_CALLVIRT, method);
802
803 if (sig->ret->type != MONO_TYPE_VOID)
804 mono_mb_emit_stloc (mb, loc_return);
805
806 /* copy back MONO_MARSHAL_COPY_OUT parameters */
807
808 j = 0;
809 param_index = 3;
810 for (i = 0; i < sig->param_count; i++) {
811 if (marshal_types [i] == MONO_MARSHAL_SERIALIZE) continue;
812 if (marshal_types [i] == MONO_MARSHAL_COPY_OUT) {
813 mono_mb_emit_ldloc (mb, copy_locals_base + (j++));
814 mono_mb_emit_ldarg (mb, param_index);
815 mono_marshal_emit_xdomain_copy_out_value (mb, mono_class_from_mono_type (sig->params [i]));
816 }
817 param_index++;
818 }
819
820 /* Serialize the return values */
821
822 if (complex_out_count > 0) {
823 /* Reset parameters in the array that don't need to be serialized back */
824 j = 0;
825 for (i = 0; i < sig->param_count; i++) {
826 if (marshal_types[i] != MONO_MARSHAL_SERIALIZE) continue;
827 if (!sig->params [i]->byref) {
828 mono_mb_emit_ldloc (mb, loc_array);
829 mono_mb_emit_icon (mb, j);
830 mono_mb_emit_byte (mb, CEE_LDNULL);
831 mono_mb_emit_byte (mb, CEE_STELEM_REF);
832 }
833 j++;
834 }
835
836 /* Add the return value to the array */
837
838 if (ret_marshal_type == MONO_MARSHAL_SERIALIZE) {
839 mono_mb_emit_ldloc (mb, loc_array);
840 mono_mb_emit_icon (mb, complex_count); /* The array has an additional slot to hold the ret value */
841 mono_mb_emit_ldloc (mb, loc_return);
842
843 g_assert (ret_class); /*FIXME properly fail here*/
844 if (ret_class->valuetype) {
845 mono_mb_emit_op (mb, CEE_BOX, ret_class);
846 }
847 mono_mb_emit_byte (mb, CEE_STELEM_REF);
848 }
849
850 /* Serialize */
851
852 mono_mb_emit_ldarg (mb, 1);
853 mono_mb_emit_ldloc (mb, loc_array);
854 mono_mb_emit_managed_call (mb, method_rs_serialize, NULL);
855 mono_mb_emit_byte (mb, CEE_STIND_REF);
856 } else if (ret_marshal_type == MONO_MARSHAL_SERIALIZE) {
857 mono_mb_emit_ldarg (mb, 1);
858 mono_mb_emit_ldloc (mb, loc_return);
859 if (ret_class->valuetype) {
860 mono_mb_emit_op (mb, CEE_BOX, ret_class);
861 }
862 mono_mb_emit_managed_call (mb, method_rs_serialize, NULL);
863 mono_mb_emit_byte (mb, CEE_STIND_REF);
864 } else {
865 mono_mb_emit_ldarg (mb, 1);
866 mono_mb_emit_byte (mb, CEE_LDNULL);
867 mono_mb_emit_managed_call (mb, method_rs_serialize, NULL);
868 mono_mb_emit_byte (mb, CEE_STIND_REF);
869 }
870
871 mono_mb_emit_ldarg (mb, 2);
872 mono_mb_emit_byte (mb, CEE_LDNULL);
873 mono_mb_emit_byte (mb, CEE_STIND_REF);
874 pos_leave = mono_mb_emit_branch (mb, CEE_LEAVE);
875
876 /* Main exception catch */
877 main_clause->flags = MONO_EXCEPTION_CLAUSE_NONE;
878 main_clause->try_len = mono_mb_get_pos (mb) - main_clause->try_offset;
879 main_clause->data.catch_class = mono_defaults.object_class;
880
881 /* handler code */
882 main_clause->handler_offset = mono_mb_get_label (mb);
883 mono_mb_emit_managed_call (mb, method_rs_serialize_exc, NULL);
884 mono_mb_emit_stloc (mb, loc_serialized_exc);
885 mono_mb_emit_ldarg (mb, 2);
886 mono_mb_emit_ldloc (mb, loc_serialized_exc);
887 mono_mb_emit_byte (mb, CEE_STIND_REF);
888 mono_mb_emit_branch (mb, CEE_LEAVE);
889 main_clause->handler_len = mono_mb_get_pos (mb) - main_clause->handler_offset;
890 /* end catch */
891
892 mono_mb_patch_branch (mb, pos_leave);
893
894 if (copy_return)
895 mono_mb_emit_ldloc (mb, loc_return);
896
897 mono_mb_emit_byte (mb, CEE_RET);
898
899 mono_mb_set_clauses (mb, 1, main_clause);
900 #endif
901
902 info = mono_wrapper_info_create (mb, WRAPPER_SUBTYPE_NONE);
903 info->d.remoting.method = method;
904 res = mono_remoting_mb_create_and_cache (method, mb, csig, csig->param_count + 16, info);
905 mono_mb_free (mb);
906
907 return res;
908 }
909
910 /* mono_marshal_get_xappdomain_invoke ()
911 * Generates a fast remoting wrapper for cross app domain calls.
912 */
913 MonoMethod *
914 mono_marshal_get_xappdomain_invoke (MonoMethod *method)
915 {
916 MonoMethodSignature *sig;
917 MonoMethodBuilder *mb;
918 MonoMethod *res;
919 int i, j, complex_count, complex_out_count, copy_locals_base;
920 int *marshal_types;
921 MonoClass *ret_class = NULL;
922 MonoMethod *xdomain_method;
923 int ret_marshal_type = MONO_MARSHAL_NONE;
924 int loc_array=0, loc_serialized_data=-1, loc_real_proxy;
925 int loc_old_domainid, loc_domainid, loc_return=0, loc_serialized_exc=0, loc_context;
926 int pos, pos_dispatch, pos_noex;
927 gboolean copy_return = FALSE;
928 WrapperInfo *info;
929
930 g_assert (method);
931
932 if (method->wrapper_type == MONO_WRAPPER_REMOTING_INVOKE || method->wrapper_type == MONO_WRAPPER_XDOMAIN_INVOKE)
933 return method;
934
935 /* we cant remote methods without this pointer */
936 if (!mono_method_signature (method)->hasthis)
937 return method;
938
939 mono_remoting_marshal_init ();
940
941 if (!mono_marshal_supports_fast_xdomain (method))
942 return mono_marshal_get_remoting_invoke (method);
943
944 if ((res = mono_marshal_remoting_find_in_cache (method, MONO_WRAPPER_XDOMAIN_INVOKE)))
945 return res;
946
947 sig = mono_signature_no_pinvoke (method);
948
949 mb = mono_mb_new (method->klass, method->name, MONO_WRAPPER_XDOMAIN_INVOKE);
950 mb->method->save_lmf = 1;
951
952 /* Count the number of parameters that need to be serialized */
953
954 marshal_types = (int *)alloca (sizeof (int) * sig->param_count);
955 complex_count = complex_out_count = 0;
956 for (i = 0; i < sig->param_count; i++) {
957 MonoType *ptype = sig->params[i];
958 int mt = mono_get_xdomain_marshal_type (ptype);
959
960 /* If the [Out] attribute is applied to a parameter that can be internally copied,
961 * the copy will be made by reusing the original object instance
962 */
963 if ((ptype->attrs & PARAM_ATTRIBUTE_OUT) != 0 && mt == MONO_MARSHAL_COPY && !ptype->byref)
964 mt = MONO_MARSHAL_COPY_OUT;
965 else if (mt == MONO_MARSHAL_SERIALIZE) {
966 complex_count++;
967 if (ptype->byref) complex_out_count++;
968 }
969 marshal_types [i] = mt;
970 }
971
972 if (sig->ret->type != MONO_TYPE_VOID) {
973 ret_marshal_type = mono_get_xdomain_marshal_type (sig->ret);
974 ret_class = mono_class_from_mono_type (sig->ret);
975 copy_return = ret_marshal_type != MONO_MARSHAL_SERIALIZE;
976 }
977
978 /* Locals */
979
980 #ifndef DISABLE_JIT
981 if (complex_count > 0)
982 loc_array = mono_mb_add_local (mb, &mono_defaults.object_class->byval_arg);
983 loc_serialized_data = mono_mb_add_local (mb, &byte_array_class->byval_arg);
984 loc_real_proxy = mono_mb_add_local (mb, &mono_defaults.object_class->byval_arg);
985 if (copy_return)
986 loc_return = mono_mb_add_local (mb, sig->ret);
987 loc_old_domainid = mono_mb_add_local (mb, &mono_defaults.int32_class->byval_arg);
988 loc_domainid = mono_mb_add_local (mb, &mono_defaults.int32_class->byval_arg);
989 loc_serialized_exc = mono_mb_add_local (mb, &byte_array_class->byval_arg);
990 loc_context = mono_mb_add_local (mb, &mono_defaults.object_class->byval_arg);
991
992 /* Save thread domain data */
993
994 mono_mb_emit_icall (mb, mono_context_get);
995 mono_mb_emit_byte (mb, CEE_DUP);
996 mono_mb_emit_stloc (mb, loc_context);
997
998 /* If the thread is not running in the default context, it needs to go
999 * through the whole remoting sink, since the context is going to change
1000 */
1001 mono_mb_emit_managed_call (mb, method_needs_context_sink, NULL);
1002 pos = mono_mb_emit_short_branch (mb, CEE_BRTRUE_S);
1003
1004 /* Another case in which the fast path can't be used: when the target domain
1005 * has a different image for the same assembly.
1006 */
1007
1008 /* Get the target domain id */
1009
1010 mono_mb_emit_ldarg (mb, 0);
1011 mono_mb_emit_ldflda (mb, MONO_STRUCT_OFFSET (MonoTransparentProxy, rp));
1012 mono_mb_emit_byte (mb, CEE_LDIND_REF);
1013 mono_mb_emit_byte (mb, CEE_DUP);
1014 mono_mb_emit_stloc (mb, loc_real_proxy);
1015
1016 mono_mb_emit_ldflda (mb, MONO_STRUCT_OFFSET (MonoRealProxy, target_domain_id));
1017 mono_mb_emit_byte (mb, CEE_LDIND_I4);
1018 mono_mb_emit_stloc (mb, loc_domainid);
1019
1020 /* Check if the target domain has the same image for the required assembly */
1021
1022 mono_mb_emit_ldloc (mb, loc_domainid);
1023 mono_mb_emit_ptr (mb, method->klass->image);
1024 mono_mb_emit_icall (mb, mono_marshal_check_domain_image);
1025 pos_dispatch = mono_mb_emit_short_branch (mb, CEE_BRTRUE_S);
1026
1027 /* Use the whole remoting sink to dispatch this message */
1028
1029 mono_mb_patch_short_branch (mb, pos);
1030
1031 mono_mb_emit_ldarg (mb, 0);
1032 for (i = 0; i < sig->param_count; i++)
1033 mono_mb_emit_ldarg (mb, i + 1);
1034
1035 mono_mb_emit_managed_call (mb, mono_marshal_get_remoting_invoke (method), NULL);
1036 mono_mb_emit_byte (mb, CEE_RET);
1037 mono_mb_patch_short_branch (mb, pos_dispatch);
1038
1039 /* Create the array that will hold the parameters to be serialized */
1040
1041 if (complex_count > 0) {
1042 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 */
1043 mono_mb_emit_op (mb, CEE_NEWARR, mono_defaults.object_class);
1044
1045 j = 0;
1046 for (i = 0; i < sig->param_count; i++) {
1047 MonoClass *pclass;
1048 if (marshal_types [i] != MONO_MARSHAL_SERIALIZE) continue;
1049 pclass = mono_class_from_mono_type (sig->params[i]);
1050 mono_mb_emit_byte (mb, CEE_DUP);
1051 mono_mb_emit_icon (mb, j);
1052 mono_mb_emit_ldarg (mb, i + 1); /* 0=this */
1053 if (sig->params[i]->byref) {
1054 if (pclass->valuetype)
1055 mono_mb_emit_op (mb, CEE_LDOBJ, pclass);
1056 else
1057 mono_mb_emit_byte (mb, CEE_LDIND_REF);
1058 }
1059 if (pclass->valuetype)
1060 mono_mb_emit_op (mb, CEE_BOX, pclass);
1061 mono_mb_emit_byte (mb, CEE_STELEM_REF);
1062 j++;
1063 }
1064 mono_mb_emit_stloc (mb, loc_array);
1065
1066 /* Serialize parameters */
1067
1068 mono_mb_emit_ldloc (mb, loc_array);
1069 mono_mb_emit_managed_call (mb, method_rs_serialize, NULL);
1070 mono_mb_emit_stloc (mb, loc_serialized_data);
1071 } else {
1072 mono_mb_emit_byte (mb, CEE_LDNULL);
1073 mono_mb_emit_managed_call (mb, method_rs_serialize, NULL);
1074 mono_mb_emit_stloc (mb, loc_serialized_data);
1075 }
1076
1077 /* switch domain */
1078
1079 mono_mb_emit_ldloc (mb, loc_domainid);
1080 mono_mb_emit_byte (mb, CEE_LDC_I4_1);
1081 mono_marshal_emit_switch_domain (mb);
1082 mono_mb_emit_stloc (mb, loc_old_domainid);
1083
1084 /* Load the arguments */
1085
1086 mono_mb_emit_ldloc (mb, loc_real_proxy);
1087 mono_mb_emit_ldloc_addr (mb, loc_serialized_data);
1088 mono_mb_emit_ldloc_addr (mb, loc_serialized_exc);
1089
1090 copy_locals_base = mb->locals;
1091 for (i = 0; i < sig->param_count; i++) {
1092 switch (marshal_types [i]) {
1093 case MONO_MARSHAL_SERIALIZE:
1094 continue;
1095 case MONO_MARSHAL_COPY: {
1096 mono_mb_emit_ldarg (mb, i+1);
1097 if (sig->params [i]->byref) {
1098 /* make a local copy of the byref parameter. The real parameter
1099 * will be updated after the xdomain call
1100 */
1101 MonoClass *pclass = mono_class_from_mono_type (sig->params [i]);
1102 int copy_local = mono_mb_add_local (mb, &(pclass->byval_arg));
1103 mono_mb_emit_byte (mb, CEE_LDIND_REF);
1104 mono_mb_emit_stloc (mb, copy_local);
1105 mono_mb_emit_ldloc_addr (mb, copy_local);
1106 }
1107 break;
1108 }
1109 case MONO_MARSHAL_COPY_OUT:
1110 case MONO_MARSHAL_NONE:
1111 mono_mb_emit_ldarg (mb, i+1);
1112 break;
1113 }
1114 }
1115
1116 /* Make the call to the invoke wrapper in the target domain */
1117
1118 xdomain_method = mono_marshal_get_xappdomain_dispatch (method, marshal_types, complex_count, complex_out_count, ret_marshal_type);
1119 mono_marshal_emit_load_domain_method (mb, xdomain_method);
1120 mono_mb_emit_calli (mb, mono_method_signature (xdomain_method));
1121
1122 if (copy_return)
1123 mono_mb_emit_stloc (mb, loc_return);
1124
1125 /* Switch domain */
1126
1127 mono_mb_emit_ldloc (mb, loc_old_domainid);
1128 mono_mb_emit_byte (mb, CEE_LDC_I4_0);
1129 mono_marshal_emit_switch_domain (mb);
1130 mono_mb_emit_byte (mb, CEE_POP);
1131
1132 /* Restore thread domain data */
1133
1134 mono_mb_emit_ldloc (mb, loc_context);
1135 mono_mb_emit_icall (mb, mono_context_set);
1136
1137 /* if (loc_serialized_exc != null) ... */
1138
1139 mono_mb_emit_ldloc (mb, loc_serialized_exc);
1140 pos_noex = mono_mb_emit_short_branch (mb, CEE_BRFALSE_S);
1141
1142 mono_mb_emit_ldloc (mb, loc_serialized_exc);
1143 mono_marshal_emit_xdomain_copy_value (mb, byte_array_class);
1144 mono_mb_emit_managed_call (mb, method_rs_deserialize, NULL);
1145 mono_mb_emit_op (mb, CEE_CASTCLASS, mono_defaults.exception_class);
1146 mono_mb_emit_managed_call (mb, method_exc_fixexc, NULL);
1147 mono_mb_emit_byte (mb, CEE_THROW);
1148 mono_mb_patch_short_branch (mb, pos_noex);
1149
1150 /* copy back non-serialized output parameters */
1151
1152 j = 0;
1153 for (i = 0; i < sig->param_count; i++) {
1154 if (!sig->params [i]->byref || marshal_types [i] != MONO_MARSHAL_COPY) continue;
1155 mono_mb_emit_ldarg (mb, i + 1);
1156 mono_mb_emit_ldloc (mb, copy_locals_base + (j++));
1157 mono_marshal_emit_xdomain_copy_value (mb, mono_class_from_mono_type (sig->params [i]));
1158 mono_mb_emit_byte (mb, CEE_STIND_REF);
1159 }
1160
1161 /* Deserialize out parameters */
1162
1163 if (complex_out_count > 0) {
1164 mono_mb_emit_ldloc (mb, loc_serialized_data);
1165 mono_marshal_emit_xdomain_copy_value (mb, byte_array_class);
1166 mono_mb_emit_managed_call (mb, method_rs_deserialize, NULL);
1167 mono_mb_emit_stloc (mb, loc_array);
1168
1169 /* Copy back output parameters and return type */
1170
1171 j = 0;
1172 for (i = 0; i < sig->param_count; i++) {
1173 if (marshal_types [i] != MONO_MARSHAL_SERIALIZE) continue;
1174 if (sig->params[i]->byref) {
1175 MonoClass *pclass = mono_class_from_mono_type (sig->params [i]);
1176 mono_mb_emit_ldarg (mb, i + 1);
1177 mono_mb_emit_ldloc (mb, loc_array);
1178 mono_mb_emit_icon (mb, j);
1179 mono_mb_emit_byte (mb, CEE_LDELEM_REF);
1180 if (pclass->valuetype) {
1181 mono_mb_emit_op (mb, CEE_UNBOX, pclass);
1182 mono_mb_emit_op (mb, CEE_LDOBJ, pclass);
1183 mono_mb_emit_op (mb, CEE_STOBJ, pclass);
1184 } else {
1185 if (pclass != mono_defaults.object_class)
1186 mono_mb_emit_op (mb, CEE_CASTCLASS, pclass);
1187 mono_mb_emit_byte (mb, CEE_STIND_REF);
1188 }
1189 }
1190 j++;
1191 }
1192
1193 if (ret_marshal_type == MONO_MARSHAL_SERIALIZE) {
1194 mono_mb_emit_ldloc (mb, loc_array);
1195 mono_mb_emit_icon (mb, complex_count);
1196 mono_mb_emit_byte (mb, CEE_LDELEM_REF);
1197 if (ret_class->valuetype) {
1198 mono_mb_emit_op (mb, CEE_UNBOX, ret_class);
1199 mono_mb_emit_op (mb, CEE_LDOBJ, ret_class);
1200 }
1201 }
1202 } else if (ret_marshal_type == MONO_MARSHAL_SERIALIZE) {
1203 mono_mb_emit_ldloc (mb, loc_serialized_data);
1204 mono_marshal_emit_xdomain_copy_value (mb, byte_array_class);
1205 mono_mb_emit_managed_call (mb, method_rs_deserialize, NULL);
1206 if (ret_class->valuetype) {
1207 mono_mb_emit_op (mb, CEE_UNBOX, ret_class);
1208 mono_mb_emit_op (mb, CEE_LDOBJ, ret_class);
1209 } else if (ret_class != mono_defaults.object_class) {
1210 mono_mb_emit_op (mb, CEE_CASTCLASS, ret_class);
1211 }
1212 } else {
1213 mono_mb_emit_ldloc (mb, loc_serialized_data);
1214 mono_mb_emit_byte (mb, CEE_DUP);
1215 pos = mono_mb_emit_short_branch (mb, CEE_BRFALSE_S);
1216 mono_marshal_emit_xdomain_copy_value (mb, byte_array_class);
1217
1218 mono_mb_patch_short_branch (mb, pos);
1219 mono_mb_emit_managed_call (mb, method_rs_deserialize, NULL);
1220 mono_mb_emit_byte (mb, CEE_POP);
1221 }
1222
1223 if (copy_return) {
1224 mono_mb_emit_ldloc (mb, loc_return);
1225 if (ret_marshal_type == MONO_MARSHAL_COPY)
1226 mono_marshal_emit_xdomain_copy_value (mb, ret_class);
1227 }
1228
1229 mono_mb_emit_byte (mb, CEE_RET);
1230 #endif /* DISABLE_JIT */
1231
1232 info = mono_wrapper_info_create (mb, WRAPPER_SUBTYPE_NONE);
1233 info->d.remoting.method = method;
1234 res = mono_remoting_mb_create_and_cache (method, mb, sig, sig->param_count + 16, info);
1235 mono_mb_free (mb);
1236
1237 return res;
1238 }
1239
1240 MonoMethod *
1241 mono_marshal_get_remoting_invoke_for_target (MonoMethod *method, MonoRemotingTarget target_type)
1242 {
1243 if (target_type == MONO_REMOTING_TARGET_APPDOMAIN) {
1244 return mono_marshal_get_xappdomain_invoke (method);
1245 } else if (target_type == MONO_REMOTING_TARGET_COMINTEROP) {
1246 #ifndef DISABLE_COM
1247 return mono_cominterop_get_invoke (method);
1248 #else
1249 g_assert_not_reached ();
1250 #endif
1251 } else {
1252 return mono_marshal_get_remoting_invoke (method);
1253 }
1254 /* Not erached */
1255 return NULL;
1256 }
1257
1258 G_GNUC_UNUSED static gpointer
1259 mono_marshal_load_remoting_wrapper (MonoRealProxy *rp, MonoMethod *method)
1260 {
1261 MonoError error;
1262 MonoMethod *marshal_method = NULL;
1263 if (rp->target_domain_id != -1)
1264 marshal_method = mono_marshal_get_xappdomain_invoke (method);
1265 else
1266 marshal_method = mono_marshal_get_remoting_invoke (method);
1267 gpointer compiled_ptr = mono_compile_method_checked (marshal_method, &error);
1268 mono_error_assert_ok (&error);
1269 return compiled_ptr;
1270 }
1271
1272 MonoMethod *
1273 mono_marshal_get_remoting_invoke_with_check (MonoMethod *method)
1274 {
1275 MonoMethodSignature *sig;
1276 MonoMethodBuilder *mb;
1277 MonoMethod *res, *native;
1278 WrapperInfo *info;
1279 int i, pos, pos_rem;
1280
1281 g_assert (method);
1282
1283 if (method->wrapper_type == MONO_WRAPPER_REMOTING_INVOKE_WITH_CHECK)
1284 return method;
1285
1286 /* we cant remote methods without this pointer */
1287 g_assert (mono_method_signature (method)->hasthis);
1288
1289 if ((res = mono_marshal_remoting_find_in_cache (method, MONO_WRAPPER_REMOTING_INVOKE_WITH_CHECK)))
1290 return res;
1291
1292 sig = mono_signature_no_pinvoke (method);
1293
1294 mb = mono_mb_new (method->klass, method->name, MONO_WRAPPER_REMOTING_INVOKE_WITH_CHECK);
1295
1296 #ifndef DISABLE_JIT
1297 for (i = 0; i <= sig->param_count; i++)
1298 mono_mb_emit_ldarg (mb, i);
1299
1300 mono_mb_emit_ldarg (mb, 0);
1301 pos = mono_mb_emit_proxy_check (mb, CEE_BNE_UN);
1302
1303 if (mono_marshal_supports_fast_xdomain (method)) {
1304 mono_mb_emit_ldarg (mb, 0);
1305 pos_rem = mono_mb_emit_xdomain_check (mb, CEE_BEQ);
1306
1307 /* wrapper for cross app domain calls */
1308 native = mono_marshal_get_xappdomain_invoke (method);
1309 mono_mb_emit_managed_call (mb, native, mono_method_signature (native));
1310 mono_mb_emit_byte (mb, CEE_RET);
1311
1312 mono_mb_patch_branch (mb, pos_rem);
1313 }
1314 /* wrapper for normal remote calls */
1315 native = mono_marshal_get_remoting_invoke (method);
1316 mono_mb_emit_managed_call (mb, native, mono_method_signature (native));
1317 mono_mb_emit_byte (mb, CEE_RET);
1318
1319 /* not a proxy */
1320 mono_mb_patch_branch (mb, pos);
1321 mono_mb_emit_managed_call (mb, method, mono_method_signature (method));
1322 mono_mb_emit_byte (mb, CEE_RET);
1323 #endif
1324
1325 info = mono_wrapper_info_create (mb, WRAPPER_SUBTYPE_NONE);
1326 info->d.remoting.method = method;
1327 res = mono_remoting_mb_create_and_cache (method, mb, sig, sig->param_count + 16, info);
1328 mono_mb_free (mb);
1329
1330 return res;
1331 }
1332
1333 /*
1334 * mono_marshal_get_ldfld_wrapper:
1335 * @type: the type of the field
1336 *
1337 * This method generates a function which can be use to load a field with type
1338 * @type from an object. The generated function has the following signature:
1339 * <@type> ldfld_wrapper (MonoObject *this_obj, MonoClass *klass, MonoClassField *field, int offset)
1340 */
1341 MonoMethod *
1342 mono_marshal_get_ldfld_wrapper (MonoType *type)
1343 {
1344 MonoMethodSignature *sig;
1345 MonoMethodBuilder *mb;
1346 MonoMethod *res;
1347 MonoClass *klass;
1348 GHashTable *cache;
1349 WrapperInfo *info;
1350 char *name;
1351 int t, pos0, pos1 = 0;
1352 static MonoMethod* tp_load = NULL;
1353
1354 type = mono_type_get_underlying_type (type);
1355
1356 t = type->type;
1357
1358 if (!type->byref) {
1359 if (type->type == MONO_TYPE_SZARRAY) {
1360 klass = mono_defaults.array_class;
1361 } else if (type->type == MONO_TYPE_VALUETYPE) {
1362 klass = type->data.klass;
1363 } else if (t == MONO_TYPE_OBJECT || t == MONO_TYPE_CLASS || t == MONO_TYPE_STRING) {
1364 klass = mono_defaults.object_class;
1365 } else if (t == MONO_TYPE_PTR || t == MONO_TYPE_FNPTR) {
1366 klass = mono_defaults.int_class;
1367 } else if (t == MONO_TYPE_GENERICINST) {
1368 if (mono_type_generic_inst_is_valuetype (type))
1369 klass = mono_class_from_mono_type (type);
1370 else
1371 klass = mono_defaults.object_class;
1372 } else {
1373 klass = mono_class_from_mono_type (type);
1374 }
1375 } else {
1376 klass = mono_defaults.int_class;
1377 }
1378
1379 cache = get_cache (&klass->image->ldfld_wrapper_cache, mono_aligned_addr_hash, NULL);
1380 if ((res = mono_marshal_find_in_cache (cache, klass)))
1381 return res;
1382
1383 #ifndef DISABLE_REMOTING
1384 if (!tp_load) {
1385 tp_load = mono_class_get_method_from_name (mono_defaults.transparent_proxy_class, "LoadRemoteFieldNew", -1);
1386 g_assert (tp_load != NULL);
1387 }
1388 #endif
1389
1390 /* we add the %p pointer value of klass because class names are not unique */
1391 name = g_strdup_printf ("__ldfld_wrapper_%p_%s.%s", klass, klass->name_space, klass->name);
1392 mb = mono_mb_new (mono_defaults.object_class, name, MONO_WRAPPER_LDFLD);
1393 g_free (name);
1394
1395 sig = mono_metadata_signature_alloc (mono_defaults.corlib, 4);
1396 sig->params [0] = &mono_defaults.object_class->byval_arg;
1397 sig->params [1] = &mono_defaults.int_class->byval_arg;
1398 sig->params [2] = &mono_defaults.int_class->byval_arg;
1399 sig->params [3] = &mono_defaults.int_class->byval_arg;
1400 sig->ret = &klass->byval_arg;
1401
1402 #ifndef DISABLE_JIT
1403 mono_mb_emit_ldarg (mb, 0);
1404 pos0 = mono_mb_emit_proxy_check (mb, CEE_BNE_UN);
1405
1406 #ifndef DISABLE_REMOTING
1407 mono_mb_emit_ldarg (mb, 0);
1408 mono_mb_emit_ldarg (mb, 1);
1409 mono_mb_emit_ldarg (mb, 2);
1410
1411 mono_mb_emit_managed_call (mb, tp_load, NULL);
1412
1413 /*
1414 csig = mono_metadata_signature_alloc (mono_defaults.corlib, 3);
1415 csig->params [0] = &mono_defaults.object_class->byval_arg;
1416 csig->params [1] = &mono_defaults.int_class->byval_arg;
1417 csig->params [2] = &mono_defaults.int_class->byval_arg;
1418 csig->ret = &klass->this_arg;
1419 csig->pinvoke = 1;
1420
1421 mono_mb_emit_native_call (mb, csig, mono_load_remote_field_new);
1422 mono_marshal_emit_thread_interrupt_checkpoint (mb);
1423 */
1424
1425 if (klass->valuetype) {
1426 mono_mb_emit_op (mb, CEE_UNBOX, klass);
1427 pos1 = mono_mb_emit_branch (mb, CEE_BR);
1428 } else {
1429 mono_mb_emit_byte (mb, CEE_RET);
1430 }
1431 #endif
1432
1433 mono_mb_patch_branch (mb, pos0);
1434
1435 mono_mb_emit_ldarg (mb, 0);
1436 mono_mb_emit_byte (mb, MONO_CUSTOM_PREFIX);
1437 mono_mb_emit_byte (mb, CEE_MONO_OBJADDR);
1438 mono_mb_emit_ldarg (mb, 3);
1439 mono_mb_emit_byte (mb, CEE_ADD);
1440
1441 if (klass->valuetype)
1442 mono_mb_patch_branch (mb, pos1);
1443
1444 switch (t) {
1445 case MONO_TYPE_I1:
1446 case MONO_TYPE_U1:
1447 case MONO_TYPE_BOOLEAN:
1448 case MONO_TYPE_CHAR:
1449 case MONO_TYPE_I2:
1450 case MONO_TYPE_U2:
1451 case MONO_TYPE_I4:
1452 case MONO_TYPE_U4:
1453 case MONO_TYPE_I8:
1454 case MONO_TYPE_U8:
1455 case MONO_TYPE_R4:
1456 case MONO_TYPE_R8:
1457 case MONO_TYPE_ARRAY:
1458 case MONO_TYPE_SZARRAY:
1459 case MONO_TYPE_OBJECT:
1460 case MONO_TYPE_CLASS:
1461 case MONO_TYPE_STRING:
1462 case MONO_TYPE_I:
1463 case MONO_TYPE_U:
1464 case MONO_TYPE_PTR:
1465 case MONO_TYPE_FNPTR:
1466 mono_mb_emit_byte (mb, mono_type_to_ldind (type));
1467 break;
1468 case MONO_TYPE_VALUETYPE:
1469 g_assert (!klass->enumtype);
1470 mono_mb_emit_op (mb, CEE_LDOBJ, klass);
1471 break;
1472 case MONO_TYPE_GENERICINST:
1473 if (mono_type_generic_inst_is_valuetype (type)) {
1474 mono_mb_emit_op (mb, CEE_LDOBJ, klass);
1475 } else {
1476 mono_mb_emit_byte (mb, CEE_LDIND_REF);
1477 }
1478 break;
1479 case MONO_TYPE_VAR:
1480 case MONO_TYPE_MVAR:
1481 mono_mb_emit_op (mb, CEE_LDOBJ, klass);
1482 break;
1483 default:
1484 g_warning ("type %x not implemented", type->type);
1485 g_assert_not_reached ();
1486 }
1487
1488 mono_mb_emit_byte (mb, CEE_RET);
1489 #endif /* DISABLE_JIT */
1490
1491 info = mono_wrapper_info_create (mb, WRAPPER_SUBTYPE_NONE);
1492 info->d.proxy.klass = klass;
1493 res = mono_mb_create_and_cache_full (cache, klass,
1494 mb, sig, sig->param_count + 16, info, NULL);
1495 mono_mb_free (mb);
1496
1497 return res;
1498 }
1499
1500 /*
1501 * mono_marshal_get_ldflda_wrapper:
1502 * @type: the type of the field
1503 *
1504 * This method generates a function which can be used to load a field address
1505 * from an object. The generated function has the following signature:
1506 * gpointer ldflda_wrapper (MonoObject *this_obj, MonoClass *klass, MonoClassField *field, int offset);
1507 */
1508 MonoMethod *
1509 mono_marshal_get_ldflda_wrapper (MonoType *type)
1510 {
1511 MonoMethodSignature *sig;
1512 MonoMethodBuilder *mb;
1513 MonoMethod *res;
1514 MonoClass *klass;
1515 GHashTable *cache;
1516 WrapperInfo *info;
1517 char *name;
1518 int t, pos0, pos1, pos2, pos3;
1519
1520 type = mono_type_get_underlying_type (type);
1521 t = type->type;
1522
1523 if (!type->byref) {
1524 if (type->type == MONO_TYPE_SZARRAY) {
1525 klass = mono_defaults.array_class;
1526 } else if (type->type == MONO_TYPE_VALUETYPE) {
1527 klass = type->data.klass;
1528 } else if (t == MONO_TYPE_OBJECT || t == MONO_TYPE_CLASS || t == MONO_TYPE_STRING) {
1529 klass = mono_defaults.object_class;
1530 } else if (t == MONO_TYPE_PTR || t == MONO_TYPE_FNPTR) {
1531 klass = mono_defaults.int_class;
1532 } else if (t == MONO_TYPE_GENERICINST) {
1533 if (mono_type_generic_inst_is_valuetype (type))
1534 klass = mono_class_from_mono_type (type);
1535 else
1536 klass = mono_defaults.object_class;
1537 } else {
1538 klass = mono_class_from_mono_type (type);
1539 }
1540 } else {
1541 klass = mono_defaults.int_class;
1542 }
1543
1544 cache = get_cache (&klass->image->ldflda_wrapper_cache, mono_aligned_addr_hash, NULL);
1545 if ((res = mono_marshal_find_in_cache (cache, klass)))
1546 return res;
1547
1548 /* we add the %p pointer value of klass because class names are not unique */
1549 name = g_strdup_printf ("__ldflda_wrapper_%p_%s.%s", klass, klass->name_space, klass->name);
1550 mb = mono_mb_new (mono_defaults.object_class, name, MONO_WRAPPER_LDFLDA);
1551 g_free (name);
1552
1553 sig = mono_metadata_signature_alloc (mono_defaults.corlib, 4);
1554 sig->params [0] = &mono_defaults.object_class->byval_arg;
1555 sig->params [1] = &mono_defaults.int_class->byval_arg;
1556 sig->params [2] = &mono_defaults.int_class->byval_arg;
1557 sig->params [3] = &mono_defaults.int_class->byval_arg;
1558 sig->ret = &mono_defaults.int_class->byval_arg;
1559
1560 #ifndef DISABLE_JIT
1561 /* if typeof (this) != transparent_proxy goto pos0 */
1562 mono_mb_emit_ldarg (mb, 0);
1563 pos0 = mono_mb_emit_proxy_check (mb, CEE_BNE_UN);
1564
1565 /* if same_appdomain goto pos1 */
1566 mono_mb_emit_ldarg (mb, 0);
1567 pos1 = mono_mb_emit_xdomain_check (mb, CEE_BEQ);
1568
1569 mono_mb_emit_exception_full (mb, "System", "InvalidOperationException", "Attempt to load field address from object in another appdomain.");
1570
1571 /* same app domain */
1572 mono_mb_patch_branch (mb, pos1);
1573
1574 /* if typeof (this) != contextbound goto pos2 */
1575 mono_mb_emit_ldarg (mb, 0);
1576 pos2 = mono_mb_emit_contextbound_check (mb, CEE_BEQ);
1577
1578 /* if this->rp->context == mono_context_get goto pos3 */
1579 mono_mb_emit_ldarg (mb, 0);
1580 mono_mb_emit_ldflda (mb, MONO_STRUCT_OFFSET (MonoTransparentProxy, rp));
1581 mono_mb_emit_byte (mb, CEE_LDIND_REF);
1582 mono_mb_emit_ldflda (mb, MONO_STRUCT_OFFSET (MonoRealProxy, context));
1583 mono_mb_emit_byte (mb, CEE_LDIND_REF);
1584 mono_mb_emit_icall (mb, mono_context_get);
1585 pos3 = mono_mb_emit_branch (mb, CEE_BEQ);
1586
1587 mono_mb_emit_exception_full (mb, "System", "InvalidOperationException", "Attempt to load field address from object in another context.");
1588
1589 mono_mb_patch_branch (mb, pos2);
1590 mono_mb_patch_branch (mb, pos3);
1591
1592 /* return the address of the field from this->rp->unwrapped_server */
1593 mono_mb_emit_ldarg (mb, 0);
1594 mono_mb_emit_ldflda (mb, MONO_STRUCT_OFFSET (MonoTransparentProxy, rp));
1595 mono_mb_emit_byte (mb, CEE_LDIND_REF);
1596 mono_mb_emit_ldflda (mb, MONO_STRUCT_OFFSET (MonoRealProxy, unwrapped_server));
1597 mono_mb_emit_byte (mb, CEE_LDIND_REF);
1598 mono_mb_emit_byte (mb, MONO_CUSTOM_PREFIX);
1599 mono_mb_emit_byte (mb, CEE_MONO_OBJADDR);
1600 mono_mb_emit_ldarg (mb, 3);
1601 mono_mb_emit_byte (mb, CEE_ADD);
1602 mono_mb_emit_byte (mb, CEE_RET);
1603
1604 /* not a proxy: return the address of the field directly */
1605 mono_mb_patch_branch (mb, pos0);
1606
1607 mono_mb_emit_ldarg (mb, 0);
1608 mono_mb_emit_byte (mb, MONO_CUSTOM_PREFIX);
1609 mono_mb_emit_byte (mb, CEE_MONO_OBJADDR);
1610 mono_mb_emit_ldarg (mb, 3);
1611 mono_mb_emit_byte (mb, CEE_ADD);
1612
1613 mono_mb_emit_byte (mb, CEE_RET);
1614 #endif
1615
1616 info = mono_wrapper_info_create (mb, WRAPPER_SUBTYPE_NONE);
1617 info->d.proxy.klass = klass;
1618 res = mono_mb_create_and_cache_full (cache, klass,
1619 mb, sig, sig->param_count + 16,
1620 info, NULL);
1621 mono_mb_free (mb);
1622
1623 return res;
1624 }
1625
1626
1627 /*
1628 * mono_marshal_get_stfld_wrapper:
1629 * @type: the type of the field
1630 *
1631 * This method generates a function which can be use to store a field with type
1632 * @type. The generated function has the following signature:
1633 * void stfld_wrapper (MonoObject *this_obj, MonoClass *klass, MonoClassField *field, int offset, <@type> val)
1634 */
1635 MonoMethod *
1636 mono_marshal_get_stfld_wrapper (MonoType *type)
1637 {
1638 MonoMethodSignature *sig;
1639 MonoMethodBuilder *mb;
1640 MonoMethod *res;
1641 MonoClass *klass;
1642 GHashTable *cache;
1643 WrapperInfo *info;
1644 char *name;
1645 int t, pos;
1646 static MonoMethod *tp_store = NULL;
1647
1648 type = mono_type_get_underlying_type (type);
1649 t = type->type;
1650
1651 if (!type->byref) {
1652 if (type->type == MONO_TYPE_SZARRAY) {
1653 klass = mono_defaults.array_class;
1654 } else if (type->type == MONO_TYPE_VALUETYPE) {
1655 klass = type->data.klass;
1656 } else if (t == MONO_TYPE_OBJECT || t == MONO_TYPE_CLASS || t == MONO_TYPE_STRING) {
1657 klass = mono_defaults.object_class;
1658 } else if (t == MONO_TYPE_PTR || t == MONO_TYPE_FNPTR) {
1659 klass = mono_defaults.int_class;
1660 } else if (t == MONO_TYPE_GENERICINST) {
1661 if (mono_type_generic_inst_is_valuetype (type))
1662 klass = mono_class_from_mono_type (type);
1663 else
1664 klass = mono_defaults.object_class;
1665 } else {
1666 klass = mono_class_from_mono_type (type);
1667 }
1668 } else {
1669 klass = mono_defaults.int_class;
1670 }
1671
1672 cache = get_cache (&klass->image->stfld_wrapper_cache, mono_aligned_addr_hash, NULL);
1673 if ((res = mono_marshal_find_in_cache (cache, klass)))
1674 return res;
1675
1676 #ifndef DISABLE_REMOTING
1677 if (!tp_store) {
1678 tp_store = mono_class_get_method_from_name (mono_defaults.transparent_proxy_class, "StoreRemoteField", -1);
1679 g_assert (tp_store != NULL);
1680 }
1681 #endif
1682
1683 /* we add the %p pointer value of klass because class names are not unique */
1684 name = g_strdup_printf ("__stfld_wrapper_%p_%s.%s", klass, klass->name_space, klass->name);
1685 mb = mono_mb_new (mono_defaults.object_class, name, MONO_WRAPPER_STFLD);
1686 g_free (name);
1687
1688 sig = mono_metadata_signature_alloc (mono_defaults.corlib, 5);
1689 sig->params [0] = &mono_defaults.object_class->byval_arg;
1690 sig->params [1] = &mono_defaults.int_class->byval_arg;
1691 sig->params [2] = &mono_defaults.int_class->byval_arg;
1692 sig->params [3] = &mono_defaults.int_class->byval_arg;
1693 sig->params [4] = &klass->byval_arg;
1694 sig->ret = &mono_defaults.void_class->byval_arg;
1695
1696 #ifndef DISABLE_JIT
1697 mono_mb_emit_ldarg (mb, 0);
1698 pos = mono_mb_emit_proxy_check (mb, CEE_BNE_UN);
1699
1700 #ifndef DISABLE_REMOTING
1701 mono_mb_emit_ldarg (mb, 0);
1702 mono_mb_emit_ldarg (mb, 1);
1703 mono_mb_emit_ldarg (mb, 2);
1704 mono_mb_emit_ldarg (mb, 4);
1705 if (klass->valuetype)
1706 mono_mb_emit_op (mb, CEE_BOX, klass);
1707
1708 mono_mb_emit_managed_call (mb, tp_store, NULL);
1709
1710 mono_mb_emit_byte (mb, CEE_RET);
1711 #endif
1712
1713 mono_mb_patch_branch (mb, pos);
1714
1715 mono_mb_emit_ldarg (mb, 0);
1716 mono_mb_emit_byte (mb, MONO_CUSTOM_PREFIX);
1717 mono_mb_emit_byte (mb, CEE_MONO_OBJADDR);
1718 mono_mb_emit_ldarg (mb, 3);
1719 mono_mb_emit_byte (mb, CEE_ADD);
1720 mono_mb_emit_ldarg (mb, 4);
1721
1722 switch (t) {
1723 case MONO_TYPE_I1:
1724 case MONO_TYPE_U1:
1725 case MONO_TYPE_BOOLEAN:
1726 case MONO_TYPE_CHAR:
1727 case MONO_TYPE_I2:
1728 case MONO_TYPE_U2:
1729 case MONO_TYPE_I4:
1730 case MONO_TYPE_U4:
1731 case MONO_TYPE_I8:
1732 case MONO_TYPE_U8:
1733 case MONO_TYPE_R4:
1734 case MONO_TYPE_R8:
1735 case MONO_TYPE_ARRAY:
1736 case MONO_TYPE_SZARRAY:
1737 case MONO_TYPE_OBJECT:
1738 case MONO_TYPE_CLASS:
1739 case MONO_TYPE_STRING:
1740 case MONO_TYPE_I:
1741 case MONO_TYPE_U:
1742 case MONO_TYPE_PTR:
1743 case MONO_TYPE_FNPTR:
1744 mono_mb_emit_byte (mb, mono_type_to_stind (type));
1745 break;
1746 case MONO_TYPE_VALUETYPE:
1747 g_assert (!klass->enumtype);
1748 mono_mb_emit_op (mb, CEE_STOBJ, klass);
1749 break;
1750 case MONO_TYPE_GENERICINST:
1751 case MONO_TYPE_VAR:
1752 case MONO_TYPE_MVAR:
1753 mono_mb_emit_op (mb, CEE_STOBJ, klass);
1754 break;
1755 default:
1756 g_warning ("type %x not implemented", type->type);
1757 g_assert_not_reached ();
1758 }
1759
1760 mono_mb_emit_byte (mb, CEE_RET);
1761 #endif
1762
1763 info = mono_wrapper_info_create (mb, WRAPPER_SUBTYPE_NONE);
1764 info->d.proxy.klass = klass;
1765 res = mono_mb_create_and_cache_full (cache, klass,
1766 mb, sig, sig->param_count + 16,
1767 info, NULL);
1768 mono_mb_free (mb);
1769
1770 return res;
1771 }
1772
1773 MonoMethod *
1774 mono_marshal_get_proxy_cancast (MonoClass *klass)
1775 {
1776 static MonoMethodSignature *isint_sig = NULL;
1777 GHashTable *cache;
1778 MonoMethod *res;
1779 WrapperInfo *info;
1780 int pos_failed, pos_end;
1781 char *name, *klass_name;
1782 MonoMethod *can_cast_to;
1783 MonoMethodDesc *desc;
1784 MonoMethodBuilder *mb;
1785
1786 cache = get_cache (&klass->image->proxy_isinst_cache, mono_aligned_addr_hash, NULL);
1787 if ((res = mono_marshal_find_in_cache (cache, klass)))
1788 return res;
1789
1790 if (!isint_sig) {
1791 isint_sig = mono_metadata_signature_alloc (mono_defaults.corlib, 1);
1792 isint_sig->params [0] = &mono_defaults.object_class->byval_arg;
1793 isint_sig->ret = &mono_defaults.object_class->byval_arg;
1794 isint_sig->pinvoke = 0;
1795 }
1796
1797 klass_name = mono_type_full_name (&klass->byval_arg);
1798 name = g_strdup_printf ("__proxy_isinst_wrapper_%s", klass_name);
1799 mb = mono_mb_new (mono_defaults.object_class, name, MONO_WRAPPER_PROXY_ISINST);
1800 g_free (klass_name);
1801 g_free (name);
1802
1803 mb->method->save_lmf = 1;
1804
1805 #ifndef DISABLE_JIT
1806 /* get the real proxy from the transparent proxy*/
1807 mono_mb_emit_ldarg (mb, 0);
1808 mono_mb_emit_ldflda (mb, MONO_STRUCT_OFFSET (MonoTransparentProxy, rp));
1809 mono_mb_emit_byte (mb, CEE_LDIND_REF);
1810
1811 /* get the reflection type from the type handle */
1812 mono_mb_emit_ptr (mb, &klass->byval_arg);
1813 mono_mb_emit_icall (mb, type_from_handle);
1814
1815 mono_mb_emit_ldarg (mb, 0);
1816
1817 /* make the call to CanCastTo (type, ob) */
1818 desc = mono_method_desc_new ("IRemotingTypeInfo:CanCastTo", FALSE);
1819 can_cast_to = mono_method_desc_search_in_class (desc, mono_defaults.iremotingtypeinfo_class);
1820 g_assert (can_cast_to);
1821 mono_method_desc_free (desc);
1822 mono_mb_emit_op (mb, CEE_CALLVIRT, can_cast_to);
1823
1824 pos_failed = mono_mb_emit_branch (mb, CEE_BRFALSE);
1825
1826 /* Upgrade the proxy vtable by calling: mono_upgrade_remote_class_wrapper (type, ob)*/
1827 mono_mb_emit_ptr (mb, &klass->byval_arg);
1828 mono_mb_emit_icall (mb, type_from_handle);
1829 mono_mb_emit_ldarg (mb, 0);
1830
1831 mono_mb_emit_icall (mb, mono_upgrade_remote_class_wrapper);
1832 mono_marshal_emit_thread_interrupt_checkpoint (mb);
1833
1834 mono_mb_emit_ldarg (mb, 0);
1835 pos_end = mono_mb_emit_branch (mb, CEE_BR);
1836
1837 /* fail */
1838
1839 mono_mb_patch_branch (mb, pos_failed);
1840 mono_mb_emit_byte (mb, CEE_LDNULL);
1841
1842 /* the end */
1843
1844 mono_mb_patch_branch (mb, pos_end);
1845 mono_mb_emit_byte (mb, CEE_RET);
1846 #endif
1847
1848 info = mono_wrapper_info_create (mb, WRAPPER_SUBTYPE_NONE);
1849 info->d.proxy.klass = klass;
1850 res = mono_mb_create_and_cache_full (cache, klass, mb, isint_sig, isint_sig->param_count + 16, info, NULL);
1851 mono_mb_free (mb);
1852
1853 return res;
1854 }
1855
1856 void
1857 mono_upgrade_remote_class_wrapper (MonoReflectionType *rtype_raw, MonoTransparentProxy *tproxy_raw)
1858 {
1859 ICALL_ENTRY ();
1860 MONO_HANDLE_DCL (MonoReflectionType, rtype);
1861 MONO_HANDLE_DCL (MonoTransparentProxy, tproxy);
1862 MonoDomain *domain = MONO_HANDLE_DOMAIN (tproxy);
1863 MonoClass *klass = mono_class_from_mono_type (MONO_HANDLE_GETVAL (rtype, type));
1864 mono_upgrade_remote_class (domain, MONO_HANDLE_CAST (MonoObject, tproxy), klass, &error);
1865 ICALL_RETURN ();
1866 }
1867
1868 #else /* DISABLE_REMOTING */
1869
1870 void
1871 mono_remoting_init (void)
1872 {
1873 }
1874
1875 #endif /* DISABLE_REMOTING */
1876
1877 /* mono_get_xdomain_marshal_type()
1878 * Returns the kind of marshalling that a type needs for cross domain calls.
1879 */
1880 static MonoXDomainMarshalType
1881 mono_get_xdomain_marshal_type (MonoType *t)
1882 {
1883 switch (t->type) {
1884 case MONO_TYPE_VOID:
1885 g_assert_not_reached ();
1886 break;
1887 case MONO_TYPE_U1:
1888 case MONO_TYPE_I1:
1889 case MONO_TYPE_BOOLEAN:
1890 case MONO_TYPE_U2:
1891 case MONO_TYPE_I2:
1892 case MONO_TYPE_CHAR:
1893 case MONO_TYPE_U4:
1894 case MONO_TYPE_I4:
1895 case MONO_TYPE_I8:
1896 case MONO_TYPE_U8:
1897 case MONO_TYPE_R4:
1898 case MONO_TYPE_R8:
1899 return MONO_MARSHAL_NONE;
1900 case MONO_TYPE_STRING:
1901 return MONO_MARSHAL_COPY;
1902 case MONO_TYPE_ARRAY:
1903 case MONO_TYPE_SZARRAY: {
1904 MonoClass *elem_class = mono_class_from_mono_type (t)->element_class;
1905 if (mono_get_xdomain_marshal_type (&(elem_class->byval_arg)) != MONO_MARSHAL_SERIALIZE)
1906 return MONO_MARSHAL_COPY;
1907 break;
1908 }
1909 default:
1910 break;
1911 }
1912 return MONO_MARSHAL_SERIALIZE;
1913 }
1914
1915 /* Replace the given array element by a copy in the current domain */
1916 static gboolean
1917 xdomain_copy_array_element_inplace (MonoArrayHandle arr, int i, MonoError *error)
1918 {
1919 HANDLE_FUNCTION_ENTER ();
1920 mono_error_init (error);
1921 MonoObjectHandle item = MONO_HANDLE_NEW (MonoObject, NULL);
1922 MONO_HANDLE_ARRAY_GETREF (item, arr, i);
1923
1924 MonoObjectHandle item_copy = mono_marshal_xdomain_copy_value_handle (item, error);
1925 if (!is_ok (error))
1926 goto leave;
1927 MONO_HANDLE_ARRAY_SETREF (arr, i, item_copy);
1928 leave:
1929 HANDLE_FUNCTION_RETURN_VAL (is_ok (error));
1930 }
1931
1932 /**
1933 * mono_marshal_xdomain_copy_value_handle:
1934 * @val: The value to copy.
1935 * @error: set on failure.
1936 *
1937 * Makes a copy of @val suitable for the current domain.
1938 * On failure returns NULL and sets @error.
1939 */
1940 MonoObjectHandle
1941 mono_marshal_xdomain_copy_value_handle (MonoObjectHandle val, MonoError *error)
1942 {
1943 mono_error_init (error);
1944 MonoObjectHandle result = MONO_HANDLE_NEW (MonoObject, NULL);
1945 if (MONO_HANDLE_IS_NULL (val))
1946 goto leave;
1947
1948 MonoDomain *domain = mono_domain_get ();
1949
1950 MonoClass *klass = mono_handle_class (val);
1951
1952 switch (klass->byval_arg.type) {
1953 case MONO_TYPE_VOID:
1954 g_assert_not_reached ();
1955 break;
1956 case MONO_TYPE_U1:
1957 case MONO_TYPE_I1:
1958 case MONO_TYPE_BOOLEAN:
1959 case MONO_TYPE_U2:
1960 case MONO_TYPE_I2:
1961 case MONO_TYPE_CHAR:
1962 case MONO_TYPE_U4:
1963 case MONO_TYPE_I4:
1964 case MONO_TYPE_I8:
1965 case MONO_TYPE_U8:
1966 case MONO_TYPE_R4:
1967 case MONO_TYPE_R8: {
1968 uint32_t gchandle = mono_gchandle_from_handle (val, TRUE);
1969 MonoObjectHandle res = MONO_HANDLE_NEW (MonoObject, mono_value_box_checked (domain, klass, ((char*)val) + sizeof(MonoObject), error)); /* FIXME use handles in mono_value_box_checked */
1970 mono_gchandle_free (gchandle);
1971 if (!is_ok (error))
1972 goto leave;
1973 MONO_HANDLE_ASSIGN (result, res);
1974 break;
1975 }
1976 case MONO_TYPE_STRING: {
1977 MonoStringHandle str = MONO_HANDLE_CAST (MonoString, val);
1978 uint32_t gchandle = mono_gchandle_from_handle (val, TRUE);
1979 MonoStringHandle res = mono_string_new_utf16_handle (domain, mono_string_chars (MONO_HANDLE_RAW (str)), mono_string_handle_length (str), error);
1980 mono_gchandle_free (gchandle);
1981 if (!is_ok (error))
1982 goto leave;
1983 MONO_HANDLE_ASSIGN (result, res);
1984 break;
1985 }
1986 case MONO_TYPE_ARRAY:
1987 case MONO_TYPE_SZARRAY: {
1988 MonoArrayHandle arr = MONO_HANDLE_CAST (MonoArray, val);
1989 MonoXDomainMarshalType mt = mono_get_xdomain_marshal_type (&klass->element_class->byval_arg);
1990 if (mt == MONO_MARSHAL_SERIALIZE)
1991 goto leave;
1992 MonoArrayHandle acopy = mono_array_clone_in_domain (domain, arr, error);
1993 if (!is_ok (error))
1994 goto leave;
1995
1996 if (mt == MONO_MARSHAL_COPY) {
1997 int i, len = mono_array_handle_length (acopy);
1998 for (i = 0; i < len; i++) {
1999 if (!xdomain_copy_array_element_inplace (acopy, i, error))
2000 goto leave;
2001 }
2002 }
2003 MONO_HANDLE_ASSIGN (result, acopy);
2004 break;
2005 }
2006 default:
2007 break;
2008 }
2009
2010 leave:
2011 return result;
2012 }
2013
2014 /* mono_marshal_xdomain_copy_value
2015 * Makes a copy of "val" suitable for the current domain.
2016 */
2017 MonoObject*
2018 mono_marshal_xdomain_copy_value (MonoObject* val_raw, MonoError *error)
2019 {
2020 HANDLE_FUNCTION_ENTER ();
2021 /* FIXME callers of mono_marshal_xdomain_copy_value should use handles */
2022 MONO_HANDLE_DCL (MonoObject, val);
2023 MonoObjectHandle result = mono_marshal_xdomain_copy_value_handle (val, error);
2024 HANDLE_FUNCTION_RETURN_OBJ (result);
2025 }
2026
2027 /* mono_marshal_xdomain_copy_value
2028 * Makes a copy of "val" suitable for the current domain.
2029 */
2030 MonoObject *
2031 ves_icall_mono_marshal_xdomain_copy_value (MonoObject *val)
2032 {
2033 MonoError error;
2034 MonoObject *result = mono_marshal_xdomain_copy_value (val, &error);
2035 mono_error_set_pending_exception (&error);
2036 return result;
2037 }
Mirror of the official Mono project git repository