[threads] Add specific field to check size (#3542)
[mono-project.git] / mono / metadata / threads.c
blobfbe335e7d18835e4a5cd092c1550ced22bd0952b
1 /*
2 * threads.c: Thread support internal calls
4 * Author:
5 * Dick Porter (dick@ximian.com)
6 * Paolo Molaro (lupus@ximian.com)
7 * Patrik Torstensson (patrik.torstensson@labs2.com)
9 * Copyright 2001-2003 Ximian, Inc (http://www.ximian.com)
10 * Copyright 2004-2009 Novell, Inc (http://www.novell.com)
11 * Copyright 2011 Xamarin, Inc (http://www.xamarin.com)
12 * Licensed under the MIT license. See LICENSE file in the project root for full license information.
15 #include <config.h>
17 #include <glib.h>
18 #include <string.h>
20 #include <mono/metadata/object.h>
21 #include <mono/metadata/domain-internals.h>
22 #include <mono/metadata/profiler-private.h>
23 #include <mono/metadata/threads.h>
24 #include <mono/metadata/threads-types.h>
25 #include <mono/metadata/exception.h>
26 #include <mono/metadata/environment.h>
27 #include <mono/metadata/monitor.h>
28 #include <mono/metadata/gc-internals.h>
29 #include <mono/metadata/marshal.h>
30 #include <mono/metadata/runtime.h>
31 #include <mono/io-layer/io-layer.h>
32 #include <mono/metadata/object-internals.h>
33 #include <mono/metadata/mono-debug-debugger.h>
34 #include <mono/utils/monobitset.h>
35 #include <mono/utils/mono-compiler.h>
36 #include <mono/utils/mono-mmap.h>
37 #include <mono/utils/mono-membar.h>
38 #include <mono/utils/mono-time.h>
39 #include <mono/utils/mono-threads.h>
40 #include <mono/utils/mono-threads-coop.h>
41 #include <mono/utils/hazard-pointer.h>
42 #include <mono/utils/mono-tls.h>
43 #include <mono/utils/atomic.h>
44 #include <mono/utils/mono-memory-model.h>
45 #include <mono/utils/mono-threads-coop.h>
46 #include <mono/utils/mono-error-internals.h>
47 #include <mono/utils/w32handle.h>
49 #include <mono/metadata/gc-internals.h>
50 #include <mono/metadata/reflection-internals.h>
51 #include <mono/metadata/abi-details.h>
53 #ifdef HAVE_SIGNAL_H
54 #include <signal.h>
55 #endif
57 #if defined(PLATFORM_ANDROID) && !defined(TARGET_ARM64) && !defined(TARGET_AMD64)
58 #define USE_TKILL_ON_ANDROID 1
59 #endif
61 #ifdef PLATFORM_ANDROID
62 #include <errno.h>
64 #ifdef USE_TKILL_ON_ANDROID
65 extern int tkill (pid_t tid, int signal);
66 #endif
67 #endif
69 /*#define THREAD_DEBUG(a) do { a; } while (0)*/
70 #define THREAD_DEBUG(a)
71 /*#define THREAD_WAIT_DEBUG(a) do { a; } while (0)*/
72 #define THREAD_WAIT_DEBUG(a)
73 /*#define LIBGC_DEBUG(a) do { a; } while (0)*/
74 #define LIBGC_DEBUG(a)
76 #define SPIN_TRYLOCK(i) (InterlockedCompareExchange (&(i), 1, 0) == 0)
77 #define SPIN_LOCK(i) do { \
78 if (SPIN_TRYLOCK (i)) \
79 break; \
80 } while (1)
82 #define SPIN_UNLOCK(i) i = 0
84 #define LOCK_THREAD(thread) lock_thread((thread))
85 #define UNLOCK_THREAD(thread) unlock_thread((thread))
87 typedef union {
88 gint32 ival;
89 gfloat fval;
90 } IntFloatUnion;
92 typedef union {
93 gint64 ival;
94 gdouble fval;
95 } LongDoubleUnion;
97 typedef struct _StaticDataFreeList StaticDataFreeList;
98 struct _StaticDataFreeList {
99 StaticDataFreeList *next;
100 guint32 offset;
101 guint32 size;
104 typedef struct {
105 int idx;
106 int offset;
107 StaticDataFreeList *freelist;
108 } StaticDataInfo;
110 /* Number of cached culture objects in the MonoThread->cached_culture_info array
111 * (per-type): we use the first NUM entries for CultureInfo and the last for
112 * UICultureInfo. So the size of the array is really NUM_CACHED_CULTURES * 2.
114 #define NUM_CACHED_CULTURES 4
115 #define CULTURES_START_IDX 0
116 #define UICULTURES_START_IDX NUM_CACHED_CULTURES
118 /* Controls access to the 'threads' hash table */
119 static void mono_threads_lock (void);
120 static void mono_threads_unlock (void);
121 static MonoCoopMutex threads_mutex;
123 /* Controls access to the 'joinable_threads' hash table */
124 #define joinable_threads_lock() mono_os_mutex_lock (&joinable_threads_mutex)
125 #define joinable_threads_unlock() mono_os_mutex_unlock (&joinable_threads_mutex)
126 static mono_mutex_t joinable_threads_mutex;
128 /* Holds current status of static data heap */
129 static StaticDataInfo thread_static_info;
130 static StaticDataInfo context_static_info;
132 /* The hash of existing threads (key is thread ID, value is
133 * MonoInternalThread*) that need joining before exit
135 static MonoGHashTable *threads=NULL;
137 /* List of app context GC handles.
138 * Added to from ves_icall_System_Runtime_Remoting_Contexts_Context_RegisterContext ().
140 static GHashTable *contexts = NULL;
142 /* Cleanup queue for contexts. */
143 static MonoReferenceQueue *context_queue;
146 * Threads which are starting up and they are not in the 'threads' hash yet.
147 * When mono_thread_attach_internal is called for a thread, it will be removed from this hash table.
148 * Protected by mono_threads_lock ().
150 static MonoGHashTable *threads_starting_up = NULL;
152 /* The TLS key that holds the MonoObject assigned to each thread */
153 static MonoNativeTlsKey current_object_key;
155 /* Contains tids */
156 /* Protected by the threads lock */
157 static GHashTable *joinable_threads;
158 static int joinable_thread_count;
160 #ifdef MONO_HAVE_FAST_TLS
161 /* we need to use both the Tls* functions and __thread because
162 * the gc needs to see all the threads
164 MONO_FAST_TLS_DECLARE(tls_current_object);
165 #define SET_CURRENT_OBJECT(x) do { \
166 MONO_FAST_TLS_SET (tls_current_object, x); \
167 mono_native_tls_set_value (current_object_key, x); \
168 } while (FALSE)
169 #define GET_CURRENT_OBJECT() ((MonoInternalThread*) MONO_FAST_TLS_GET (tls_current_object))
170 #else
171 #define SET_CURRENT_OBJECT(x) mono_native_tls_set_value (current_object_key, x)
172 #define GET_CURRENT_OBJECT() (MonoInternalThread*) mono_native_tls_get_value (current_object_key)
173 #endif
175 /* function called at thread start */
176 static MonoThreadStartCB mono_thread_start_cb = NULL;
178 /* function called at thread attach */
179 static MonoThreadAttachCB mono_thread_attach_cb = NULL;
181 /* function called at thread cleanup */
182 static MonoThreadCleanupFunc mono_thread_cleanup_fn = NULL;
184 /* The default stack size for each thread */
185 static guint32 default_stacksize = 0;
186 #define default_stacksize_for_thread(thread) ((thread)->stack_size? (thread)->stack_size: default_stacksize)
188 static void context_adjust_static_data (MonoAppContext *ctx);
189 static void mono_free_static_data (gpointer* static_data);
190 static void mono_init_static_data_info (StaticDataInfo *static_data);
191 static guint32 mono_alloc_static_data_slot (StaticDataInfo *static_data, guint32 size, guint32 align);
192 static gboolean mono_thread_resume (MonoInternalThread* thread);
193 static void async_abort_internal (MonoInternalThread *thread, gboolean install_async_abort);
194 static void self_abort_internal (MonoError *error);
195 static void async_suspend_internal (MonoInternalThread *thread, gboolean interrupt);
196 static void self_suspend_internal (void);
198 static MonoException* mono_thread_execute_interruption (void);
199 static void ref_stack_destroy (gpointer rs);
201 /* Spin lock for InterlockedXXX 64 bit functions */
202 #define mono_interlocked_lock() mono_os_mutex_lock (&interlocked_mutex)
203 #define mono_interlocked_unlock() mono_os_mutex_unlock (&interlocked_mutex)
204 static mono_mutex_t interlocked_mutex;
206 /* global count of thread interruptions requested */
207 static gint32 thread_interruption_requested = 0;
209 /* Event signaled when a thread changes its background mode */
210 static HANDLE background_change_event;
212 static gboolean shutting_down = FALSE;
214 static gint32 managed_thread_id_counter = 0;
216 /* Class lazy loading functions */
217 static GENERATE_GET_CLASS_WITH_CACHE (appdomain_unloaded_exception, System, AppDomainUnloadedException)
219 static void
220 mono_threads_lock (void)
222 mono_locks_coop_acquire (&threads_mutex, ThreadsLock);
225 static void
226 mono_threads_unlock (void)
228 mono_locks_coop_release (&threads_mutex, ThreadsLock);
232 static guint32
233 get_next_managed_thread_id (void)
235 return InterlockedIncrement (&managed_thread_id_counter);
238 MonoNativeTlsKey
239 mono_thread_get_tls_key (void)
241 return current_object_key;
244 gint32
245 mono_thread_get_tls_offset (void)
247 int offset = -1;
249 #ifdef HOST_WIN32
250 if (current_object_key)
251 offset = current_object_key;
252 #else
253 MONO_THREAD_VAR_OFFSET (tls_current_object,offset);
254 #endif
255 return offset;
258 static inline MonoNativeThreadId
259 thread_get_tid (MonoInternalThread *thread)
261 /* We store the tid as a guint64 to keep the object layout constant between platforms */
262 return MONO_UINT_TO_NATIVE_THREAD_ID (thread->tid);
265 static void ensure_synch_cs_set (MonoInternalThread *thread)
267 MonoCoopMutex *synch_cs;
269 if (thread->synch_cs != NULL) {
270 return;
273 synch_cs = g_new0 (MonoCoopMutex, 1);
274 mono_coop_mutex_init_recursive (synch_cs);
276 if (InterlockedCompareExchangePointer ((gpointer *)&thread->synch_cs,
277 synch_cs, NULL) != NULL) {
278 /* Another thread must have installed this CS */
279 mono_coop_mutex_destroy (synch_cs);
280 g_free (synch_cs);
284 static inline void
285 lock_thread (MonoInternalThread *thread)
287 if (!thread->synch_cs)
288 ensure_synch_cs_set (thread);
290 g_assert (thread->synch_cs);
292 mono_coop_mutex_lock (thread->synch_cs);
295 static inline void
296 unlock_thread (MonoInternalThread *thread)
298 mono_coop_mutex_unlock (thread->synch_cs);
301 static inline gboolean
302 is_appdomainunloaded_exception (MonoClass *klass)
304 return klass == mono_class_get_appdomain_unloaded_exception_class ();
307 static inline gboolean
308 is_threadabort_exception (MonoClass *klass)
310 return klass == mono_defaults.threadabortexception_class;
314 * NOTE: this function can be called also for threads different from the current one:
315 * make sure no code called from it will ever assume it is run on the thread that is
316 * getting cleaned up.
318 static void thread_cleanup (MonoInternalThread *thread)
320 gboolean ret;
322 g_assert (thread != NULL);
324 if (thread->abort_state_handle) {
325 mono_gchandle_free (thread->abort_state_handle);
326 thread->abort_state_handle = 0;
328 thread->abort_exc = NULL;
329 thread->current_appcontext = NULL;
332 * This is necessary because otherwise we might have
333 * cross-domain references which will not get cleaned up when
334 * the target domain is unloaded.
336 if (thread->cached_culture_info) {
337 int i;
338 for (i = 0; i < NUM_CACHED_CULTURES * 2; ++i)
339 mono_array_set (thread->cached_culture_info, MonoObject*, i, NULL);
343 * thread->synch_cs can be NULL if this was called after
344 * ves_icall_System_Threading_InternalThread_Thread_free_internal.
345 * This can happen only during shutdown.
346 * The shutting_down flag is not always set, so we can't assert on it.
348 if (thread->synch_cs)
349 LOCK_THREAD (thread);
351 thread->state |= ThreadState_Stopped;
352 thread->state &= ~ThreadState_Background;
354 if (thread->synch_cs)
355 UNLOCK_THREAD (thread);
358 An interruption request has leaked to cleanup. Adjust the global counter.
360 This can happen is the abort source thread finds the abortee (this) thread
361 in unmanaged code. If this thread never trips back to managed code or check
362 the local flag it will be left set and positively unbalance the global counter.
364 Leaving the counter unbalanced will cause a performance degradation since all threads
365 will now keep checking their local flags all the time.
367 if (InterlockedExchange (&thread->interruption_requested, 0))
368 InterlockedDecrement (&thread_interruption_requested);
370 mono_threads_lock ();
372 if (!threads) {
373 ret = FALSE;
374 } else if (mono_g_hash_table_lookup (threads, (gpointer)thread->tid) != thread) {
375 /* We have to check whether the thread object for the
376 * tid is still the same in the table because the
377 * thread might have been destroyed and the tid reused
378 * in the meantime, in which case the tid would be in
379 * the table, but with another thread object.
381 ret = FALSE;
382 } else {
383 mono_g_hash_table_remove (threads, (gpointer)thread->tid);
384 ret = TRUE;
387 mono_threads_unlock ();
389 /* Don't close the handle here, wait for the object finalizer
390 * to do it. Otherwise, the following race condition applies:
392 * 1) Thread exits (and thread_cleanup() closes the handle)
394 * 2) Some other handle is reassigned the same slot
396 * 3) Another thread tries to join the first thread, and
397 * blocks waiting for the reassigned handle to be signalled
398 * (which might never happen). This is possible, because the
399 * thread calling Join() still has a reference to the first
400 * thread's object.
403 /* if the thread is not in the hash it has been removed already */
404 if (!ret) {
405 if (thread == mono_thread_internal_current ()) {
406 mono_domain_unset ();
407 mono_memory_barrier ();
409 if (mono_thread_cleanup_fn)
410 mono_thread_cleanup_fn (thread_get_tid (thread));
411 return;
413 mono_release_type_locks (thread);
415 /* Can happen when we attach the profiler helper thread in order to heapshot. */
416 if (!mono_thread_info_lookup (MONO_UINT_TO_NATIVE_THREAD_ID (thread->tid))->tools_thread)
417 mono_profiler_thread_end (thread->tid);
419 mono_hazard_pointer_clear (mono_hazard_pointer_get (), 1);
421 if (thread == mono_thread_internal_current ()) {
423 * This will signal async signal handlers that the thread has exited.
424 * The profiler callback needs this to be set, so it cannot be done earlier.
426 mono_domain_unset ();
427 mono_memory_barrier ();
430 if (thread == mono_thread_internal_current ())
431 mono_thread_pop_appdomain_ref ();
433 thread->cached_culture_info = NULL;
435 mono_free_static_data (thread->static_data);
436 thread->static_data = NULL;
437 ref_stack_destroy (thread->appdomain_refs);
438 thread->appdomain_refs = NULL;
440 if (mono_thread_cleanup_fn)
441 mono_thread_cleanup_fn (thread_get_tid (thread));
443 if (mono_gc_is_moving ()) {
444 MONO_GC_UNREGISTER_ROOT (thread->thread_pinning_ref);
445 thread->thread_pinning_ref = NULL;
451 * A special static data offset (guint32) consists of 3 parts:
453 * [0] 6-bit index into the array of chunks.
454 * [6] 25-bit offset into the array.
455 * [31] Bit indicating thread or context static.
458 typedef union {
459 struct {
460 #if G_BYTE_ORDER != G_LITTLE_ENDIAN
461 guint32 type : 1;
462 guint32 offset : 25;
463 guint32 index : 6;
464 #else
465 guint32 index : 6;
466 guint32 offset : 25;
467 guint32 type : 1;
468 #endif
469 } fields;
470 guint32 raw;
471 } SpecialStaticOffset;
473 #define SPECIAL_STATIC_OFFSET_TYPE_THREAD 0
474 #define SPECIAL_STATIC_OFFSET_TYPE_CONTEXT 1
476 #define MAKE_SPECIAL_STATIC_OFFSET(index, offset, type) \
477 ((SpecialStaticOffset) { .fields = { (index), (offset), (type) } }.raw)
478 #define ACCESS_SPECIAL_STATIC_OFFSET(x,f) \
479 (((SpecialStaticOffset *) &(x))->fields.f)
481 static gpointer
482 get_thread_static_data (MonoInternalThread *thread, guint32 offset)
484 g_assert (ACCESS_SPECIAL_STATIC_OFFSET (offset, type) == SPECIAL_STATIC_OFFSET_TYPE_THREAD);
486 int idx = ACCESS_SPECIAL_STATIC_OFFSET (offset, index);
487 int off = ACCESS_SPECIAL_STATIC_OFFSET (offset, offset);
489 return ((char *) thread->static_data [idx]) + off;
492 static gpointer
493 get_context_static_data (MonoAppContext *ctx, guint32 offset)
495 g_assert (ACCESS_SPECIAL_STATIC_OFFSET (offset, type) == SPECIAL_STATIC_OFFSET_TYPE_CONTEXT);
497 int idx = ACCESS_SPECIAL_STATIC_OFFSET (offset, index);
498 int off = ACCESS_SPECIAL_STATIC_OFFSET (offset, offset);
500 return ((char *) ctx->static_data [idx]) + off;
503 static MonoThread**
504 get_current_thread_ptr_for_domain (MonoDomain *domain, MonoInternalThread *thread)
506 static MonoClassField *current_thread_field = NULL;
508 guint32 offset;
510 if (!current_thread_field) {
511 current_thread_field = mono_class_get_field_from_name (mono_defaults.thread_class, "current_thread");
512 g_assert (current_thread_field);
515 mono_class_vtable (domain, mono_defaults.thread_class);
516 mono_domain_lock (domain);
517 offset = GPOINTER_TO_UINT (g_hash_table_lookup (domain->special_static_fields, current_thread_field));
518 mono_domain_unlock (domain);
519 g_assert (offset);
521 return (MonoThread **)get_thread_static_data (thread, offset);
524 static void
525 set_current_thread_for_domain (MonoDomain *domain, MonoInternalThread *thread, MonoThread *current)
527 MonoThread **current_thread_ptr = get_current_thread_ptr_for_domain (domain, thread);
529 g_assert (current->obj.vtable->domain == domain);
531 g_assert (!*current_thread_ptr);
532 *current_thread_ptr = current;
535 static MonoThread*
536 create_thread_object (MonoDomain *domain)
538 MonoError error;
539 MonoVTable *vt = mono_class_vtable (domain, mono_defaults.thread_class);
540 MonoThread *t = (MonoThread*)mono_object_new_mature (vt, &error);
541 /* only possible failure mode is OOM, from which we don't expect to recover. */
542 mono_error_assert_ok (&error);
543 return t;
546 static MonoThread*
547 new_thread_with_internal (MonoDomain *domain, MonoInternalThread *internal)
549 MonoThread *thread;
551 thread = create_thread_object (domain);
552 thread->priority = MONO_THREAD_PRIORITY_NORMAL;
554 MONO_OBJECT_SETREF (thread, internal_thread, internal);
556 return thread;
559 static MonoInternalThread*
560 create_internal_thread (void)
562 MonoError error;
563 MonoInternalThread *thread;
564 MonoVTable *vt;
566 vt = mono_class_vtable (mono_get_root_domain (), mono_defaults.internal_thread_class);
567 thread = (MonoInternalThread*) mono_object_new_mature (vt, &error);
568 /* only possible failure mode is OOM, from which we don't exect to recover */
569 mono_error_assert_ok (&error);
571 thread->synch_cs = g_new0 (MonoCoopMutex, 1);
572 mono_coop_mutex_init_recursive (thread->synch_cs);
574 thread->apartment_state = ThreadApartmentState_Unknown;
575 thread->managed_id = get_next_managed_thread_id ();
576 if (mono_gc_is_moving ()) {
577 thread->thread_pinning_ref = thread;
578 MONO_GC_REGISTER_ROOT_PINNING (thread->thread_pinning_ref, MONO_ROOT_SOURCE_THREADING, "thread pinning reference");
581 return thread;
584 static void
585 mono_alloc_static_data (gpointer **static_data_ptr, guint32 offset, gboolean threadlocal);
587 static gboolean
588 mono_thread_attach_internal (MonoThread *thread, gboolean force_attach, gboolean force_domain, gsize *stack_ptr)
590 MonoThreadInfo *info;
591 MonoInternalThread *internal;
592 MonoDomain *domain, *root_domain;
594 g_assert (thread);
596 info = mono_thread_info_current ();
598 internal = thread->internal_thread;
599 internal->handle = mono_thread_info_duplicate_handle (info);
600 internal->tid = MONO_NATIVE_THREAD_ID_TO_UINT (mono_native_thread_id_get ());
601 internal->thread_info = info;
602 internal->small_id = info->small_id;
603 internal->stack_ptr = stack_ptr;
605 THREAD_DEBUG (g_message ("%s: (%"G_GSIZE_FORMAT") Setting current_object_key to %p", __func__, mono_native_thread_id_get (), internal));
607 SET_CURRENT_OBJECT (internal);
609 domain = mono_object_domain (thread);
611 mono_thread_push_appdomain_ref (domain);
612 if (!mono_domain_set (domain, force_domain)) {
613 mono_thread_pop_appdomain_ref ();
614 return FALSE;
617 mono_threads_lock ();
619 if (threads_starting_up)
620 mono_g_hash_table_remove (threads_starting_up, thread);
622 if (shutting_down && !force_attach) {
623 mono_threads_unlock ();
624 return FALSE;
627 if (!threads) {
628 MONO_GC_REGISTER_ROOT_FIXED (threads, MONO_ROOT_SOURCE_THREADING, "threads table");
629 threads = mono_g_hash_table_new_type (NULL, NULL, MONO_HASH_VALUE_GC, MONO_ROOT_SOURCE_THREADING, "threads table");
632 /* We don't need to duplicate thread->handle, because it is
633 * only closed when the thread object is finalized by the GC. */
634 mono_g_hash_table_insert (threads, (gpointer)(gsize)(internal->tid), internal);
636 /* We have to do this here because mono_thread_start_cb
637 * requires that root_domain_thread is set up. */
638 if (thread_static_info.offset || thread_static_info.idx > 0) {
639 /* get the current allocated size */
640 guint32 offset = MAKE_SPECIAL_STATIC_OFFSET (thread_static_info.idx, thread_static_info.offset, 0);
641 mono_alloc_static_data (&internal->static_data, offset, TRUE);
644 mono_threads_unlock ();
646 root_domain = mono_get_root_domain ();
648 g_assert (!internal->root_domain_thread);
649 if (domain != root_domain)
650 MONO_OBJECT_SETREF (internal, root_domain_thread, new_thread_with_internal (root_domain, internal));
651 else
652 MONO_OBJECT_SETREF (internal, root_domain_thread, thread);
654 if (domain != root_domain)
655 set_current_thread_for_domain (root_domain, internal, internal->root_domain_thread);
657 set_current_thread_for_domain (domain, internal, thread);
659 THREAD_DEBUG (g_message ("%s: Attached thread ID %"G_GSIZE_FORMAT" (handle %p)", __func__, internal->tid, internal->handle));
661 return TRUE;
664 typedef struct {
665 gint32 ref;
666 MonoThread *thread;
667 MonoObject *start_delegate;
668 MonoObject *start_delegate_arg;
669 MonoThreadStart start_func;
670 gpointer start_func_arg;
671 gboolean failed;
672 MonoCoopSem registered;
673 } StartInfo;
675 static guint32 WINAPI start_wrapper_internal(StartInfo *start_info, gsize *stack_ptr)
677 MonoError error;
678 MonoThreadStart start_func;
679 void *start_func_arg;
680 gsize tid;
682 * We don't create a local to hold start_info->thread, so hopefully it won't get pinned during a
683 * GC stack walk.
685 MonoThread *thread;
686 MonoInternalThread *internal;
687 MonoObject *start_delegate;
688 MonoObject *start_delegate_arg;
689 MonoDomain *domain;
691 thread = start_info->thread;
692 internal = thread->internal_thread;
693 domain = mono_object_domain (start_info->thread);
695 THREAD_DEBUG (g_message ("%s: (%"G_GSIZE_FORMAT") Start wrapper", __func__, mono_native_thread_id_get ()));
697 if (!mono_thread_attach_internal (thread, FALSE, FALSE, stack_ptr)) {
698 start_info->failed = TRUE;
700 mono_coop_sem_post (&start_info->registered);
702 if (InterlockedDecrement (&start_info->ref) == 0) {
703 mono_coop_sem_destroy (&start_info->registered);
704 g_free (start_info);
707 return 0;
710 tid = internal->tid;
712 start_delegate = start_info->start_delegate;
713 start_delegate_arg = start_info->start_delegate_arg;
714 start_func = start_info->start_func;
715 start_func_arg = start_info->start_func_arg;
717 /* This MUST be called before any managed code can be
718 * executed, as it calls the callback function that (for the
719 * jit) sets the lmf marker.
722 if (mono_thread_start_cb)
723 mono_thread_start_cb (tid, stack_ptr, start_func);
725 /* On 2.0 profile (and higher), set explicitly since state might have been
726 Unknown */
727 if (internal->apartment_state == ThreadApartmentState_Unknown)
728 internal->apartment_state = ThreadApartmentState_MTA;
730 mono_thread_init_apartment_state ();
732 /* Let the thread that called Start() know we're ready */
733 mono_coop_sem_post (&start_info->registered);
735 if (InterlockedDecrement (&start_info->ref) == 0) {
736 mono_coop_sem_destroy (&start_info->registered);
737 g_free (start_info);
740 /* start_info is not valid anymore */
741 start_info = NULL;
744 * Call this after calling start_notify, since the profiler callback might want
745 * to lock the thread, and the lock is held by thread_start () which waits for
746 * start_notify.
748 mono_profiler_thread_start (tid);
750 /* if the name was set before starting, we didn't invoke the profiler callback */
751 if (internal->name) {
752 char *tname = g_utf16_to_utf8 (internal->name, internal->name_len, NULL, NULL, NULL);
753 mono_profiler_thread_name (internal->tid, tname);
754 mono_native_thread_set_name (MONO_UINT_TO_NATIVE_THREAD_ID (internal->tid), tname);
755 g_free (tname);
758 /* start_func is set only for unmanaged start functions */
759 if (start_func) {
760 start_func (start_func_arg);
761 } else {
762 void *args [1];
764 g_assert (start_delegate != NULL);
766 /* we may want to handle the exception here. See comment below on unhandled exceptions */
767 args [0] = (gpointer) start_delegate_arg;
768 mono_runtime_delegate_invoke_checked (start_delegate, args, &error);
770 if (!mono_error_ok (&error)) {
771 MonoException *ex = mono_error_convert_to_exception (&error);
773 g_assert (ex != NULL);
774 MonoClass *klass = mono_object_get_class (&ex->object);
775 if ((mono_runtime_unhandled_exception_policy_get () != MONO_UNHANDLED_POLICY_LEGACY) &&
776 !is_threadabort_exception (klass)) {
777 mono_unhandled_exception (&ex->object);
778 mono_invoke_unhandled_exception_hook (&ex->object);
779 g_assert_not_reached ();
781 } else {
782 mono_error_cleanup (&error);
786 /* If the thread calls ExitThread at all, this remaining code
787 * will not be executed, but the main thread will eventually
788 * call thread_cleanup() on this thread's behalf.
791 THREAD_DEBUG (g_message ("%s: (%"G_GSIZE_FORMAT") Start wrapper terminating", __func__, mono_native_thread_id_get ()));
793 /* Do any cleanup needed for apartment state. This
794 * cannot be done in thread_cleanup since thread_cleanup could be
795 * called for a thread other than the current thread.
796 * mono_thread_cleanup_apartment_state cleans up apartment
797 * for the current thead */
798 mono_thread_cleanup_apartment_state ();
800 thread_cleanup (internal);
802 internal->tid = 0;
804 /* Remove the reference to the thread object in the TLS data,
805 * so the thread object can be finalized. This won't be
806 * reached if the thread threw an uncaught exception, so those
807 * thread handles will stay referenced :-( (This is due to
808 * missing support for scanning thread-specific data in the
809 * Boehm GC - the io-layer keeps a GC-visible hash of pointers
810 * to TLS data.)
812 SET_CURRENT_OBJECT (NULL);
814 return(0);
817 static gsize WINAPI start_wrapper(void *data)
819 volatile gsize dummy;
821 /* Avoid scanning the frames above this frame during a GC */
822 mono_gc_set_stack_end ((void*)&dummy);
824 return start_wrapper_internal ((StartInfo*) data, (gsize*) &dummy);
828 * create_thread:
830 * Common thread creation code.
831 * LOCKING: Acquires the threads lock.
833 static gboolean
834 create_thread (MonoThread *thread, MonoInternalThread *internal, MonoObject *start_delegate, MonoThreadStart start_func, gpointer start_func_arg,
835 gboolean threadpool_thread, guint32 stack_size, MonoError *error)
837 StartInfo *start_info = NULL;
838 HANDLE thread_handle;
839 MonoNativeThreadId tid;
840 MonoThreadParm tp;
841 gboolean ret;
843 if (start_delegate)
844 g_assert (!start_func && !start_func_arg);
845 if (start_func)
846 g_assert (!start_delegate);
849 * Join joinable threads to prevent running out of threads since the finalizer
850 * thread might be blocked/backlogged.
852 mono_threads_join_threads ();
854 mono_error_init (error);
856 mono_threads_lock ();
857 if (shutting_down) {
858 mono_threads_unlock ();
859 return FALSE;
861 if (threads_starting_up == NULL) {
862 MONO_GC_REGISTER_ROOT_FIXED (threads_starting_up, MONO_ROOT_SOURCE_THREADING, "starting threads table");
863 threads_starting_up = mono_g_hash_table_new_type (NULL, NULL, MONO_HASH_KEY_VALUE_GC, MONO_ROOT_SOURCE_THREADING, "starting threads table");
865 mono_g_hash_table_insert (threads_starting_up, thread, thread);
866 mono_threads_unlock ();
868 internal->threadpool_thread = threadpool_thread;
869 if (threadpool_thread)
870 mono_thread_set_state (internal, ThreadState_Background);
872 start_info = g_new0 (StartInfo, 1);
873 start_info->ref = 2;
874 start_info->thread = thread;
875 start_info->start_delegate = start_delegate;
876 start_info->start_delegate_arg = thread->start_obj;
877 start_info->start_func = start_func;
878 start_info->start_func_arg = start_func_arg;
879 start_info->failed = FALSE;
880 mono_coop_sem_init (&start_info->registered, 0);
882 if (stack_size == 0)
883 stack_size = default_stacksize_for_thread (internal);
885 tp.priority = thread->priority;
886 tp.stack_size = stack_size;
887 tp.creation_flags = 0;
889 thread_handle = mono_threads_create_thread (start_wrapper, start_info, &tp, &tid);
891 if (thread_handle == NULL) {
892 /* The thread couldn't be created, so set an exception */
893 mono_threads_lock ();
894 mono_g_hash_table_remove (threads_starting_up, thread);
895 mono_threads_unlock ();
896 mono_error_set_execution_engine (error, "Couldn't create thread. Error 0x%x", GetLastError());
897 /* ref is not going to be decremented in start_wrapper_internal */
898 InterlockedDecrement (&start_info->ref);
899 ret = FALSE;
900 goto done;
903 THREAD_DEBUG (g_message ("%s: (%"G_GSIZE_FORMAT") Launching thread %p (%"G_GSIZE_FORMAT")", __func__, mono_native_thread_id_get (), internal, (gsize)internal->tid));
906 * Wait for the thread to set up its TLS data etc, so
907 * theres no potential race condition if someone tries
908 * to look up the data believing the thread has
909 * started
912 mono_coop_sem_wait (&start_info->registered, MONO_SEM_FLAGS_NONE);
914 mono_threads_close_thread_handle (thread_handle);
916 THREAD_DEBUG (g_message ("%s: (%"G_GSIZE_FORMAT") Done launching thread %p (%"G_GSIZE_FORMAT")", __func__, mono_native_thread_id_get (), internal, (gsize)internal->tid));
918 ret = !start_info->failed;
920 done:
921 if (InterlockedDecrement (&start_info->ref) == 0) {
922 mono_coop_sem_destroy (&start_info->registered);
923 g_free (start_info);
926 return ret;
929 void mono_thread_new_init (intptr_t tid, gpointer stack_start, gpointer func)
931 if (mono_thread_start_cb) {
932 mono_thread_start_cb (tid, stack_start, func);
936 void mono_threads_set_default_stacksize (guint32 stacksize)
938 default_stacksize = stacksize;
941 guint32 mono_threads_get_default_stacksize (void)
943 return default_stacksize;
947 * mono_thread_create_internal:
949 * ARG should not be a GC reference.
951 MonoInternalThread*
952 mono_thread_create_internal (MonoDomain *domain, gpointer func, gpointer arg, gboolean threadpool_thread, guint32 stack_size, MonoError *error)
954 MonoThread *thread;
955 MonoInternalThread *internal;
956 gboolean res;
958 mono_error_init (error);
960 thread = create_thread_object (domain);
961 thread->priority = MONO_THREAD_PRIORITY_NORMAL;
963 internal = create_internal_thread ();
965 MONO_OBJECT_SETREF (thread, internal_thread, internal);
967 res = create_thread (thread, internal, NULL, (MonoThreadStart) func, arg, threadpool_thread, stack_size, error);
968 return_val_if_nok (error, NULL);
970 return internal;
973 void
974 mono_thread_create (MonoDomain *domain, gpointer func, gpointer arg)
976 MonoError error;
977 if (!mono_thread_create_checked (domain, func, arg, &error))
978 mono_error_cleanup (&error);
981 gboolean
982 mono_thread_create_checked (MonoDomain *domain, gpointer func, gpointer arg, MonoError *error)
984 return (NULL != mono_thread_create_internal (domain, func, arg, FALSE, 0, error));
987 MonoThread *
988 mono_thread_attach (MonoDomain *domain)
990 MonoThread *thread = mono_thread_attach_full (domain, FALSE);
992 return thread;
995 MonoThread *
996 mono_thread_attach_full (MonoDomain *domain, gboolean force_attach)
998 MonoInternalThread *internal;
999 MonoThread *thread;
1000 MonoNativeThreadId tid;
1001 gsize stack_ptr;
1003 if ((internal = mono_thread_internal_current ())) {
1004 if (domain != mono_domain_get ())
1005 mono_domain_set (domain, TRUE);
1006 /* Already attached */
1007 return mono_thread_current ();
1010 if (!mono_gc_register_thread (&domain)) {
1011 g_error ("Thread %"G_GSIZE_FORMAT" calling into managed code is not registered with the GC. On UNIX, this can be fixed by #include-ing <gc.h> before <pthread.h> in the file containing the thread creation code.", mono_native_thread_id_get ());
1014 tid=mono_native_thread_id_get ();
1016 internal = create_internal_thread ();
1018 thread = new_thread_with_internal (domain, internal);
1020 if (!mono_thread_attach_internal (thread, force_attach, TRUE, &stack_ptr)) {
1021 /* Mono is shutting down, so just wait for the end */
1022 for (;;)
1023 mono_thread_info_sleep (10000, NULL);
1026 THREAD_DEBUG (g_message ("%s: Attached thread ID %"G_GSIZE_FORMAT" (handle %p)", __func__, tid, internal->handle));
1028 if (mono_thread_attach_cb) {
1029 guint8 *staddr;
1030 size_t stsize;
1032 mono_thread_info_get_stack_bounds (&staddr, &stsize);
1034 if (staddr == NULL)
1035 mono_thread_attach_cb (MONO_NATIVE_THREAD_ID_TO_UINT (tid), &stack_ptr);
1036 else
1037 mono_thread_attach_cb (MONO_NATIVE_THREAD_ID_TO_UINT (tid), staddr + stsize);
1040 /* Can happen when we attach the profiler helper thread in order to heapshot. */
1041 if (!mono_thread_info_current ()->tools_thread)
1042 // FIXME: Need a separate callback
1043 mono_profiler_thread_start (MONO_NATIVE_THREAD_ID_TO_UINT (tid));
1045 return thread;
1048 void
1049 mono_thread_detach_internal (MonoInternalThread *thread)
1051 g_return_if_fail (thread != NULL);
1053 THREAD_DEBUG (g_message ("%s: mono_thread_detach for %p (%"G_GSIZE_FORMAT")", __func__, thread, (gsize)thread->tid));
1055 thread_cleanup (thread);
1057 SET_CURRENT_OBJECT (NULL);
1058 mono_domain_unset ();
1060 /* Don't need to close the handle to this thread, even though we took a
1061 * reference in mono_thread_attach (), because the GC will do it
1062 * when the Thread object is finalised.
1066 void
1067 mono_thread_detach (MonoThread *thread)
1069 if (thread)
1070 mono_thread_detach_internal (thread->internal_thread);
1074 * mono_thread_detach_if_exiting:
1076 * Detach the current thread from the runtime if it is exiting, i.e. it is running pthread dtors.
1077 * This should be used at the end of embedding code which calls into managed code, and which
1078 * can be called from pthread dtors, like dealloc: implementations in objective-c.
1080 mono_bool
1081 mono_thread_detach_if_exiting (void)
1083 if (mono_thread_info_is_exiting ()) {
1084 MonoInternalThread *thread;
1086 thread = mono_thread_internal_current ();
1087 if (thread) {
1088 mono_thread_detach_internal (thread);
1089 mono_thread_info_detach ();
1090 return TRUE;
1093 return FALSE;
1096 void
1097 mono_thread_exit (void)
1099 MonoInternalThread *thread = mono_thread_internal_current ();
1101 THREAD_DEBUG (g_message ("%s: mono_thread_exit for %p (%"G_GSIZE_FORMAT")", __func__, thread, (gsize)thread->tid));
1103 thread_cleanup (thread);
1104 SET_CURRENT_OBJECT (NULL);
1105 mono_domain_unset ();
1107 /* we could add a callback here for embedders to use. */
1108 if (mono_thread_get_main () && (thread == mono_thread_get_main ()->internal_thread))
1109 exit (mono_environment_exitcode_get ());
1110 mono_thread_info_exit ();
1113 void
1114 ves_icall_System_Threading_Thread_ConstructInternalThread (MonoThread *this_obj)
1116 MonoInternalThread *internal;
1118 internal = create_internal_thread ();
1120 internal->state = ThreadState_Unstarted;
1122 InterlockedCompareExchangePointer ((volatile gpointer *)&this_obj->internal_thread, internal, NULL);
1125 HANDLE
1126 ves_icall_System_Threading_Thread_Thread_internal (MonoThread *this_obj,
1127 MonoObject *start)
1129 MonoError error;
1130 MonoInternalThread *internal;
1131 gboolean res;
1133 THREAD_DEBUG (g_message("%s: Trying to start a new thread: this (%p) start (%p)", __func__, this_obj, start));
1135 if (!this_obj->internal_thread)
1136 ves_icall_System_Threading_Thread_ConstructInternalThread (this_obj);
1137 internal = this_obj->internal_thread;
1139 LOCK_THREAD (internal);
1141 if ((internal->state & ThreadState_Unstarted) == 0) {
1142 UNLOCK_THREAD (internal);
1143 mono_set_pending_exception (mono_get_exception_thread_state ("Thread has already been started."));
1144 return NULL;
1147 if ((internal->state & ThreadState_Aborted) != 0) {
1148 UNLOCK_THREAD (internal);
1149 return this_obj;
1152 res = create_thread (this_obj, internal, start, NULL, NULL, FALSE, 0, &error);
1153 if (!res) {
1154 mono_error_cleanup (&error);
1155 UNLOCK_THREAD (internal);
1156 return NULL;
1159 internal->state &= ~ThreadState_Unstarted;
1161 THREAD_DEBUG (g_message ("%s: Started thread ID %"G_GSIZE_FORMAT" (handle %p)", __func__, tid, thread));
1163 UNLOCK_THREAD (internal);
1164 return internal->handle;
1168 * This is called from the finalizer of the internal thread object.
1170 void
1171 ves_icall_System_Threading_InternalThread_Thread_free_internal (MonoInternalThread *this_obj, HANDLE thread)
1173 THREAD_DEBUG (g_message ("%s: Closing thread %p, handle %p", __func__, this, thread));
1176 * Since threads keep a reference to their thread object while running, by the time this function is called,
1177 * the thread has already exited/detached, i.e. thread_cleanup () has ran. The exception is during shutdown,
1178 * when thread_cleanup () can be called after this.
1180 if (thread)
1181 mono_threads_close_thread_handle (thread);
1183 if (this_obj->synch_cs) {
1184 MonoCoopMutex *synch_cs = this_obj->synch_cs;
1185 this_obj->synch_cs = NULL;
1186 mono_coop_mutex_destroy (synch_cs);
1187 g_free (synch_cs);
1190 if (this_obj->name) {
1191 void *name = this_obj->name;
1192 this_obj->name = NULL;
1193 g_free (name);
1197 void
1198 ves_icall_System_Threading_Thread_Sleep_internal(gint32 ms)
1200 guint32 res;
1201 MonoInternalThread *thread = mono_thread_internal_current ();
1203 THREAD_DEBUG (g_message ("%s: Sleeping for %d ms", __func__, ms));
1205 if (mono_thread_current_check_pending_interrupt ())
1206 return;
1208 while (TRUE) {
1209 gboolean alerted = FALSE;
1211 mono_thread_set_state (thread, ThreadState_WaitSleepJoin);
1213 res = mono_thread_info_sleep (ms, &alerted);
1215 mono_thread_clr_state (thread, ThreadState_WaitSleepJoin);
1217 if (alerted) {
1218 MonoException* exc = mono_thread_execute_interruption ();
1219 if (exc) {
1220 mono_raise_exception (exc);
1221 } else {
1222 // FIXME: !INFINITE
1223 if (ms != INFINITE)
1224 break;
1226 } else {
1227 break;
1232 void ves_icall_System_Threading_Thread_SpinWait_nop (void)
1236 gint32
1237 ves_icall_System_Threading_Thread_GetDomainID (void)
1239 return mono_domain_get()->domain_id;
1242 gboolean
1243 ves_icall_System_Threading_Thread_Yield (void)
1245 return mono_thread_info_yield ();
1249 * mono_thread_get_name:
1251 * Return the name of the thread. NAME_LEN is set to the length of the name.
1252 * Return NULL if the thread has no name. The returned memory is owned by the
1253 * caller.
1255 gunichar2*
1256 mono_thread_get_name (MonoInternalThread *this_obj, guint32 *name_len)
1258 gunichar2 *res;
1260 LOCK_THREAD (this_obj);
1262 if (!this_obj->name) {
1263 *name_len = 0;
1264 res = NULL;
1265 } else {
1266 *name_len = this_obj->name_len;
1267 res = g_new (gunichar2, this_obj->name_len);
1268 memcpy (res, this_obj->name, sizeof (gunichar2) * this_obj->name_len);
1271 UNLOCK_THREAD (this_obj);
1273 return res;
1277 * mono_thread_get_name_utf8:
1279 * Return the name of the thread in UTF-8.
1280 * Return NULL if the thread has no name.
1281 * The returned memory is owned by the caller.
1283 char *
1284 mono_thread_get_name_utf8 (MonoThread *thread)
1286 if (thread == NULL)
1287 return NULL;
1289 MonoInternalThread *internal = thread->internal_thread;
1290 if (internal == NULL)
1291 return NULL;
1293 LOCK_THREAD (internal);
1295 char *tname = g_utf16_to_utf8 (internal->name, internal->name_len, NULL, NULL, NULL);
1297 UNLOCK_THREAD (internal);
1299 return tname;
1303 * mono_thread_get_managed_id:
1305 * Return the Thread.ManagedThreadId value of `thread`.
1306 * Returns -1 if `thread` is NULL.
1308 int32_t
1309 mono_thread_get_managed_id (MonoThread *thread)
1311 if (thread == NULL)
1312 return -1;
1314 MonoInternalThread *internal = thread->internal_thread;
1315 if (internal == NULL)
1316 return -1;
1318 int32_t id = internal->managed_id;
1320 return id;
1323 MonoString*
1324 ves_icall_System_Threading_Thread_GetName_internal (MonoInternalThread *this_obj)
1326 MonoError error;
1327 MonoString* str;
1329 mono_error_init (&error);
1331 LOCK_THREAD (this_obj);
1333 if (!this_obj->name)
1334 str = NULL;
1335 else
1336 str = mono_string_new_utf16_checked (mono_domain_get (), this_obj->name, this_obj->name_len, &error);
1338 UNLOCK_THREAD (this_obj);
1340 if (mono_error_set_pending_exception (&error))
1341 return NULL;
1343 return str;
1346 void
1347 mono_thread_set_name_internal (MonoInternalThread *this_obj, MonoString *name, gboolean permanent, MonoError *error)
1349 LOCK_THREAD (this_obj);
1351 mono_error_init (error);
1353 if ((this_obj->flags & MONO_THREAD_FLAG_NAME_SET)) {
1354 UNLOCK_THREAD (this_obj);
1356 mono_error_set_invalid_operation (error, "Thread.Name can only be set once.");
1357 return;
1359 if (this_obj->name) {
1360 g_free (this_obj->name);
1361 this_obj->name_len = 0;
1363 if (name) {
1364 this_obj->name = g_new (gunichar2, mono_string_length (name));
1365 memcpy (this_obj->name, mono_string_chars (name), mono_string_length (name) * 2);
1366 this_obj->name_len = mono_string_length (name);
1368 if (permanent)
1369 this_obj->flags |= MONO_THREAD_FLAG_NAME_SET;
1371 else
1372 this_obj->name = NULL;
1375 UNLOCK_THREAD (this_obj);
1377 if (this_obj->name && this_obj->tid) {
1378 char *tname = mono_string_to_utf8_checked (name, error);
1379 return_if_nok (error);
1380 mono_profiler_thread_name (this_obj->tid, tname);
1381 mono_native_thread_set_name (thread_get_tid (this_obj), tname);
1382 mono_free (tname);
1386 void
1387 ves_icall_System_Threading_Thread_SetName_internal (MonoInternalThread *this_obj, MonoString *name)
1389 MonoError error;
1390 mono_thread_set_name_internal (this_obj, name, TRUE, &error);
1391 mono_error_set_pending_exception (&error);
1395 * ves_icall_System_Threading_Thread_GetPriority_internal:
1396 * @param this_obj: The MonoInternalThread on which to operate.
1398 * Gets the priority of the given thread.
1399 * @return: The priority of the given thread.
1402 ves_icall_System_Threading_Thread_GetPriority (MonoThread *this_obj)
1404 gint32 priority;
1405 MonoInternalThread *internal = this_obj->internal_thread;
1407 LOCK_THREAD (internal);
1408 if (internal->handle != NULL)
1409 priority = mono_thread_info_get_priority ((MonoThreadInfo*) internal->thread_info);
1410 else
1411 priority = this_obj->priority;
1412 UNLOCK_THREAD (internal);
1413 return priority;
1417 * ves_icall_System_Threading_Thread_SetPriority_internal:
1418 * @param this_obj: The MonoInternalThread on which to operate.
1419 * @param priority: The priority to set.
1421 * Sets the priority of the given thread.
1423 void
1424 ves_icall_System_Threading_Thread_SetPriority (MonoThread *this_obj, int priority)
1426 MonoInternalThread *internal = this_obj->internal_thread;
1428 LOCK_THREAD (internal);
1429 this_obj->priority = priority;
1430 if (internal->handle != NULL)
1431 mono_thread_info_set_priority ((MonoThreadInfo*) internal->thread_info, this_obj->priority);
1432 UNLOCK_THREAD (internal);
1435 /* If the array is already in the requested domain, we just return it,
1436 otherwise we return a copy in that domain. */
1437 static MonoArray*
1438 byte_array_to_domain (MonoArray *arr, MonoDomain *domain, MonoError *error)
1440 MonoArray *copy;
1442 mono_error_init (error);
1443 if (!arr)
1444 return NULL;
1446 if (mono_object_domain (arr) == domain)
1447 return arr;
1449 copy = mono_array_new_checked (domain, mono_defaults.byte_class, arr->max_length, error);
1450 memmove (mono_array_addr (copy, guint8, 0), mono_array_addr (arr, guint8, 0), arr->max_length);
1451 return copy;
1454 MonoArray*
1455 ves_icall_System_Threading_Thread_ByteArrayToRootDomain (MonoArray *arr)
1457 MonoError error;
1458 MonoArray *result = byte_array_to_domain (arr, mono_get_root_domain (), &error);
1459 mono_error_set_pending_exception (&error);
1460 return result;
1463 MonoArray*
1464 ves_icall_System_Threading_Thread_ByteArrayToCurrentDomain (MonoArray *arr)
1466 MonoError error;
1467 MonoArray *result = byte_array_to_domain (arr, mono_domain_get (), &error);
1468 mono_error_set_pending_exception (&error);
1469 return result;
1472 MonoThread *
1473 mono_thread_current (void)
1475 MonoDomain *domain = mono_domain_get ();
1476 MonoInternalThread *internal = mono_thread_internal_current ();
1477 MonoThread **current_thread_ptr;
1479 g_assert (internal);
1480 current_thread_ptr = get_current_thread_ptr_for_domain (domain, internal);
1482 if (!*current_thread_ptr) {
1483 g_assert (domain != mono_get_root_domain ());
1484 *current_thread_ptr = new_thread_with_internal (domain, internal);
1486 return *current_thread_ptr;
1489 /* Return the thread object belonging to INTERNAL in the current domain */
1490 static MonoThread *
1491 mono_thread_current_for_thread (MonoInternalThread *internal)
1493 MonoDomain *domain = mono_domain_get ();
1494 MonoThread **current_thread_ptr;
1496 g_assert (internal);
1497 current_thread_ptr = get_current_thread_ptr_for_domain (domain, internal);
1499 if (!*current_thread_ptr) {
1500 g_assert (domain != mono_get_root_domain ());
1501 *current_thread_ptr = new_thread_with_internal (domain, internal);
1503 return *current_thread_ptr;
1506 MonoInternalThread*
1507 mono_thread_internal_current (void)
1509 MonoInternalThread *res = GET_CURRENT_OBJECT ();
1510 THREAD_DEBUG (g_message ("%s: returning %p", __func__, res));
1511 return res;
1514 gboolean
1515 ves_icall_System_Threading_Thread_Join_internal(MonoThread *this_obj, int ms)
1517 MonoInternalThread *thread = this_obj->internal_thread;
1518 HANDLE handle = thread->handle;
1519 MonoInternalThread *cur_thread = mono_thread_internal_current ();
1520 gboolean ret;
1522 if (mono_thread_current_check_pending_interrupt ())
1523 return FALSE;
1525 LOCK_THREAD (thread);
1527 if ((thread->state & ThreadState_Unstarted) != 0) {
1528 UNLOCK_THREAD (thread);
1530 mono_set_pending_exception (mono_get_exception_thread_state ("Thread has not been started."));
1531 return FALSE;
1534 UNLOCK_THREAD (thread);
1536 if(ms== -1) {
1537 ms=INFINITE;
1539 THREAD_DEBUG (g_message ("%s: joining thread handle %p, %d ms", __func__, handle, ms));
1541 mono_thread_set_state (cur_thread, ThreadState_WaitSleepJoin);
1543 MONO_ENTER_GC_SAFE;
1544 ret=WaitForSingleObjectEx (handle, ms, TRUE);
1545 MONO_EXIT_GC_SAFE;
1547 mono_thread_clr_state (cur_thread, ThreadState_WaitSleepJoin);
1549 if(ret==WAIT_OBJECT_0) {
1550 THREAD_DEBUG (g_message ("%s: join successful", __func__));
1552 return(TRUE);
1555 THREAD_DEBUG (g_message ("%s: join failed", __func__));
1557 return(FALSE);
1560 #define MANAGED_WAIT_FAILED 0x7fffffff
1562 static gint32
1563 map_native_wait_result_to_managed (gint32 val)
1565 /* WAIT_FAILED in waithandle.cs is different from WAIT_FAILED in Win32 API */
1566 return val == WAIT_FAILED ? MANAGED_WAIT_FAILED : val;
1569 static gint32
1570 mono_wait_uninterrupted (MonoInternalThread *thread, guint32 numhandles, gpointer *handles, gboolean waitall, gint32 ms, MonoError *error)
1572 MonoException *exc;
1573 guint32 ret;
1574 gint64 start;
1575 gint32 diff_ms;
1576 gint32 wait = ms;
1578 mono_error_init (error);
1580 start = (ms == -1) ? 0 : mono_100ns_ticks ();
1581 do {
1582 MONO_ENTER_GC_SAFE;
1583 if (numhandles != 1)
1584 ret = WaitForMultipleObjectsEx (numhandles, handles, waitall, wait, TRUE);
1585 else
1586 ret = WaitForSingleObjectEx (handles [0], ms, TRUE);
1587 MONO_EXIT_GC_SAFE;
1589 if (ret != WAIT_IO_COMPLETION)
1590 break;
1592 exc = mono_thread_execute_interruption ();
1593 if (exc) {
1594 mono_error_set_exception_instance (error, exc);
1595 break;
1598 if (ms == -1)
1599 continue;
1601 /* Re-calculate ms according to the time passed */
1602 diff_ms = (gint32)((mono_100ns_ticks () - start) / 10000);
1603 if (diff_ms >= ms) {
1604 ret = WAIT_TIMEOUT;
1605 break;
1607 wait = ms - diff_ms;
1608 } while (TRUE);
1610 return ret;
1613 gint32 ves_icall_System_Threading_WaitHandle_WaitAll_internal(MonoArray *mono_handles, gint32 ms)
1615 MonoError error;
1616 HANDLE *handles;
1617 guint32 numhandles;
1618 guint32 ret;
1619 guint32 i;
1620 MonoObject *waitHandle;
1621 MonoInternalThread *thread = mono_thread_internal_current ();
1623 /* Do this WaitSleepJoin check before creating objects */
1624 if (mono_thread_current_check_pending_interrupt ())
1625 return map_native_wait_result_to_managed (WAIT_FAILED);
1627 /* We fail in managed if the array has more than 64 elements */
1628 numhandles = (guint32)mono_array_length(mono_handles);
1629 handles = g_new0(HANDLE, numhandles);
1631 for(i = 0; i < numhandles; i++) {
1632 waitHandle = mono_array_get(mono_handles, MonoObject*, i);
1633 handles [i] = mono_wait_handle_get_handle ((MonoWaitHandle *) waitHandle);
1636 if(ms== -1) {
1637 ms=INFINITE;
1640 mono_thread_set_state (thread, ThreadState_WaitSleepJoin);
1642 ret = mono_wait_uninterrupted (thread, numhandles, handles, TRUE, ms, &error);
1644 mono_thread_clr_state (thread, ThreadState_WaitSleepJoin);
1646 g_free(handles);
1648 mono_error_set_pending_exception (&error);
1650 /* WAIT_FAILED in waithandle.cs is different from WAIT_FAILED in Win32 API */
1651 return map_native_wait_result_to_managed (ret);
1654 gint32 ves_icall_System_Threading_WaitHandle_WaitAny_internal(MonoArray *mono_handles, gint32 ms)
1656 MonoError error;
1657 HANDLE handles [MONO_W32HANDLE_MAXIMUM_WAIT_OBJECTS];
1658 uintptr_t numhandles;
1659 guint32 ret;
1660 guint32 i;
1661 MonoObject *waitHandle;
1662 MonoInternalThread *thread = mono_thread_internal_current ();
1664 /* Do this WaitSleepJoin check before creating objects */
1665 if (mono_thread_current_check_pending_interrupt ())
1666 return map_native_wait_result_to_managed (WAIT_FAILED);
1668 numhandles = mono_array_length(mono_handles);
1669 if (numhandles > MONO_W32HANDLE_MAXIMUM_WAIT_OBJECTS)
1670 return map_native_wait_result_to_managed (WAIT_FAILED);
1672 for(i = 0; i < numhandles; i++) {
1673 waitHandle = mono_array_get(mono_handles, MonoObject*, i);
1674 handles [i] = mono_wait_handle_get_handle ((MonoWaitHandle *) waitHandle);
1677 if(ms== -1) {
1678 ms=INFINITE;
1681 mono_thread_set_state (thread, ThreadState_WaitSleepJoin);
1683 ret = mono_wait_uninterrupted (thread, numhandles, handles, FALSE, ms, &error);
1685 mono_thread_clr_state (thread, ThreadState_WaitSleepJoin);
1687 THREAD_WAIT_DEBUG (g_message ("%s: (%"G_GSIZE_FORMAT") returning %d", __func__, mono_native_thread_id_get (), ret));
1689 mono_error_set_pending_exception (&error);
1691 * These need to be here. See MSDN dos on WaitForMultipleObjects.
1693 if (ret >= WAIT_OBJECT_0 && ret <= WAIT_OBJECT_0 + numhandles - 1) {
1694 return map_native_wait_result_to_managed (ret - WAIT_OBJECT_0);
1696 else if (ret >= WAIT_ABANDONED_0 && ret <= WAIT_ABANDONED_0 + numhandles - 1) {
1697 return map_native_wait_result_to_managed (ret - WAIT_ABANDONED_0);
1699 else {
1700 /* WAIT_FAILED in waithandle.cs is different from WAIT_FAILED in Win32 API */
1701 return map_native_wait_result_to_managed (ret);
1705 gint32 ves_icall_System_Threading_WaitHandle_WaitOne_internal(HANDLE handle, gint32 ms)
1707 MonoError error;
1708 guint32 ret;
1709 MonoInternalThread *thread = mono_thread_internal_current ();
1711 THREAD_WAIT_DEBUG (g_message ("%s: (%"G_GSIZE_FORMAT") waiting for %p, %d ms", __func__, mono_native_thread_id_get (), handle, ms));
1713 if(ms== -1) {
1714 ms=INFINITE;
1717 if (mono_thread_current_check_pending_interrupt ())
1718 return map_native_wait_result_to_managed (WAIT_FAILED);
1720 mono_thread_set_state (thread, ThreadState_WaitSleepJoin);
1722 ret = mono_wait_uninterrupted (thread, 1, &handle, FALSE, ms, &error);
1724 mono_thread_clr_state (thread, ThreadState_WaitSleepJoin);
1726 mono_error_set_pending_exception (&error);
1727 return map_native_wait_result_to_managed (ret);
1730 gint32
1731 ves_icall_System_Threading_WaitHandle_SignalAndWait_Internal (HANDLE toSignal, HANDLE toWait, gint32 ms)
1733 guint32 ret;
1734 MonoInternalThread *thread = mono_thread_internal_current ();
1736 if (ms == -1)
1737 ms = INFINITE;
1739 if (mono_thread_current_check_pending_interrupt ())
1740 return map_native_wait_result_to_managed (WAIT_FAILED);
1742 mono_thread_set_state (thread, ThreadState_WaitSleepJoin);
1744 MONO_ENTER_GC_SAFE;
1745 ret = SignalObjectAndWait (toSignal, toWait, ms, TRUE);
1746 MONO_EXIT_GC_SAFE;
1748 mono_thread_clr_state (thread, ThreadState_WaitSleepJoin);
1750 return map_native_wait_result_to_managed (ret);
1753 HANDLE ves_icall_System_Threading_Mutex_CreateMutex_internal (MonoBoolean owned, MonoString *name, MonoBoolean *created)
1755 HANDLE mutex;
1757 *created = TRUE;
1759 if (name == NULL) {
1760 mutex = CreateMutex (NULL, owned, NULL);
1761 } else {
1762 mutex = CreateMutex (NULL, owned, mono_string_chars (name));
1764 if (GetLastError () == ERROR_ALREADY_EXISTS) {
1765 *created = FALSE;
1769 return(mutex);
1772 MonoBoolean ves_icall_System_Threading_Mutex_ReleaseMutex_internal (HANDLE handle ) {
1773 return(ReleaseMutex (handle));
1776 HANDLE ves_icall_System_Threading_Mutex_OpenMutex_internal (MonoString *name,
1777 gint32 rights,
1778 gint32 *error)
1780 HANDLE ret;
1782 *error = ERROR_SUCCESS;
1784 ret = OpenMutex (rights, FALSE, mono_string_chars (name));
1785 if (ret == NULL) {
1786 *error = GetLastError ();
1789 return(ret);
1793 HANDLE ves_icall_System_Threading_Semaphore_CreateSemaphore_internal (gint32 initialCount, gint32 maximumCount, MonoString *name, gint32 *error)
1795 HANDLE sem;
1797 if (name == NULL) {
1798 sem = CreateSemaphore (NULL, initialCount, maximumCount, NULL);
1799 } else {
1800 sem = CreateSemaphore (NULL, initialCount, maximumCount,
1801 mono_string_chars (name));
1804 *error = GetLastError ();
1806 return(sem);
1809 MonoBoolean ves_icall_System_Threading_Semaphore_ReleaseSemaphore_internal (HANDLE handle, gint32 releaseCount, gint32 *prevcount)
1811 return ReleaseSemaphore (handle, releaseCount, prevcount);
1814 HANDLE ves_icall_System_Threading_Semaphore_OpenSemaphore_internal (MonoString *name, gint32 rights, gint32 *error)
1816 HANDLE sem;
1818 sem = OpenSemaphore (rights, FALSE, mono_string_chars (name));
1820 *error = GetLastError ();
1822 return(sem);
1825 HANDLE ves_icall_System_Threading_Events_CreateEvent_internal (MonoBoolean manual, MonoBoolean initial, MonoString *name, gint32 *error)
1827 HANDLE event;
1829 if (name == NULL) {
1830 event = CreateEvent (NULL, manual, initial, NULL);
1831 } else {
1832 event = CreateEvent (NULL, manual, initial,
1833 mono_string_chars (name));
1836 *error = GetLastError ();
1838 return(event);
1841 gboolean ves_icall_System_Threading_Events_SetEvent_internal (HANDLE handle) {
1842 return (SetEvent(handle));
1845 gboolean ves_icall_System_Threading_Events_ResetEvent_internal (HANDLE handle) {
1846 return (ResetEvent(handle));
1849 void
1850 ves_icall_System_Threading_Events_CloseEvent_internal (HANDLE handle) {
1851 CloseHandle (handle);
1854 HANDLE ves_icall_System_Threading_Events_OpenEvent_internal (MonoString *name,
1855 gint32 rights,
1856 gint32 *error)
1858 HANDLE ret;
1860 ret = OpenEvent (rights, FALSE, mono_string_chars (name));
1861 if (ret == NULL) {
1862 *error = GetLastError ();
1863 } else {
1864 *error = ERROR_SUCCESS;
1867 return(ret);
1870 gint32 ves_icall_System_Threading_Interlocked_Increment_Int (gint32 *location)
1872 return InterlockedIncrement (location);
1875 gint64 ves_icall_System_Threading_Interlocked_Increment_Long (gint64 *location)
1877 #if SIZEOF_VOID_P == 4
1878 if (G_UNLIKELY ((size_t)location & 0x7)) {
1879 gint64 ret;
1880 mono_interlocked_lock ();
1881 (*location)++;
1882 ret = *location;
1883 mono_interlocked_unlock ();
1884 return ret;
1886 #endif
1887 return InterlockedIncrement64 (location);
1890 gint32 ves_icall_System_Threading_Interlocked_Decrement_Int (gint32 *location)
1892 return InterlockedDecrement(location);
1895 gint64 ves_icall_System_Threading_Interlocked_Decrement_Long (gint64 * location)
1897 #if SIZEOF_VOID_P == 4
1898 if (G_UNLIKELY ((size_t)location & 0x7)) {
1899 gint64 ret;
1900 mono_interlocked_lock ();
1901 (*location)--;
1902 ret = *location;
1903 mono_interlocked_unlock ();
1904 return ret;
1906 #endif
1907 return InterlockedDecrement64 (location);
1910 gint32 ves_icall_System_Threading_Interlocked_Exchange_Int (gint32 *location, gint32 value)
1912 return InterlockedExchange(location, value);
1915 MonoObject * ves_icall_System_Threading_Interlocked_Exchange_Object (MonoObject **location, MonoObject *value)
1917 MonoObject *res;
1918 res = (MonoObject *) InterlockedExchangePointer((gpointer *) location, value);
1919 mono_gc_wbarrier_generic_nostore (location);
1920 return res;
1923 gpointer ves_icall_System_Threading_Interlocked_Exchange_IntPtr (gpointer *location, gpointer value)
1925 return InterlockedExchangePointer(location, value);
1928 gfloat ves_icall_System_Threading_Interlocked_Exchange_Single (gfloat *location, gfloat value)
1930 IntFloatUnion val, ret;
1932 val.fval = value;
1933 ret.ival = InterlockedExchange((gint32 *) location, val.ival);
1935 return ret.fval;
1938 gint64
1939 ves_icall_System_Threading_Interlocked_Exchange_Long (gint64 *location, gint64 value)
1941 #if SIZEOF_VOID_P == 4
1942 if (G_UNLIKELY ((size_t)location & 0x7)) {
1943 gint64 ret;
1944 mono_interlocked_lock ();
1945 ret = *location;
1946 *location = value;
1947 mono_interlocked_unlock ();
1948 return ret;
1950 #endif
1951 return InterlockedExchange64 (location, value);
1954 gdouble
1955 ves_icall_System_Threading_Interlocked_Exchange_Double (gdouble *location, gdouble value)
1957 LongDoubleUnion val, ret;
1959 val.fval = value;
1960 ret.ival = (gint64)InterlockedExchange64((gint64 *) location, val.ival);
1962 return ret.fval;
1965 gint32 ves_icall_System_Threading_Interlocked_CompareExchange_Int(gint32 *location, gint32 value, gint32 comparand)
1967 return InterlockedCompareExchange(location, value, comparand);
1970 gint32 ves_icall_System_Threading_Interlocked_CompareExchange_Int_Success(gint32 *location, gint32 value, gint32 comparand, MonoBoolean *success)
1972 gint32 r = InterlockedCompareExchange(location, value, comparand);
1973 *success = r == comparand;
1974 return r;
1977 MonoObject * ves_icall_System_Threading_Interlocked_CompareExchange_Object (MonoObject **location, MonoObject *value, MonoObject *comparand)
1979 MonoObject *res;
1980 res = (MonoObject *) InterlockedCompareExchangePointer((gpointer *) location, value, comparand);
1981 mono_gc_wbarrier_generic_nostore (location);
1982 return res;
1985 gpointer ves_icall_System_Threading_Interlocked_CompareExchange_IntPtr(gpointer *location, gpointer value, gpointer comparand)
1987 return InterlockedCompareExchangePointer(location, value, comparand);
1990 gfloat ves_icall_System_Threading_Interlocked_CompareExchange_Single (gfloat *location, gfloat value, gfloat comparand)
1992 IntFloatUnion val, ret, cmp;
1994 val.fval = value;
1995 cmp.fval = comparand;
1996 ret.ival = InterlockedCompareExchange((gint32 *) location, val.ival, cmp.ival);
1998 return ret.fval;
2001 gdouble
2002 ves_icall_System_Threading_Interlocked_CompareExchange_Double (gdouble *location, gdouble value, gdouble comparand)
2004 #if SIZEOF_VOID_P == 8
2005 LongDoubleUnion val, comp, ret;
2007 val.fval = value;
2008 comp.fval = comparand;
2009 ret.ival = (gint64)InterlockedCompareExchangePointer((gpointer *) location, (gpointer)val.ival, (gpointer)comp.ival);
2011 return ret.fval;
2012 #else
2013 gdouble old;
2015 mono_interlocked_lock ();
2016 old = *location;
2017 if (old == comparand)
2018 *location = value;
2019 mono_interlocked_unlock ();
2021 return old;
2022 #endif
2025 gint64
2026 ves_icall_System_Threading_Interlocked_CompareExchange_Long (gint64 *location, gint64 value, gint64 comparand)
2028 #if SIZEOF_VOID_P == 4
2029 if (G_UNLIKELY ((size_t)location & 0x7)) {
2030 gint64 old;
2031 mono_interlocked_lock ();
2032 old = *location;
2033 if (old == comparand)
2034 *location = value;
2035 mono_interlocked_unlock ();
2036 return old;
2038 #endif
2039 return InterlockedCompareExchange64 (location, value, comparand);
2042 MonoObject*
2043 ves_icall_System_Threading_Interlocked_CompareExchange_T (MonoObject **location, MonoObject *value, MonoObject *comparand)
2045 MonoObject *res;
2046 res = (MonoObject *)InterlockedCompareExchangePointer ((volatile gpointer *)location, value, comparand);
2047 mono_gc_wbarrier_generic_nostore (location);
2048 return res;
2051 MonoObject*
2052 ves_icall_System_Threading_Interlocked_Exchange_T (MonoObject **location, MonoObject *value)
2054 MonoObject *res;
2055 MONO_CHECK_NULL (location, NULL);
2056 res = (MonoObject *)InterlockedExchangePointer ((volatile gpointer *)location, value);
2057 mono_gc_wbarrier_generic_nostore (location);
2058 return res;
2061 gint32
2062 ves_icall_System_Threading_Interlocked_Add_Int (gint32 *location, gint32 value)
2064 return InterlockedAdd (location, value);
2067 gint64
2068 ves_icall_System_Threading_Interlocked_Add_Long (gint64 *location, gint64 value)
2070 #if SIZEOF_VOID_P == 4
2071 if (G_UNLIKELY ((size_t)location & 0x7)) {
2072 gint64 ret;
2073 mono_interlocked_lock ();
2074 *location += value;
2075 ret = *location;
2076 mono_interlocked_unlock ();
2077 return ret;
2079 #endif
2080 return InterlockedAdd64 (location, value);
2083 gint64
2084 ves_icall_System_Threading_Interlocked_Read_Long (gint64 *location)
2086 #if SIZEOF_VOID_P == 4
2087 if (G_UNLIKELY ((size_t)location & 0x7)) {
2088 gint64 ret;
2089 mono_interlocked_lock ();
2090 ret = *location;
2091 mono_interlocked_unlock ();
2092 return ret;
2094 #endif
2095 return InterlockedRead64 (location);
2098 void
2099 ves_icall_System_Threading_Thread_MemoryBarrier (void)
2101 mono_memory_barrier ();
2104 void
2105 ves_icall_System_Threading_Thread_ClrState (MonoInternalThread* this_obj, guint32 state)
2107 mono_thread_clr_state (this_obj, (MonoThreadState)state);
2109 if (state & ThreadState_Background) {
2110 /* If the thread changes the background mode, the main thread has to
2111 * be notified, since it has to rebuild the list of threads to
2112 * wait for.
2114 SetEvent (background_change_event);
2118 void
2119 ves_icall_System_Threading_Thread_SetState (MonoInternalThread* this_obj, guint32 state)
2121 mono_thread_set_state (this_obj, (MonoThreadState)state);
2123 if (state & ThreadState_Background) {
2124 /* If the thread changes the background mode, the main thread has to
2125 * be notified, since it has to rebuild the list of threads to
2126 * wait for.
2128 SetEvent (background_change_event);
2132 guint32
2133 ves_icall_System_Threading_Thread_GetState (MonoInternalThread* this_obj)
2135 guint32 state;
2137 LOCK_THREAD (this_obj);
2139 state = this_obj->state;
2141 UNLOCK_THREAD (this_obj);
2143 return state;
2146 void ves_icall_System_Threading_Thread_Interrupt_internal (MonoThread *this_obj)
2148 MonoInternalThread *current;
2149 gboolean throw_;
2150 MonoInternalThread *thread = this_obj->internal_thread;
2152 LOCK_THREAD (thread);
2154 current = mono_thread_internal_current ();
2156 thread->thread_interrupt_requested = TRUE;
2157 throw_ = current != thread && (thread->state & ThreadState_WaitSleepJoin);
2159 UNLOCK_THREAD (thread);
2161 if (throw_) {
2162 async_abort_internal (thread, FALSE);
2167 * mono_thread_current_check_pending_interrupt:
2169 * Checks if there's a interruption request and set the pending exception if so.
2171 * @returns true if a pending exception was set
2173 gboolean
2174 mono_thread_current_check_pending_interrupt (void)
2176 MonoInternalThread *thread = mono_thread_internal_current ();
2177 gboolean throw_ = FALSE;
2179 LOCK_THREAD (thread);
2181 if (thread->thread_interrupt_requested) {
2182 throw_ = TRUE;
2183 thread->thread_interrupt_requested = FALSE;
2186 UNLOCK_THREAD (thread);
2188 if (throw_)
2189 mono_set_pending_exception (mono_get_exception_thread_interrupted ());
2190 return throw_;
2193 static gboolean
2194 request_thread_abort (MonoInternalThread *thread, MonoObject *state)
2196 LOCK_THREAD (thread);
2198 if ((thread->state & ThreadState_AbortRequested) != 0 ||
2199 (thread->state & ThreadState_StopRequested) != 0 ||
2200 (thread->state & ThreadState_Stopped) != 0)
2202 UNLOCK_THREAD (thread);
2203 return FALSE;
2206 if ((thread->state & ThreadState_Unstarted) != 0) {
2207 thread->state |= ThreadState_Aborted;
2208 UNLOCK_THREAD (thread);
2209 return FALSE;
2212 thread->state |= ThreadState_AbortRequested;
2213 if (thread->abort_state_handle)
2214 mono_gchandle_free (thread->abort_state_handle);
2215 if (state) {
2216 thread->abort_state_handle = mono_gchandle_new (state, FALSE);
2217 g_assert (thread->abort_state_handle);
2218 } else {
2219 thread->abort_state_handle = 0;
2221 thread->abort_exc = NULL;
2223 THREAD_DEBUG (g_message ("%s: (%"G_GSIZE_FORMAT") Abort requested for %p (%"G_GSIZE_FORMAT")", __func__, mono_native_thread_id_get (), thread, (gsize)thread->tid));
2225 /* During shutdown, we can't wait for other threads */
2226 if (!shutting_down)
2227 /* Make sure the thread is awake */
2228 mono_thread_resume (thread);
2230 UNLOCK_THREAD (thread);
2231 return TRUE;
2234 void
2235 ves_icall_System_Threading_Thread_Abort (MonoInternalThread *thread, MonoObject *state)
2237 if (!request_thread_abort (thread, state))
2238 return;
2240 if (thread == mono_thread_internal_current ()) {
2241 MonoError error;
2242 self_abort_internal (&error);
2243 mono_error_set_pending_exception (&error);
2244 } else {
2245 async_abort_internal (thread, TRUE);
2250 * mono_thread_internal_abort:
2252 * Request thread @thread to be aborted.
2254 * @thread MUST NOT be the current thread.
2256 void
2257 mono_thread_internal_abort (MonoInternalThread *thread)
2259 g_assert (thread != mono_thread_internal_current ());
2261 if (!request_thread_abort (thread, NULL))
2262 return;
2263 async_abort_internal (thread, TRUE);
2266 void
2267 ves_icall_System_Threading_Thread_ResetAbort (MonoThread *this_obj)
2269 MonoInternalThread *thread = mono_thread_internal_current ();
2270 gboolean was_aborting;
2272 LOCK_THREAD (thread);
2273 was_aborting = thread->state & ThreadState_AbortRequested;
2274 thread->state &= ~ThreadState_AbortRequested;
2275 UNLOCK_THREAD (thread);
2277 if (!was_aborting) {
2278 const char *msg = "Unable to reset abort because no abort was requested";
2279 mono_set_pending_exception (mono_get_exception_thread_state (msg));
2280 return;
2282 thread->abort_exc = NULL;
2283 if (thread->abort_state_handle) {
2284 mono_gchandle_free (thread->abort_state_handle);
2285 /* This is actually not necessary - the handle
2286 only counts if the exception is set */
2287 thread->abort_state_handle = 0;
2291 void
2292 mono_thread_internal_reset_abort (MonoInternalThread *thread)
2294 LOCK_THREAD (thread);
2296 thread->state &= ~ThreadState_AbortRequested;
2298 if (thread->abort_exc) {
2299 thread->abort_exc = NULL;
2300 if (thread->abort_state_handle) {
2301 mono_gchandle_free (thread->abort_state_handle);
2302 /* This is actually not necessary - the handle
2303 only counts if the exception is set */
2304 thread->abort_state_handle = 0;
2308 UNLOCK_THREAD (thread);
2311 MonoObject*
2312 ves_icall_System_Threading_Thread_GetAbortExceptionState (MonoThread *this_obj)
2314 MonoError error;
2315 MonoInternalThread *thread = this_obj->internal_thread;
2316 MonoObject *state, *deserialized = NULL;
2317 MonoDomain *domain;
2319 if (!thread->abort_state_handle)
2320 return NULL;
2322 state = mono_gchandle_get_target (thread->abort_state_handle);
2323 g_assert (state);
2325 domain = mono_domain_get ();
2326 if (mono_object_domain (state) == domain)
2327 return state;
2329 deserialized = mono_object_xdomain_representation (state, domain, &error);
2331 if (!deserialized) {
2332 MonoException *invalid_op_exc = mono_get_exception_invalid_operation ("Thread.ExceptionState cannot access an ExceptionState from a different AppDomain");
2333 if (!is_ok (&error)) {
2334 MonoObject *exc = (MonoObject*)mono_error_convert_to_exception (&error);
2335 MONO_OBJECT_SETREF (invalid_op_exc, inner_ex, exc);
2337 mono_set_pending_exception (invalid_op_exc);
2338 return NULL;
2341 return deserialized;
2344 static gboolean
2345 mono_thread_suspend (MonoInternalThread *thread)
2347 LOCK_THREAD (thread);
2349 if ((thread->state & ThreadState_Unstarted) != 0 ||
2350 (thread->state & ThreadState_Aborted) != 0 ||
2351 (thread->state & ThreadState_Stopped) != 0)
2353 UNLOCK_THREAD (thread);
2354 return FALSE;
2357 if ((thread->state & ThreadState_Suspended) != 0 ||
2358 (thread->state & ThreadState_SuspendRequested) != 0 ||
2359 (thread->state & ThreadState_StopRequested) != 0)
2361 UNLOCK_THREAD (thread);
2362 return TRUE;
2365 thread->state |= ThreadState_SuspendRequested;
2367 if (thread == mono_thread_internal_current ()) {
2368 /* calls UNLOCK_THREAD (thread) */
2369 self_suspend_internal ();
2370 } else {
2371 /* calls UNLOCK_THREAD (thread) */
2372 async_suspend_internal (thread, FALSE);
2375 return TRUE;
2378 void
2379 ves_icall_System_Threading_Thread_Suspend (MonoThread *this_obj)
2381 if (!mono_thread_suspend (this_obj->internal_thread)) {
2382 mono_set_pending_exception (mono_get_exception_thread_state ("Thread has not been started, or is dead."));
2383 return;
2387 /* LOCKING: LOCK_THREAD(thread) must be held */
2388 static gboolean
2389 mono_thread_resume (MonoInternalThread *thread)
2391 if ((thread->state & ThreadState_SuspendRequested) != 0) {
2392 thread->state &= ~ThreadState_SuspendRequested;
2393 return TRUE;
2396 if ((thread->state & ThreadState_Suspended) == 0 ||
2397 (thread->state & ThreadState_Unstarted) != 0 ||
2398 (thread->state & ThreadState_Aborted) != 0 ||
2399 (thread->state & ThreadState_Stopped) != 0)
2401 return FALSE;
2404 UNLOCK_THREAD (thread);
2406 /* Awake the thread */
2407 if (!mono_thread_info_resume (thread_get_tid (thread)))
2408 return FALSE;
2410 LOCK_THREAD (thread);
2412 thread->state &= ~ThreadState_Suspended;
2414 return TRUE;
2417 void
2418 ves_icall_System_Threading_Thread_Resume (MonoThread *thread)
2420 if (!thread->internal_thread) {
2421 mono_set_pending_exception (mono_get_exception_thread_state ("Thread has not been started, or is dead."));
2422 } else {
2423 LOCK_THREAD (thread->internal_thread);
2424 if (!mono_thread_resume (thread->internal_thread))
2425 mono_set_pending_exception (mono_get_exception_thread_state ("Thread has not been started, or is dead."));
2426 UNLOCK_THREAD (thread->internal_thread);
2430 static gboolean
2431 mono_threads_is_critical_method (MonoMethod *method)
2433 switch (method->wrapper_type) {
2434 case MONO_WRAPPER_RUNTIME_INVOKE:
2435 case MONO_WRAPPER_XDOMAIN_INVOKE:
2436 case MONO_WRAPPER_XDOMAIN_DISPATCH:
2437 return TRUE;
2439 return FALSE;
2442 static gboolean
2443 find_wrapper (MonoMethod *m, gint no, gint ilo, gboolean managed, gpointer data)
2445 if (managed)
2446 return TRUE;
2448 if (mono_threads_is_critical_method (m)) {
2449 *((gboolean*)data) = TRUE;
2450 return TRUE;
2452 return FALSE;
2455 static gboolean
2456 is_running_protected_wrapper (void)
2458 gboolean found = FALSE;
2459 mono_stack_walk (find_wrapper, &found);
2460 return found;
2463 static gboolean
2464 request_thread_stop (MonoInternalThread *thread)
2466 LOCK_THREAD (thread);
2468 if ((thread->state & ThreadState_StopRequested) != 0 ||
2469 (thread->state & ThreadState_Stopped) != 0)
2471 UNLOCK_THREAD (thread);
2472 return FALSE;
2475 /* Make sure the thread is awake */
2476 mono_thread_resume (thread);
2478 thread->state |= ThreadState_StopRequested;
2479 thread->state &= ~ThreadState_AbortRequested;
2481 UNLOCK_THREAD (thread);
2482 return TRUE;
2486 * mono_thread_internal_stop:
2488 * Request thread @thread to stop.
2490 * @thread MUST NOT be the current thread.
2492 void
2493 mono_thread_internal_stop (MonoInternalThread *thread)
2495 g_assert (thread != mono_thread_internal_current ());
2497 if (!request_thread_stop (thread))
2498 return;
2500 async_abort_internal (thread, TRUE);
2503 void mono_thread_stop (MonoThread *thread)
2505 MonoInternalThread *internal = thread->internal_thread;
2507 if (!request_thread_stop (internal))
2508 return;
2510 if (internal == mono_thread_internal_current ()) {
2511 MonoError error;
2512 self_abort_internal (&error);
2514 This function is part of the embeding API and has no way to return the exception
2515 to be thrown. So what we do is keep the old behavior and raise the exception.
2517 mono_error_raise_exception (&error); /* OK to throw, see note */
2518 } else {
2519 async_abort_internal (internal, TRUE);
2523 gint8
2524 ves_icall_System_Threading_Thread_VolatileRead1 (void *ptr)
2526 gint8 tmp = *(volatile gint8 *)ptr;
2527 mono_memory_barrier ();
2528 return tmp;
2531 gint16
2532 ves_icall_System_Threading_Thread_VolatileRead2 (void *ptr)
2534 gint16 tmp = *(volatile gint16 *)ptr;
2535 mono_memory_barrier ();
2536 return tmp;
2539 gint32
2540 ves_icall_System_Threading_Thread_VolatileRead4 (void *ptr)
2542 gint32 tmp = *(volatile gint32 *)ptr;
2543 mono_memory_barrier ();
2544 return tmp;
2547 gint64
2548 ves_icall_System_Threading_Thread_VolatileRead8 (void *ptr)
2550 gint64 tmp = *(volatile gint64 *)ptr;
2551 mono_memory_barrier ();
2552 return tmp;
2555 void *
2556 ves_icall_System_Threading_Thread_VolatileReadIntPtr (void *ptr)
2558 volatile void *tmp = *(volatile void **)ptr;
2559 mono_memory_barrier ();
2560 return (void *) tmp;
2563 void *
2564 ves_icall_System_Threading_Thread_VolatileReadObject (void *ptr)
2566 volatile MonoObject *tmp = *(volatile MonoObject **)ptr;
2567 mono_memory_barrier ();
2568 return (MonoObject *) tmp;
2571 double
2572 ves_icall_System_Threading_Thread_VolatileReadDouble (void *ptr)
2574 double tmp = *(volatile double *)ptr;
2575 mono_memory_barrier ();
2576 return tmp;
2579 float
2580 ves_icall_System_Threading_Thread_VolatileReadFloat (void *ptr)
2582 float tmp = *(volatile float *)ptr;
2583 mono_memory_barrier ();
2584 return tmp;
2587 gint8
2588 ves_icall_System_Threading_Volatile_Read1 (void *ptr)
2590 return InterlockedRead8 ((volatile gint8 *)ptr);
2593 gint16
2594 ves_icall_System_Threading_Volatile_Read2 (void *ptr)
2596 return InterlockedRead16 ((volatile gint16 *)ptr);
2599 gint32
2600 ves_icall_System_Threading_Volatile_Read4 (void *ptr)
2602 return InterlockedRead ((volatile gint32 *)ptr);
2605 gint64
2606 ves_icall_System_Threading_Volatile_Read8 (void *ptr)
2608 #if SIZEOF_VOID_P == 4
2609 if (G_UNLIKELY ((size_t)ptr & 0x7)) {
2610 gint64 val;
2611 mono_interlocked_lock ();
2612 val = *(gint64*)ptr;
2613 mono_interlocked_unlock ();
2614 return val;
2616 #endif
2617 return InterlockedRead64 ((volatile gint64 *)ptr);
2620 void *
2621 ves_icall_System_Threading_Volatile_ReadIntPtr (void *ptr)
2623 return InterlockedReadPointer ((volatile gpointer *)ptr);
2626 double
2627 ves_icall_System_Threading_Volatile_ReadDouble (void *ptr)
2629 LongDoubleUnion u;
2631 #if SIZEOF_VOID_P == 4
2632 if (G_UNLIKELY ((size_t)ptr & 0x7)) {
2633 double val;
2634 mono_interlocked_lock ();
2635 val = *(double*)ptr;
2636 mono_interlocked_unlock ();
2637 return val;
2639 #endif
2641 u.ival = InterlockedRead64 ((volatile gint64 *)ptr);
2643 return u.fval;
2646 float
2647 ves_icall_System_Threading_Volatile_ReadFloat (void *ptr)
2649 IntFloatUnion u;
2651 u.ival = InterlockedRead ((volatile gint32 *)ptr);
2653 return u.fval;
2656 MonoObject*
2657 ves_icall_System_Threading_Volatile_Read_T (void *ptr)
2659 return (MonoObject *)InterlockedReadPointer ((volatile gpointer *)ptr);
2662 void
2663 ves_icall_System_Threading_Thread_VolatileWrite1 (void *ptr, gint8 value)
2665 mono_memory_barrier ();
2666 *(volatile gint8 *)ptr = value;
2669 void
2670 ves_icall_System_Threading_Thread_VolatileWrite2 (void *ptr, gint16 value)
2672 mono_memory_barrier ();
2673 *(volatile gint16 *)ptr = value;
2676 void
2677 ves_icall_System_Threading_Thread_VolatileWrite4 (void *ptr, gint32 value)
2679 mono_memory_barrier ();
2680 *(volatile gint32 *)ptr = value;
2683 void
2684 ves_icall_System_Threading_Thread_VolatileWrite8 (void *ptr, gint64 value)
2686 mono_memory_barrier ();
2687 *(volatile gint64 *)ptr = value;
2690 void
2691 ves_icall_System_Threading_Thread_VolatileWriteIntPtr (void *ptr, void *value)
2693 mono_memory_barrier ();
2694 *(volatile void **)ptr = value;
2697 void
2698 ves_icall_System_Threading_Thread_VolatileWriteObject (void *ptr, MonoObject *value)
2700 mono_memory_barrier ();
2701 mono_gc_wbarrier_generic_store (ptr, value);
2704 void
2705 ves_icall_System_Threading_Thread_VolatileWriteDouble (void *ptr, double value)
2707 mono_memory_barrier ();
2708 *(volatile double *)ptr = value;
2711 void
2712 ves_icall_System_Threading_Thread_VolatileWriteFloat (void *ptr, float value)
2714 mono_memory_barrier ();
2715 *(volatile float *)ptr = value;
2718 void
2719 ves_icall_System_Threading_Volatile_Write1 (void *ptr, gint8 value)
2721 InterlockedWrite8 ((volatile gint8 *)ptr, value);
2724 void
2725 ves_icall_System_Threading_Volatile_Write2 (void *ptr, gint16 value)
2727 InterlockedWrite16 ((volatile gint16 *)ptr, value);
2730 void
2731 ves_icall_System_Threading_Volatile_Write4 (void *ptr, gint32 value)
2733 InterlockedWrite ((volatile gint32 *)ptr, value);
2736 void
2737 ves_icall_System_Threading_Volatile_Write8 (void *ptr, gint64 value)
2739 #if SIZEOF_VOID_P == 4
2740 if (G_UNLIKELY ((size_t)ptr & 0x7)) {
2741 mono_interlocked_lock ();
2742 *(gint64*)ptr = value;
2743 mono_interlocked_unlock ();
2744 return;
2746 #endif
2748 InterlockedWrite64 ((volatile gint64 *)ptr, value);
2751 void
2752 ves_icall_System_Threading_Volatile_WriteIntPtr (void *ptr, void *value)
2754 InterlockedWritePointer ((volatile gpointer *)ptr, value);
2757 void
2758 ves_icall_System_Threading_Volatile_WriteDouble (void *ptr, double value)
2760 LongDoubleUnion u;
2762 #if SIZEOF_VOID_P == 4
2763 if (G_UNLIKELY ((size_t)ptr & 0x7)) {
2764 mono_interlocked_lock ();
2765 *(double*)ptr = value;
2766 mono_interlocked_unlock ();
2767 return;
2769 #endif
2771 u.fval = value;
2773 InterlockedWrite64 ((volatile gint64 *)ptr, u.ival);
2776 void
2777 ves_icall_System_Threading_Volatile_WriteFloat (void *ptr, float value)
2779 IntFloatUnion u;
2781 u.fval = value;
2783 InterlockedWrite ((volatile gint32 *)ptr, u.ival);
2786 void
2787 ves_icall_System_Threading_Volatile_Write_T (void *ptr, MonoObject *value)
2789 mono_gc_wbarrier_generic_store_atomic (ptr, value);
2792 static void
2793 free_context (void *user_data)
2795 ContextStaticData *data = user_data;
2797 mono_threads_lock ();
2800 * There is no guarantee that, by the point this reference queue callback
2801 * has been invoked, the GC handle associated with the object will fail to
2802 * resolve as one might expect. So if we don't free and remove the GC
2803 * handle here, free_context_static_data_helper () could end up resolving
2804 * a GC handle to an actually-dead context which would contain a pointer
2805 * to an already-freed static data segment, resulting in a crash when
2806 * accessing it.
2808 g_hash_table_remove (contexts, GUINT_TO_POINTER (data->gc_handle));
2810 mono_threads_unlock ();
2812 mono_gchandle_free (data->gc_handle);
2813 mono_free_static_data (data->static_data);
2814 g_free (data);
2817 void
2818 ves_icall_System_Runtime_Remoting_Contexts_Context_RegisterContext (MonoAppContext *ctx)
2820 mono_threads_lock ();
2822 //g_print ("Registering context %d in domain %d\n", ctx->context_id, ctx->domain_id);
2824 if (!contexts)
2825 contexts = g_hash_table_new (NULL, NULL);
2827 if (!context_queue)
2828 context_queue = mono_gc_reference_queue_new (free_context);
2830 gpointer gch = GUINT_TO_POINTER (mono_gchandle_new_weakref (&ctx->obj, FALSE));
2831 g_hash_table_insert (contexts, gch, gch);
2834 * We use this intermediate structure to contain a duplicate pointer to
2835 * the static data because we can't rely on being able to resolve the GC
2836 * handle in the reference queue callback.
2838 ContextStaticData *data = g_new0 (ContextStaticData, 1);
2839 data->gc_handle = GPOINTER_TO_UINT (gch);
2840 ctx->data = data;
2842 context_adjust_static_data (ctx);
2843 mono_gc_reference_queue_add (context_queue, &ctx->obj, data);
2845 mono_threads_unlock ();
2847 mono_profiler_context_loaded (ctx);
2850 void
2851 ves_icall_System_Runtime_Remoting_Contexts_Context_ReleaseContext (MonoAppContext *ctx)
2854 * NOTE: Since finalizers are unreliable for the purposes of ensuring
2855 * cleanup in exceptional circumstances, we don't actually do any
2856 * cleanup work here. We instead do this via a reference queue.
2859 //g_print ("Releasing context %d in domain %d\n", ctx->context_id, ctx->domain_id);
2861 mono_profiler_context_unloaded (ctx);
2864 void
2865 mono_thread_init_tls (void)
2867 MONO_FAST_TLS_INIT (tls_current_object);
2868 mono_native_tls_alloc (&current_object_key, NULL);
2871 void mono_thread_init (MonoThreadStartCB start_cb,
2872 MonoThreadAttachCB attach_cb)
2874 mono_coop_mutex_init_recursive (&threads_mutex);
2876 mono_os_mutex_init_recursive(&interlocked_mutex);
2877 mono_os_mutex_init_recursive(&joinable_threads_mutex);
2879 background_change_event = CreateEvent (NULL, TRUE, FALSE, NULL);
2880 g_assert(background_change_event != NULL);
2882 mono_init_static_data_info (&thread_static_info);
2883 mono_init_static_data_info (&context_static_info);
2885 THREAD_DEBUG (g_message ("%s: Allocated current_object_key %d", __func__, current_object_key));
2887 mono_thread_start_cb = start_cb;
2888 mono_thread_attach_cb = attach_cb;
2890 /* Get a pseudo handle to the current process. This is just a
2891 * kludge so that wapi can build a process handle if needed.
2892 * As a pseudo handle is returned, we don't need to clean
2893 * anything up.
2895 GetCurrentProcess ();
2897 /* Check that the managed and unmanaged layout of MonoInternalThread matches */
2898 g_assert (MONO_STRUCT_OFFSET (MonoInternalThread, last) == mono_field_get_offset (mono_class_get_field_from_name (mono_defaults.internal_thread_class, "last")));
2901 void mono_thread_cleanup (void)
2903 #if !defined(RUN_IN_SUBTHREAD)
2904 /* The main thread must abandon any held mutexes (particularly
2905 * important for named mutexes as they are shared across
2906 * processes, see bug 74680.) This will happen when the
2907 * thread exits, but if it's not running in a subthread it
2908 * won't exit in time.
2910 mono_thread_info_set_exited (mono_thread_info_current ());
2911 #endif
2913 #if 0
2914 /* This stuff needs more testing, it seems one of these
2915 * critical sections can be locked when mono_thread_cleanup is
2916 * called.
2918 mono_coop_mutex_destroy (&threads_mutex);
2919 mono_os_mutex_destroy (&interlocked_mutex);
2920 mono_os_mutex_destroy (&delayed_free_table_mutex);
2921 mono_os_mutex_destroy (&small_id_mutex);
2922 CloseHandle (background_change_event);
2923 #endif
2925 mono_native_tls_free (current_object_key);
2928 void
2929 mono_threads_install_cleanup (MonoThreadCleanupFunc func)
2931 mono_thread_cleanup_fn = func;
2934 void
2935 mono_thread_set_manage_callback (MonoThread *thread, MonoThreadManageCallback func)
2937 thread->internal_thread->manage_callback = func;
2940 G_GNUC_UNUSED
2941 static void print_tids (gpointer key, gpointer value, gpointer user)
2943 /* GPOINTER_TO_UINT breaks horribly if sizeof(void *) >
2944 * sizeof(uint) and a cast to uint would overflow
2946 /* Older versions of glib don't have G_GSIZE_FORMAT, so just
2947 * print this as a pointer.
2949 g_message ("Waiting for: %p", key);
2952 struct wait_data
2954 HANDLE handles[MONO_W32HANDLE_MAXIMUM_WAIT_OBJECTS];
2955 MonoInternalThread *threads[MONO_W32HANDLE_MAXIMUM_WAIT_OBJECTS];
2956 guint32 num;
2959 static void
2960 wait_for_tids (struct wait_data *wait, guint32 timeout)
2962 guint32 i, ret;
2964 THREAD_DEBUG (g_message("%s: %d threads to wait for in this batch", __func__, wait->num));
2966 MONO_ENTER_GC_SAFE;
2967 ret=WaitForMultipleObjectsEx(wait->num, wait->handles, TRUE, timeout, TRUE);
2968 MONO_EXIT_GC_SAFE;
2970 if(ret==WAIT_FAILED) {
2971 /* See the comment in build_wait_tids() */
2972 THREAD_DEBUG (g_message ("%s: Wait failed", __func__));
2973 return;
2976 for(i=0; i<wait->num; i++)
2977 mono_threads_close_thread_handle (wait->handles [i]);
2979 if (ret == WAIT_TIMEOUT)
2980 return;
2982 for(i=0; i<wait->num; i++) {
2983 gsize tid = wait->threads[i]->tid;
2986 * On !win32, when the thread handle becomes signalled, it just means the thread has exited user code,
2987 * it can still run io-layer etc. code. So wait for it to really exit.
2988 * FIXME: This won't join threads which are not in the joinable_hash yet.
2990 mono_thread_join ((gpointer)tid);
2992 mono_threads_lock ();
2993 if(mono_g_hash_table_lookup (threads, (gpointer)tid)!=NULL) {
2994 /* This thread must have been killed, because
2995 * it hasn't cleaned itself up. (It's just
2996 * possible that the thread exited before the
2997 * parent thread had a chance to store the
2998 * handle, and now there is another pointer to
2999 * the already-exited thread stored. In this
3000 * case, we'll just get two
3001 * mono_profiler_thread_end() calls for the
3002 * same thread.)
3005 mono_threads_unlock ();
3006 THREAD_DEBUG (g_message ("%s: cleaning up after thread %p (%"G_GSIZE_FORMAT")", __func__, wait->threads[i], tid));
3007 thread_cleanup (wait->threads[i]);
3008 } else {
3009 mono_threads_unlock ();
3014 static void wait_for_tids_or_state_change (struct wait_data *wait, guint32 timeout)
3016 guint32 i, ret, count;
3018 THREAD_DEBUG (g_message("%s: %d threads to wait for in this batch", __func__, wait->num));
3020 /* Add the thread state change event, so it wakes up if a thread changes
3021 * to background mode.
3023 count = wait->num;
3024 if (count < MONO_W32HANDLE_MAXIMUM_WAIT_OBJECTS) {
3025 wait->handles [count] = background_change_event;
3026 count++;
3029 MONO_ENTER_GC_SAFE;
3030 ret=WaitForMultipleObjectsEx (count, wait->handles, FALSE, timeout, TRUE);
3031 MONO_EXIT_GC_SAFE;
3033 if(ret==WAIT_FAILED) {
3034 /* See the comment in build_wait_tids() */
3035 THREAD_DEBUG (g_message ("%s: Wait failed", __func__));
3036 return;
3039 for(i=0; i<wait->num; i++)
3040 mono_threads_close_thread_handle (wait->handles [i]);
3042 if (ret == WAIT_TIMEOUT)
3043 return;
3045 if (ret < wait->num) {
3046 gsize tid = wait->threads[ret]->tid;
3047 mono_threads_lock ();
3048 if (mono_g_hash_table_lookup (threads, (gpointer)tid)!=NULL) {
3049 /* See comment in wait_for_tids about thread cleanup */
3050 mono_threads_unlock ();
3051 THREAD_DEBUG (g_message ("%s: cleaning up after thread %"G_GSIZE_FORMAT, __func__, tid));
3052 thread_cleanup (wait->threads [ret]);
3053 } else
3054 mono_threads_unlock ();
3058 static void build_wait_tids (gpointer key, gpointer value, gpointer user)
3060 struct wait_data *wait=(struct wait_data *)user;
3062 if(wait->num<MONO_W32HANDLE_MAXIMUM_WAIT_OBJECTS) {
3063 HANDLE handle;
3064 MonoInternalThread *thread=(MonoInternalThread *)value;
3066 /* Ignore background threads, we abort them later */
3067 /* Do not lock here since it is not needed and the caller holds threads_lock */
3068 if (thread->state & ThreadState_Background) {
3069 THREAD_DEBUG (g_message ("%s: ignoring background thread %"G_GSIZE_FORMAT, __func__, (gsize)thread->tid));
3070 return; /* just leave, ignore */
3073 if (mono_gc_is_finalizer_internal_thread (thread)) {
3074 THREAD_DEBUG (g_message ("%s: ignoring finalizer thread %"G_GSIZE_FORMAT, __func__, (gsize)thread->tid));
3075 return;
3078 if (thread == mono_thread_internal_current ()) {
3079 THREAD_DEBUG (g_message ("%s: ignoring current thread %"G_GSIZE_FORMAT, __func__, (gsize)thread->tid));
3080 return;
3083 if (mono_thread_get_main () && (thread == mono_thread_get_main ()->internal_thread)) {
3084 THREAD_DEBUG (g_message ("%s: ignoring main thread %"G_GSIZE_FORMAT, __func__, (gsize)thread->tid));
3085 return;
3088 if (thread->flags & MONO_THREAD_FLAG_DONT_MANAGE) {
3089 THREAD_DEBUG (g_message ("%s: ignoring thread %" G_GSIZE_FORMAT "with DONT_MANAGE flag set.", __func__, (gsize)thread->tid));
3090 return;
3093 handle = mono_threads_open_thread_handle (thread->handle, thread_get_tid (thread));
3094 if (handle == NULL) {
3095 THREAD_DEBUG (g_message ("%s: ignoring unopenable thread %"G_GSIZE_FORMAT, __func__, (gsize)thread->tid));
3096 return;
3099 THREAD_DEBUG (g_message ("%s: Invoking mono_thread_manage callback on thread %p", __func__, thread));
3100 if ((thread->manage_callback == NULL) || (thread->manage_callback (thread->root_domain_thread) == TRUE)) {
3101 wait->handles[wait->num]=handle;
3102 wait->threads[wait->num]=thread;
3103 wait->num++;
3105 THREAD_DEBUG (g_message ("%s: adding thread %"G_GSIZE_FORMAT, __func__, (gsize)thread->tid));
3106 } else {
3107 THREAD_DEBUG (g_message ("%s: ignoring (because of callback) thread %"G_GSIZE_FORMAT, __func__, (gsize)thread->tid));
3111 } else {
3112 /* Just ignore the rest, we can't do anything with
3113 * them yet
3118 static gboolean
3119 remove_and_abort_threads (gpointer key, gpointer value, gpointer user)
3121 struct wait_data *wait=(struct wait_data *)user;
3122 MonoNativeThreadId self = mono_native_thread_id_get ();
3123 MonoInternalThread *thread = (MonoInternalThread *)value;
3124 HANDLE handle;
3126 if (wait->num >= MONO_W32HANDLE_MAXIMUM_WAIT_OBJECTS)
3127 return FALSE;
3129 /* The finalizer thread is not a background thread */
3130 if (!mono_native_thread_id_equals (thread_get_tid (thread), self)
3131 && (thread->state & ThreadState_Background) != 0
3132 && (thread->flags & MONO_THREAD_FLAG_DONT_MANAGE) == 0
3134 handle = mono_threads_open_thread_handle (thread->handle, thread_get_tid (thread));
3135 if (handle == NULL)
3136 return FALSE;
3138 wait->handles[wait->num] = handle;
3139 wait->threads[wait->num] = thread;
3140 wait->num++;
3142 THREAD_DEBUG (g_print ("%s: Aborting id: %"G_GSIZE_FORMAT"\n", __func__, (gsize)thread->tid));
3143 mono_thread_internal_abort (thread);
3144 return TRUE;
3147 return !mono_native_thread_id_equals (thread_get_tid (thread), self)
3148 && !mono_gc_is_finalizer_internal_thread (thread);
3151 /**
3152 * mono_threads_set_shutting_down:
3154 * Is called by a thread that wants to shut down Mono. If the runtime is already
3155 * shutting down, the calling thread is suspended/stopped, and this function never
3156 * returns.
3158 void
3159 mono_threads_set_shutting_down (void)
3161 MonoInternalThread *current_thread = mono_thread_internal_current ();
3163 mono_threads_lock ();
3165 if (shutting_down) {
3166 mono_threads_unlock ();
3168 /* Make sure we're properly suspended/stopped */
3170 LOCK_THREAD (current_thread);
3172 if ((current_thread->state & ThreadState_SuspendRequested) ||
3173 (current_thread->state & ThreadState_AbortRequested) ||
3174 (current_thread->state & ThreadState_StopRequested)) {
3175 UNLOCK_THREAD (current_thread);
3176 mono_thread_execute_interruption ();
3177 } else {
3178 current_thread->state |= ThreadState_Stopped;
3179 UNLOCK_THREAD (current_thread);
3182 /*since we're killing the thread, unset the current domain.*/
3183 mono_domain_unset ();
3185 /* Wake up other threads potentially waiting for us */
3186 mono_thread_info_exit ();
3187 } else {
3188 shutting_down = TRUE;
3190 /* Not really a background state change, but this will
3191 * interrupt the main thread if it is waiting for all
3192 * the other threads.
3194 SetEvent (background_change_event);
3196 mono_threads_unlock ();
3200 void mono_thread_manage (void)
3202 struct wait_data wait_data;
3203 struct wait_data *wait = &wait_data;
3205 memset (wait, 0, sizeof (struct wait_data));
3206 /* join each thread that's still running */
3207 THREAD_DEBUG (g_message ("%s: Joining each running thread...", __func__));
3209 mono_threads_lock ();
3210 if(threads==NULL) {
3211 THREAD_DEBUG (g_message("%s: No threads", __func__));
3212 mono_threads_unlock ();
3213 return;
3215 mono_threads_unlock ();
3217 do {
3218 mono_threads_lock ();
3219 if (shutting_down) {
3220 /* somebody else is shutting down */
3221 mono_threads_unlock ();
3222 break;
3224 THREAD_DEBUG (g_message ("%s: There are %d threads to join", __func__, mono_g_hash_table_size (threads));
3225 mono_g_hash_table_foreach (threads, print_tids, NULL));
3227 ResetEvent (background_change_event);
3228 wait->num=0;
3229 /*We must zero all InternalThread pointers to avoid making the GC unhappy.*/
3230 memset (wait->threads, 0, MONO_W32HANDLE_MAXIMUM_WAIT_OBJECTS * SIZEOF_VOID_P);
3231 mono_g_hash_table_foreach (threads, build_wait_tids, wait);
3232 mono_threads_unlock ();
3233 if(wait->num>0) {
3234 /* Something to wait for */
3235 wait_for_tids_or_state_change (wait, INFINITE);
3237 THREAD_DEBUG (g_message ("%s: I have %d threads after waiting.", __func__, wait->num));
3238 } while(wait->num>0);
3240 /* Mono is shutting down, so just wait for the end */
3241 if (!mono_runtime_try_shutdown ()) {
3242 /*FIXME mono_thread_suspend probably should call mono_thread_execute_interruption when self interrupting. */
3243 mono_thread_suspend (mono_thread_internal_current ());
3244 mono_thread_execute_interruption ();
3248 * Remove everything but the finalizer thread and self.
3249 * Also abort all the background threads
3250 * */
3251 do {
3252 mono_threads_lock ();
3254 wait->num = 0;
3255 /*We must zero all InternalThread pointers to avoid making the GC unhappy.*/
3256 memset (wait->threads, 0, MONO_W32HANDLE_MAXIMUM_WAIT_OBJECTS * SIZEOF_VOID_P);
3257 mono_g_hash_table_foreach_remove (threads, remove_and_abort_threads, wait);
3259 mono_threads_unlock ();
3261 THREAD_DEBUG (g_message ("%s: wait->num is now %d", __func__, wait->num));
3262 if(wait->num>0) {
3263 /* Something to wait for */
3264 wait_for_tids (wait, INFINITE);
3266 } while (wait->num > 0);
3269 * give the subthreads a chance to really quit (this is mainly needed
3270 * to get correct user and system times from getrusage/wait/time(1)).
3271 * This could be removed if we avoid pthread_detach() and use pthread_join().
3273 mono_thread_info_yield ();
3276 static void
3277 collect_threads_for_suspend (gpointer key, gpointer value, gpointer user_data)
3279 MonoInternalThread *thread = (MonoInternalThread*)value;
3280 struct wait_data *wait = (struct wait_data*)user_data;
3281 HANDLE handle;
3284 * We try to exclude threads early, to avoid running into the MONO_W32HANDLE_MAXIMUM_WAIT_OBJECTS
3285 * limitation.
3286 * This needs no locking.
3288 if ((thread->state & ThreadState_Suspended) != 0 ||
3289 (thread->state & ThreadState_Stopped) != 0)
3290 return;
3292 if (wait->num<MONO_W32HANDLE_MAXIMUM_WAIT_OBJECTS) {
3293 handle = mono_threads_open_thread_handle (thread->handle, thread_get_tid (thread));
3294 if (handle == NULL)
3295 return;
3297 wait->handles [wait->num] = handle;
3298 wait->threads [wait->num] = thread;
3299 wait->num++;
3304 * mono_thread_suspend_all_other_threads:
3306 * Suspend all managed threads except the finalizer thread and this thread. It is
3307 * not possible to resume them later.
3309 void mono_thread_suspend_all_other_threads (void)
3311 struct wait_data wait_data;
3312 struct wait_data *wait = &wait_data;
3313 int i;
3314 MonoNativeThreadId self = mono_native_thread_id_get ();
3315 guint32 eventidx = 0;
3316 gboolean starting, finished;
3318 memset (wait, 0, sizeof (struct wait_data));
3320 * The other threads could be in an arbitrary state at this point, i.e.
3321 * they could be starting up, shutting down etc. This means that there could be
3322 * threads which are not even in the threads hash table yet.
3326 * First we set a barrier which will be checked by all threads before they
3327 * are added to the threads hash table, and they will exit if the flag is set.
3328 * This ensures that no threads could be added to the hash later.
3329 * We will use shutting_down as the barrier for now.
3331 g_assert (shutting_down);
3334 * We make multiple calls to WaitForMultipleObjects since:
3335 * - we can only wait for MONO_W32HANDLE_MAXIMUM_WAIT_OBJECTS threads
3336 * - some threads could exit without becoming suspended
3338 finished = FALSE;
3339 while (!finished) {
3341 * Make a copy of the hashtable since we can't do anything with
3342 * threads while threads_mutex is held.
3344 wait->num = 0;
3345 /*We must zero all InternalThread pointers to avoid making the GC unhappy.*/
3346 memset (wait->threads, 0, MONO_W32HANDLE_MAXIMUM_WAIT_OBJECTS * SIZEOF_VOID_P);
3347 mono_threads_lock ();
3348 mono_g_hash_table_foreach (threads, collect_threads_for_suspend, wait);
3349 mono_threads_unlock ();
3351 eventidx = 0;
3352 /* Get the suspended events that we'll be waiting for */
3353 for (i = 0; i < wait->num; ++i) {
3354 MonoInternalThread *thread = wait->threads [i];
3356 if (mono_native_thread_id_equals (thread_get_tid (thread), self)
3357 || mono_gc_is_finalizer_internal_thread (thread)
3358 || (thread->flags & MONO_THREAD_FLAG_DONT_MANAGE)
3360 //mono_threads_close_thread_handle (wait->handles [i]);
3361 wait->threads [i] = NULL; /* ignore this thread in next loop */
3362 continue;
3365 LOCK_THREAD (thread);
3367 if ((thread->state & ThreadState_Suspended) != 0 ||
3368 (thread->state & ThreadState_StopRequested) != 0 ||
3369 (thread->state & ThreadState_Stopped) != 0) {
3370 UNLOCK_THREAD (thread);
3371 mono_threads_close_thread_handle (wait->handles [i]);
3372 wait->threads [i] = NULL; /* ignore this thread in next loop */
3373 continue;
3376 ++eventidx;
3378 /* Convert abort requests into suspend requests */
3379 if ((thread->state & ThreadState_AbortRequested) != 0)
3380 thread->state &= ~ThreadState_AbortRequested;
3382 thread->state |= ThreadState_SuspendRequested;
3384 /* Signal the thread to suspend + calls UNLOCK_THREAD (thread) */
3385 async_suspend_internal (thread, TRUE);
3387 if (eventidx <= 0) {
3389 * If there are threads which are starting up, we wait until they
3390 * are suspended when they try to register in the threads hash.
3391 * This is guaranteed to finish, since the threads which can create new
3392 * threads get suspended after a while.
3393 * FIXME: The finalizer thread can still create new threads.
3395 mono_threads_lock ();
3396 if (threads_starting_up)
3397 starting = mono_g_hash_table_size (threads_starting_up) > 0;
3398 else
3399 starting = FALSE;
3400 mono_threads_unlock ();
3401 if (starting)
3402 mono_thread_info_sleep (100, NULL);
3403 else
3404 finished = TRUE;
3409 typedef struct {
3410 MonoInternalThread *thread;
3411 MonoStackFrameInfo *frames;
3412 int nframes, max_frames;
3413 int nthreads, max_threads;
3414 MonoInternalThread **threads;
3415 } ThreadDumpUserData;
3417 static gboolean thread_dump_requested;
3419 /* This needs to be async safe */
3420 static gboolean
3421 collect_frame (MonoStackFrameInfo *frame, MonoContext *ctx, gpointer data)
3423 ThreadDumpUserData *ud = (ThreadDumpUserData *)data;
3425 if (ud->nframes < ud->max_frames) {
3426 memcpy (&ud->frames [ud->nframes], frame, sizeof (MonoStackFrameInfo));
3427 ud->nframes ++;
3430 return FALSE;
3433 /* This needs to be async safe */
3434 static SuspendThreadResult
3435 get_thread_dump (MonoThreadInfo *info, gpointer ud)
3437 ThreadDumpUserData *user_data = (ThreadDumpUserData *)ud;
3438 MonoInternalThread *thread = user_data->thread;
3440 #if 0
3441 /* This no longer works with remote unwinding */
3442 g_string_append_printf (text, " tid=0x%p this=0x%p ", (gpointer)(gsize)thread->tid, thread);
3443 mono_thread_info_describe (info, text);
3444 g_string_append (text, "\n");
3445 #endif
3447 if (thread == mono_thread_internal_current ())
3448 mono_get_eh_callbacks ()->mono_walk_stack_with_ctx (collect_frame, NULL, MONO_UNWIND_SIGNAL_SAFE, ud);
3449 else
3450 mono_get_eh_callbacks ()->mono_walk_stack_with_state (collect_frame, mono_thread_info_get_suspend_state (info), MONO_UNWIND_SIGNAL_SAFE, ud);
3452 return MonoResumeThread;
3455 typedef struct {
3456 int nthreads, max_threads;
3457 MonoInternalThread **threads;
3458 } CollectThreadsUserData;
3460 static void
3461 collect_thread (gpointer key, gpointer value, gpointer user)
3463 CollectThreadsUserData *ud = (CollectThreadsUserData *)user;
3464 MonoInternalThread *thread = (MonoInternalThread *)value;
3466 if (ud->nthreads < ud->max_threads)
3467 ud->threads [ud->nthreads ++] = thread;
3471 * Collect running threads into the THREADS array.
3472 * THREADS should be an array allocated on the stack.
3474 static int
3475 collect_threads (MonoInternalThread **thread_array, int max_threads)
3477 CollectThreadsUserData ud;
3479 memset (&ud, 0, sizeof (ud));
3480 /* This array contains refs, but its on the stack, so its ok */
3481 ud.threads = thread_array;
3482 ud.max_threads = max_threads;
3484 mono_threads_lock ();
3485 mono_g_hash_table_foreach (threads, collect_thread, &ud);
3486 mono_threads_unlock ();
3488 return ud.nthreads;
3491 static void
3492 dump_thread (MonoInternalThread *thread, ThreadDumpUserData *ud)
3494 GString* text = g_string_new (0);
3495 char *name;
3496 GError *error = NULL;
3497 int i;
3499 ud->thread = thread;
3500 ud->nframes = 0;
3502 /* Collect frames for the thread */
3503 if (thread == mono_thread_internal_current ()) {
3504 get_thread_dump (mono_thread_info_current (), ud);
3505 } else {
3506 mono_thread_info_safe_suspend_and_run (thread_get_tid (thread), FALSE, get_thread_dump, ud);
3510 * Do all the non async-safe work outside of get_thread_dump.
3512 if (thread->name) {
3513 name = g_utf16_to_utf8 (thread->name, thread->name_len, NULL, NULL, &error);
3514 g_assert (!error);
3515 g_string_append_printf (text, "\n\"%s\"", name);
3516 g_free (name);
3518 else if (thread->threadpool_thread) {
3519 g_string_append (text, "\n\"<threadpool thread>\"");
3520 } else {
3521 g_string_append (text, "\n\"<unnamed thread>\"");
3524 for (i = 0; i < ud->nframes; ++i) {
3525 MonoStackFrameInfo *frame = &ud->frames [i];
3526 MonoMethod *method = NULL;
3528 if (frame->type == FRAME_TYPE_MANAGED)
3529 method = mono_jit_info_get_method (frame->ji);
3531 if (method) {
3532 gchar *location = mono_debug_print_stack_frame (method, frame->native_offset, frame->domain);
3533 g_string_append_printf (text, " %s\n", location);
3534 g_free (location);
3535 } else {
3536 g_string_append_printf (text, " at <unknown> <0x%05x>\n", frame->native_offset);
3540 fprintf (stdout, "%s", text->str);
3542 #if PLATFORM_WIN32 && TARGET_WIN32 && _DEBUG
3543 OutputDebugStringA(text->str);
3544 #endif
3546 g_string_free (text, TRUE);
3547 fflush (stdout);
3550 void
3551 mono_threads_perform_thread_dump (void)
3553 ThreadDumpUserData ud;
3554 MonoInternalThread *thread_array [128];
3555 int tindex, nthreads;
3557 if (!thread_dump_requested)
3558 return;
3560 printf ("Full thread dump:\n");
3562 /* Make a copy of the threads hash to avoid doing work inside threads_lock () */
3563 nthreads = collect_threads (thread_array, 128);
3565 memset (&ud, 0, sizeof (ud));
3566 ud.frames = g_new0 (MonoStackFrameInfo, 256);
3567 ud.max_frames = 256;
3569 for (tindex = 0; tindex < nthreads; ++tindex)
3570 dump_thread (thread_array [tindex], &ud);
3572 g_free (ud.frames);
3574 thread_dump_requested = FALSE;
3577 /* Obtain the thread dump of all threads */
3578 static gboolean
3579 mono_threads_get_thread_dump (MonoArray **out_threads, MonoArray **out_stack_frames, MonoError *error)
3582 ThreadDumpUserData ud;
3583 MonoInternalThread *thread_array [128];
3584 MonoDomain *domain = mono_domain_get ();
3585 MonoDebugSourceLocation *location;
3586 int tindex, nthreads;
3588 mono_error_init (error);
3590 *out_threads = NULL;
3591 *out_stack_frames = NULL;
3593 /* Make a copy of the threads hash to avoid doing work inside threads_lock () */
3594 nthreads = collect_threads (thread_array, 128);
3596 memset (&ud, 0, sizeof (ud));
3597 ud.frames = g_new0 (MonoStackFrameInfo, 256);
3598 ud.max_frames = 256;
3600 *out_threads = mono_array_new_checked (domain, mono_defaults.thread_class, nthreads, error);
3601 if (!is_ok (error))
3602 goto leave;
3603 *out_stack_frames = mono_array_new_checked (domain, mono_defaults.array_class, nthreads, error);
3604 if (!is_ok (error))
3605 goto leave;
3607 for (tindex = 0; tindex < nthreads; ++tindex) {
3608 MonoInternalThread *thread = thread_array [tindex];
3609 MonoArray *thread_frames;
3610 int i;
3612 ud.thread = thread;
3613 ud.nframes = 0;
3615 /* Collect frames for the thread */
3616 if (thread == mono_thread_internal_current ()) {
3617 get_thread_dump (mono_thread_info_current (), &ud);
3618 } else {
3619 mono_thread_info_safe_suspend_and_run (thread_get_tid (thread), FALSE, get_thread_dump, &ud);
3622 mono_array_setref_fast (*out_threads, tindex, mono_thread_current_for_thread (thread));
3624 thread_frames = mono_array_new_checked (domain, mono_defaults.stack_frame_class, ud.nframes, error);
3625 if (!is_ok (error))
3626 goto leave;
3627 mono_array_setref_fast (*out_stack_frames, tindex, thread_frames);
3629 for (i = 0; i < ud.nframes; ++i) {
3630 MonoStackFrameInfo *frame = &ud.frames [i];
3631 MonoMethod *method = NULL;
3632 MonoStackFrame *sf = (MonoStackFrame *)mono_object_new_checked (domain, mono_defaults.stack_frame_class, error);
3633 if (!is_ok (error))
3634 goto leave;
3636 sf->native_offset = frame->native_offset;
3638 if (frame->type == FRAME_TYPE_MANAGED)
3639 method = mono_jit_info_get_method (frame->ji);
3641 if (method) {
3642 sf->method_address = (gsize) frame->ji->code_start;
3644 MonoReflectionMethod *rm = mono_method_get_object_checked (domain, method, NULL, error);
3645 if (!is_ok (error))
3646 goto leave;
3647 MONO_OBJECT_SETREF (sf, method, rm);
3649 location = mono_debug_lookup_source_location (method, frame->native_offset, domain);
3650 if (location) {
3651 sf->il_offset = location->il_offset;
3653 if (location && location->source_file) {
3654 MONO_OBJECT_SETREF (sf, filename, mono_string_new (domain, location->source_file));
3655 sf->line = location->row;
3656 sf->column = location->column;
3658 mono_debug_free_source_location (location);
3659 } else {
3660 sf->il_offset = -1;
3663 mono_array_setref (thread_frames, i, sf);
3667 leave:
3668 g_free (ud.frames);
3669 return is_ok (error);
3673 * mono_threads_request_thread_dump:
3675 * Ask all threads except the current to print their stacktrace to stdout.
3677 void
3678 mono_threads_request_thread_dump (void)
3680 /*The new thread dump code runs out of the finalizer thread. */
3681 thread_dump_requested = TRUE;
3682 mono_gc_finalize_notify ();
3685 struct ref_stack {
3686 gpointer *refs;
3687 gint allocated; /* +1 so that refs [allocated] == NULL */
3688 gint bottom;
3691 typedef struct ref_stack RefStack;
3693 static RefStack *
3694 ref_stack_new (gint initial_size)
3696 RefStack *rs;
3698 initial_size = MAX (initial_size, 16) + 1;
3699 rs = g_new0 (RefStack, 1);
3700 rs->refs = g_new0 (gpointer, initial_size);
3701 rs->allocated = initial_size;
3702 return rs;
3705 static void
3706 ref_stack_destroy (gpointer ptr)
3708 RefStack *rs = (RefStack *)ptr;
3710 if (rs != NULL) {
3711 g_free (rs->refs);
3712 g_free (rs);
3716 static void
3717 ref_stack_push (RefStack *rs, gpointer ptr)
3719 g_assert (rs != NULL);
3721 if (rs->bottom >= rs->allocated) {
3722 rs->refs = (void **)g_realloc (rs->refs, rs->allocated * 2 * sizeof (gpointer) + 1);
3723 rs->allocated <<= 1;
3724 rs->refs [rs->allocated] = NULL;
3726 rs->refs [rs->bottom++] = ptr;
3729 static void
3730 ref_stack_pop (RefStack *rs)
3732 if (rs == NULL || rs->bottom == 0)
3733 return;
3735 rs->bottom--;
3736 rs->refs [rs->bottom] = NULL;
3739 static gboolean
3740 ref_stack_find (RefStack *rs, gpointer ptr)
3742 gpointer *refs;
3744 if (rs == NULL)
3745 return FALSE;
3747 for (refs = rs->refs; refs && *refs; refs++) {
3748 if (*refs == ptr)
3749 return TRUE;
3751 return FALSE;
3755 * mono_thread_push_appdomain_ref:
3757 * Register that the current thread may have references to objects in domain
3758 * @domain on its stack. Each call to this function should be paired with a
3759 * call to pop_appdomain_ref.
3761 void
3762 mono_thread_push_appdomain_ref (MonoDomain *domain)
3764 MonoInternalThread *thread = mono_thread_internal_current ();
3766 if (thread) {
3767 /* printf ("PUSH REF: %"G_GSIZE_FORMAT" -> %s.\n", (gsize)thread->tid, domain->friendly_name); */
3768 SPIN_LOCK (thread->lock_thread_id);
3769 if (thread->appdomain_refs == NULL)
3770 thread->appdomain_refs = ref_stack_new (16);
3771 ref_stack_push ((RefStack *)thread->appdomain_refs, domain);
3772 SPIN_UNLOCK (thread->lock_thread_id);
3776 void
3777 mono_thread_pop_appdomain_ref (void)
3779 MonoInternalThread *thread = mono_thread_internal_current ();
3781 if (thread) {
3782 /* printf ("POP REF: %"G_GSIZE_FORMAT" -> %s.\n", (gsize)thread->tid, ((MonoDomain*)(thread->appdomain_refs->data))->friendly_name); */
3783 SPIN_LOCK (thread->lock_thread_id);
3784 ref_stack_pop ((RefStack *)thread->appdomain_refs);
3785 SPIN_UNLOCK (thread->lock_thread_id);
3789 gboolean
3790 mono_thread_internal_has_appdomain_ref (MonoInternalThread *thread, MonoDomain *domain)
3792 gboolean res;
3793 SPIN_LOCK (thread->lock_thread_id);
3794 res = ref_stack_find ((RefStack *)thread->appdomain_refs, domain);
3795 SPIN_UNLOCK (thread->lock_thread_id);
3796 return res;
3799 gboolean
3800 mono_thread_has_appdomain_ref (MonoThread *thread, MonoDomain *domain)
3802 return mono_thread_internal_has_appdomain_ref (thread->internal_thread, domain);
3805 typedef struct abort_appdomain_data {
3806 struct wait_data wait;
3807 MonoDomain *domain;
3808 } abort_appdomain_data;
3810 static void
3811 collect_appdomain_thread (gpointer key, gpointer value, gpointer user_data)
3813 MonoInternalThread *thread = (MonoInternalThread*)value;
3814 abort_appdomain_data *data = (abort_appdomain_data*)user_data;
3815 MonoDomain *domain = data->domain;
3817 if (mono_thread_internal_has_appdomain_ref (thread, domain)) {
3818 /* printf ("ABORTING THREAD %p BECAUSE IT REFERENCES DOMAIN %s.\n", thread->tid, domain->friendly_name); */
3820 if(data->wait.num<MONO_W32HANDLE_MAXIMUM_WAIT_OBJECTS) {
3821 HANDLE handle = mono_threads_open_thread_handle (thread->handle, thread_get_tid (thread));
3822 if (handle == NULL)
3823 return;
3824 data->wait.handles [data->wait.num] = handle;
3825 data->wait.threads [data->wait.num] = thread;
3826 data->wait.num++;
3827 } else {
3828 /* Just ignore the rest, we can't do anything with
3829 * them yet
3836 * mono_threads_abort_appdomain_threads:
3838 * Abort threads which has references to the given appdomain.
3840 gboolean
3841 mono_threads_abort_appdomain_threads (MonoDomain *domain, int timeout)
3843 #ifdef __native_client__
3844 return FALSE;
3845 #endif
3847 abort_appdomain_data user_data;
3848 gint64 start_time;
3849 int orig_timeout = timeout;
3850 int i;
3852 THREAD_DEBUG (g_message ("%s: starting abort", __func__));
3854 start_time = mono_msec_ticks ();
3855 do {
3856 mono_threads_lock ();
3858 user_data.domain = domain;
3859 user_data.wait.num = 0;
3860 /* This shouldn't take any locks */
3861 mono_g_hash_table_foreach (threads, collect_appdomain_thread, &user_data);
3862 mono_threads_unlock ();
3864 if (user_data.wait.num > 0) {
3865 /* Abort the threads outside the threads lock */
3866 for (i = 0; i < user_data.wait.num; ++i)
3867 mono_thread_internal_abort (user_data.wait.threads [i]);
3870 * We should wait for the threads either to abort, or to leave the
3871 * domain. We can't do the latter, so we wait with a timeout.
3873 wait_for_tids (&user_data.wait, 100);
3876 /* Update remaining time */
3877 timeout -= mono_msec_ticks () - start_time;
3878 start_time = mono_msec_ticks ();
3880 if (orig_timeout != -1 && timeout < 0)
3881 return FALSE;
3883 while (user_data.wait.num > 0);
3885 THREAD_DEBUG (g_message ("%s: abort done", __func__));
3887 return TRUE;
3890 static void
3891 clear_cached_culture (gpointer key, gpointer value, gpointer user_data)
3893 MonoInternalThread *thread = (MonoInternalThread*)value;
3894 MonoDomain *domain = (MonoDomain*)user_data;
3895 int i;
3897 /* No locking needed here */
3898 /* FIXME: why no locking? writes to the cache are protected with synch_cs above */
3900 if (thread->cached_culture_info) {
3901 for (i = 0; i < NUM_CACHED_CULTURES * 2; ++i) {
3902 MonoObject *obj = mono_array_get (thread->cached_culture_info, MonoObject*, i);
3903 if (obj && obj->vtable->domain == domain)
3904 mono_array_set (thread->cached_culture_info, MonoObject*, i, NULL);
3910 * mono_threads_clear_cached_culture:
3912 * Clear the cached_current_culture from all threads if it is in the
3913 * given appdomain.
3915 void
3916 mono_threads_clear_cached_culture (MonoDomain *domain)
3918 mono_threads_lock ();
3919 mono_g_hash_table_foreach (threads, clear_cached_culture, domain);
3920 mono_threads_unlock ();
3924 * mono_thread_get_undeniable_exception:
3926 * Return an exception which needs to be raised when leaving a catch clause.
3927 * This is used for undeniable exception propagation.
3929 MonoException*
3930 mono_thread_get_undeniable_exception (void)
3932 MonoInternalThread *thread = mono_thread_internal_current ();
3934 if (thread && thread->abort_exc && !is_running_protected_wrapper ()) {
3936 * FIXME: Clear the abort exception and return an AppDomainUnloaded
3937 * exception if the thread no longer references a dying appdomain.
3939 thread->abort_exc->trace_ips = NULL;
3940 thread->abort_exc->stack_trace = NULL;
3941 return thread->abort_exc;
3944 return NULL;
3947 #if MONO_SMALL_CONFIG
3948 #define NUM_STATIC_DATA_IDX 4
3949 static const int static_data_size [NUM_STATIC_DATA_IDX] = {
3950 64, 256, 1024, 4096
3952 #else
3953 #define NUM_STATIC_DATA_IDX 8
3954 static const int static_data_size [NUM_STATIC_DATA_IDX] = {
3955 1024, 4096, 16384, 65536, 262144, 1048576, 4194304, 16777216
3957 #endif
3959 static MonoBitSet *thread_reference_bitmaps [NUM_STATIC_DATA_IDX];
3960 static MonoBitSet *context_reference_bitmaps [NUM_STATIC_DATA_IDX];
3962 static void
3963 mark_slots (void *addr, MonoBitSet **bitmaps, MonoGCMarkFunc mark_func, void *gc_data)
3965 gpointer *static_data = (gpointer *)addr;
3967 for (int i = 0; i < NUM_STATIC_DATA_IDX; ++i) {
3968 void **ptr = (void **)static_data [i];
3970 if (!ptr)
3971 continue;
3973 MONO_BITSET_FOREACH (bitmaps [i], idx, {
3974 void **p = ptr + idx;
3976 if (*p)
3977 mark_func ((MonoObject**)p, gc_data);
3982 static void
3983 mark_tls_slots (void *addr, MonoGCMarkFunc mark_func, void *gc_data)
3985 mark_slots (addr, thread_reference_bitmaps, mark_func, gc_data);
3988 static void
3989 mark_ctx_slots (void *addr, MonoGCMarkFunc mark_func, void *gc_data)
3991 mark_slots (addr, context_reference_bitmaps, mark_func, gc_data);
3995 * mono_alloc_static_data
3997 * Allocate memory blocks for storing threads or context static data
3999 static void
4000 mono_alloc_static_data (gpointer **static_data_ptr, guint32 offset, gboolean threadlocal)
4002 guint idx = ACCESS_SPECIAL_STATIC_OFFSET (offset, index);
4003 int i;
4005 gpointer* static_data = *static_data_ptr;
4006 if (!static_data) {
4007 static MonoGCDescriptor tls_desc = MONO_GC_DESCRIPTOR_NULL;
4008 static MonoGCDescriptor ctx_desc = MONO_GC_DESCRIPTOR_NULL;
4010 if (mono_gc_user_markers_supported ()) {
4011 if (tls_desc == MONO_GC_DESCRIPTOR_NULL)
4012 tls_desc = mono_gc_make_root_descr_user (mark_tls_slots);
4014 if (ctx_desc == MONO_GC_DESCRIPTOR_NULL)
4015 ctx_desc = mono_gc_make_root_descr_user (mark_ctx_slots);
4018 static_data = (void **)mono_gc_alloc_fixed (static_data_size [0], threadlocal ? tls_desc : ctx_desc,
4019 threadlocal ? MONO_ROOT_SOURCE_THREAD_STATIC : MONO_ROOT_SOURCE_CONTEXT_STATIC,
4020 threadlocal ? "managed thread-static variables" : "managed context-static variables");
4021 *static_data_ptr = static_data;
4022 static_data [0] = static_data;
4025 for (i = 1; i <= idx; ++i) {
4026 if (static_data [i])
4027 continue;
4029 if (mono_gc_user_markers_supported ())
4030 static_data [i] = g_malloc0 (static_data_size [i]);
4031 else
4032 static_data [i] = mono_gc_alloc_fixed (static_data_size [i], MONO_GC_DESCRIPTOR_NULL,
4033 threadlocal ? MONO_ROOT_SOURCE_THREAD_STATIC : MONO_ROOT_SOURCE_CONTEXT_STATIC,
4034 threadlocal ? "managed thread-static variables" : "managed context-static variables");
4038 static void
4039 mono_free_static_data (gpointer* static_data)
4041 int i;
4042 for (i = 1; i < NUM_STATIC_DATA_IDX; ++i) {
4043 gpointer p = static_data [i];
4044 if (!p)
4045 continue;
4047 * At this point, the static data pointer array is still registered with the
4048 * GC, so must ensure that mark_tls_slots() will not encounter any invalid
4049 * data. Freeing the individual arrays without first nulling their slots
4050 * would make it possible for mark_tls/ctx_slots() to encounter a pointer to
4051 * such an already freed array. See bug #13813.
4053 static_data [i] = NULL;
4054 mono_memory_write_barrier ();
4055 if (mono_gc_user_markers_supported ())
4056 g_free (p);
4057 else
4058 mono_gc_free_fixed (p);
4060 mono_gc_free_fixed (static_data);
4064 * mono_init_static_data_info
4066 * Initializes static data counters
4068 static void mono_init_static_data_info (StaticDataInfo *static_data)
4070 static_data->idx = 0;
4071 static_data->offset = 0;
4072 static_data->freelist = NULL;
4076 * mono_alloc_static_data_slot
4078 * Generates an offset for static data. static_data contains the counters
4079 * used to generate it.
4081 static guint32
4082 mono_alloc_static_data_slot (StaticDataInfo *static_data, guint32 size, guint32 align)
4084 if (!static_data->idx && !static_data->offset) {
4086 * we use the first chunk of the first allocation also as
4087 * an array for the rest of the data
4089 static_data->offset = sizeof (gpointer) * NUM_STATIC_DATA_IDX;
4091 static_data->offset += align - 1;
4092 static_data->offset &= ~(align - 1);
4093 if (static_data->offset + size >= static_data_size [static_data->idx]) {
4094 static_data->idx ++;
4095 g_assert (size <= static_data_size [static_data->idx]);
4096 g_assert (static_data->idx < NUM_STATIC_DATA_IDX);
4097 static_data->offset = 0;
4099 guint32 offset = MAKE_SPECIAL_STATIC_OFFSET (static_data->idx, static_data->offset, 0);
4100 static_data->offset += size;
4101 return offset;
4105 * LOCKING: requires that threads_mutex is held
4107 static void
4108 context_adjust_static_data (MonoAppContext *ctx)
4110 if (context_static_info.offset || context_static_info.idx > 0) {
4111 guint32 offset = MAKE_SPECIAL_STATIC_OFFSET (context_static_info.idx, context_static_info.offset, 0);
4112 mono_alloc_static_data (&ctx->static_data, offset, FALSE);
4113 ctx->data->static_data = ctx->static_data;
4118 * LOCKING: requires that threads_mutex is held
4120 static void
4121 alloc_thread_static_data_helper (gpointer key, gpointer value, gpointer user)
4123 MonoInternalThread *thread = (MonoInternalThread *)value;
4124 guint32 offset = GPOINTER_TO_UINT (user);
4126 mono_alloc_static_data (&(thread->static_data), offset, TRUE);
4130 * LOCKING: requires that threads_mutex is held
4132 static void
4133 alloc_context_static_data_helper (gpointer key, gpointer value, gpointer user)
4135 MonoAppContext *ctx = (MonoAppContext *) mono_gchandle_get_target (GPOINTER_TO_INT (key));
4137 if (!ctx)
4138 return;
4140 guint32 offset = GPOINTER_TO_UINT (user);
4141 mono_alloc_static_data (&ctx->static_data, offset, FALSE);
4142 ctx->data->static_data = ctx->static_data;
4145 static StaticDataFreeList*
4146 search_slot_in_freelist (StaticDataInfo *static_data, guint32 size, guint32 align)
4148 StaticDataFreeList* prev = NULL;
4149 StaticDataFreeList* tmp = static_data->freelist;
4150 while (tmp) {
4151 if (tmp->size == size) {
4152 if (prev)
4153 prev->next = tmp->next;
4154 else
4155 static_data->freelist = tmp->next;
4156 return tmp;
4158 prev = tmp;
4159 tmp = tmp->next;
4161 return NULL;
4164 #if SIZEOF_VOID_P == 4
4165 #define ONE_P 1
4166 #else
4167 #define ONE_P 1ll
4168 #endif
4170 static void
4171 update_reference_bitmap (MonoBitSet **sets, guint32 offset, uintptr_t *bitmap, int numbits)
4173 int idx = ACCESS_SPECIAL_STATIC_OFFSET (offset, index);
4174 if (!sets [idx])
4175 sets [idx] = mono_bitset_new (static_data_size [idx] / sizeof (uintptr_t), 0);
4176 MonoBitSet *rb = sets [idx];
4177 offset = ACCESS_SPECIAL_STATIC_OFFSET (offset, offset);
4178 offset /= sizeof (uintptr_t);
4179 /* offset is now the bitmap offset */
4180 for (int i = 0; i < numbits; ++i) {
4181 if (bitmap [i / sizeof (uintptr_t)] & (ONE_P << (i & (sizeof (uintptr_t) * 8 -1))))
4182 mono_bitset_set_fast (rb, offset + i);
4186 static void
4187 clear_reference_bitmap (MonoBitSet **sets, guint32 offset, guint32 size)
4189 int idx = ACCESS_SPECIAL_STATIC_OFFSET (offset, index);
4190 MonoBitSet *rb = sets [idx];
4191 offset = ACCESS_SPECIAL_STATIC_OFFSET (offset, offset);
4192 offset /= sizeof (uintptr_t);
4193 /* offset is now the bitmap offset */
4194 for (int i = 0; i < size / sizeof (uintptr_t); i++)
4195 mono_bitset_clear_fast (rb, offset + i);
4198 guint32
4199 mono_alloc_special_static_data (guint32 static_type, guint32 size, guint32 align, uintptr_t *bitmap, int numbits)
4201 g_assert (static_type == SPECIAL_STATIC_THREAD || static_type == SPECIAL_STATIC_CONTEXT);
4203 StaticDataInfo *info;
4204 MonoBitSet **sets;
4206 if (static_type == SPECIAL_STATIC_THREAD) {
4207 info = &thread_static_info;
4208 sets = thread_reference_bitmaps;
4209 } else {
4210 info = &context_static_info;
4211 sets = context_reference_bitmaps;
4214 mono_threads_lock ();
4216 StaticDataFreeList *item = search_slot_in_freelist (info, size, align);
4217 guint32 offset;
4219 if (item) {
4220 offset = item->offset;
4221 g_free (item);
4222 } else {
4223 offset = mono_alloc_static_data_slot (info, size, align);
4226 update_reference_bitmap (sets, offset, bitmap, numbits);
4228 if (static_type == SPECIAL_STATIC_THREAD) {
4229 /* This can be called during startup */
4230 if (threads != NULL)
4231 mono_g_hash_table_foreach (threads, alloc_thread_static_data_helper, GUINT_TO_POINTER (offset));
4232 } else {
4233 if (contexts != NULL)
4234 g_hash_table_foreach (contexts, alloc_context_static_data_helper, GUINT_TO_POINTER (offset));
4236 ACCESS_SPECIAL_STATIC_OFFSET (offset, type) = SPECIAL_STATIC_OFFSET_TYPE_CONTEXT;
4239 mono_threads_unlock ();
4241 return offset;
4244 gpointer
4245 mono_get_special_static_data_for_thread (MonoInternalThread *thread, guint32 offset)
4247 guint32 static_type = ACCESS_SPECIAL_STATIC_OFFSET (offset, type);
4249 if (static_type == SPECIAL_STATIC_OFFSET_TYPE_THREAD) {
4250 return get_thread_static_data (thread, offset);
4251 } else {
4252 return get_context_static_data (thread->current_appcontext, offset);
4256 gpointer
4257 mono_get_special_static_data (guint32 offset)
4259 return mono_get_special_static_data_for_thread (mono_thread_internal_current (), offset);
4262 typedef struct {
4263 guint32 offset;
4264 guint32 size;
4265 } OffsetSize;
4268 * LOCKING: requires that threads_mutex is held
4270 static void
4271 free_thread_static_data_helper (gpointer key, gpointer value, gpointer user)
4273 MonoInternalThread *thread = (MonoInternalThread *)value;
4274 OffsetSize *data = (OffsetSize *)user;
4275 int idx = ACCESS_SPECIAL_STATIC_OFFSET (data->offset, index);
4276 int off = ACCESS_SPECIAL_STATIC_OFFSET (data->offset, offset);
4277 char *ptr;
4279 if (!thread->static_data || !thread->static_data [idx])
4280 return;
4281 ptr = ((char*) thread->static_data [idx]) + off;
4282 mono_gc_bzero_atomic (ptr, data->size);
4286 * LOCKING: requires that threads_mutex is held
4288 static void
4289 free_context_static_data_helper (gpointer key, gpointer value, gpointer user)
4291 MonoAppContext *ctx = (MonoAppContext *) mono_gchandle_get_target (GPOINTER_TO_INT (key));
4293 if (!ctx)
4294 return;
4296 OffsetSize *data = (OffsetSize *)user;
4297 int idx = ACCESS_SPECIAL_STATIC_OFFSET (data->offset, index);
4298 int off = ACCESS_SPECIAL_STATIC_OFFSET (data->offset, offset);
4299 char *ptr;
4301 if (!ctx->static_data || !ctx->static_data [idx])
4302 return;
4304 ptr = ((char*) ctx->static_data [idx]) + off;
4305 mono_gc_bzero_atomic (ptr, data->size);
4308 static void
4309 do_free_special_slot (guint32 offset, guint32 size)
4311 guint32 static_type = ACCESS_SPECIAL_STATIC_OFFSET (offset, type);
4312 MonoBitSet **sets;
4313 StaticDataInfo *info;
4315 if (static_type == SPECIAL_STATIC_OFFSET_TYPE_THREAD) {
4316 info = &thread_static_info;
4317 sets = thread_reference_bitmaps;
4318 } else {
4319 info = &context_static_info;
4320 sets = context_reference_bitmaps;
4323 guint32 data_offset = offset;
4324 ACCESS_SPECIAL_STATIC_OFFSET (data_offset, type) = 0;
4325 OffsetSize data = { data_offset, size };
4327 clear_reference_bitmap (sets, data.offset, data.size);
4329 if (static_type == SPECIAL_STATIC_OFFSET_TYPE_THREAD) {
4330 if (threads != NULL)
4331 mono_g_hash_table_foreach (threads, free_thread_static_data_helper, &data);
4332 } else {
4333 if (contexts != NULL)
4334 g_hash_table_foreach (contexts, free_context_static_data_helper, &data);
4337 if (!mono_runtime_is_shutting_down ()) {
4338 StaticDataFreeList *item = g_new0 (StaticDataFreeList, 1);
4340 item->offset = offset;
4341 item->size = size;
4343 item->next = info->freelist;
4344 info->freelist = item;
4348 static void
4349 do_free_special (gpointer key, gpointer value, gpointer data)
4351 MonoClassField *field = (MonoClassField *)key;
4352 guint32 offset = GPOINTER_TO_UINT (value);
4353 gint32 align;
4354 guint32 size;
4355 size = mono_type_size (field->type, &align);
4356 do_free_special_slot (offset, size);
4359 void
4360 mono_alloc_special_static_data_free (GHashTable *special_static_fields)
4362 mono_threads_lock ();
4364 g_hash_table_foreach (special_static_fields, do_free_special, NULL);
4366 mono_threads_unlock ();
4369 #ifdef HOST_WIN32
4370 static void CALLBACK dummy_apc (ULONG_PTR param)
4373 #endif
4376 * mono_thread_execute_interruption
4378 * Performs the operation that the requested thread state requires (abort,
4379 * suspend or stop)
4381 static MonoException*
4382 mono_thread_execute_interruption (void)
4384 MonoInternalThread *thread = mono_thread_internal_current ();
4385 MonoThread *sys_thread = mono_thread_current ();
4387 LOCK_THREAD (thread);
4389 /* MonoThread::interruption_requested can only be changed with atomics */
4390 if (InterlockedCompareExchange (&thread->interruption_requested, FALSE, TRUE)) {
4391 /* this will consume pending APC calls */
4392 #ifdef HOST_WIN32
4393 WaitForSingleObjectEx (GetCurrentThread(), 0, TRUE);
4394 #endif
4395 InterlockedDecrement (&thread_interruption_requested);
4397 /* Clear the interrupted flag of the thread so it can wait again */
4398 mono_thread_info_clear_self_interrupt ();
4401 /* If there's a pending exception and an AbortRequested, the pending exception takes precedence */
4402 if (sys_thread->pending_exception) {
4403 MonoException *exc;
4405 exc = sys_thread->pending_exception;
4406 sys_thread->pending_exception = NULL;
4408 UNLOCK_THREAD (thread);
4409 return exc;
4410 } else if ((thread->state & ThreadState_AbortRequested) != 0) {
4411 UNLOCK_THREAD (thread);
4412 g_assert (sys_thread->pending_exception == NULL);
4413 if (thread->abort_exc == NULL) {
4415 * This might be racy, but it has to be called outside the lock
4416 * since it calls managed code.
4418 MONO_OBJECT_SETREF (thread, abort_exc, mono_get_exception_thread_abort ());
4420 return thread->abort_exc;
4422 else if ((thread->state & ThreadState_SuspendRequested) != 0) {
4423 /* calls UNLOCK_THREAD (thread) */
4424 self_suspend_internal ();
4425 return NULL;
4427 else if ((thread->state & ThreadState_StopRequested) != 0) {
4428 /* FIXME: do this through the JIT? */
4430 UNLOCK_THREAD (thread);
4432 mono_thread_exit ();
4433 return NULL;
4434 } else if (thread->thread_interrupt_requested) {
4436 thread->thread_interrupt_requested = FALSE;
4437 UNLOCK_THREAD (thread);
4439 return(mono_get_exception_thread_interrupted ());
4442 UNLOCK_THREAD (thread);
4444 return NULL;
4448 * mono_thread_request_interruption
4450 * A signal handler can call this method to request the interruption of a
4451 * thread. The result of the interruption will depend on the current state of
4452 * the thread. If the result is an exception that needs to be throw, it is
4453 * provided as return value.
4455 MonoException*
4456 mono_thread_request_interruption (gboolean running_managed)
4458 MonoInternalThread *thread = mono_thread_internal_current ();
4460 /* The thread may already be stopping */
4461 if (thread == NULL)
4462 return NULL;
4464 #ifdef HOST_WIN32
4465 if (thread->interrupt_on_stop &&
4466 thread->state & ThreadState_StopRequested &&
4467 thread->state & ThreadState_Background)
4468 ExitThread (1);
4469 #endif
4470 if (InterlockedCompareExchange (&thread->interruption_requested, 1, 0) == 1)
4471 return NULL;
4472 InterlockedIncrement (&thread_interruption_requested);
4474 if (!running_managed || is_running_protected_wrapper ()) {
4475 /* Can't stop while in unmanaged code. Increase the global interruption
4476 request count. When exiting the unmanaged method the count will be
4477 checked and the thread will be interrupted. */
4479 /* this will awake the thread if it is in WaitForSingleObject
4480 or similar */
4481 /* Our implementation of this function ignores the func argument */
4482 #ifdef HOST_WIN32
4483 QueueUserAPC ((PAPCFUNC)dummy_apc, thread->handle, (ULONG_PTR)NULL);
4484 #else
4485 mono_thread_info_self_interrupt ();
4486 #endif
4487 return NULL;
4489 else {
4490 return mono_thread_execute_interruption ();
4494 /*This function should be called by a thread after it has exited all of
4495 * its handle blocks at interruption time.*/
4496 MonoException*
4497 mono_thread_resume_interruption (void)
4499 MonoInternalThread *thread = mono_thread_internal_current ();
4500 gboolean still_aborting;
4502 /* The thread may already be stopping */
4503 if (thread == NULL)
4504 return NULL;
4506 LOCK_THREAD (thread);
4507 still_aborting = (thread->state & (ThreadState_AbortRequested|ThreadState_StopRequested)) != 0;
4508 UNLOCK_THREAD (thread);
4510 /*This can happen if the protected block called Thread::ResetAbort*/
4511 if (!still_aborting)
4512 return FALSE;
4514 if (InterlockedCompareExchange (&thread->interruption_requested, 1, 0) == 1)
4515 return NULL;
4516 InterlockedIncrement (&thread_interruption_requested);
4518 mono_thread_info_self_interrupt ();
4520 return mono_thread_execute_interruption ();
4523 gboolean mono_thread_interruption_requested ()
4525 if (thread_interruption_requested) {
4526 MonoInternalThread *thread = mono_thread_internal_current ();
4527 /* The thread may already be stopping */
4528 if (thread != NULL)
4529 return (thread->interruption_requested);
4531 return FALSE;
4534 static MonoException*
4535 mono_thread_interruption_checkpoint_request (gboolean bypass_abort_protection)
4537 MonoInternalThread *thread = mono_thread_internal_current ();
4539 /* The thread may already be stopping */
4540 if (thread == NULL)
4541 return NULL;
4543 if (thread->interruption_requested && (bypass_abort_protection || !is_running_protected_wrapper ())) {
4544 MonoException* exc = mono_thread_execute_interruption ();
4545 if (exc)
4546 return exc;
4548 return NULL;
4552 * Performs the interruption of the current thread, if one has been requested,
4553 * and the thread is not running a protected wrapper.
4554 * Return the exception which needs to be thrown, if any.
4556 MonoException*
4557 mono_thread_interruption_checkpoint (void)
4559 return mono_thread_interruption_checkpoint_request (FALSE);
4563 * Performs the interruption of the current thread, if one has been requested.
4564 * Return the exception which needs to be thrown, if any.
4566 MonoException*
4567 mono_thread_force_interruption_checkpoint_noraise (void)
4569 return mono_thread_interruption_checkpoint_request (TRUE);
4573 * mono_set_pending_exception:
4575 * Set the pending exception of the current thread to EXC.
4576 * The exception will be thrown when execution returns to managed code.
4578 void
4579 mono_set_pending_exception (MonoException *exc)
4581 MonoThread *thread = mono_thread_current ();
4583 /* The thread may already be stopping */
4584 if (thread == NULL)
4585 return;
4587 MONO_OBJECT_SETREF (thread, pending_exception, exc);
4589 mono_thread_request_interruption (FALSE);
4593 * mono_thread_interruption_request_flag:
4595 * Returns the address of a flag that will be non-zero if an interruption has
4596 * been requested for a thread. The thread to interrupt may not be the current
4597 * thread, so an additional call to mono_thread_interruption_requested() or
4598 * mono_thread_interruption_checkpoint() is allways needed if the flag is not
4599 * zero.
4601 gint32* mono_thread_interruption_request_flag ()
4603 return &thread_interruption_requested;
4606 void
4607 mono_thread_init_apartment_state (void)
4609 #ifdef HOST_WIN32
4610 MonoInternalThread* thread = mono_thread_internal_current ();
4612 /* Positive return value indicates success, either
4613 * S_OK if this is first CoInitialize call, or
4614 * S_FALSE if CoInitialize already called, but with same
4615 * threading model. A negative value indicates failure,
4616 * probably due to trying to change the threading model.
4618 if (CoInitializeEx(NULL, (thread->apartment_state == ThreadApartmentState_STA)
4619 ? COINIT_APARTMENTTHREADED
4620 : COINIT_MULTITHREADED) < 0) {
4621 thread->apartment_state = ThreadApartmentState_Unknown;
4623 #endif
4626 void
4627 mono_thread_cleanup_apartment_state (void)
4629 #ifdef HOST_WIN32
4630 MonoInternalThread* thread = mono_thread_internal_current ();
4632 if (thread && thread->apartment_state != ThreadApartmentState_Unknown) {
4633 CoUninitialize ();
4635 #endif
4638 void
4639 mono_thread_set_state (MonoInternalThread *thread, MonoThreadState state)
4641 LOCK_THREAD (thread);
4642 thread->state |= state;
4643 UNLOCK_THREAD (thread);
4646 void
4647 mono_thread_clr_state (MonoInternalThread *thread, MonoThreadState state)
4649 LOCK_THREAD (thread);
4650 thread->state &= ~state;
4651 UNLOCK_THREAD (thread);
4654 gboolean
4655 mono_thread_test_state (MonoInternalThread *thread, MonoThreadState test)
4657 gboolean ret = FALSE;
4659 LOCK_THREAD (thread);
4661 if ((thread->state & test) != 0) {
4662 ret = TRUE;
4665 UNLOCK_THREAD (thread);
4667 return ret;
4670 static gboolean has_tls_get = FALSE;
4672 void
4673 mono_runtime_set_has_tls_get (gboolean val)
4675 has_tls_get = val;
4678 gboolean
4679 mono_runtime_has_tls_get (void)
4681 return has_tls_get;
4684 static void
4685 self_interrupt_thread (void *_unused)
4687 MonoThreadInfo *info = mono_thread_info_current ();
4688 MonoException *exc = mono_thread_execute_interruption ();
4689 if (exc) /*We must use _with_context since we didn't trampoline into the runtime*/
4690 mono_raise_exception_with_context (exc, &info->thread_saved_state [ASYNC_SUSPEND_STATE_INDEX].ctx); /* FIXME using thread_saved_state [ASYNC_SUSPEND_STATE_INDEX] can race with another suspend coming in. */
4691 g_assert_not_reached (); /*this MUST not happen since we can't resume from an async call*/
4694 static gboolean
4695 mono_jit_info_match (MonoJitInfo *ji, gpointer ip)
4697 if (!ji)
4698 return FALSE;
4699 return ji->code_start <= ip && (char*)ip < (char*)ji->code_start + ji->code_size;
4702 static gboolean
4703 last_managed (MonoStackFrameInfo *frame, MonoContext *ctx, gpointer data)
4705 MonoJitInfo **dest = (MonoJitInfo **)data;
4706 *dest = frame->ji;
4707 return TRUE;
4710 static MonoJitInfo*
4711 mono_thread_info_get_last_managed (MonoThreadInfo *info)
4713 MonoJitInfo *ji = NULL;
4714 if (!info)
4715 return NULL;
4718 * The suspended thread might be holding runtime locks. Make sure we don't try taking
4719 * any runtime locks while unwinding. In coop case we shouldn't safepoint in regions
4720 * where we hold runtime locks.
4722 if (!mono_threads_is_coop_enabled ())
4723 mono_thread_info_set_is_async_context (TRUE);
4724 mono_get_eh_callbacks ()->mono_walk_stack_with_state (last_managed, mono_thread_info_get_suspend_state (info), MONO_UNWIND_SIGNAL_SAFE, &ji);
4725 if (!mono_threads_is_coop_enabled ())
4726 mono_thread_info_set_is_async_context (FALSE);
4727 return ji;
4730 typedef struct {
4731 MonoInternalThread *thread;
4732 gboolean install_async_abort;
4733 MonoThreadInfoInterruptToken *interrupt_token;
4734 } AbortThreadData;
4736 static SuspendThreadResult
4737 async_abort_critical (MonoThreadInfo *info, gpointer ud)
4739 AbortThreadData *data = (AbortThreadData *)ud;
4740 MonoInternalThread *thread = data->thread;
4741 MonoJitInfo *ji = NULL;
4742 gboolean protected_wrapper;
4743 gboolean running_managed;
4745 if (mono_get_eh_callbacks ()->mono_install_handler_block_guard (mono_thread_info_get_suspend_state (info)))
4746 return MonoResumeThread;
4749 The target thread is running at least one protected block, which must not be interrupted, so we give up.
4750 The protected block code will give them a chance when appropriate.
4752 if (thread->abort_protected_block_count)
4753 return MonoResumeThread;
4755 /*someone is already interrupting it*/
4756 if (InterlockedCompareExchange (&thread->interruption_requested, 1, 0) == 1)
4757 return MonoResumeThread;
4759 InterlockedIncrement (&thread_interruption_requested);
4761 ji = mono_thread_info_get_last_managed (info);
4762 protected_wrapper = ji && !ji->is_trampoline && !ji->async && mono_threads_is_critical_method (mono_jit_info_get_method (ji));
4763 running_managed = mono_jit_info_match (ji, MONO_CONTEXT_GET_IP (&mono_thread_info_get_suspend_state (info)->ctx));
4765 if (!protected_wrapper && running_managed) {
4766 /*We are in managed code*/
4767 /*Set the thread to call */
4768 if (data->install_async_abort)
4769 mono_thread_info_setup_async_call (info, self_interrupt_thread, NULL);
4770 return MonoResumeThread;
4771 } else {
4773 * This will cause waits to be broken.
4774 * It will also prevent the thread from entering a wait, so if the thread returns
4775 * from the wait before it receives the abort signal, it will just spin in the wait
4776 * functions in the io-layer until the signal handler calls QueueUserAPC which will
4777 * make it return.
4779 data->interrupt_token = mono_thread_info_prepare_interrupt (info);
4781 return MonoResumeThread;
4785 static void
4786 async_abort_internal (MonoInternalThread *thread, gboolean install_async_abort)
4788 AbortThreadData data;
4790 g_assert (thread != mono_thread_internal_current ());
4792 data.thread = thread;
4793 data.install_async_abort = install_async_abort;
4794 data.interrupt_token = NULL;
4796 mono_thread_info_safe_suspend_and_run (thread_get_tid (thread), TRUE, async_abort_critical, &data);
4797 if (data.interrupt_token)
4798 mono_thread_info_finish_interrupt (data.interrupt_token);
4799 /*FIXME we need to wait for interruption to complete -- figure out how much into interruption we should wait for here*/
4802 static void
4803 self_abort_internal (MonoError *error)
4805 MonoException *exc;
4807 mono_error_init (error);
4809 /* FIXME this is insanely broken, it doesn't cause interruption to happen synchronously
4810 * since passing FALSE to mono_thread_request_interruption makes sure it returns NULL */
4813 Self aborts ignore the protected block logic and raise the TAE regardless. This is verified by one of the tests in mono/tests/abort-cctor.cs.
4815 exc = mono_thread_request_interruption (TRUE);
4816 if (exc)
4817 mono_error_set_exception_instance (error, exc);
4818 else
4819 mono_thread_info_self_interrupt ();
4822 typedef struct {
4823 MonoInternalThread *thread;
4824 gboolean interrupt;
4825 MonoThreadInfoInterruptToken *interrupt_token;
4826 } SuspendThreadData;
4828 static SuspendThreadResult
4829 async_suspend_critical (MonoThreadInfo *info, gpointer ud)
4831 SuspendThreadData *data = (SuspendThreadData *)ud;
4832 MonoInternalThread *thread = data->thread;
4833 MonoJitInfo *ji = NULL;
4834 gboolean protected_wrapper;
4835 gboolean running_managed;
4837 ji = mono_thread_info_get_last_managed (info);
4838 protected_wrapper = ji && !ji->is_trampoline && !ji->async && mono_threads_is_critical_method (mono_jit_info_get_method (ji));
4839 running_managed = mono_jit_info_match (ji, MONO_CONTEXT_GET_IP (&mono_thread_info_get_suspend_state (info)->ctx));
4841 if (running_managed && !protected_wrapper) {
4842 thread->state &= ~ThreadState_SuspendRequested;
4843 thread->state |= ThreadState_Suspended;
4844 return KeepSuspended;
4845 } else {
4846 if (InterlockedCompareExchange (&thread->interruption_requested, 1, 0) == 0)
4847 InterlockedIncrement (&thread_interruption_requested);
4848 if (data->interrupt)
4849 data->interrupt_token = mono_thread_info_prepare_interrupt ((MonoThreadInfo *)thread->thread_info);
4851 return MonoResumeThread;
4855 /* LOCKING: called with @thread synch_cs held, and releases it */
4856 static void
4857 async_suspend_internal (MonoInternalThread *thread, gboolean interrupt)
4859 SuspendThreadData data;
4861 g_assert (thread != mono_thread_internal_current ());
4863 data.thread = thread;
4864 data.interrupt = interrupt;
4865 data.interrupt_token = NULL;
4867 mono_thread_info_safe_suspend_and_run (thread_get_tid (thread), interrupt, async_suspend_critical, &data);
4868 if (data.interrupt_token)
4869 mono_thread_info_finish_interrupt (data.interrupt_token);
4871 UNLOCK_THREAD (thread);
4874 /* LOCKING: called with @thread synch_cs held, and releases it */
4875 static void
4876 self_suspend_internal (void)
4878 MonoInternalThread *thread;
4880 thread = mono_thread_internal_current ();
4882 mono_thread_info_begin_self_suspend ();
4883 thread->state &= ~ThreadState_SuspendRequested;
4884 thread->state |= ThreadState_Suspended;
4886 UNLOCK_THREAD (thread);
4888 mono_thread_info_end_self_suspend ();
4892 * mono_thread_is_foreign:
4893 * @thread: the thread to query
4895 * This function allows one to determine if a thread was created by the mono runtime and has
4896 * a well defined lifecycle or it's a foreigh one, created by the native environment.
4898 * Returns: TRUE if @thread was not created by the runtime.
4900 mono_bool
4901 mono_thread_is_foreign (MonoThread *thread)
4903 MonoThreadInfo *info = (MonoThreadInfo *)thread->internal_thread->thread_info;
4904 return info->runtime_thread == FALSE;
4908 * mono_add_joinable_thread:
4910 * Add TID to the list of joinable threads.
4911 * LOCKING: Acquires the threads lock.
4913 void
4914 mono_threads_add_joinable_thread (gpointer tid)
4916 #ifndef HOST_WIN32
4918 * We cannot detach from threads because it causes problems like
4919 * 2fd16f60/r114307. So we collect them and join them when
4920 * we have time (in he finalizer thread).
4922 joinable_threads_lock ();
4923 if (!joinable_threads)
4924 joinable_threads = g_hash_table_new (NULL, NULL);
4925 g_hash_table_insert (joinable_threads, tid, tid);
4926 joinable_thread_count ++;
4927 joinable_threads_unlock ();
4929 mono_gc_finalize_notify ();
4930 #endif
4934 * mono_threads_join_threads:
4936 * Join all joinable threads. This is called from the finalizer thread.
4937 * LOCKING: Acquires the threads lock.
4939 void
4940 mono_threads_join_threads (void)
4942 #ifndef HOST_WIN32
4943 GHashTableIter iter;
4944 gpointer key;
4945 gpointer tid;
4946 pthread_t thread;
4947 gboolean found;
4949 /* Fastpath */
4950 if (!joinable_thread_count)
4951 return;
4953 while (TRUE) {
4954 joinable_threads_lock ();
4955 found = FALSE;
4956 if (g_hash_table_size (joinable_threads)) {
4957 g_hash_table_iter_init (&iter, joinable_threads);
4958 g_hash_table_iter_next (&iter, &key, (void**)&tid);
4959 thread = (pthread_t)tid;
4960 g_hash_table_remove (joinable_threads, key);
4961 joinable_thread_count --;
4962 found = TRUE;
4964 joinable_threads_unlock ();
4965 if (found) {
4966 if (thread != pthread_self ()) {
4967 MONO_ENTER_GC_SAFE;
4968 /* This shouldn't block */
4969 pthread_join (thread, NULL);
4970 MONO_EXIT_GC_SAFE;
4972 } else {
4973 break;
4976 #endif
4980 * mono_thread_join:
4982 * Wait for thread TID to exit.
4983 * LOCKING: Acquires the threads lock.
4985 void
4986 mono_thread_join (gpointer tid)
4988 #ifndef HOST_WIN32
4989 pthread_t thread;
4990 gboolean found = FALSE;
4992 joinable_threads_lock ();
4993 if (!joinable_threads)
4994 joinable_threads = g_hash_table_new (NULL, NULL);
4995 if (g_hash_table_lookup (joinable_threads, tid)) {
4996 g_hash_table_remove (joinable_threads, tid);
4997 joinable_thread_count --;
4998 found = TRUE;
5000 joinable_threads_unlock ();
5001 if (!found)
5002 return;
5003 thread = (pthread_t)tid;
5004 MONO_ENTER_GC_SAFE;
5005 pthread_join (thread, NULL);
5006 MONO_EXIT_GC_SAFE;
5007 #endif
5010 void
5011 mono_thread_internal_check_for_interruption_critical (MonoInternalThread *thread)
5013 if ((thread->state & (ThreadState_StopRequested | ThreadState_SuspendRequested)) != 0)
5014 mono_thread_interruption_checkpoint ();
5017 void
5018 mono_thread_internal_unhandled_exception (MonoObject* exc)
5020 MonoClass *klass = exc->vtable->klass;
5021 if (is_threadabort_exception (klass)) {
5022 mono_thread_internal_reset_abort (mono_thread_internal_current ());
5023 } else if (!is_appdomainunloaded_exception (klass)
5024 && mono_runtime_unhandled_exception_policy_get () == MONO_UNHANDLED_POLICY_CURRENT) {
5025 mono_unhandled_exception (exc);
5026 if (mono_environment_exitcode_get () == 1) {
5027 mono_environment_exitcode_set (255);
5028 mono_invoke_unhandled_exception_hook (exc);
5029 g_assert_not_reached ();
5034 void
5035 ves_icall_System_Threading_Thread_GetStackTraces (MonoArray **out_threads, MonoArray **out_stack_traces)
5037 MonoError error;
5038 mono_threads_get_thread_dump (out_threads, out_stack_traces, &error);
5039 mono_error_set_pending_exception (&error);
5043 * mono_threads_attach_coop: called by native->managed wrappers
5045 * In non-coop mode:
5046 * - @dummy: is NULL
5047 * - @return: the original domain which needs to be restored, or NULL.
5049 * In coop mode:
5050 * - @dummy: contains the original domain
5051 * - @return: a cookie containing current MonoThreadInfo*.
5053 gpointer
5054 mono_threads_attach_coop (MonoDomain *domain, gpointer *dummy)
5056 MonoDomain *orig;
5057 gboolean fresh_thread = FALSE;
5059 if (!domain) {
5060 /* Happens when called from AOTed code which is only used in the root domain. */
5061 domain = mono_get_root_domain ();
5064 g_assert (domain);
5066 /* On coop, when we detached, we moved the thread from RUNNING->BLOCKING.
5067 * If we try to reattach we do a BLOCKING->RUNNING transition. If the thread
5068 * is fresh, mono_thread_attach() will do a STARTING->RUNNING transition so
5069 * we're only responsible for making the cookie. */
5070 if (mono_threads_is_coop_enabled ()) {
5071 MonoThreadInfo *info = mono_thread_info_current_unchecked ();
5072 fresh_thread = !info || !mono_thread_info_is_live (info);
5075 if (!mono_thread_internal_current ()) {
5076 mono_thread_attach_full (domain, FALSE);
5078 // #678164
5079 mono_thread_set_state (mono_thread_internal_current (), ThreadState_Background);
5082 orig = mono_domain_get ();
5083 if (orig != domain)
5084 mono_domain_set (domain, TRUE);
5086 if (!mono_threads_is_coop_enabled ())
5087 return orig != domain ? orig : NULL;
5089 if (fresh_thread) {
5090 *dummy = NULL;
5091 /* mono_thread_attach put the thread in RUNNING mode from STARTING, but we need to
5092 * return the right cookie. */
5093 return mono_threads_enter_gc_unsafe_region_cookie ();
5094 } else {
5095 *dummy = orig;
5096 /* thread state (BLOCKING|RUNNING) -> RUNNING */
5097 return mono_threads_enter_gc_unsafe_region (dummy);
5102 * mono_threads_detach_coop: called by native->managed wrappers
5104 * In non-coop mode:
5105 * - @cookie: the original domain which needs to be restored, or NULL.
5106 * - @dummy: is NULL
5108 * In coop mode:
5109 * - @cookie: contains current MonoThreadInfo* if it was in BLOCKING mode, NULL otherwise
5110 * - @dummy: contains the original domain
5112 void
5113 mono_threads_detach_coop (gpointer cookie, gpointer *dummy)
5115 MonoDomain *domain, *orig;
5117 if (!mono_threads_is_coop_enabled ()) {
5118 orig = (MonoDomain*) cookie;
5119 if (orig)
5120 mono_domain_set (orig, TRUE);
5121 } else {
5122 orig = (MonoDomain*) *dummy;
5124 domain = mono_domain_get ();
5125 g_assert (domain);
5127 /* it won't do anything if cookie is NULL
5128 * thread state RUNNING -> (RUNNING|BLOCKING) */
5129 mono_threads_exit_gc_unsafe_region (cookie, dummy);
5131 if (orig != domain) {
5132 if (!orig)
5133 mono_domain_unset ();
5134 else
5135 mono_domain_set (orig, TRUE);
5140 void
5141 mono_threads_begin_abort_protected_block (void)
5143 MonoInternalThread *thread;
5145 thread = mono_thread_internal_current ();
5146 ++thread->abort_protected_block_count;
5147 mono_memory_barrier ();
5150 void
5151 mono_threads_end_abort_protected_block (void)
5153 MonoInternalThread *thread;
5155 thread = mono_thread_internal_current ();
5157 mono_memory_barrier ();
5158 --thread->abort_protected_block_count;
5161 MonoException*
5162 mono_thread_try_resume_interruption (void)
5164 MonoInternalThread *thread;
5166 thread = mono_thread_internal_current ();
5167 if (thread->abort_protected_block_count || mono_get_eh_callbacks ()->mono_current_thread_has_handle_block_guard ())
5168 return NULL;
5170 return mono_thread_resume_interruption ();