2 * threads.c: Thread support internal calls
5 * Dick Porter (dick@ximian.com)
6 * Paolo Molaro (lupus@ximian.com)
7 * Patrik Torstensson (patrik.torstensson@labs2.com)
9 * (C) 2001 Ximian, Inc.
14 #define _WIN32_WINNT 0x0500
21 #include <mono/metadata/object.h>
22 #include <mono/metadata/domain-internals.h>
23 #include <mono/metadata/profiler-private.h>
24 #include <mono/metadata/threads.h>
25 #include <mono/metadata/threadpool.h>
26 #include <mono/metadata/threads-types.h>
27 #include <mono/metadata/exception.h>
28 #include <mono/metadata/environment.h>
29 #include <mono/metadata/monitor.h>
30 #include <mono/metadata/gc-internal.h>
31 #include <mono/metadata/marshal.h>
32 #include <mono/io-layer/io-layer.h>
33 #include <mono/metadata/object-internals.h>
34 #include <mono/metadata/mono-debug-debugger.h>
35 #include <mono/utils/mono-compiler.h>
36 #include <mono/utils/mono-mmap.h>
37 #include <mono/utils/mono-membar.h>
39 #include <mono/os/gc_wrapper.h>
41 /*#define THREAD_DEBUG(a) do { a; } while (0)*/
42 #define THREAD_DEBUG(a)
43 /*#define THREAD_WAIT_DEBUG(a) do { a; } while (0)*/
44 #define THREAD_WAIT_DEBUG(a)
45 /*#define LIBGC_DEBUG(a) do { a; } while (0)*/
46 #define LIBGC_DEBUG(a)
48 /* Provide this for systems with glib < 2.6 */
49 #ifndef G_GSIZE_FORMAT
50 # if GLIB_SIZEOF_LONG == 8
51 # define G_GSIZE_FORMAT "lu"
53 # define G_GSIZE_FORMAT "u"
59 guint32 (*func)(void *);
76 typedef struct _MonoThreadDomainTls MonoThreadDomainTls;
77 struct _MonoThreadDomainTls {
78 MonoThreadDomainTls *next;
86 MonoThreadDomainTls *freelist;
91 MonoHazardousFreeFunc free_func;
94 /* Number of cached culture objects in the MonoThread->cached_culture_info array
95 * (per-type): we use the first NUM entries for CultureInfo and the last for
96 * UICultureInfo. So the size of the array is really NUM_CACHED_CULTURES * 2.
98 #define NUM_CACHED_CULTURES 4
99 #define CULTURES_START_IDX 0
100 #define UICULTURES_START_IDX NUM_CACHED_CULTURES
102 /* Controls access to the 'threads' hash table */
103 #define mono_threads_lock() EnterCriticalSection (&threads_mutex)
104 #define mono_threads_unlock() LeaveCriticalSection (&threads_mutex)
105 static CRITICAL_SECTION threads_mutex;
107 /* Controls access to context static data */
108 #define mono_contexts_lock() EnterCriticalSection (&contexts_mutex)
109 #define mono_contexts_unlock() LeaveCriticalSection (&contexts_mutex)
110 static CRITICAL_SECTION contexts_mutex;
112 /* Holds current status of static data heap */
113 static StaticDataInfo thread_static_info;
114 static StaticDataInfo context_static_info;
116 /* The hash of existing threads (key is thread ID) that need joining
119 static MonoGHashTable *threads=NULL;
121 /* The TLS key that holds the MonoObject assigned to each thread */
122 static guint32 current_object_key = -1;
124 #ifdef HAVE_KW_THREAD
125 /* we need to use both the Tls* functions and __thread because
126 * the gc needs to see all the threads
128 static __thread MonoThread * tls_current_object MONO_TLS_FAST;
129 #define SET_CURRENT_OBJECT(x) do { \
130 tls_current_object = x; \
131 TlsSetValue (current_object_key, x); \
133 #define GET_CURRENT_OBJECT() tls_current_object
135 #define SET_CURRENT_OBJECT(x) TlsSetValue (current_object_key, x);
136 #define GET_CURRENT_OBJECT() (MonoThread*) TlsGetValue (current_object_key);
139 /* function called at thread start */
140 static MonoThreadStartCB mono_thread_start_cb = NULL;
142 /* function called at thread attach */
143 static MonoThreadAttachCB mono_thread_attach_cb = NULL;
145 /* function called at thread cleanup */
146 static MonoThreadCleanupFunc mono_thread_cleanup_fn = NULL;
148 /* The default stack size for each thread */
149 static guint32 default_stacksize = 0;
150 #define default_stacksize_for_thread(thread) ((thread)->stack_size? (thread)->stack_size: default_stacksize)
152 static void thread_adjust_static_data (MonoThread *thread);
153 static void mono_init_static_data_info (StaticDataInfo *static_data);
154 static guint32 mono_alloc_static_data_slot (StaticDataInfo *static_data, guint32 size, guint32 align);
155 static gboolean mono_thread_resume (MonoThread* thread);
156 static void mono_thread_start (MonoThread *thread);
157 static void signal_thread_state_change (MonoThread *thread);
159 /* Spin lock for InterlockedXXX 64 bit functions */
160 #define mono_interlocked_lock() EnterCriticalSection (&interlocked_mutex)
161 #define mono_interlocked_unlock() LeaveCriticalSection (&interlocked_mutex)
162 static CRITICAL_SECTION interlocked_mutex;
164 /* global count of thread interruptions requested */
165 static gint32 thread_interruption_requested = 0;
167 /* Event signaled when a thread changes its background mode */
168 static HANDLE background_change_event;
170 /* The table for small ID assignment */
171 static CRITICAL_SECTION small_id_mutex;
172 static int small_id_table_size = 0;
173 static int small_id_next = 0;
174 static int highest_small_id = -1;
175 static MonoThread **small_id_table = NULL;
177 /* The hazard table */
178 #define HAZARD_TABLE_MAX_SIZE 16384 /* There cannot be more threads than this number. */
179 static volatile int hazard_table_size = 0;
180 static MonoThreadHazardPointers * volatile hazard_table = NULL;
182 /* The table where we keep pointers to blocks to be freed but that
183 have to wait because they're guarded by a hazard pointer. */
184 static CRITICAL_SECTION delayed_free_table_mutex;
185 static GArray *delayed_free_table = NULL;
188 mono_thread_get_tls_key (void)
190 return current_object_key;
194 mono_thread_get_tls_offset (void)
197 MONO_THREAD_VAR_OFFSET (tls_current_object,offset);
201 /* handle_store() and handle_remove() manage the array of threads that
202 * still need to be waited for when the main thread exits.
204 static void handle_store(MonoThread *thread)
206 mono_threads_lock ();
208 THREAD_DEBUG (g_message ("%s: thread %p ID %"G_GSIZE_FORMAT, __func__, thread, (gsize)thread->tid));
211 MONO_GC_REGISTER_ROOT (threads);
212 threads=mono_g_hash_table_new(NULL, NULL);
215 /* We don't need to duplicate thread->handle, because it is
216 * only closed when the thread object is finalized by the GC.
218 mono_g_hash_table_insert(threads, (gpointer)(gsize)(thread->tid),
221 mono_threads_unlock ();
224 static gboolean handle_remove(MonoThread *thread)
227 gsize tid = thread->tid;
229 THREAD_DEBUG (g_message ("%s: thread ID %"G_GSIZE_FORMAT, __func__, tid));
231 mono_threads_lock ();
234 /* We have to check whether the thread object for the
235 * tid is still the same in the table because the
236 * thread might have been destroyed and the tid reused
237 * in the meantime, in which case the tid would be in
238 * the table, but with another thread object.
240 if (mono_g_hash_table_lookup (threads, (gpointer)tid) == thread) {
241 mono_g_hash_table_remove (threads, (gpointer)tid);
250 mono_threads_unlock ();
252 /* Don't close the handle here, wait for the object finalizer
253 * to do it. Otherwise, the following race condition applies:
255 * 1) Thread exits (and handle_remove() closes the handle)
257 * 2) Some other handle is reassigned the same slot
259 * 3) Another thread tries to join the first thread, and
260 * blocks waiting for the reassigned handle to be signalled
261 * (which might never happen). This is possible, because the
262 * thread calling Join() still has a reference to the first
269 * Allocate a small thread id.
271 * FIXME: The biggest part of this function is very similar to
272 * domain_id_alloc() in domain.c and should be merged.
275 small_id_alloc (MonoThread *thread)
279 EnterCriticalSection (&small_id_mutex);
281 if (!small_id_table) {
282 small_id_table_size = 2;
283 small_id_table = mono_gc_alloc_fixed (small_id_table_size * sizeof (MonoThread*), NULL);
285 for (i = small_id_next; i < small_id_table_size; ++i) {
286 if (!small_id_table [i]) {
292 for (i = 0; i < small_id_next; ++i) {
293 if (!small_id_table [i]) {
300 MonoThread **new_table;
301 int new_size = small_id_table_size * 2;
302 if (new_size >= (1 << 16))
303 g_assert_not_reached ();
304 id = small_id_table_size;
305 new_table = mono_gc_alloc_fixed (new_size * sizeof (MonoThread*), NULL);
306 memcpy (new_table, small_id_table, small_id_table_size * sizeof (void*));
307 mono_gc_free_fixed (small_id_table);
308 small_id_table = new_table;
309 small_id_table_size = new_size;
311 thread->small_id = id;
312 g_assert (small_id_table [id] == NULL);
313 small_id_table [id] = thread;
315 if (small_id_next > small_id_table_size)
318 if (id >= hazard_table_size) {
320 int pagesize = mono_pagesize ();
321 int num_pages = (hazard_table_size * sizeof (MonoThreadHazardPointers) + pagesize - 1) / pagesize;
323 if (hazard_table == NULL) {
324 hazard_table = mono_valloc (NULL,
325 sizeof (MonoThreadHazardPointers) * HAZARD_TABLE_MAX_SIZE,
329 g_assert (hazard_table != NULL);
330 page_addr = (guint8*)hazard_table + num_pages * pagesize;
332 g_assert (id < HAZARD_TABLE_MAX_SIZE);
334 mono_mprotect (page_addr, pagesize, MONO_MMAP_READ | MONO_MMAP_WRITE);
337 hazard_table_size = num_pages * pagesize / sizeof (MonoThreadHazardPointers);
339 g_assert (id < hazard_table_size);
341 hazard_table [id].hazard_pointers [0] = NULL;
342 hazard_table [id].hazard_pointers [1] = NULL;
345 if (id > highest_small_id) {
346 highest_small_id = id;
347 mono_memory_write_barrier ();
350 LeaveCriticalSection (&small_id_mutex);
356 small_id_free (int id)
358 g_assert (id >= 0 && id < small_id_table_size);
359 g_assert (small_id_table [id] != NULL);
361 small_id_table [id] = NULL;
365 is_pointer_hazardous (gpointer p)
368 int highest = highest_small_id;
370 g_assert (highest < hazard_table_size);
372 for (i = 0; i <= highest; ++i) {
373 if (hazard_table [i].hazard_pointers [0] == p
374 || hazard_table [i].hazard_pointers [1] == p)
381 MonoThreadHazardPointers*
382 mono_hazard_pointer_get (void)
384 MonoThread *current_thread = mono_thread_current ();
386 g_assert (current_thread && current_thread->small_id >= 0);
388 return &hazard_table [current_thread->small_id];
392 mono_thread_hazardous_free_or_queue (gpointer p, MonoHazardousFreeFunc free_func)
396 /* First try to free a few entries in the delayed free
398 for (i = 2; i >= 0; --i) {
399 if (delayed_free_table->len > i) {
400 DelayedFreeItem item;
403 EnterCriticalSection (&delayed_free_table_mutex);
404 /* We have to check the length again because another
405 thread might have freed an item before we acquired
407 if (delayed_free_table->len > i) {
408 item = g_array_index (delayed_free_table, DelayedFreeItem, i);
410 if (!is_pointer_hazardous (item.p))
411 g_array_remove_index_fast (delayed_free_table, i);
415 LeaveCriticalSection (&delayed_free_table_mutex);
418 item.free_func (item.p);
422 /* Now see if the pointer we're freeing is hazardous. If it
423 isn't, free it. Otherwise put it in the delay list. */
424 if (is_pointer_hazardous (p)) {
425 DelayedFreeItem item = { p, free_func };
427 ++mono_stats.hazardous_pointer_count;
429 EnterCriticalSection (&delayed_free_table_mutex);
430 g_array_append_val (delayed_free_table, item);
431 LeaveCriticalSection (&delayed_free_table_mutex);
436 static void ensure_synch_cs_set (MonoThread *thread)
438 CRITICAL_SECTION *synch_cs;
440 if (thread->synch_cs != NULL) {
444 synch_cs = g_new0 (CRITICAL_SECTION, 1);
445 InitializeCriticalSection (synch_cs);
447 if (InterlockedCompareExchangePointer ((gpointer *)&thread->synch_cs,
448 synch_cs, NULL) != NULL) {
449 /* Another thread must have installed this CS */
450 DeleteCriticalSection (synch_cs);
456 * NOTE: this function can be called also for threads different from the current one:
457 * make sure no code called from it will ever assume it is run on the thread that is
458 * getting cleaned up.
460 static void thread_cleanup (MonoThread *thread)
462 g_assert (thread != NULL);
464 /* if the thread is not in the hash it has been removed already */
465 if (!handle_remove (thread))
467 mono_release_type_locks (thread);
469 EnterCriticalSection (thread->synch_cs);
471 thread->state |= ThreadState_Stopped;
472 thread->state &= ~ThreadState_Background;
474 LeaveCriticalSection (thread->synch_cs);
476 mono_profiler_thread_end (thread->tid);
478 if (thread == mono_thread_current ())
479 mono_thread_pop_appdomain_ref ();
481 if (thread->serialized_culture_info)
482 g_free (thread->serialized_culture_info);
484 thread->cached_culture_info = NULL;
486 mono_gc_free_fixed (thread->static_data);
487 thread->static_data = NULL;
489 if (mono_thread_cleanup_fn)
490 mono_thread_cleanup_fn (thread);
492 small_id_free (thread->small_id);
493 thread->small_id = -2;
496 static guint32 WINAPI start_wrapper(void *data)
498 struct StartInfo *start_info=(struct StartInfo *)data;
499 guint32 (*start_func)(void *);
502 MonoThread *thread=start_info->obj;
503 MonoObject *start_delegate = start_info->delegate;
505 THREAD_DEBUG (g_message ("%s: (%"G_GSIZE_FORMAT") Start wrapper", __func__, GetCurrentThreadId ()));
507 /* We can be sure start_info->obj->tid and
508 * start_info->obj->handle have been set, because the thread
509 * was created suspended, and these values were set before the
515 SET_CURRENT_OBJECT (thread);
517 /* Every thread references the appdomain which created it */
518 mono_thread_push_appdomain_ref (start_info->domain);
520 if (!mono_domain_set (start_info->domain, FALSE)) {
521 /* No point in raising an appdomain_unloaded exception here */
522 /* FIXME: Cleanup here */
523 mono_thread_pop_appdomain_ref ();
527 start_func = start_info->func;
528 start_arg = start_info->start_arg;
530 /* This MUST be called before any managed code can be
531 * executed, as it calls the callback function that (for the
532 * jit) sets the lmf marker.
534 mono_thread_new_init (tid, &tid, start_func);
535 thread->stack_ptr = &tid;
537 LIBGC_DEBUG (g_message ("%s: (%"G_GSIZE_FORMAT",%d) Setting thread stack to %p", __func__, GetCurrentThreadId (), getpid (), thread->stack_ptr));
539 THREAD_DEBUG (g_message ("%s: (%"G_GSIZE_FORMAT") Setting current_object_key to %p", __func__, GetCurrentThreadId (), thread));
541 mono_profiler_thread_start (tid);
543 /* On 2.0 profile (and higher), set explicitly since state might have been
545 if (mono_get_runtime_info ()->framework_version [0] != '1') {
546 if (thread->apartment_state == ThreadApartmentState_Unknown)
547 thread->apartment_state = ThreadApartmentState_MTA;
550 mono_thread_init_apartment_state ();
552 if(thread->start_notify!=NULL) {
553 /* Let the thread that called Start() know we're
556 ReleaseSemaphore (thread->start_notify, 1, NULL);
561 thread_adjust_static_data (thread);
563 g_message ("%s: start_wrapper for %"G_GSIZE_FORMAT, __func__,
567 /* start_func is set only for unmanaged start functions */
569 start_func (start_arg);
572 g_assert (start_delegate != NULL);
573 args [0] = start_arg;
574 /* we may want to handle the exception here. See comment below on unhandled exceptions */
575 mono_runtime_delegate_invoke (start_delegate, args, NULL);
578 /* If the thread calls ExitThread at all, this remaining code
579 * will not be executed, but the main thread will eventually
580 * call thread_cleanup() on this thread's behalf.
583 THREAD_DEBUG (g_message ("%s: (%"G_GSIZE_FORMAT") Start wrapper terminating", __func__, GetCurrentThreadId ()));
585 thread_cleanup (thread);
587 /* Do any cleanup needed for apartment state. This
588 * cannot be done in thread_cleanup since thread_cleanup could be
589 * called for a thread other than the current thread.
590 * mono_thread_cleanup_apartment_state cleans up apartment
591 * for the current thead */
592 mono_thread_cleanup_apartment_state ();
594 /* Remove the reference to the thread object in the TLS data,
595 * so the thread object can be finalized. This won't be
596 * reached if the thread threw an uncaught exception, so those
597 * thread handles will stay referenced :-( (This is due to
598 * missing support for scanning thread-specific data in the
599 * Boehm GC - the io-layer keeps a GC-visible hash of pointers
602 SET_CURRENT_OBJECT (NULL);
607 void mono_thread_new_init (gsize tid, gpointer stack_start, gpointer func)
609 if (mono_thread_start_cb) {
610 mono_thread_start_cb (tid, stack_start, func);
614 void mono_threads_set_default_stacksize (guint32 stacksize)
616 default_stacksize = stacksize;
619 guint32 mono_threads_get_default_stacksize (void)
621 return default_stacksize;
624 void mono_thread_create_internal (MonoDomain *domain, gpointer func, gpointer arg, gboolean threadpool_thread)
627 HANDLE thread_handle;
628 struct StartInfo *start_info;
631 thread=(MonoThread *)mono_object_new (domain,
632 mono_defaults.thread_class);
634 start_info=g_new0 (struct StartInfo, 1);
635 start_info->func = func;
636 start_info->obj = thread;
637 start_info->domain = domain;
638 start_info->start_arg = arg;
640 /* Create suspended, so we can do some housekeeping before the thread
643 thread_handle = CreateThread(NULL, default_stacksize_for_thread (thread), (LPTHREAD_START_ROUTINE)start_wrapper, start_info,
644 CREATE_SUSPENDED, &tid);
645 THREAD_DEBUG (g_message ("%s: Started thread ID %"G_GSIZE_FORMAT" (handle %p)", __func__, tid, thread_handle));
646 if (thread_handle == NULL) {
647 /* The thread couldn't be created, so throw an exception */
648 mono_raise_exception (mono_get_exception_execution_engine ("Couldn't create thread"));
652 thread->handle=thread_handle;
654 thread->apartment_state=ThreadApartmentState_Unknown;
655 small_id_alloc (thread);
657 thread->synch_cs = g_new0 (CRITICAL_SECTION, 1);
658 InitializeCriticalSection (thread->synch_cs);
660 thread->threadpool_thread = threadpool_thread;
662 handle_store(thread);
664 ResumeThread (thread_handle);
668 mono_thread_create (MonoDomain *domain, gpointer func, gpointer arg)
670 mono_thread_create_internal (domain, func, arg, FALSE);
674 * mono_thread_get_stack_bounds:
676 * Return the address and size of the current threads stack. Return NULL as the stack
677 * address if the stack address cannot be determined.
680 mono_thread_get_stack_bounds (guint8 **staddr, size_t *stsize)
682 #if defined(HAVE_PTHREAD_GET_STACKSIZE_NP) && defined(HAVE_PTHREAD_GET_STACKADDR_NP)
683 *staddr = (guint8*)pthread_get_stackaddr_np (pthread_self ());
684 *stsize = pthread_get_stacksize_np (pthread_self ());
686 /* FIXME: simplify the mess below */
687 #elif !defined(PLATFORM_WIN32)
689 guint8 *current = (guint8*)&attr;
691 pthread_attr_init (&attr);
692 #ifdef HAVE_PTHREAD_GETATTR_NP
693 pthread_getattr_np (pthread_self(), &attr);
695 #ifdef HAVE_PTHREAD_ATTR_GET_NP
696 pthread_attr_get_np (pthread_self(), &attr);
699 pthread_attr_getstacksize (&attr, &stsize);
708 pthread_attr_getstack (&attr, (void**)staddr, stsize);
710 g_assert ((current > *staddr) && (current < *staddr + *stsize));
713 pthread_attr_destroy (&attr);
718 mono_thread_attach (MonoDomain *domain)
721 HANDLE thread_handle;
724 if ((thread = mono_thread_current ())) {
725 if (domain != mono_domain_get ())
726 mono_domain_set (domain, TRUE);
727 /* Already attached */
731 if (!mono_gc_register_thread (&domain)) {
732 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.", GetCurrentThreadId ());
735 thread = (MonoThread *)mono_object_new (domain,
736 mono_defaults.thread_class);
738 thread_handle = GetCurrentThread ();
739 g_assert (thread_handle);
741 tid=GetCurrentThreadId ();
744 * The handle returned by GetCurrentThread () is a pseudo handle, so it can't be used to
745 * refer to the thread from other threads for things like aborting.
747 DuplicateHandle (GetCurrentProcess (), thread_handle, GetCurrentProcess (), &thread_handle,
748 THREAD_ALL_ACCESS, TRUE, 0);
750 thread->handle=thread_handle;
752 thread->apartment_state=ThreadApartmentState_Unknown;
753 small_id_alloc (thread);
754 thread->stack_ptr = &tid;
756 thread->synch_cs = g_new0 (CRITICAL_SECTION, 1);
757 InitializeCriticalSection (thread->synch_cs);
759 THREAD_DEBUG (g_message ("%s: Attached thread ID %"G_GSIZE_FORMAT" (handle %p)", __func__, tid, thread_handle));
761 handle_store(thread);
763 THREAD_DEBUG (g_message ("%s: (%"G_GSIZE_FORMAT") Setting current_object_key to %p", __func__, GetCurrentThreadId (), thread));
765 SET_CURRENT_OBJECT (thread);
766 mono_domain_set (domain, TRUE);
768 thread_adjust_static_data (thread);
770 if (mono_thread_attach_cb) {
774 mono_thread_get_stack_bounds (&staddr, &stsize);
777 mono_thread_attach_cb (tid, &tid);
779 mono_thread_attach_cb (tid, staddr + stsize);
786 mono_thread_detach (MonoThread *thread)
788 g_return_if_fail (thread != NULL);
790 THREAD_DEBUG (g_message ("%s: mono_thread_detach for %p (%"G_GSIZE_FORMAT")", __func__, thread, (gsize)thread->tid));
792 thread_cleanup (thread);
794 SET_CURRENT_OBJECT (NULL);
796 /* Don't need to CloseHandle this thread, even though we took a
797 * reference in mono_thread_attach (), because the GC will do it
798 * when the Thread object is finalised.
805 MonoThread *thread = mono_thread_current ();
807 THREAD_DEBUG (g_message ("%s: mono_thread_exit for %p (%"G_GSIZE_FORMAT")", __func__, thread, (gsize)thread->tid));
809 thread_cleanup (thread);
810 SET_CURRENT_OBJECT (NULL);
812 /* we could add a callback here for embedders to use. */
813 if (thread == mono_thread_get_main ())
814 exit (mono_environment_exitcode_get ());
818 HANDLE ves_icall_System_Threading_Thread_Thread_internal(MonoThread *this,
821 guint32 (*start_func)(void *);
822 struct StartInfo *start_info;
828 THREAD_DEBUG (g_message("%s: Trying to start a new thread: this (%p) start (%p)", __func__, this, start));
830 ensure_synch_cs_set (this);
832 EnterCriticalSection (this->synch_cs);
834 if ((this->state & ThreadState_Unstarted) == 0) {
835 LeaveCriticalSection (this->synch_cs);
836 mono_raise_exception (mono_get_exception_thread_state ("Thread has already been started."));
842 if ((this->state & ThreadState_Aborted) != 0) {
843 LeaveCriticalSection (this->synch_cs);
848 /* This is freed in start_wrapper */
849 start_info = g_new0 (struct StartInfo, 1);
850 start_info->func = start_func;
851 start_info->start_arg = this->start_obj; /* FIXME: GC object stored in unmanaged memory */
852 start_info->delegate = start;
853 start_info->obj = this;
854 start_info->domain = mono_domain_get ();
856 this->start_notify=CreateSemaphore (NULL, 0, 0x7fffffff, NULL);
857 if(this->start_notify==NULL) {
858 LeaveCriticalSection (this->synch_cs);
859 g_warning ("%s: CreateSemaphore error 0x%x", __func__, GetLastError ());
863 thread=CreateThread(NULL, default_stacksize_for_thread (this), (LPTHREAD_START_ROUTINE)start_wrapper, start_info,
864 CREATE_SUSPENDED, &tid);
866 LeaveCriticalSection (this->synch_cs);
867 g_warning("%s: CreateThread error 0x%x", __func__, GetLastError());
873 small_id_alloc (this);
875 /* Don't call handle_store() here, delay it to Start.
876 * We can't join a thread (trying to will just block
877 * forever) until it actually starts running, so don't
878 * store the handle till then.
881 mono_thread_start (this);
883 this->state &= ~ThreadState_Unstarted;
885 THREAD_DEBUG (g_message ("%s: Started thread ID %"G_GSIZE_FORMAT" (handle %p)", __func__, tid, thread));
887 LeaveCriticalSection (this->synch_cs);
892 void ves_icall_System_Threading_Thread_Thread_init (MonoThread *this)
896 ensure_synch_cs_set (this);
899 void ves_icall_System_Threading_Thread_Thread_free_internal (MonoThread *this,
904 THREAD_DEBUG (g_message ("%s: Closing thread %p, handle %p", __func__, this, thread));
906 CloseHandle (thread);
908 DeleteCriticalSection (this->synch_cs);
909 g_free (this->synch_cs);
910 this->synch_cs = NULL;
913 static void mono_thread_start (MonoThread *thread)
917 THREAD_DEBUG (g_message ("%s: (%"G_GSIZE_FORMAT") Launching thread %p (%"G_GSIZE_FORMAT")", __func__, GetCurrentThreadId (), thread, (gsize)thread->tid));
919 /* Only store the handle when the thread is about to be
920 * launched, to avoid the main thread deadlocking while trying
921 * to clean up a thread that will never be signalled.
923 handle_store (thread);
925 ResumeThread (thread->handle);
927 if(thread->start_notify!=NULL) {
928 /* Wait for the thread to set up its TLS data etc, so
929 * theres no potential race condition if someone tries
930 * to look up the data believing the thread has
934 THREAD_DEBUG (g_message ("%s: (%"G_GSIZE_FORMAT") waiting for thread %p (%"G_GSIZE_FORMAT") to start", __func__, GetCurrentThreadId (), thread, (gsize)thread->tid));
936 WaitForSingleObjectEx (thread->start_notify, INFINITE, FALSE);
937 CloseHandle (thread->start_notify);
938 thread->start_notify = NULL;
941 THREAD_DEBUG (g_message ("%s: (%"G_GSIZE_FORMAT") Done launching thread %p (%"G_GSIZE_FORMAT")", __func__, GetCurrentThreadId (), thread, (gsize)thread->tid));
944 void ves_icall_System_Threading_Thread_Sleep_internal(gint32 ms)
946 MonoThread *thread = mono_thread_current ();
950 THREAD_DEBUG (g_message ("%s: Sleeping for %d ms", __func__, ms));
952 mono_thread_current_check_pending_interrupt ();
954 mono_thread_set_state (thread, ThreadState_WaitSleepJoin);
958 mono_thread_clr_state (thread, ThreadState_WaitSleepJoin);
961 void ves_icall_System_Threading_Thread_SpinWait_internal (gint32 iterations)
965 for(i = 0; i < iterations; i++) {
966 /* We're busy waiting, but at least we can tell the
967 * scheduler to let someone else have a go...
974 ves_icall_System_Threading_Thread_GetDomainID (void)
978 return mono_domain_get()->domain_id;
982 ves_icall_System_Threading_Thread_GetName_internal (MonoThread *this_obj)
986 ensure_synch_cs_set (this_obj);
988 EnterCriticalSection (this_obj->synch_cs);
993 str = mono_string_new_utf16 (mono_domain_get (), this_obj->name, this_obj->name_len);
995 LeaveCriticalSection (this_obj->synch_cs);
1001 ves_icall_System_Threading_Thread_SetName_internal (MonoThread *this_obj, MonoString *name)
1003 ensure_synch_cs_set (this_obj);
1005 EnterCriticalSection (this_obj->synch_cs);
1007 if (this_obj->name) {
1008 LeaveCriticalSection (this_obj->synch_cs);
1010 mono_raise_exception (mono_get_exception_invalid_operation ("Thread.Name can only be set once."));
1014 this_obj->name = g_new (gunichar2, mono_string_length (name));
1015 memcpy (this_obj->name, mono_string_chars (name), mono_string_length (name) * 2);
1016 this_obj->name_len = mono_string_length (name);
1019 this_obj->name = NULL;
1021 LeaveCriticalSection (this_obj->synch_cs);
1025 lookup_cached_culture (MonoThread *this, MonoDomain *domain, int start_idx)
1030 if (this->cached_culture_info) {
1031 domain = mono_domain_get ();
1032 for (i = start_idx; i < start_idx + NUM_CACHED_CULTURES; ++i) {
1033 res = mono_array_get (this->cached_culture_info, MonoObject*, i);
1034 if (res && res->vtable->domain == domain)
1043 ves_icall_System_Threading_Thread_GetCachedCurrentCulture (MonoThread *this)
1045 return lookup_cached_culture (this, mono_domain_get (), CULTURES_START_IDX);
1049 ves_icall_System_Threading_Thread_GetSerializedCurrentCulture (MonoThread *this)
1053 ensure_synch_cs_set (this);
1055 EnterCriticalSection (this->synch_cs);
1057 if (this->serialized_culture_info) {
1058 res = mono_array_new (mono_domain_get (), mono_defaults.byte_class, this->serialized_culture_info_len);
1059 memcpy (mono_array_addr (res, guint8, 0), this->serialized_culture_info, this->serialized_culture_info_len);
1064 LeaveCriticalSection (this->synch_cs);
1070 cache_culture (MonoThread *this, MonoObject *culture, int start_idx)
1073 MonoDomain *domain = mono_domain_get ();
1076 int same_domain_slot = -1;
1078 ensure_synch_cs_set (this);
1080 EnterCriticalSection (this->synch_cs);
1082 if (!this->cached_culture_info)
1083 this->cached_culture_info = mono_array_new (mono_object_domain (this), mono_defaults.object_class, NUM_CACHED_CULTURES * 2);
1085 for (i = start_idx; i < start_idx + NUM_CACHED_CULTURES; ++i) {
1086 obj = mono_array_get (this->cached_culture_info, MonoObject*, i);
1090 /* we continue, because there may be a slot used with the same domain */
1094 if (obj->vtable->domain == domain) {
1095 same_domain_slot = i;
1099 if (same_domain_slot >= 0)
1100 mono_array_setref (this->cached_culture_info, same_domain_slot, culture);
1101 else if (free_slot >= 0)
1102 mono_array_setref (this->cached_culture_info, free_slot, culture);
1103 /* we may want to replace an existing entry here, even when no suitable slot is found */
1105 LeaveCriticalSection (this->synch_cs);
1109 ves_icall_System_Threading_Thread_SetCachedCurrentCulture (MonoThread *this, MonoObject *culture)
1111 cache_culture (this, culture, CULTURES_START_IDX);
1115 ves_icall_System_Threading_Thread_SetSerializedCurrentCulture (MonoThread *this, MonoArray *arr)
1117 ensure_synch_cs_set (this);
1119 EnterCriticalSection (this->synch_cs);
1121 if (this->serialized_culture_info)
1122 g_free (this->serialized_culture_info);
1123 this->serialized_culture_info = g_new0 (guint8, mono_array_length (arr));
1124 this->serialized_culture_info_len = mono_array_length (arr);
1125 memcpy (this->serialized_culture_info, mono_array_addr (arr, guint8, 0), mono_array_length (arr));
1127 LeaveCriticalSection (this->synch_cs);
1132 ves_icall_System_Threading_Thread_GetCachedCurrentUICulture (MonoThread *this)
1134 return lookup_cached_culture (this, mono_domain_get (), UICULTURES_START_IDX);
1138 ves_icall_System_Threading_Thread_GetSerializedCurrentUICulture (MonoThread *this)
1142 ensure_synch_cs_set (this);
1144 EnterCriticalSection (this->synch_cs);
1146 if (this->serialized_ui_culture_info) {
1147 res = mono_array_new (mono_domain_get (), mono_defaults.byte_class, this->serialized_ui_culture_info_len);
1148 memcpy (mono_array_addr (res, guint8, 0), this->serialized_ui_culture_info, this->serialized_ui_culture_info_len);
1153 LeaveCriticalSection (this->synch_cs);
1159 ves_icall_System_Threading_Thread_SetCachedCurrentUICulture (MonoThread *this, MonoObject *culture)
1161 cache_culture (this, culture, UICULTURES_START_IDX);
1165 ves_icall_System_Threading_Thread_SetSerializedCurrentUICulture (MonoThread *this, MonoArray *arr)
1167 ensure_synch_cs_set (this);
1169 EnterCriticalSection (this->synch_cs);
1171 if (this->serialized_ui_culture_info)
1172 g_free (this->serialized_ui_culture_info);
1173 this->serialized_ui_culture_info = g_new0 (guint8, mono_array_length (arr));
1174 this->serialized_ui_culture_info_len = mono_array_length (arr);
1175 memcpy (this->serialized_ui_culture_info, mono_array_addr (arr, guint8, 0), mono_array_length (arr));
1177 LeaveCriticalSection (this->synch_cs);
1180 /* the jit may read the compiled code of this function */
1182 mono_thread_current (void)
1184 THREAD_DEBUG (g_message ("%s: returning %p", __func__, GET_CURRENT_OBJECT ()));
1185 return GET_CURRENT_OBJECT ();
1188 gboolean ves_icall_System_Threading_Thread_Join_internal(MonoThread *this,
1189 int ms, HANDLE thread)
1191 MonoThread *cur_thread = mono_thread_current ();
1194 MONO_ARCH_SAVE_REGS;
1196 mono_thread_current_check_pending_interrupt ();
1198 ensure_synch_cs_set (this);
1200 EnterCriticalSection (this->synch_cs);
1202 if ((this->state & ThreadState_Unstarted) != 0) {
1203 LeaveCriticalSection (this->synch_cs);
1205 mono_raise_exception (mono_get_exception_thread_state ("Thread has not been started."));
1209 LeaveCriticalSection (this->synch_cs);
1214 THREAD_DEBUG (g_message ("%s: joining thread handle %p, %d ms", __func__, thread, ms));
1216 mono_thread_set_state (cur_thread, ThreadState_WaitSleepJoin);
1218 ret=WaitForSingleObjectEx (thread, ms, TRUE);
1220 mono_thread_clr_state (cur_thread, ThreadState_WaitSleepJoin);
1222 if(ret==WAIT_OBJECT_0) {
1223 THREAD_DEBUG (g_message ("%s: join successful", __func__));
1228 THREAD_DEBUG (g_message ("%s: join failed", __func__));
1233 /* FIXME: exitContext isnt documented */
1234 gboolean ves_icall_System_Threading_WaitHandle_WaitAll_internal(MonoArray *mono_handles, gint32 ms, gboolean exitContext)
1240 MonoObject *waitHandle;
1241 MonoThread *thread = mono_thread_current ();
1243 MONO_ARCH_SAVE_REGS;
1245 /* Do this WaitSleepJoin check before creating objects */
1246 mono_thread_current_check_pending_interrupt ();
1248 numhandles = mono_array_length(mono_handles);
1249 handles = g_new0(HANDLE, numhandles);
1251 for(i = 0; i < numhandles; i++) {
1252 waitHandle = mono_array_get(mono_handles, MonoObject*, i);
1253 handles [i] = mono_wait_handle_get_handle ((MonoWaitHandle *) waitHandle);
1260 mono_thread_set_state (thread, ThreadState_WaitSleepJoin);
1262 ret=WaitForMultipleObjectsEx(numhandles, handles, TRUE, ms, TRUE);
1264 mono_thread_clr_state (thread, ThreadState_WaitSleepJoin);
1268 if(ret==WAIT_FAILED) {
1269 THREAD_WAIT_DEBUG (g_message ("%s: (%"G_GSIZE_FORMAT") Wait failed", __func__, GetCurrentThreadId ()));
1271 } else if(ret==WAIT_TIMEOUT || ret == WAIT_IO_COMPLETION) {
1272 /* Do we want to try again if we get
1273 * WAIT_IO_COMPLETION? The documentation for
1274 * WaitHandle doesn't give any clues. (We'd have to
1275 * fiddle with the timeout if we retry.)
1277 THREAD_WAIT_DEBUG (g_message ("%s: (%"G_GSIZE_FORMAT") Wait timed out", __func__, GetCurrentThreadId ()));
1284 /* FIXME: exitContext isnt documented */
1285 gint32 ves_icall_System_Threading_WaitHandle_WaitAny_internal(MonoArray *mono_handles, gint32 ms, gboolean exitContext)
1291 MonoObject *waitHandle;
1292 MonoThread *thread = mono_thread_current ();
1294 MONO_ARCH_SAVE_REGS;
1296 /* Do this WaitSleepJoin check before creating objects */
1297 mono_thread_current_check_pending_interrupt ();
1299 numhandles = mono_array_length(mono_handles);
1300 handles = g_new0(HANDLE, numhandles);
1302 for(i = 0; i < numhandles; i++) {
1303 waitHandle = mono_array_get(mono_handles, MonoObject*, i);
1304 handles [i] = mono_wait_handle_get_handle ((MonoWaitHandle *) waitHandle);
1311 mono_thread_set_state (thread, ThreadState_WaitSleepJoin);
1313 ret=WaitForMultipleObjectsEx(numhandles, handles, FALSE, ms, TRUE);
1315 mono_thread_clr_state (thread, ThreadState_WaitSleepJoin);
1319 THREAD_WAIT_DEBUG (g_message ("%s: (%"G_GSIZE_FORMAT") returning %d", __func__, GetCurrentThreadId (), ret));
1322 * These need to be here. See MSDN dos on WaitForMultipleObjects.
1324 if (ret >= WAIT_OBJECT_0 && ret <= WAIT_OBJECT_0 + numhandles - 1) {
1325 return ret - WAIT_OBJECT_0;
1327 else if (ret >= WAIT_ABANDONED_0 && ret <= WAIT_ABANDONED_0 + numhandles - 1) {
1328 return ret - WAIT_ABANDONED_0;
1335 /* FIXME: exitContext isnt documented */
1336 gboolean ves_icall_System_Threading_WaitHandle_WaitOne_internal(MonoObject *this, HANDLE handle, gint32 ms, gboolean exitContext)
1339 MonoThread *thread = mono_thread_current ();
1341 MONO_ARCH_SAVE_REGS;
1343 THREAD_WAIT_DEBUG (g_message ("%s: (%"G_GSIZE_FORMAT") waiting for %p, %d ms", __func__, GetCurrentThreadId (), handle, ms));
1349 mono_thread_current_check_pending_interrupt ();
1351 mono_thread_set_state (thread, ThreadState_WaitSleepJoin);
1353 ret=WaitForSingleObjectEx (handle, ms, TRUE);
1355 mono_thread_clr_state (thread, ThreadState_WaitSleepJoin);
1357 if(ret==WAIT_FAILED) {
1358 THREAD_WAIT_DEBUG (g_message ("%s: (%"G_GSIZE_FORMAT") Wait failed", __func__, GetCurrentThreadId ()));
1360 } else if(ret==WAIT_TIMEOUT || ret == WAIT_IO_COMPLETION) {
1361 /* Do we want to try again if we get
1362 * WAIT_IO_COMPLETION? The documentation for
1363 * WaitHandle doesn't give any clues. (We'd have to
1364 * fiddle with the timeout if we retry.)
1366 THREAD_WAIT_DEBUG (g_message ("%s: (%"G_GSIZE_FORMAT") Wait timed out", __func__, GetCurrentThreadId ()));
1373 HANDLE ves_icall_System_Threading_Mutex_CreateMutex_internal (MonoBoolean owned, MonoString *name, MonoBoolean *created)
1377 MONO_ARCH_SAVE_REGS;
1382 mutex = CreateMutex (NULL, owned, NULL);
1384 mutex = CreateMutex (NULL, owned, mono_string_chars (name));
1386 if (GetLastError () == ERROR_ALREADY_EXISTS) {
1394 MonoBoolean ves_icall_System_Threading_Mutex_ReleaseMutex_internal (HANDLE handle ) {
1395 MONO_ARCH_SAVE_REGS;
1397 return(ReleaseMutex (handle));
1400 HANDLE ves_icall_System_Threading_Mutex_OpenMutex_internal (MonoString *name,
1406 MONO_ARCH_SAVE_REGS;
1408 *error = ERROR_SUCCESS;
1410 ret = OpenMutex (rights, FALSE, mono_string_chars (name));
1412 *error = GetLastError ();
1419 HANDLE ves_icall_System_Threading_Semaphore_CreateSemaphore_internal (gint32 initialCount, gint32 maximumCount, MonoString *name, MonoBoolean *created)
1423 MONO_ARCH_SAVE_REGS;
1428 sem = CreateSemaphore (NULL, initialCount, maximumCount, NULL);
1430 sem = CreateSemaphore (NULL, initialCount, maximumCount,
1431 mono_string_chars (name));
1433 if (GetLastError () == ERROR_ALREADY_EXISTS) {
1441 gint32 ves_icall_System_Threading_Semaphore_ReleaseSemaphore_internal (HANDLE handle, gint32 releaseCount, MonoBoolean *fail)
1445 MONO_ARCH_SAVE_REGS;
1447 *fail = !ReleaseSemaphore (handle, releaseCount, &prevcount);
1452 HANDLE ves_icall_System_Threading_Semaphore_OpenSemaphore_internal (MonoString *name, gint32 rights, gint32 *error)
1456 MONO_ARCH_SAVE_REGS;
1458 *error = ERROR_SUCCESS;
1460 ret = OpenSemaphore (rights, FALSE, mono_string_chars (name));
1462 *error = GetLastError ();
1468 HANDLE ves_icall_System_Threading_Events_CreateEvent_internal (MonoBoolean manual, MonoBoolean initial, MonoString *name, MonoBoolean *created)
1472 MONO_ARCH_SAVE_REGS;
1477 event = CreateEvent (NULL, manual, initial, NULL);
1479 event = CreateEvent (NULL, manual, initial,
1480 mono_string_chars (name));
1482 if (GetLastError () == ERROR_ALREADY_EXISTS) {
1490 gboolean ves_icall_System_Threading_Events_SetEvent_internal (HANDLE handle) {
1491 MONO_ARCH_SAVE_REGS;
1493 return (SetEvent(handle));
1496 gboolean ves_icall_System_Threading_Events_ResetEvent_internal (HANDLE handle) {
1497 MONO_ARCH_SAVE_REGS;
1499 return (ResetEvent(handle));
1503 ves_icall_System_Threading_Events_CloseEvent_internal (HANDLE handle) {
1504 MONO_ARCH_SAVE_REGS;
1506 CloseHandle (handle);
1509 HANDLE ves_icall_System_Threading_Events_OpenEvent_internal (MonoString *name,
1515 MONO_ARCH_SAVE_REGS;
1517 *error = ERROR_SUCCESS;
1519 ret = OpenEvent (rights, FALSE, mono_string_chars (name));
1521 *error = GetLastError ();
1527 gint32 ves_icall_System_Threading_Interlocked_Increment_Int (gint32 *location)
1529 MONO_ARCH_SAVE_REGS;
1531 return InterlockedIncrement (location);
1534 gint64 ves_icall_System_Threading_Interlocked_Increment_Long (gint64 *location)
1538 MONO_ARCH_SAVE_REGS;
1540 mono_interlocked_lock ();
1544 mono_interlocked_unlock ();
1550 gint32 ves_icall_System_Threading_Interlocked_Decrement_Int (gint32 *location)
1552 MONO_ARCH_SAVE_REGS;
1554 return InterlockedDecrement(location);
1557 gint64 ves_icall_System_Threading_Interlocked_Decrement_Long (gint64 * location)
1561 MONO_ARCH_SAVE_REGS;
1563 mono_interlocked_lock ();
1567 mono_interlocked_unlock ();
1572 gint32 ves_icall_System_Threading_Interlocked_Exchange_Int (gint32 *location, gint32 value)
1574 MONO_ARCH_SAVE_REGS;
1576 return InterlockedExchange(location, value);
1579 MonoObject * ves_icall_System_Threading_Interlocked_Exchange_Object (MonoObject **location, MonoObject *value)
1581 MONO_ARCH_SAVE_REGS;
1583 return (MonoObject *) InterlockedExchangePointer((gpointer *) location, value);
1586 gfloat ves_icall_System_Threading_Interlocked_Exchange_Single (gfloat *location, gfloat value)
1588 IntFloatUnion val, ret;
1590 MONO_ARCH_SAVE_REGS;
1593 ret.ival = InterlockedExchange((gint32 *) location, val.ival);
1599 ves_icall_System_Threading_Interlocked_Exchange_Long (gint64 *location, gint64 value)
1601 #if SIZEOF_VOID_P == 8
1602 return (gint64) InterlockedExchangePointer((gpointer *) location, (gpointer)value);
1607 * According to MSDN, this function is only atomic with regards to the
1608 * other Interlocked functions on 32 bit platforms.
1610 mono_interlocked_lock ();
1613 mono_interlocked_unlock ();
1620 ves_icall_System_Threading_Interlocked_Exchange_Double (gdouble *location, gdouble value)
1622 #if SIZEOF_VOID_P == 8
1623 LongDoubleUnion val, ret;
1626 ret.ival = (gint64)InterlockedExchangePointer((gpointer *) location, (gpointer)val.ival);
1633 * According to MSDN, this function is only atomic with regards to the
1634 * other Interlocked functions on 32 bit platforms.
1636 mono_interlocked_lock ();
1639 mono_interlocked_unlock ();
1645 gint32 ves_icall_System_Threading_Interlocked_CompareExchange_Int(gint32 *location, gint32 value, gint32 comparand)
1647 MONO_ARCH_SAVE_REGS;
1649 return InterlockedCompareExchange(location, value, comparand);
1652 MonoObject * ves_icall_System_Threading_Interlocked_CompareExchange_Object (MonoObject **location, MonoObject *value, MonoObject *comparand)
1654 MONO_ARCH_SAVE_REGS;
1656 return (MonoObject *) InterlockedCompareExchangePointer((gpointer *) location, value, comparand);
1659 gfloat ves_icall_System_Threading_Interlocked_CompareExchange_Single (gfloat *location, gfloat value, gfloat comparand)
1661 IntFloatUnion val, ret, cmp;
1663 MONO_ARCH_SAVE_REGS;
1666 cmp.fval = comparand;
1667 ret.ival = InterlockedCompareExchange((gint32 *) location, val.ival, cmp.ival);
1673 ves_icall_System_Threading_Interlocked_CompareExchange_Double (gdouble *location, gdouble value, gdouble comparand)
1675 #if SIZEOF_VOID_P == 8
1676 LongDoubleUnion val, comp, ret;
1679 comp.fval = comparand;
1680 ret.ival = (gint64)InterlockedCompareExchangePointer((gpointer *) location, (gpointer)val.ival, (gpointer)comp.ival);
1686 mono_interlocked_lock ();
1688 if (old == comparand)
1690 mono_interlocked_unlock ();
1697 ves_icall_System_Threading_Interlocked_CompareExchange_Long (gint64 *location, gint64 value, gint64 comparand)
1699 #if SIZEOF_VOID_P == 8
1700 return (gint64)InterlockedCompareExchangePointer((gpointer *) location, (gpointer)value, (gpointer)comparand);
1704 mono_interlocked_lock ();
1706 if (old == comparand)
1708 mono_interlocked_unlock ();
1715 ves_icall_System_Threading_Interlocked_CompareExchange_T (MonoObject **location, MonoObject *value, MonoObject *comparand)
1717 MONO_ARCH_SAVE_REGS;
1719 return InterlockedCompareExchangePointer ((gpointer *)location, value, comparand);
1723 ves_icall_System_Threading_Interlocked_Exchange_T (MonoObject **location, MonoObject *value)
1725 MONO_ARCH_SAVE_REGS;
1727 return InterlockedExchangePointer ((gpointer *)location, value);
1731 ves_icall_System_Threading_Interlocked_Add_Int (gint32 *location, gint32 value)
1733 #if SIZEOF_VOID_P == 8
1734 /* Should be implemented as a JIT intrinsic */
1735 mono_raise_exception (mono_get_exception_not_implemented (NULL));
1740 mono_interlocked_lock ();
1742 *location = orig + value;
1743 mono_interlocked_unlock ();
1745 return orig + value;
1750 ves_icall_System_Threading_Interlocked_Add_Long (gint64 *location, gint64 value)
1752 #if SIZEOF_VOID_P == 8
1753 /* Should be implemented as a JIT intrinsic */
1754 mono_raise_exception (mono_get_exception_not_implemented (NULL));
1759 mono_interlocked_lock ();
1761 *location = orig + value;
1762 mono_interlocked_unlock ();
1764 return orig + value;
1769 ves_icall_System_Threading_Interlocked_Read_Long (gint64 *location)
1771 #if SIZEOF_VOID_P == 8
1772 /* 64 bit reads are already atomic */
1777 mono_interlocked_lock ();
1779 mono_interlocked_unlock ();
1786 ves_icall_System_Threading_Thread_MemoryBarrier (void)
1788 mono_threads_lock ();
1789 mono_threads_unlock ();
1793 ves_icall_System_Threading_Thread_ClrState (MonoThread* this, guint32 state)
1795 mono_thread_clr_state (this, state);
1797 if (state & ThreadState_Background) {
1798 /* If the thread changes the background mode, the main thread has to
1799 * be notified, since it has to rebuild the list of threads to
1802 SetEvent (background_change_event);
1807 ves_icall_System_Threading_Thread_SetState (MonoThread* this, guint32 state)
1809 mono_thread_set_state (this, state);
1811 if (state & ThreadState_Background) {
1812 /* If the thread changes the background mode, the main thread has to
1813 * be notified, since it has to rebuild the list of threads to
1816 SetEvent (background_change_event);
1821 ves_icall_System_Threading_Thread_GetState (MonoThread* this)
1825 ensure_synch_cs_set (this);
1827 EnterCriticalSection (this->synch_cs);
1829 state = this->state;
1831 LeaveCriticalSection (this->synch_cs);
1836 void ves_icall_System_Threading_Thread_Interrupt_internal (MonoThread *this)
1838 gboolean throw = FALSE;
1840 ensure_synch_cs_set (this);
1842 EnterCriticalSection (this->synch_cs);
1844 this->thread_interrupt_requested = TRUE;
1846 if (this->state & ThreadState_WaitSleepJoin) {
1850 LeaveCriticalSection (this->synch_cs);
1853 signal_thread_state_change (this);
1857 void mono_thread_current_check_pending_interrupt ()
1859 MonoThread *thread = mono_thread_current ();
1860 gboolean throw = FALSE;
1862 ensure_synch_cs_set (thread);
1864 EnterCriticalSection (thread->synch_cs);
1866 if (thread->thread_interrupt_requested) {
1868 thread->thread_interrupt_requested = FALSE;
1871 LeaveCriticalSection (thread->synch_cs);
1874 mono_raise_exception (mono_get_exception_thread_interrupted ());
1879 mono_thread_get_abort_signal (void)
1881 #ifdef PLATFORM_WIN32
1887 static int abort_signum = -1;
1889 if (abort_signum != -1)
1890 return abort_signum;
1891 /* we try to avoid SIGRTMIN and any one that might have been set already, see bug #75387 */
1892 for (i = SIGRTMIN + 1; i < SIGRTMAX; ++i) {
1893 struct sigaction sinfo;
1894 sigaction (i, NULL, &sinfo);
1895 if (sinfo.sa_handler == SIG_DFL && (void*)sinfo.sa_sigaction == (void*)SIG_DFL) {
1900 /* fallback to the old way */
1903 #endif /* PLATFORM_WIN32 */
1906 #ifdef PLATFORM_WIN32
1907 static void CALLBACK interruption_request_apc (ULONG_PTR param)
1909 MonoException* exc = mono_thread_request_interruption (FALSE);
1910 if (exc) mono_raise_exception (exc);
1912 #endif /* PLATFORM_WIN32 */
1915 * signal_thread_state_change
1917 * Tells the thread that his state has changed and it has to enter the new
1918 * state as soon as possible.
1920 static void signal_thread_state_change (MonoThread *thread)
1922 if (thread == mono_thread_current ()) {
1923 /* Do it synchronously */
1924 MonoException *exc = mono_thread_request_interruption (FALSE);
1926 mono_raise_exception (exc);
1929 #ifdef PLATFORM_WIN32
1930 QueueUserAPC ((PAPCFUNC)interruption_request_apc, thread->handle, NULL);
1932 /* fixme: store the state somewhere */
1933 #ifdef PTHREAD_POINTER_ID
1934 pthread_kill ((gpointer)(gsize)(thread->tid), mono_thread_get_abort_signal ());
1936 pthread_kill (thread->tid, mono_thread_get_abort_signal ());
1938 #endif /* PLATFORM_WIN32 */
1942 ves_icall_System_Threading_Thread_Abort (MonoThread *thread, MonoObject *state)
1944 MONO_ARCH_SAVE_REGS;
1946 ensure_synch_cs_set (thread);
1948 EnterCriticalSection (thread->synch_cs);
1950 if ((thread->state & ThreadState_AbortRequested) != 0 ||
1951 (thread->state & ThreadState_StopRequested) != 0 ||
1952 (thread->state & ThreadState_Stopped) != 0)
1954 LeaveCriticalSection (thread->synch_cs);
1958 if ((thread->state & ThreadState_Unstarted) != 0) {
1959 thread->state |= ThreadState_Aborted;
1960 LeaveCriticalSection (thread->synch_cs);
1964 thread->state |= ThreadState_AbortRequested;
1965 MONO_OBJECT_SETREF (thread, abort_state, state);
1966 thread->abort_exc = NULL;
1968 LeaveCriticalSection (thread->synch_cs);
1970 THREAD_DEBUG (g_message ("%s: (%"G_GSIZE_FORMAT") Abort requested for %p (%"G_GSIZE_FORMAT")", __func__, GetCurrentThreadId (), thread, (gsize)thread->tid));
1972 /* Make sure the thread is awake */
1973 mono_thread_resume (thread);
1975 signal_thread_state_change (thread);
1979 ves_icall_System_Threading_Thread_ResetAbort (void)
1981 MonoThread *thread = mono_thread_current ();
1983 MONO_ARCH_SAVE_REGS;
1985 ensure_synch_cs_set (thread);
1987 EnterCriticalSection (thread->synch_cs);
1989 thread->state &= ~ThreadState_AbortRequested;
1991 if (!thread->abort_exc) {
1992 const char *msg = "Unable to reset abort because no abort was requested";
1993 LeaveCriticalSection (thread->synch_cs);
1994 mono_raise_exception (mono_get_exception_thread_state (msg));
1996 thread->abort_exc = NULL;
1997 thread->abort_state = NULL;
2000 LeaveCriticalSection (thread->synch_cs);
2004 mono_thread_suspend (MonoThread *thread)
2006 MONO_ARCH_SAVE_REGS;
2008 ensure_synch_cs_set (thread);
2010 EnterCriticalSection (thread->synch_cs);
2012 if ((thread->state & ThreadState_Unstarted) != 0 ||
2013 (thread->state & ThreadState_Aborted) != 0 ||
2014 (thread->state & ThreadState_Stopped) != 0)
2016 LeaveCriticalSection (thread->synch_cs);
2020 if ((thread->state & ThreadState_Suspended) != 0 ||
2021 (thread->state & ThreadState_SuspendRequested) != 0 ||
2022 (thread->state & ThreadState_StopRequested) != 0)
2024 LeaveCriticalSection (thread->synch_cs);
2028 thread->state |= ThreadState_SuspendRequested;
2030 LeaveCriticalSection (thread->synch_cs);
2032 signal_thread_state_change (thread);
2037 ves_icall_System_Threading_Thread_Suspend (MonoThread *thread)
2039 if (!mono_thread_suspend (thread))
2040 mono_raise_exception (mono_get_exception_thread_state ("Thread has not been started, or is dead."));
2044 mono_thread_resume (MonoThread *thread)
2046 MONO_ARCH_SAVE_REGS;
2048 ensure_synch_cs_set (thread);
2050 EnterCriticalSection (thread->synch_cs);
2052 if ((thread->state & ThreadState_SuspendRequested) != 0) {
2053 thread->state &= ~ThreadState_SuspendRequested;
2054 LeaveCriticalSection (thread->synch_cs);
2058 if ((thread->state & ThreadState_Suspended) == 0 ||
2059 (thread->state & ThreadState_Unstarted) != 0 ||
2060 (thread->state & ThreadState_Aborted) != 0 ||
2061 (thread->state & ThreadState_Stopped) != 0)
2063 LeaveCriticalSection (thread->synch_cs);
2067 thread->resume_event = CreateEvent (NULL, TRUE, FALSE, NULL);
2068 if (thread->resume_event == NULL) {
2069 LeaveCriticalSection (thread->synch_cs);
2073 /* Awake the thread */
2074 SetEvent (thread->suspend_event);
2076 LeaveCriticalSection (thread->synch_cs);
2078 /* Wait for the thread to awake */
2079 WaitForSingleObject (thread->resume_event, INFINITE);
2080 CloseHandle (thread->resume_event);
2081 thread->resume_event = NULL;
2087 ves_icall_System_Threading_Thread_Resume (MonoThread *thread)
2089 if (!mono_thread_resume (thread))
2090 mono_raise_exception (mono_get_exception_thread_state ("Thread has not been started, or is dead."));
2094 find_wrapper (MonoMethod *m, gint no, gint ilo, gboolean managed, gpointer data)
2099 if (m->wrapper_type == MONO_WRAPPER_RUNTIME_INVOKE ||
2100 m->wrapper_type == MONO_WRAPPER_XDOMAIN_INVOKE ||
2101 m->wrapper_type == MONO_WRAPPER_XDOMAIN_DISPATCH)
2103 *((gboolean*)data) = TRUE;
2110 is_running_protected_wrapper (void)
2112 gboolean found = FALSE;
2113 mono_stack_walk (find_wrapper, &found);
2117 void mono_thread_stop (MonoThread *thread)
2119 ensure_synch_cs_set (thread);
2121 EnterCriticalSection (thread->synch_cs);
2123 if ((thread->state & ThreadState_StopRequested) != 0 ||
2124 (thread->state & ThreadState_Stopped) != 0)
2126 LeaveCriticalSection (thread->synch_cs);
2130 /* Make sure the thread is awake */
2131 mono_thread_resume (thread);
2133 thread->state |= ThreadState_StopRequested;
2134 thread->state &= ~ThreadState_AbortRequested;
2136 LeaveCriticalSection (thread->synch_cs);
2138 signal_thread_state_change (thread);
2142 ves_icall_System_Threading_Thread_VolatileRead1 (void *ptr)
2144 return *((volatile gint8 *) (ptr));
2148 ves_icall_System_Threading_Thread_VolatileRead2 (void *ptr)
2150 return *((volatile gint16 *) (ptr));
2154 ves_icall_System_Threading_Thread_VolatileRead4 (void *ptr)
2156 return *((volatile gint32 *) (ptr));
2160 ves_icall_System_Threading_Thread_VolatileRead8 (void *ptr)
2162 return *((volatile gint64 *) (ptr));
2166 ves_icall_System_Threading_Thread_VolatileReadIntPtr (void *ptr)
2168 return (void *) *((volatile void **) ptr);
2172 ves_icall_System_Threading_Thread_VolatileWrite1 (void *ptr, gint8 value)
2174 *((volatile gint8 *) ptr) = value;
2178 ves_icall_System_Threading_Thread_VolatileWrite2 (void *ptr, gint16 value)
2180 *((volatile gint16 *) ptr) = value;
2184 ves_icall_System_Threading_Thread_VolatileWrite4 (void *ptr, gint32 value)
2186 *((volatile gint32 *) ptr) = value;
2190 ves_icall_System_Threading_Thread_VolatileWrite8 (void *ptr, gint64 value)
2192 *((volatile gint64 *) ptr) = value;
2196 ves_icall_System_Threading_Thread_VolatileWriteIntPtr (void *ptr, void *value)
2198 *((volatile void **) ptr) = value;
2201 void mono_thread_init (MonoThreadStartCB start_cb,
2202 MonoThreadAttachCB attach_cb)
2204 MONO_GC_REGISTER_ROOT (small_id_table);
2205 InitializeCriticalSection(&threads_mutex);
2206 InitializeCriticalSection(&interlocked_mutex);
2207 InitializeCriticalSection(&contexts_mutex);
2208 InitializeCriticalSection(&delayed_free_table_mutex);
2209 InitializeCriticalSection(&small_id_mutex);
2211 background_change_event = CreateEvent (NULL, TRUE, FALSE, NULL);
2212 g_assert(background_change_event != NULL);
2214 mono_init_static_data_info (&thread_static_info);
2215 mono_init_static_data_info (&context_static_info);
2217 current_object_key=TlsAlloc();
2218 THREAD_DEBUG (g_message ("%s: Allocated current_object_key %d", __func__, current_object_key));
2220 mono_thread_start_cb = start_cb;
2221 mono_thread_attach_cb = attach_cb;
2223 delayed_free_table = g_array_new (FALSE, FALSE, sizeof (DelayedFreeItem));
2225 /* Get a pseudo handle to the current process. This is just a
2226 * kludge so that wapi can build a process handle if needed.
2227 * As a pseudo handle is returned, we don't need to clean
2230 GetCurrentProcess ();
2233 void mono_thread_cleanup (void)
2235 #if !defined(PLATFORM_WIN32) && !defined(RUN_IN_SUBTHREAD)
2236 /* The main thread must abandon any held mutexes (particularly
2237 * important for named mutexes as they are shared across
2238 * processes, see bug 74680.) This will happen when the
2239 * thread exits, but if it's not running in a subthread it
2240 * won't exit in time.
2242 /* Using non-w32 API is a nasty kludge, but I couldn't find
2243 * anything in the documentation that would let me do this
2244 * here yet still be safe to call on windows.
2246 _wapi_thread_signal_self (mono_environment_exitcode_get ());
2250 /* This stuff needs more testing, it seems one of these
2251 * critical sections can be locked when mono_thread_cleanup is
2254 DeleteCriticalSection (&threads_mutex);
2255 DeleteCriticalSection (&interlocked_mutex);
2256 DeleteCriticalSection (&contexts_mutex);
2257 DeleteCriticalSection (&delayed_free_table_mutex);
2258 DeleteCriticalSection (&small_id_mutex);
2259 CloseHandle (background_change_event);
2262 g_array_free (delayed_free_table, TRUE);
2264 TlsFree (current_object_key);
2268 mono_threads_install_cleanup (MonoThreadCleanupFunc func)
2270 mono_thread_cleanup_fn = func;
2274 static void print_tids (gpointer key, gpointer value, gpointer user)
2276 /* GPOINTER_TO_UINT breaks horribly if sizeof(void *) >
2277 * sizeof(uint) and a cast to uint would overflow
2279 /* Older versions of glib don't have G_GSIZE_FORMAT, so just
2280 * print this as a pointer.
2282 g_message ("Waiting for: %p", key);
2287 HANDLE handles[MAXIMUM_WAIT_OBJECTS];
2288 MonoThread *threads[MAXIMUM_WAIT_OBJECTS];
2292 static void wait_for_tids (struct wait_data *wait, guint32 timeout)
2296 THREAD_DEBUG (g_message("%s: %d threads to wait for in this batch", __func__, wait->num));
2298 ret=WaitForMultipleObjectsEx(wait->num, wait->handles, TRUE, timeout, FALSE);
2300 if(ret==WAIT_FAILED) {
2301 /* See the comment in build_wait_tids() */
2302 THREAD_DEBUG (g_message ("%s: Wait failed", __func__));
2306 for(i=0; i<wait->num; i++)
2307 CloseHandle (wait->handles[i]);
2309 if (ret == WAIT_TIMEOUT)
2312 for(i=0; i<wait->num; i++) {
2313 gsize tid = wait->threads[i]->tid;
2315 mono_threads_lock ();
2316 if(mono_g_hash_table_lookup (threads, (gpointer)tid)!=NULL) {
2317 /* This thread must have been killed, because
2318 * it hasn't cleaned itself up. (It's just
2319 * possible that the thread exited before the
2320 * parent thread had a chance to store the
2321 * handle, and now there is another pointer to
2322 * the already-exited thread stored. In this
2323 * case, we'll just get two
2324 * mono_profiler_thread_end() calls for the
2328 mono_threads_unlock ();
2329 THREAD_DEBUG (g_message ("%s: cleaning up after thread %p (%"G_GSIZE_FORMAT")", __func__, wait->threads[i], tid));
2330 thread_cleanup (wait->threads[i]);
2332 mono_threads_unlock ();
2337 static void wait_for_tids_or_state_change (struct wait_data *wait, guint32 timeout)
2339 guint32 i, ret, count;
2341 THREAD_DEBUG (g_message("%s: %d threads to wait for in this batch", __func__, wait->num));
2343 /* Add the thread state change event, so it wakes up if a thread changes
2344 * to background mode.
2347 if (count < MAXIMUM_WAIT_OBJECTS) {
2348 wait->handles [count] = background_change_event;
2352 ret=WaitForMultipleObjectsEx (count, wait->handles, FALSE, timeout, FALSE);
2354 if(ret==WAIT_FAILED) {
2355 /* See the comment in build_wait_tids() */
2356 THREAD_DEBUG (g_message ("%s: Wait failed", __func__));
2360 for(i=0; i<wait->num; i++)
2361 CloseHandle (wait->handles[i]);
2363 if (ret == WAIT_TIMEOUT)
2366 if (ret < wait->num) {
2367 gsize tid = wait->threads[ret]->tid;
2368 mono_threads_lock ();
2369 if (mono_g_hash_table_lookup (threads, (gpointer)tid)!=NULL) {
2370 /* See comment in wait_for_tids about thread cleanup */
2371 mono_threads_unlock ();
2372 THREAD_DEBUG (g_message ("%s: cleaning up after thread %"G_GSIZE_FORMAT, __func__, tid));
2373 thread_cleanup (wait->threads [ret]);
2375 mono_threads_unlock ();
2379 static void build_wait_tids (gpointer key, gpointer value, gpointer user)
2381 struct wait_data *wait=(struct wait_data *)user;
2383 if(wait->num<MAXIMUM_WAIT_OBJECTS) {
2385 MonoThread *thread=(MonoThread *)value;
2387 /* Ignore background threads, we abort them later */
2388 /* Do not lock here since it is not needed and the caller holds threads_lock */
2389 if (thread->state & ThreadState_Background) {
2390 THREAD_DEBUG (g_message ("%s: ignoring background thread %"G_GSIZE_FORMAT, __func__, (gsize)thread->tid));
2391 return; /* just leave, ignore */
2394 if (mono_gc_is_finalizer_thread (thread)) {
2395 THREAD_DEBUG (g_message ("%s: ignoring finalizer thread %"G_GSIZE_FORMAT, __func__, (gsize)thread->tid));
2399 if (thread == mono_thread_current ()) {
2400 THREAD_DEBUG (g_message ("%s: ignoring current thread %"G_GSIZE_FORMAT, __func__, (gsize)thread->tid));
2404 if (thread == mono_thread_get_main ()) {
2405 THREAD_DEBUG (g_message ("%s: ignoring main thread %"G_GSIZE_FORMAT, __func__, (gsize)thread->tid));
2409 handle = OpenThread (THREAD_ALL_ACCESS, TRUE, thread->tid);
2410 if (handle == NULL) {
2411 THREAD_DEBUG (g_message ("%s: ignoring unopenable thread %"G_GSIZE_FORMAT, __func__, (gsize)thread->tid));
2415 wait->handles[wait->num]=handle;
2416 wait->threads[wait->num]=thread;
2419 THREAD_DEBUG (g_message ("%s: adding thread %"G_GSIZE_FORMAT, __func__, (gsize)thread->tid));
2421 /* Just ignore the rest, we can't do anything with
2428 remove_and_abort_threads (gpointer key, gpointer value, gpointer user)
2430 struct wait_data *wait=(struct wait_data *)user;
2431 gsize self = GetCurrentThreadId ();
2432 MonoThread *thread = (MonoThread *) value;
2435 if (wait->num >= MAXIMUM_WAIT_OBJECTS)
2438 /* The finalizer thread is not a background thread */
2439 if (thread->tid != self && (thread->state & ThreadState_Background) != 0) {
2441 handle = OpenThread (THREAD_ALL_ACCESS, TRUE, thread->tid);
2445 if(thread->state & ThreadState_AbortRequested ||
2446 thread->state & ThreadState_Aborted) {
2447 THREAD_DEBUG (g_message ("%s: Thread id %"G_GSIZE_FORMAT" already aborting", __func__, (gsize)thread->tid));
2451 /* printf ("A: %d\n", wait->num); */
2452 wait->handles[wait->num]=thread->handle;
2453 wait->threads[wait->num]=thread;
2456 THREAD_DEBUG (g_print ("%s: Aborting id: %"G_GSIZE_FORMAT"\n", __func__, (gsize)thread->tid));
2457 mono_thread_stop (thread);
2461 return (thread->tid != self && !mono_gc_is_finalizer_thread (thread));
2464 void mono_thread_manage (void)
2466 struct wait_data *wait=g_new0 (struct wait_data, 1);
2468 /* join each thread that's still running */
2469 THREAD_DEBUG (g_message ("%s: Joining each running thread...", __func__));
2471 mono_threads_lock ();
2473 THREAD_DEBUG (g_message("%s: No threads", __func__));
2474 mono_threads_unlock ();
2477 mono_threads_unlock ();
2480 mono_threads_lock ();
2481 THREAD_DEBUG (g_message ("%s: There are %d threads to join", __func__, mono_g_hash_table_size (threads));
2482 mono_g_hash_table_foreach (threads, print_tids, NULL));
2484 ResetEvent (background_change_event);
2486 mono_g_hash_table_foreach (threads, build_wait_tids, wait);
2487 mono_threads_unlock ();
2489 /* Something to wait for */
2490 wait_for_tids_or_state_change (wait, INFINITE);
2492 THREAD_DEBUG (g_message ("%s: I have %d threads after waiting.", __func__, wait->num));
2493 } while(wait->num>0);
2495 mono_runtime_set_shutting_down ();
2497 THREAD_DEBUG (g_message ("%s: threadpool cleanup", __func__));
2498 mono_thread_pool_cleanup ();
2501 * Remove everything but the finalizer thread and self.
2502 * Also abort all the background threads
2505 mono_threads_lock ();
2508 mono_g_hash_table_foreach_remove (threads, remove_and_abort_threads, wait);
2510 mono_threads_unlock ();
2512 THREAD_DEBUG (g_message ("%s: wait->num is now %d", __func__, wait->num));
2514 /* Something to wait for */
2515 wait_for_tids (wait, INFINITE);
2517 } while (wait->num > 0);
2520 * give the subthreads a chance to really quit (this is mainly needed
2521 * to get correct user and system times from getrusage/wait/time(1)).
2522 * This could be removed if we avoid pthread_detach() and use pthread_join().
2524 #ifndef PLATFORM_WIN32
2531 static void terminate_thread (gpointer key, gpointer value, gpointer user)
2533 MonoThread *thread=(MonoThread *)value;
2535 if(thread->tid != (gsize)user) {
2536 /*TerminateThread (thread->handle, -1);*/
2540 void mono_thread_abort_all_other_threads (void)
2542 gsize self = GetCurrentThreadId ();
2544 mono_threads_lock ();
2545 THREAD_DEBUG (g_message ("%s: There are %d threads to abort", __func__,
2546 mono_g_hash_table_size (threads));
2547 mono_g_hash_table_foreach (threads, print_tids, NULL));
2549 mono_g_hash_table_foreach (threads, terminate_thread, (gpointer)self);
2551 mono_threads_unlock ();
2555 collect_threads (gpointer key, gpointer value, gpointer user_data)
2557 MonoThread *thread = (MonoThread*)value;
2558 struct wait_data *wait = (struct wait_data*)user_data;
2561 if (wait->num<MAXIMUM_WAIT_OBJECTS) {
2562 handle = OpenThread (THREAD_ALL_ACCESS, TRUE, thread->tid);
2566 wait->handles [wait->num] = handle;
2567 wait->threads [wait->num] = thread;
2573 * mono_thread_suspend_all_other_threads:
2575 * Suspend all managed threads except the finalizer thread and this thread.
2577 void mono_thread_suspend_all_other_threads (void)
2579 struct wait_data *wait = g_new0 (struct wait_data, 1);
2581 gsize self = GetCurrentThreadId ();
2583 guint32 eventidx = 0;
2586 * Make a copy of the hashtable since we can't do anything with
2587 * threads while threads_mutex is held.
2589 mono_threads_lock ();
2590 mono_g_hash_table_foreach (threads, collect_threads, wait);
2591 mono_threads_unlock ();
2593 events = g_new0 (gpointer, wait->num);
2595 /* Get the suspended events that we'll be waiting for */
2596 for (i = 0; i < wait->num; ++i) {
2597 MonoThread *thread = wait->threads [i];
2599 if ((thread->tid == self) || mono_gc_is_finalizer_thread (thread)) {
2600 //CloseHandle (wait->handles [i]);
2601 wait->threads [i] = NULL; /* ignore this thread in next loop */
2605 ensure_synch_cs_set (thread);
2607 EnterCriticalSection (thread->synch_cs);
2609 if ((thread->state & ThreadState_Suspended) != 0 ||
2610 (thread->state & ThreadState_SuspendRequested) != 0 ||
2611 (thread->state & ThreadState_StopRequested) != 0 ||
2612 (thread->state & ThreadState_Stopped) != 0) {
2613 LeaveCriticalSection (thread->synch_cs);
2614 CloseHandle (wait->handles [i]);
2615 wait->threads [i] = NULL; /* ignore this thread in next loop */
2619 /* Convert abort requests into suspend requests */
2620 if ((thread->state & ThreadState_AbortRequested) != 0)
2621 thread->state &= ~ThreadState_AbortRequested;
2623 thread->state |= ThreadState_SuspendRequested;
2625 if (thread->suspended_event == NULL) {
2626 thread->suspended_event = CreateEvent (NULL, TRUE, FALSE, NULL);
2627 if (thread->suspended_event == NULL) {
2628 /* Forget this one and go on to the next */
2629 LeaveCriticalSection (thread->synch_cs);
2634 events [eventidx++] = thread->suspended_event;
2635 LeaveCriticalSection (thread->synch_cs);
2637 /* Signal the thread to suspend */
2638 signal_thread_state_change (thread);
2641 WaitForMultipleObjectsEx (eventidx, events, TRUE, INFINITE, FALSE);
2642 for (i = 0; i < wait->num; ++i) {
2643 MonoThread *thread = wait->threads [i];
2648 EnterCriticalSection (thread->synch_cs);
2649 CloseHandle (thread->suspended_event);
2650 thread->suspended_event = NULL;
2651 LeaveCriticalSection (thread->synch_cs);
2659 * mono_threads_request_thread_dump:
2661 * Ask all threads except the current to print their stacktrace to stdout.
2664 mono_threads_request_thread_dump (void)
2666 struct wait_data *wait = g_new0 (struct wait_data, 1);
2670 * Make a copy of the hashtable since we can't do anything with
2671 * threads while threads_mutex is held.
2673 mono_threads_lock ();
2674 mono_g_hash_table_foreach (threads, collect_threads, wait);
2675 mono_threads_unlock ();
2677 for (i = 0; i < wait->num; ++i) {
2678 MonoThread *thread = wait->threads [i];
2680 if (!mono_gc_is_finalizer_thread (thread) && (thread != mono_thread_current ()) && !thread->thread_dump_requested) {
2681 thread->thread_dump_requested = TRUE;
2683 signal_thread_state_change (thread);
2686 CloseHandle (wait->handles [i]);
2691 * mono_thread_push_appdomain_ref:
2693 * Register that the current thread may have references to objects in domain
2694 * @domain on its stack. Each call to this function should be paired with a
2695 * call to pop_appdomain_ref.
2698 mono_thread_push_appdomain_ref (MonoDomain *domain)
2700 MonoThread *thread = mono_thread_current ();
2703 /* printf ("PUSH REF: %"G_GSIZE_FORMAT" -> %s.\n", (gsize)thread->tid, domain->friendly_name); */
2704 mono_threads_lock ();
2705 thread->appdomain_refs = g_slist_prepend (thread->appdomain_refs, domain);
2706 mono_threads_unlock ();
2711 mono_thread_pop_appdomain_ref (void)
2713 MonoThread *thread = mono_thread_current ();
2716 /* printf ("POP REF: %"G_GSIZE_FORMAT" -> %s.\n", (gsize)thread->tid, ((MonoDomain*)(thread->appdomain_refs->data))->friendly_name); */
2717 mono_threads_lock ();
2718 /* FIXME: How can the list be empty ? */
2719 if (thread->appdomain_refs)
2720 thread->appdomain_refs = g_slist_remove (thread->appdomain_refs, thread->appdomain_refs->data);
2721 mono_threads_unlock ();
2726 mono_thread_has_appdomain_ref (MonoThread *thread, MonoDomain *domain)
2729 mono_threads_lock ();
2730 res = g_slist_find (thread->appdomain_refs, domain) != NULL;
2731 mono_threads_unlock ();
2735 typedef struct abort_appdomain_data {
2736 struct wait_data wait;
2738 } abort_appdomain_data;
2741 abort_appdomain_thread (gpointer key, gpointer value, gpointer user_data)
2743 MonoThread *thread = (MonoThread*)value;
2744 abort_appdomain_data *data = (abort_appdomain_data*)user_data;
2745 MonoDomain *domain = data->domain;
2747 if (mono_thread_has_appdomain_ref (thread, domain)) {
2748 /* printf ("ABORTING THREAD %p BECAUSE IT REFERENCES DOMAIN %s.\n", thread->tid, domain->friendly_name); */
2750 ves_icall_System_Threading_Thread_Abort (thread, NULL);
2752 if(data->wait.num<MAXIMUM_WAIT_OBJECTS) {
2753 HANDLE handle = OpenThread (THREAD_ALL_ACCESS, TRUE, thread->tid);
2756 data->wait.handles [data->wait.num] = handle;
2757 data->wait.threads [data->wait.num] = thread;
2760 /* Just ignore the rest, we can't do anything with
2768 * mono_threads_abort_appdomain_threads:
2770 * Abort threads which has references to the given appdomain.
2773 mono_threads_abort_appdomain_threads (MonoDomain *domain, int timeout)
2775 abort_appdomain_data user_data;
2778 THREAD_DEBUG (g_message ("%s: starting abort", __func__));
2780 start_time = GetTickCount ();
2782 mono_threads_lock ();
2784 user_data.domain = domain;
2785 user_data.wait.num = 0;
2786 mono_g_hash_table_foreach (threads, abort_appdomain_thread, &user_data);
2787 mono_threads_unlock ();
2789 if (user_data.wait.num > 0)
2791 * We should wait for the threads either to abort, or to leave the
2792 * domain. We can't do the latter, so we wait with a timeout.
2794 wait_for_tids (&user_data.wait, 100);
2796 /* Update remaining time */
2797 timeout -= GetTickCount () - start_time;
2798 start_time = GetTickCount ();
2803 while (user_data.wait.num > 0);
2805 THREAD_DEBUG (g_message ("%s: abort done", __func__));
2811 clear_cached_culture (gpointer key, gpointer value, gpointer user_data)
2813 MonoThread *thread = (MonoThread*)value;
2814 MonoDomain *domain = (MonoDomain*)user_data;
2817 /* No locking needed here */
2818 /* FIXME: why no locking? writes to the cache are protected with synch_cs above */
2820 if (thread->cached_culture_info) {
2821 for (i = 0; i < NUM_CACHED_CULTURES * 2; ++i) {
2822 MonoObject *obj = mono_array_get (thread->cached_culture_info, MonoObject*, i);
2823 if (obj && obj->vtable->domain == domain)
2824 mono_array_set (thread->cached_culture_info, MonoObject*, i, NULL);
2830 * mono_threads_clear_cached_culture:
2832 * Clear the cached_current_culture from all threads if it is in the
2836 mono_threads_clear_cached_culture (MonoDomain *domain)
2838 mono_threads_lock ();
2839 mono_g_hash_table_foreach (threads, clear_cached_culture, domain);
2840 mono_threads_unlock ();
2844 * mono_thread_get_pending_exception:
2846 * Return an exception which needs to be raised when leaving a catch clause.
2847 * This is used for undeniable exception propagation.
2850 mono_thread_get_pending_exception (void)
2852 MonoThread *thread = mono_thread_current ();
2854 MONO_ARCH_SAVE_REGS;
2856 if (thread && thread->abort_exc && !is_running_protected_wrapper ()) {
2858 * FIXME: Clear the abort exception and return an AppDomainUnloaded
2859 * exception if the thread no longer references a dying appdomain.
2861 thread->abort_exc->trace_ips = NULL;
2862 thread->abort_exc->stack_trace = NULL;
2863 return thread->abort_exc;
2869 #define NUM_STATIC_DATA_IDX 8
2870 static const int static_data_size [NUM_STATIC_DATA_IDX] = {
2871 1024, 4096, 16384, 65536, 262144, 1048576, 4194304, 16777216
2876 * mono_alloc_static_data
2878 * Allocate memory blocks for storing threads or context static data
2881 mono_alloc_static_data (gpointer **static_data_ptr, guint32 offset)
2883 guint idx = (offset >> 24) - 1;
2886 gpointer* static_data = *static_data_ptr;
2888 static_data = mono_gc_alloc_fixed (static_data_size [0], NULL);
2889 *static_data_ptr = static_data;
2890 static_data [0] = static_data;
2893 for (i = 1; i <= idx; ++i) {
2894 if (static_data [i])
2896 static_data [i] = mono_gc_alloc_fixed (static_data_size [i], NULL);
2901 * mono_init_static_data_info
2903 * Initializes static data counters
2905 static void mono_init_static_data_info (StaticDataInfo *static_data)
2907 static_data->idx = 0;
2908 static_data->offset = 0;
2909 static_data->freelist = NULL;
2913 * mono_alloc_static_data_slot
2915 * Generates an offset for static data. static_data contains the counters
2916 * used to generate it.
2919 mono_alloc_static_data_slot (StaticDataInfo *static_data, guint32 size, guint32 align)
2923 if (!static_data->idx && !static_data->offset) {
2925 * we use the first chunk of the first allocation also as
2926 * an array for the rest of the data
2928 static_data->offset = sizeof (gpointer) * NUM_STATIC_DATA_IDX;
2930 static_data->offset += align - 1;
2931 static_data->offset &= ~(align - 1);
2932 if (static_data->offset + size >= static_data_size [static_data->idx]) {
2933 static_data->idx ++;
2934 g_assert (size <= static_data_size [static_data->idx]);
2935 g_assert (static_data->idx < NUM_STATIC_DATA_IDX);
2936 static_data->offset = 0;
2938 offset = static_data->offset | ((static_data->idx + 1) << 24);
2939 static_data->offset += size;
2944 * ensure thread static fields already allocated are valid for thread
2945 * This function is called when a thread is created or on thread attach.
2948 thread_adjust_static_data (MonoThread *thread)
2952 mono_threads_lock ();
2953 if (thread_static_info.offset || thread_static_info.idx > 0) {
2954 /* get the current allocated size */
2955 offset = thread_static_info.offset | ((thread_static_info.idx + 1) << 24);
2956 mono_alloc_static_data (&(thread->static_data), offset);
2958 mono_threads_unlock ();
2962 alloc_thread_static_data_helper (gpointer key, gpointer value, gpointer user)
2964 MonoThread *thread = value;
2965 guint32 offset = GPOINTER_TO_UINT (user);
2967 mono_alloc_static_data (&(thread->static_data), offset);
2970 static MonoThreadDomainTls*
2971 search_tls_slot_in_freelist (StaticDataInfo *static_data, guint32 size, guint32 align)
2973 MonoThreadDomainTls* prev = NULL;
2974 MonoThreadDomainTls* tmp = static_data->freelist;
2976 if (tmp->size == size) {
2978 prev->next = tmp->next;
2980 static_data->freelist = tmp->next;
2989 * The offset for a special static variable is composed of three parts:
2990 * a bit that indicates the type of static data (0:thread, 1:context),
2991 * an index in the array of chunks of memory for the thread (thread->static_data)
2992 * and an offset in that chunk of mem. This allows allocating less memory in the
2997 mono_alloc_special_static_data (guint32 static_type, guint32 size, guint32 align)
3000 if (static_type == SPECIAL_STATIC_THREAD)
3002 MonoThreadDomainTls *item;
3003 mono_threads_lock ();
3004 item = search_tls_slot_in_freelist (&thread_static_info, size, align);
3005 /*g_print ("TLS alloc: %d in domain %p (total: %d), cached: %p\n", size, mono_domain_get (), thread_static_info.offset, item);*/
3007 offset = item->offset;
3010 offset = mono_alloc_static_data_slot (&thread_static_info, size, align);
3012 /* This can be called during startup */
3013 if (threads != NULL)
3014 mono_g_hash_table_foreach (threads, alloc_thread_static_data_helper, GUINT_TO_POINTER (offset));
3015 mono_threads_unlock ();
3019 g_assert (static_type == SPECIAL_STATIC_CONTEXT);
3020 mono_contexts_lock ();
3021 offset = mono_alloc_static_data_slot (&context_static_info, size, align);
3022 mono_contexts_unlock ();
3023 offset |= 0x80000000; /* Set the high bit to indicate context static data */
3029 mono_get_special_static_data (guint32 offset)
3031 /* The high bit means either thread (0) or static (1) data. */
3033 guint32 static_type = (offset & 0x80000000);
3036 offset &= 0x7fffffff;
3037 idx = (offset >> 24) - 1;
3039 if (static_type == 0)
3041 MonoThread *thread = mono_thread_current ();
3042 return ((char*) thread->static_data [idx]) + (offset & 0xffffff);
3046 /* Allocate static data block under demand, since we don't have a list
3049 MonoAppContext *context = mono_context_get ();
3050 if (!context->static_data || !context->static_data [idx]) {
3051 mono_contexts_lock ();
3052 mono_alloc_static_data (&(context->static_data), offset);
3053 mono_contexts_unlock ();
3055 return ((char*) context->static_data [idx]) + (offset & 0xffffff);
3065 free_thread_static_data_helper (gpointer key, gpointer value, gpointer user)
3067 MonoThread *thread = value;
3068 TlsOffsetSize *data = user;
3069 int idx = (data->offset >> 24) - 1;
3072 if (!thread->static_data || !thread->static_data [idx])
3074 ptr = ((char*) thread->static_data [idx]) + (data->offset & 0xffffff);
3075 memset (ptr, 0, data->size);
3079 do_free_special (gpointer key, gpointer value, gpointer data)
3081 MonoClassField *field = key;
3082 guint32 offset = GPOINTER_TO_UINT (value);
3083 guint32 static_type = (offset & 0x80000000);
3086 size = mono_type_size (field->type, &align);
3087 /*g_print ("free %s , size: %d, offset: %x\n", field->name, size, offset);*/
3088 if (static_type == 0) {
3090 MonoThreadDomainTls *item = g_new0 (MonoThreadDomainTls, 1);
3091 data.offset = offset & 0x7fffffff;
3093 if (threads != NULL)
3094 mono_g_hash_table_foreach (threads, free_thread_static_data_helper, &data);
3095 item->offset = offset;
3097 item->next = thread_static_info.freelist;
3098 thread_static_info.freelist = item;
3100 /* FIXME: free context static data as well */
3105 mono_alloc_special_static_data_free (GHashTable *special_static_fields)
3107 mono_threads_lock ();
3108 g_hash_table_foreach (special_static_fields, do_free_special, NULL);
3109 mono_threads_unlock ();
3112 static MonoClassField *local_slots = NULL;
3115 /* local tls data to get locals_slot from a thread */
3118 /* index in the locals_slot array */
3123 clear_local_slot (gpointer key, gpointer value, gpointer user_data)
3125 LocalSlotID *sid = user_data;
3126 MonoThread *thread = (MonoThread*)value;
3127 MonoArray *slots_array;
3129 * the static field is stored at: ((char*) thread->static_data [idx]) + (offset & 0xffffff);
3130 * it is for the right domain, so we need to check if it is allocated an initialized
3131 * for the current thread.
3133 /*g_print ("handling thread %p\n", thread);*/
3134 if (!thread->static_data || !thread->static_data [sid->idx])
3136 slots_array = *(MonoArray **)(((char*) thread->static_data [sid->idx]) + (sid->offset & 0xffffff));
3137 if (!slots_array || sid->slot >= mono_array_length (slots_array))
3139 mono_array_set (slots_array, MonoObject*, sid->slot, NULL);
3143 mono_thread_free_local_slot_values (int slot, MonoBoolean thread_local)
3151 local_slots = mono_class_get_field_from_name (mono_defaults.thread_class, "local_slots");
3153 g_warning ("local_slots field not found in Thread class");
3157 domain = mono_domain_get ();
3158 mono_domain_lock (domain);
3159 if (domain->special_static_fields)
3160 addr = g_hash_table_lookup (domain->special_static_fields, local_slots);
3161 mono_domain_unlock (domain);
3164 /*g_print ("freeing slot %d at %p\n", slot, addr);*/
3165 sid.offset = GPOINTER_TO_UINT (addr);
3166 sid.offset &= 0x7fffffff;
3167 sid.idx = (sid.offset >> 24) - 1;
3168 mono_threads_lock ();
3169 mono_g_hash_table_foreach (threads, clear_local_slot, &sid);
3170 mono_threads_unlock ();
3172 /* FIXME: clear the slot for MonoAppContexts, too */
3176 #ifdef PLATFORM_WIN32
3177 static void CALLBACK dummy_apc (ULONG_PTR param)
3181 static guint32 dummy_apc (gpointer param)
3188 * mono_thread_execute_interruption
3190 * Performs the operation that the requested thread state requires (abort,
3193 static MonoException* mono_thread_execute_interruption (MonoThread *thread)
3195 ensure_synch_cs_set (thread);
3197 EnterCriticalSection (thread->synch_cs);
3199 if (thread->interruption_requested) {
3200 /* this will consume pending APC calls */
3201 WaitForSingleObjectEx (GetCurrentThread(), 0, TRUE);
3202 InterlockedDecrement (&thread_interruption_requested);
3203 thread->interruption_requested = FALSE;
3206 if ((thread->state & ThreadState_AbortRequested) != 0) {
3207 if (thread->abort_exc == NULL)
3208 MONO_OBJECT_SETREF (thread, abort_exc, mono_get_exception_thread_abort ());
3209 LeaveCriticalSection (thread->synch_cs);
3210 return thread->abort_exc;
3212 else if ((thread->state & ThreadState_SuspendRequested) != 0) {
3213 thread->state &= ~ThreadState_SuspendRequested;
3214 thread->state |= ThreadState_Suspended;
3215 thread->suspend_event = CreateEvent (NULL, TRUE, FALSE, NULL);
3216 if (thread->suspend_event == NULL) {
3217 LeaveCriticalSection (thread->synch_cs);
3220 if (thread->suspended_event)
3221 SetEvent (thread->suspended_event);
3223 LeaveCriticalSection (thread->synch_cs);
3225 WaitForSingleObject (thread->suspend_event, INFINITE);
3227 EnterCriticalSection (thread->synch_cs);
3229 CloseHandle (thread->suspend_event);
3230 thread->suspend_event = NULL;
3231 thread->state &= ~ThreadState_Suspended;
3233 /* The thread that requested the resume will have replaced this event
3234 * and will be waiting for it
3236 SetEvent (thread->resume_event);
3238 LeaveCriticalSection (thread->synch_cs);
3242 else if ((thread->state & ThreadState_StopRequested) != 0) {
3243 /* FIXME: do this through the JIT? */
3245 LeaveCriticalSection (thread->synch_cs);
3247 mono_thread_exit ();
3249 } else if (thread->thread_interrupt_requested) {
3251 LeaveCriticalSection (thread->synch_cs);
3253 return(mono_get_exception_thread_interrupted ());
3256 LeaveCriticalSection (thread->synch_cs);
3262 * mono_thread_request_interruption
3264 * A signal handler can call this method to request the interruption of a
3265 * thread. The result of the interruption will depend on the current state of
3266 * the thread. If the result is an exception that needs to be throw, it is
3267 * provided as return value.
3269 MonoException* mono_thread_request_interruption (gboolean running_managed)
3271 MonoThread *thread = mono_thread_current ();
3273 /* The thread may already be stopping */
3277 ensure_synch_cs_set (thread);
3279 EnterCriticalSection (thread->synch_cs);
3281 if (thread->interruption_requested) {
3282 LeaveCriticalSection (thread->synch_cs);
3287 if (!running_managed || is_running_protected_wrapper ()) {
3288 /* Can't stop while in unmanaged code. Increase the global interruption
3289 request count. When exiting the unmanaged method the count will be
3290 checked and the thread will be interrupted. */
3292 InterlockedIncrement (&thread_interruption_requested);
3293 thread->interruption_requested = TRUE;
3295 LeaveCriticalSection (thread->synch_cs);
3297 /* this will awake the thread if it is in WaitForSingleObject
3299 QueueUserAPC ((PAPCFUNC)dummy_apc, thread->handle, NULL);
3303 LeaveCriticalSection (thread->synch_cs);
3305 return mono_thread_execute_interruption (thread);
3309 gboolean mono_thread_interruption_requested ()
3311 if (thread_interruption_requested) {
3312 MonoThread *thread = mono_thread_current ();
3313 /* The thread may already be stopping */
3315 return (thread->interruption_requested);
3320 static void mono_thread_interruption_checkpoint_request (gboolean bypass_abort_protection)
3322 MonoThread *thread = mono_thread_current ();
3324 /* The thread may already be stopping */
3328 if (thread->interruption_requested && (bypass_abort_protection || !is_running_protected_wrapper ())) {
3329 MonoException* exc = mono_thread_execute_interruption (thread);
3330 if (exc) mono_raise_exception (exc);
3335 * Performs the interruption of the current thread, if one has been requested,
3336 * and the thread is not running a protected wrapper.
3338 void mono_thread_interruption_checkpoint ()
3340 mono_thread_interruption_checkpoint_request (FALSE);
3344 * Performs the interruption of the current thread, if one has been requested.
3346 void mono_thread_force_interruption_checkpoint ()
3348 mono_thread_interruption_checkpoint_request (TRUE);
3352 * mono_thread_interruption_request_flag:
3354 * Returns the address of a flag that will be non-zero if an interruption has
3355 * been requested for a thread. The thread to interrupt may not be the current
3356 * thread, so an additional call to mono_thread_interruption_requested() or
3357 * mono_thread_interruption_checkpoint() is allways needed if the flag is not
3360 gint32* mono_thread_interruption_request_flag ()
3362 return &thread_interruption_requested;
3366 mono_thread_init_apartment_state (void)
3369 thread = mono_thread_current ();
3371 #ifdef PLATFORM_WIN32
3372 /* Positive return value indicates success, either
3373 * S_OK if this is first CoInitialize call, or
3374 * S_FALSE if CoInitialize already called, but with same
3375 * threading model. A negative value indicates failure,
3376 * probably due to trying to change the threading model.
3378 if (CoInitializeEx(NULL, (thread->apartment_state == ThreadApartmentState_STA)
3379 ? COINIT_APARTMENTTHREADED
3380 : COINIT_MULTITHREADED) < 0) {
3381 thread->apartment_state = ThreadApartmentState_Unknown;
3387 mono_thread_cleanup_apartment_state (void)
3389 #ifdef PLATFORM_WIN32
3391 thread = mono_thread_current ();
3393 if (thread && thread->apartment_state != ThreadApartmentState_Unknown) {
3400 mono_thread_set_state (MonoThread *thread, MonoThreadState state)
3402 ensure_synch_cs_set (thread);
3404 EnterCriticalSection (thread->synch_cs);
3405 thread->state |= state;
3406 LeaveCriticalSection (thread->synch_cs);
3410 mono_thread_clr_state (MonoThread *thread, MonoThreadState state)
3412 ensure_synch_cs_set (thread);
3414 EnterCriticalSection (thread->synch_cs);
3415 thread->state &= ~state;
3416 LeaveCriticalSection (thread->synch_cs);
3420 mono_thread_test_state (MonoThread *thread, MonoThreadState test)
3422 gboolean ret = FALSE;
3424 ensure_synch_cs_set (thread);
3426 EnterCriticalSection (thread->synch_cs);
3428 if ((thread->state & test) != 0) {
3432 LeaveCriticalSection (thread->synch_cs);