#define __MONO_METADATA_DOMAIN_INTERNALS_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/utils/mono-hash.h>
#include <mono/utils/mono-compiler.h>
#include <mono/utils/mono-internal-hash.h>
#include <mono/io-layer/io-layer.h>
+#include <mono/metadata/mempool-internals.h>
extern CRITICAL_SECTION mono_delegate_section;
+extern CRITICAL_SECTION mono_strtod_mutex;
+
+/*
+ * 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 {
MonoBoolean disallow_code_downloads;
MonoObject *activation_arguments; /* it is System.Object in 1.x, ActivationArguments in 2.0 */
MonoObject *domain_initializer;
- MonoArray *domain_initializer_args;
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;
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 {
union {
MonoClass *catch_class;
gpointer filter;
+ gpointer handler_end;
} data;
} MonoJitExceptionInfo;
MonoGenericSharingContext *generic_sharing_context;
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;
+
struct _MonoJitInfo {
/* NOTE: These first two elements (method and
next_jit_code_hash) must be in the same order and at the
MonoMethod *method;
struct _MonoJitInfo *next_jit_code_hash;
gpointer code_start;
+ /* This might contain an id for the unwind info instead of a register mask */
guint32 used_regs;
int code_size;
- guint32 num_clauses:16;
+ guint32 num_clauses:15;
/* Whenever the code is domain neutral or 'shared' */
gboolean domain_neutral:1;
gboolean cas_inited:1;
gboolean cas_method_deny:1;
gboolean cas_method_permitonly:1;
gboolean has_generic_jit_info:1;
+ gboolean has_try_block_holes:1;
+ gboolean from_aot:1;
+ gboolean from_llvm:1;
+#ifdef HAVE_SGEN_GC
+ /* FIXME: Embed this after the structure later */
+ gpointer gc_info;
+#endif
MonoJitExceptionInfo clauses [MONO_ZERO_LEN_ARRAY];
/* There is an optional MonoGenericJitInfo after the clauses */
+ /* There is an optional MonoTryBlockHoleTableJitInfo after MonoGenericJitInfo clauses*/
};
-typedef struct {
- MonoJitInfo *ji;
- MonoCodeManager *code_mp;
-} MonoJitDynamicMethodInfo;
+#define MONO_SIZEOF_JIT_INFO (offsetof (struct _MonoJitInfo, clauses))
struct _MonoAppContext {
MonoObject obj;
gpointer *static_data;
};
+/*
+ * 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.
+ */
CRITICAL_SECTION lock;
MonoMemPool *mp;
MonoCodeManager *code_mp;
MonoException *out_of_memory_ex;
MonoException *null_reference_ex;
MonoException *stack_overflow_ex;
+ /* typeof (void) */
+ MonoObject *typeof_void;
+ /* Ephemeron Tombstone*/
+ MonoObject *ephemeron_tombstone;
+ /*
+ * 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;
GSList *domain_assemblies;
MonoAssembly *entry_assembly;
char *friendly_name;
- GHashTable *class_vtable_hash;
+ GPtrArray *class_vtable_array;
/* maps remote class key -> MonoRemoteClass */
GHashTable *proxy_vtable_hash;
+ /* Protected by 'jit_code_hash_lock' */
MonoInternalHashTable jit_code_hash;
- /* maps MonoMethod -> MonoJitDynamicMethodInfo */
- GHashTable *dynamic_code_hash;
+ CRITICAL_SECTION jit_code_hash_lock;
int num_jit_info_tables;
MonoJitInfoTable *
volatile jit_info_table;
MonoMethod *private_invoke_method;
/* Used to store offsets of thread and context static fields */
GHashTable *special_static_fields;
- GHashTable *jump_target_hash;
- GHashTable *class_init_trampoline_hash;
- GHashTable *jump_trampoline_hash;
- GHashTable *jit_trampoline_hash;
- GHashTable *delegate_trampoline_hash;
/*
* 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;
+#ifndef HAVE_SGEN_GC
+ /* Maps MonoObjects to a GSList of WeakTrackResurrection GCHandles pointing to them */
+ GHashTable *track_resurrection_objects_hash;
+ /* Maps WeakTrackResurrection GCHandles to the MonoObjects they point to */
+ GHashTable *track_resurrection_handles_hash;
+#endif
+ /* Protects the three hashes above */
+ CRITICAL_SECTION finalizable_objects_hash_lock;
/* Used when accessing 'domain_assemblies' */
CRITICAL_SECTION assemblies_lock;
- GHashTable *shared_generics_hash;
+ GHashTable *method_rgctx_hash;
+
+ GHashTable *generic_virtual_cases;
+ MonoThunkFreeList **thunk_free_lists;
+
+ /* Information maintained by the JIT engine */
+ gpointer runtime_info;
+
+ /*thread pool jobs, used to coordinate shutdown.*/
+ volatile int threadpool_jobs;
+ HANDLE cleanup_semaphore;
+
+ /* 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;
};
typedef struct {
const AssemblyVersionSet version_sets [2];
} MonoRuntimeInfo;
-#define mono_domain_lock(domain) EnterCriticalSection(&(domain)->lock)
-#define mono_domain_unlock(domain) LeaveCriticalSection(&(domain)->lock)
-#define mono_domain_assemblies_lock(domain) EnterCriticalSection(&(domain)->assemblies_lock)
-#define mono_domain_assemblies_unlock(domain) LeaveCriticalSection(&(domain)->assemblies_lock)
+#define mono_domain_lock(domain) mono_locks_acquire(&(domain)->lock, DomainLock)
+#define mono_domain_unlock(domain) mono_locks_release(&(domain)->lock, DomainLock)
+#define mono_domain_assemblies_lock(domain) mono_locks_acquire(&(domain)->assemblies_lock, DomainAssembliesLock)
+#define mono_domain_assemblies_unlock(domain) mono_locks_release(&(domain)->assemblies_lock, DomainAssembliesLock)
+#define mono_domain_jit_code_hash_lock(domain) mono_locks_acquire(&(domain)->jit_code_hash_lock, DomainJitCodeHashLock)
+#define mono_domain_jit_code_hash_unlock(domain) mono_locks_release(&(domain)->jit_code_hash_lock, DomainJitCodeHashLock)
typedef MonoDomain* (*MonoLoadFunc) (const char *filename, const char *runtime_version);
MonoDomain*
mono_runtime_load (const char *filename, const char *runtime_version) MONO_INTERNAL;
+typedef void (*MonoCreateDomainFunc) (MonoDomain *domain);
+
+void
+mono_install_create_domain_hook (MonoCreateDomainFunc func) MONO_INTERNAL;
+
+typedef void (*MonoFreeDomainFunc) (MonoDomain *domain);
+
+void
+mono_install_free_domain_hook (MonoFreeDomainFunc func) MONO_INTERNAL;
+
void
mono_init_com_types (void) MONO_INTERNAL;
MonoJitInfo*
mono_domain_lookup_shared_generic (MonoDomain *domain, MonoMethod *method) MONO_INTERNAL;
+char *
+mono_make_shadow_copy (const char *filename) MONO_INTERNAL;
+
+gboolean
+mono_is_shadow_copy_enabled (MonoDomain *domain, const gchar *dir_name) MONO_INTERNAL;
+
+gpointer
+mono_domain_alloc (MonoDomain *domain, guint size) MONO_INTERNAL;
+
+gpointer
+mono_domain_alloc0 (MonoDomain *domain, guint size) MONO_INTERNAL;
+
+void*
+mono_domain_code_reserve (MonoDomain *domain, int size) MONO_INTERNAL;
+
+void*
+mono_domain_code_reserve_align (MonoDomain *domain, int size, int alignment) MONO_INTERNAL;
+
void
-mono_domain_register_shared_generic (MonoDomain *domain, MonoMethod *method, MonoJitInfo *jit_info) MONO_INTERNAL;
+mono_domain_code_commit (MonoDomain *domain, void *data, int size, int newsize) MONO_INTERNAL;
-char *
-mono_make_shadow_copy (const char *filename);
+void
+mono_domain_code_foreach (MonoDomain *domain, MonoCodeManagerFunc func, void *user_data) MONO_INTERNAL;
+
+void
+mono_domain_unset (void) MONO_INTERNAL;
+
+void
+mono_domain_set_internal_with_options (MonoDomain *domain, gboolean migrate_exception) MONO_INTERNAL;
+
+MonoTryBlockHoleTableJitInfo*
+mono_jit_info_get_try_block_hole_table_info (MonoJitInfo *ji) MONO_INTERNAL;
/*
* Installs a new function which is used to return a MonoJitInfo for a method inside
const MonoRuntimeInfo*
mono_get_runtime_info (void) MONO_INTERNAL;
+void
+mono_runtime_set_no_exec (gboolean val) MONO_INTERNAL;
+
gboolean
-mono_assembly_name_parse (const char *name, MonoAssemblyName *aname) MONO_INTERNAL;
+mono_runtime_get_no_exec (void) MONO_INTERNAL;
-void
-mono_assembly_name_free (MonoAssemblyName *aname) MONO_INTERNAL;
+gboolean
+mono_assembly_name_parse (const char *name, MonoAssemblyName *aname) MONO_INTERNAL;
MonoImage *mono_assembly_open_from_bundle (const char *filename,
MonoImageOpenStatus *status,
MonoImageOpenStatus *status,
gboolean refonly) MONO_INTERNAL;
+void mono_set_private_bin_path_from_config (MonoDomain *domain) MONO_INTERNAL;
+
+int mono_framework_version (void) MONO_INTERNAL;
+
+void mono_reflection_cleanup_domain (MonoDomain *domain) MONO_INTERNAL;
+
#endif /* __MONO_METADATA_DOMAIN_INTERNALS_H__ */