1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
|
/**
* \file
* Appdomain-related internal data structures and functions.
* Copyright 2012 Xamarin Inc (http://www.xamarin.com)
* Licensed under the MIT license. See LICENSE file in the project root for full license information.
*/
#ifndef __MONO_METADATA_DOMAIN_INTERNALS_H__
#define __MONO_METADATA_DOMAIN_INTERNALS_H__
#include <mono/utils/mono-forward-internal.h>
#include <mono/metadata/object-forward.h>
#include <mono/metadata/appdomain.h>
#include <mono/metadata/mempool.h>
#include <mono/metadata/lock-tracer.h>
#include <mono/utils/mono-codeman.h>
#include <mono/metadata/mono-hash.h>
#include <mono/metadata/mono-conc-hash.h>
#include <mono/utils/mono-compiler.h>
#include <mono/utils/mono-internal-hash.h>
#include <mono/metadata/mempool-internals.h>
#include <mono/metadata/handle-decl.h>
/*
* If this is set, the memory belonging to appdomains is not freed when a domain is
* unloaded, and assemblies loaded by the appdomain are not unloaded either. This
* allows us to use typed gc in non-default appdomains too, leading to increased
* performance.
*/
extern gboolean mono_dont_free_domains;
/* This is a copy of System.AppDomainSetup */
typedef struct {
MonoObject object;
MonoString *application_base;
MonoString *application_name;
MonoString *cache_path;
MonoString *configuration_file;
MonoString *dynamic_base;
MonoString *license_file;
MonoString *private_bin_path;
MonoString *private_bin_path_probe;
MonoString *shadow_copy_directories;
MonoString *shadow_copy_files;
MonoBoolean publisher_policy;
MonoBoolean path_changed;
int loader_optimization;
MonoBoolean disallow_binding_redirects;
MonoBoolean disallow_code_downloads;
MonoObject *activation_arguments; /* it is System.Object in 1.x, ActivationArguments in 2.0 */
MonoObject *domain_initializer;
MonoObject *application_trust; /* it is System.Object in 1.x, ApplicationTrust in 2.0 */
MonoArray *domain_initializer_args;
MonoBoolean disallow_appbase_probe;
MonoArray *configuration_bytes;
MonoArray *serialized_non_primitives;
} MonoAppDomainSetup;
typedef struct _MonoJitInfoTable MonoJitInfoTable;
typedef struct _MonoJitInfoTableChunk MonoJitInfoTableChunk;
#define MONO_JIT_INFO_TABLE_CHUNK_SIZE 64
struct _MonoJitInfoTableChunk
{
int refcount;
volatile int num_elements;
volatile gint8 *last_code_end;
MonoJitInfo *next_tombstone;
MonoJitInfo * volatile data [MONO_JIT_INFO_TABLE_CHUNK_SIZE];
};
struct _MonoJitInfoTable
{
MonoDomain *domain;
int num_chunks;
int num_valid;
MonoJitInfoTableChunk *chunks [MONO_ZERO_LEN_ARRAY];
};
#define MONO_SIZEOF_JIT_INFO_TABLE (sizeof (struct _MonoJitInfoTable) - MONO_ZERO_LEN_ARRAY * SIZEOF_VOID_P)
typedef GArray MonoAotModuleInfoTable;
typedef struct {
guint32 flags;
gint32 exvar_offset;
gpointer try_start;
gpointer try_end;
gpointer handler_start;
/*
* For LLVM compiled code, this is the index of the il clause
* associated with this handler.
*/
int clause_index;
uint32_t try_offset;
uint32_t try_len;
uint32_t handler_offset;
uint32_t handler_len;
union {
MonoClass *catch_class;
gpointer filter;
gpointer handler_end;
} data;
} MonoJitExceptionInfo;
/*
* Contains information about the type arguments for generic shared methods.
*/
typedef struct {
gboolean is_gsharedvt;
} MonoGenericSharingContext;
/* Simplified DWARF location list entry */
typedef struct {
/* Whenever the value is in a register */
gboolean is_reg;
/*
* If is_reg is TRUE, the register which contains the value. Otherwise
* the base register.
*/
int reg;
/*
* If is_reg is FALSE, the offset of the stack location relative to 'reg'.
* Otherwise, 0.
*/
int offset;
/*
* Offsets of the PC interval where the value is in this location.
*/
int from, to;
} MonoDwarfLocListEntry;
typedef struct
{
MonoGenericSharingContext *generic_sharing_context;
int nlocs;
MonoDwarfLocListEntry *locations;
gint32 this_offset;
guint8 this_reg;
gboolean has_this:1;
gboolean this_in_reg:1;
} MonoGenericJitInfo;
/*
A try block hole is used to represent a non-contiguous part of
of a segment of native code protected by a given .try block.
Usually, a try block is defined as a contiguous segment of code.
But in some cases it's needed to have some parts of it to not be protected.
For example, given "try {} finally {}", the code in the .try block to call
the finally part looks like:
try {
...
call finally_block
adjust stack
jump outside try block
...
} finally {
...
}
The instructions between the call and the jump should not be under the try block since they happen
after the finally block executes, which means if an async exceptions happens at that point we would
execute the finally clause twice. So, to avoid this, we introduce a hole in the try block to signal
that those instructions are not protected.
*/
typedef struct
{
guint32 offset;
guint16 clause;
guint16 length;
} MonoTryBlockHoleJitInfo;
typedef struct
{
guint16 num_holes;
MonoTryBlockHoleJitInfo holes [MONO_ZERO_LEN_ARRAY];
} MonoTryBlockHoleTableJitInfo;
typedef struct
{
guint32 stack_size;
guint32 epilog_size;
} MonoArchEHJitInfo;
typedef struct {
/* Relative to code_start */
int thunks_offset;
int thunks_size;
} MonoThunkJitInfo;
typedef struct {
guint8 *unw_info;
int unw_info_len;
} MonoUnwindJitInfo;
typedef enum {
JIT_INFO_NONE = 0,
JIT_INFO_HAS_GENERIC_JIT_INFO = (1 << 0),
JIT_INFO_HAS_TRY_BLOCK_HOLES = (1 << 1),
JIT_INFO_HAS_ARCH_EH_INFO = (1 << 2),
JIT_INFO_HAS_THUNK_INFO = (1 << 3),
/*
* If this is set, the unwind info is stored in the structure, instead of being pointed to by the
* 'unwind_info' field.
*/
JIT_INFO_HAS_UNWIND_INFO = (1 << 4)
} MonoJitInfoFlags;
G_ENUM_FUNCTIONS (MonoJitInfoFlags)
struct _MonoJitInfo {
/* NOTE: These first two elements (method and
next_jit_code_hash) must be in the same order and at the
same offset as in RuntimeMethod, because of the jit_code_hash
internal hash table in MonoDomain. */
union {
MonoMethod *method;
MonoImage *image;
MonoAotModule *aot_info;
MonoTrampInfo *tramp_info;
} d;
union {
MonoJitInfo *next_jit_code_hash;
MonoJitInfo *next_tombstone;
} n;
gpointer code_start;
guint32 unwind_info;
int code_size;
guint32 num_clauses:15;
/* Whenever the code is domain neutral or 'shared' */
gboolean domain_neutral:1;
gboolean has_generic_jit_info:1;
gboolean has_try_block_holes:1;
gboolean has_arch_eh_info:1;
gboolean has_thunk_info:1;
gboolean has_unwind_info:1;
gboolean from_aot:1;
gboolean from_llvm:1;
gboolean dbg_attrs_inited:1;
gboolean dbg_hidden:1;
/* Whenever this jit info was loaded in async context */
gboolean async:1;
gboolean dbg_step_through:1;
gboolean dbg_non_user_code:1;
/*
* Whenever this jit info refers to a trampoline.
* d.tramp_info contains additional data in this case.
*/
gboolean is_trampoline:1;
/* Whenever this jit info refers to an interpreter method */
gboolean is_interp:1;
/* FIXME: Embed this after the structure later*/
gpointer gc_info; /* Currently only used by SGen */
gpointer seq_points;
MonoJitExceptionInfo clauses [MONO_ZERO_LEN_ARRAY];
/* There is an optional MonoGenericJitInfo after the clauses */
/* There is an optional MonoTryBlockHoleTableJitInfo after MonoGenericJitInfo clauses*/
/* There is an optional MonoArchEHJitInfo after MonoTryBlockHoleTableJitInfo */
/* There is an optional MonoThunkJitInfo after MonoArchEHJitInfo */
};
#define MONO_SIZEOF_JIT_INFO (offsetof (struct _MonoJitInfo, clauses))
typedef struct {
gpointer *static_data; /* Used to free the static data without going through the MonoAppContext object itself. */
uint32_t gc_handle;
} ContextStaticData;
struct _MonoAppContext {
MonoObject obj;
gint32 domain_id;
gint32 context_id;
gpointer *static_data;
ContextStaticData *data;
};
/* Lock-free allocator */
typedef struct {
guint8 *mem;
gpointer prev;
int size, pos;
} LockFreeMempoolChunk;
typedef struct {
LockFreeMempoolChunk *current, *chunks;
} LockFreeMempool;
/*
* We have two unloading states because the domain
* must remain fully functional while AppDomain::DomainUnload is
* processed.
* After that unloading began and all domain facilities are teared down
* such as execution of new threadpool jobs.
*/
typedef enum {
MONO_APPDOMAIN_CREATED,
MONO_APPDOMAIN_UNLOADING_START,
MONO_APPDOMAIN_UNLOADING,
MONO_APPDOMAIN_UNLOADED
} MonoAppDomainState;
typedef struct _MonoThunkFreeList {
guint32 size;
int length; /* only valid for the wait list */
struct _MonoThunkFreeList *next;
} MonoThunkFreeList;
typedef struct _MonoJitCodeHash MonoJitCodeHash;
struct _MonoDomain {
/*
* This lock must never be taken before the loader lock,
* i.e. if both are taken by the same thread, the loader lock
* must taken first.
*/
MonoCoopMutex lock;
MonoMemPool *mp;
MonoCodeManager *code_mp;
/*
* keep all the managed objects close to each other for the precise GC
* For the Boehm GC we additionally keep close also other GC-tracked pointers.
*/
#define MONO_DOMAIN_FIRST_OBJECT setup
MonoAppDomainSetup *setup;
MonoAppDomain *domain;
MonoAppContext *default_context;
MonoException *out_of_memory_ex;
MonoException *null_reference_ex;
MonoException *stack_overflow_ex;
/* typeof (void) */
MonoObject *typeof_void;
/* Ephemeron Tombstone*/
MonoObject *ephemeron_tombstone;
/* new MonoType [0] */
MonoArray *empty_types;
MonoString *empty_string;
/*
* The fields between FIRST_GC_TRACKED and LAST_GC_TRACKED are roots, but
* not object references.
*/
#define MONO_DOMAIN_FIRST_GC_TRACKED env
MonoGHashTable *env;
MonoGHashTable *ldstr_table;
/* hashtables for Reflection handles */
MonoGHashTable *type_hash;
MonoConcGHashTable *refobject_hash;
/* maps class -> type initialization exception object */
MonoGHashTable *type_init_exception_hash;
/* maps delegate trampoline addr -> delegate object */
MonoGHashTable *delegate_hash_table;
#define MONO_DOMAIN_LAST_GC_TRACKED delegate_hash_table
guint32 state;
/* Needed by Thread:GetDomainID() */
gint32 domain_id;
gint32 shadow_serial;
GSList *domain_assemblies;
MonoAssembly *entry_assembly;
char *friendly_name;
GPtrArray *class_vtable_array;
/* maps remote class key -> MonoRemoteClass */
GHashTable *proxy_vtable_hash;
/* Protected by 'jit_code_hash_lock' */
MonoInternalHashTable jit_code_hash;
mono_mutex_t jit_code_hash_lock;
int num_jit_info_table_duplicates;
MonoJitInfoTable *
volatile jit_info_table;
/*
* Contains information about AOT loaded code.
* Only used in the root domain.
*/
MonoJitInfoTable *
volatile aot_modules;
GSList *jit_info_free_queue;
/* Used when loading assemblies */
gchar **search_path;
gchar *private_bin_path;
LockFreeMempool *lock_free_mp;
/* Used by remoting proxies */
MonoMethod *create_proxy_for_type_method;
MonoMethod *private_invoke_method;
/* Used to store offsets of thread and context static fields */
GHashTable *special_static_fields;
/*
* This must be a GHashTable, since these objects can't be finalized
* if the hashtable contains a GC visible reference to them.
*/
GHashTable *finalizable_objects_hash;
/* Protects the three hashes above */
mono_mutex_t finalizable_objects_hash_lock;
/* Used when accessing 'domain_assemblies' */
mono_mutex_t assemblies_lock;
GHashTable *generic_virtual_cases;
/* Information maintained by the JIT engine */
gpointer runtime_info;
/* Contains the compiled runtime invoke wrapper used by finalizers */
gpointer finalize_runtime_invoke;
/* Contains the compiled runtime invoke wrapper used by async resylt creation to capture thread context*/
gpointer capture_context_runtime_invoke;
/* Contains the compiled method used by async resylt creation to capture thread context*/
gpointer capture_context_method;
/* Assembly bindings, the per-domain part */
GSList *assembly_bindings;
gboolean assembly_bindings_parsed;
/* Used by socket-io.c */
/* These are domain specific, since the assembly can be unloaded */
MonoImage *socket_assembly;
MonoClass *sockaddr_class;
MonoClassField *sockaddr_data_field;
MonoClassField *sockaddr_data_length_field;
/* Cache function pointers for architectures */
/* that require wrappers */
GHashTable *ftnptrs_hash;
/* Maps MonoMethod* to weak links to DynamicMethod objects */
GHashTable *method_to_dyn_method;
/* <ThrowUnobservedTaskExceptions /> support */
gboolean throw_unobserved_task_exceptions;
guint32 execution_context_field_offset;
};
typedef struct {
guint16 major, minor, build, revision;
} AssemblyVersionSet;
/* MonoRuntimeInfo: Contains information about versions supported by this runtime */
typedef struct {
const char runtime_version [12];
const char framework_version [4];
const AssemblyVersionSet version_sets [5];
} MonoRuntimeInfo;
#define mono_domain_assemblies_lock(domain) mono_locks_os_acquire(&(domain)->assemblies_lock, DomainAssembliesLock)
#define mono_domain_assemblies_unlock(domain) mono_locks_os_release(&(domain)->assemblies_lock, DomainAssembliesLock)
#define mono_domain_jit_code_hash_lock(domain) mono_locks_os_acquire(&(domain)->jit_code_hash_lock, DomainJitCodeHashLock)
#define mono_domain_jit_code_hash_unlock(domain) mono_locks_os_release(&(domain)->jit_code_hash_lock, DomainJitCodeHashLock)
typedef MonoDomain* (*MonoLoadFunc) (const char *filename, const char *runtime_version);
void mono_domain_lock (MonoDomain *domain) MONO_LLVM_INTERNAL;
void mono_domain_unlock (MonoDomain *domain) MONO_LLVM_INTERNAL;
void
mono_install_runtime_load (MonoLoadFunc func);
MonoDomain*
mono_runtime_load (const char *filename, const char *runtime_version);
typedef void (*MonoCreateDomainFunc) (MonoDomain *domain);
void
mono_install_create_domain_hook (MonoCreateDomainFunc func);
typedef void (*MonoFreeDomainFunc) (MonoDomain *domain);
void
mono_install_free_domain_hook (MonoFreeDomainFunc func);
void
mono_cleanup (void);
void
mono_close_exe_image (void);
int
mono_jit_info_size (MonoJitInfoFlags flags, int num_clauses, int num_holes);
void
mono_jit_info_init (MonoJitInfo *ji, MonoMethod *method, guint8 *code, int code_size,
MonoJitInfoFlags flags, int num_clauses, int num_holes);
MonoJitInfoTable *
mono_jit_info_table_new (MonoDomain *domain);
void
mono_jit_info_table_free (MonoJitInfoTable *table);
void
mono_jit_info_table_add (MonoDomain *domain, MonoJitInfo *ji);
void
mono_jit_info_table_remove (MonoDomain *domain, MonoJitInfo *ji);
void
mono_jit_info_add_aot_module (MonoImage *image, gpointer start, gpointer end);
MonoGenericJitInfo*
mono_jit_info_get_generic_jit_info (MonoJitInfo *ji);
MonoGenericSharingContext*
mono_jit_info_get_generic_sharing_context (MonoJitInfo *ji);
void
mono_jit_info_set_generic_sharing_context (MonoJitInfo *ji, MonoGenericSharingContext *gsctx);
char *
mono_make_shadow_copy (const char *filename, MonoError *error);
gboolean
mono_is_shadow_copy_enabled (MonoDomain *domain, const gchar *dir_name);
gpointer
mono_domain_alloc (MonoDomain *domain, guint size);
#define mono_domain_alloc(domain, size) (g_cast (mono_domain_alloc ((domain), (size))))
gpointer
mono_domain_alloc0 (MonoDomain *domain, guint size);
#define mono_domain_alloc0(domain, size) (g_cast (mono_domain_alloc0 ((domain), (size))))
gpointer
mono_domain_alloc0_lock_free (MonoDomain *domain, guint size);
#define mono_domain_alloc0_lock_free(domain, size) (g_cast (mono_domain_alloc0_lock_free ((domain), (size))))
void*
mono_domain_code_reserve (MonoDomain *domain, int size) MONO_LLVM_INTERNAL;
#define mono_domain_code_reserve(domain, size) (g_cast (mono_domain_code_reserve ((domain), (size))))
void*
mono_domain_code_reserve_align (MonoDomain *domain, int size, int alignment);
#define mono_domain_code_reserve_align(domain, size, align) (g_cast (mono_domain_code_reserve_align ((domain), (size), (align))))
void
mono_domain_code_commit (MonoDomain *domain, void *data, int size, int newsize);
void
mono_domain_code_foreach (MonoDomain *domain, MonoCodeManagerFunc func, void *user_data);
void
mono_domain_unset (void);
void
mono_domain_set_internal_with_options (MonoDomain *domain, gboolean migrate_exception);
gboolean
mono_domain_set_config_checked (MonoDomain *domain, const char *base_dir, const char *config_file_name, MonoError *error);
MonoTryBlockHoleTableJitInfo*
mono_jit_info_get_try_block_hole_table_info (MonoJitInfo *ji);
MonoArchEHJitInfo*
mono_jit_info_get_arch_eh_info (MonoJitInfo *ji);
MonoThunkJitInfo*
mono_jit_info_get_thunk_info (MonoJitInfo *ji);
MonoUnwindJitInfo*
mono_jit_info_get_unwind_info (MonoJitInfo *ji);
/*
* Installs a new function which is used to return a MonoJitInfo for a method inside
* an AOT module.
*/
typedef MonoJitInfo *(*MonoJitInfoFindInAot) (MonoDomain *domain, MonoImage *image, gpointer addr);
void mono_install_jit_info_find_in_aot (MonoJitInfoFindInAot func);
void
mono_jit_code_hash_init (MonoInternalHashTable *jit_code_hash);
MonoAssembly *
mono_assembly_load_corlib (const MonoRuntimeInfo *runtime, MonoImageOpenStatus *status);
const MonoRuntimeInfo*
mono_get_runtime_info (void);
void
mono_runtime_set_no_exec (gboolean val);
gboolean
mono_runtime_get_no_exec (void);
void
mono_domain_parse_assembly_bindings (MonoDomain *domain, int amajor, int aminor, gchar *domain_config_file_name);
gboolean
mono_assembly_name_parse (const char *name, MonoAssemblyName *aname);
MonoImage *mono_assembly_open_from_bundle (const char *filename,
MonoImageOpenStatus *status,
gboolean refonly);
MonoAssembly *
mono_try_assembly_resolve (MonoDomain *domain, const char *fname, MonoAssembly *requesting, gboolean refonly, MonoError *error);
MonoAssembly *
mono_domain_assembly_postload_search (MonoAssemblyName *aname, MonoAssembly *requesting, gboolean refonly);
void mono_domain_set_options_from_config (MonoDomain *domain);
int mono_framework_version (void);
void mono_reflection_cleanup_domain (MonoDomain *domain);
void mono_assembly_cleanup_domain_bindings (guint32 domain_id);
MonoJitInfo* mono_jit_info_table_find_internal (MonoDomain *domain, gpointer addr, gboolean try_aot, gboolean allow_trampolines);
void mono_enable_debug_domain_unload (gboolean enable);
void
mono_runtime_init_checked (MonoDomain *domain, MonoThreadStartCB start_cb, MonoThreadAttachCB attach_cb, MonoError *error);
void
mono_context_init_checked (MonoDomain *domain, MonoError *error);
gboolean
mono_assembly_has_reference_assembly_attribute (MonoAssembly *assembly, MonoError *error);
GPtrArray*
mono_domain_get_assemblies (MonoDomain *domain, gboolean refonly);
#endif /* __MONO_METADATA_DOMAIN_INTERNALS_H__ */
|