X-Git-Url: http://git.sourceforge.jp/view?a=blobdiff_plain;f=libjava%2Fposix-threads.cc;h=6ea724b3be8f51fdc2dd6801ed8f8e19bdf5b2a3;hb=258d332bd2fb1463c12ab74cc33c15ba140b3a31;hp=48f0a7f738f18c9f062efbc3adc931c7825db6bb;hpb=b99476d8779c76e61aa96b78a3123d3550a65e19;p=pf3gnuchains%2Fgcc-fork.git diff --git a/libjava/posix-threads.cc b/libjava/posix-threads.cc index 48f0a7f738f..6ea724b3be8 100644 --- a/libjava/posix-threads.cc +++ b/libjava/posix-threads.cc @@ -1,6 +1,6 @@ // posix-threads.cc - interface between libjava and POSIX threads. -/* Copyright (C) 1998, 1999 Cygnus Solutions +/* Copyright (C) 1998, 1999, 2000, 2001, 2004, 2006 Free Software Foundation This file is part of libgcj. @@ -13,31 +13,35 @@ details. */ #include +#include "posix.h" + // If we're using the Boehm GC, then we need to override some of the // thread primitives. This is fairly gross. #ifdef HAVE_BOEHM_GC -extern "C" -{ -#include #include -}; #endif /* HAVE_BOEHM_GC */ #include #include #include #include +#include +#ifdef HAVE_UNISTD_H +#include // To test for _POSIX_THREAD_PRIORITY_SCHEDULING +#endif -#include +#include #include #include #include +#include +#include +#include // This is used to implement thread startup. struct starter { _Jv_ThreadStartFunc *method; - java::lang::Thread *object; _Jv_Thread_t *data; }; @@ -46,6 +50,10 @@ struct starter // threads, so it is ok to make it a global here. pthread_key_t _Jv_ThreadKey; +// This is the key used to map from the POSIX thread value back to the +// _Jv_Thread_t* representing the thread. +pthread_key_t _Jv_ThreadDataKey; + // We keep a count of all non-daemon threads which are running. When // this reaches zero, _Jv_ThreadWait returns. static pthread_mutex_t daemon_mutex; @@ -53,8 +61,9 @@ static pthread_cond_t daemon_cond; static int non_daemon_count; // The signal to use when interrupting a thread. -#ifdef LINUX_THREADS - // LinuxThreads usurps both SIGUSR1 and SIGUSR2. +#if defined(LINUX_THREADS) || defined(FREEBSD_THREADS) + // LinuxThreads (prior to glibc 2.1) usurps both SIGUSR1 and SIGUSR2. + // GC on FreeBSD uses both SIGUSR1 and SIGUSR2. # define INTR SIGHUP #else /* LINUX_THREADS */ # define INTR SIGUSR2 @@ -72,149 +81,413 @@ static int non_daemon_count; int +_Jv_MutexLock (_Jv_Mutex_t *mu) +{ + pthread_t self = pthread_self (); + if (mu->owner == self) + { + mu->count++; + } + else + { + JvSetThreadState holder (_Jv_ThreadCurrent(), JV_BLOCKED); + +# ifdef LOCK_DEBUG + int result = pthread_mutex_lock (&mu->mutex); + if (0 != result) + { + fprintf(stderr, "Pthread_mutex_lock returned %d\n", result); + for (;;) {} + } +# else + pthread_mutex_lock (&mu->mutex); +# endif + mu->count = 1; + mu->owner = self; + } + return 0; +} + +// Wait for the condition variable "CV" to be notified. +// Return values: +// 0: the condition was notified, or the timeout expired. +// _JV_NOT_OWNER: the thread does not own the mutex "MU". +// _JV_INTERRUPTED: the thread was interrupted. Its interrupted flag is set. +int _Jv_CondWait (_Jv_ConditionVariable_t *cv, _Jv_Mutex_t *mu, jlong millis, jint nanos) { - int r; - pthread_mutex_t *pmu; -#ifdef HAVE_RECURSIVE_MUTEX - pmu = mu; + pthread_t self = pthread_self(); + if (mu->owner != self) + return _JV_NOT_OWNER; + + struct timespec ts; + + JvThreadState new_state = JV_WAITING; + if (millis > 0 || nanos > 0) + { + // Calculate the abstime corresponding to the timeout. + unsigned long long seconds; + unsigned long usec; + + // For better accuracy, should use pthread_condattr_setclock + // and clock_gettime. +#ifdef HAVE_GETTIMEOFDAY + timeval tv; + gettimeofday (&tv, NULL); + usec = tv.tv_usec; + seconds = tv.tv_sec; #else - pmu = &mu->mutex2; + unsigned long long startTime = java::lang::System::currentTimeMillis(); + seconds = startTime / 1000; + /* Assume we're about half-way through this millisecond. */ + usec = (startTime % 1000) * 1000 + 500; #endif - if (millis == 0 && nanos == 0) - r = pthread_cond_wait (cv, pmu); + /* These next two statements cannot overflow. */ + usec += nanos / 1000; + usec += (millis % 1000) * 1000; + /* These two statements could overflow only if tv.tv_sec was + insanely large. */ + seconds += millis / 1000; + seconds += usec / 1000000; + + ts.tv_sec = seconds; + if (ts.tv_sec < 0 || (unsigned long long)ts.tv_sec != seconds) + { + // We treat a timeout that won't fit into a struct timespec + // as a wait forever. + millis = nanos = 0; + } + else + /* This next statement also cannot overflow. */ + ts.tv_nsec = (usec % 1000000) * 1000 + (nanos % 1000); + } + + _Jv_Thread_t *current = _Jv_ThreadCurrentData (); + java::lang::Thread *current_obj = _Jv_ThreadCurrent (); + + pthread_mutex_lock (¤t->wait_mutex); + + // Now that we hold the wait mutex, check if this thread has been + // interrupted already. + if (current_obj->interrupt_flag) + { + pthread_mutex_unlock (¤t->wait_mutex); + return _JV_INTERRUPTED; + } + + // Set the thread's state. + JvSetThreadState holder (current_obj, new_state); + + // Add this thread to the cv's wait set. + current->next = NULL; + + if (cv->first == NULL) + cv->first = current; else + for (_Jv_Thread_t *t = cv->first;; t = t->next) + { + if (t->next == NULL) + { + t->next = current; + break; + } + } + + // Record the current lock depth, so it can be restored when we re-aquire it. + int count = mu->count; + + // Release the monitor mutex. + mu->count = 0; + mu->owner = 0; + pthread_mutex_unlock (&mu->mutex); + + int r = 0; + bool done_sleeping = false; + + while (! done_sleeping) { - struct timespec ts; - jlong m = millis + java::lang::System::currentTimeMillis (); - ts.tv_sec = m / 1000; - ts.tv_nsec = ((m % 1000) * 1000000) + nanos; - - r = pthread_cond_timedwait (cv, pmu, &ts); - /* A timeout is a normal result. */ - if (r && errno == ETIMEDOUT) - r = 0; + if (millis == 0 && nanos == 0) + r = pthread_cond_wait (¤t->wait_cond, ¤t->wait_mutex); + else + r = pthread_cond_timedwait (¤t->wait_cond, ¤t->wait_mutex, + &ts); + + // In older glibc's (prior to 2.1.3), the cond_wait functions may + // spuriously wake up on a signal. Catch that here. + if (r != EINTR) + done_sleeping = true; + } + + // Check for an interrupt *before* releasing the wait mutex. + jboolean interrupted = current_obj->interrupt_flag; + + pthread_mutex_unlock (¤t->wait_mutex); + + // Reaquire the monitor mutex, and restore the lock count. + pthread_mutex_lock (&mu->mutex); + mu->owner = self; + mu->count = count; + + // If we were interrupted, or if a timeout occurred, remove ourself from + // the cv wait list now. (If we were notified normally, notify() will have + // already taken care of this) + if (r == ETIMEDOUT || interrupted) + { + _Jv_Thread_t *prev = NULL; + for (_Jv_Thread_t *t = cv->first; t != NULL; t = t->next) + { + if (t == current) + { + if (prev != NULL) + prev->next = t->next; + else + cv->first = t->next; + t->next = NULL; + break; + } + prev = t; + } + if (interrupted) + return _JV_INTERRUPTED; } - return r; + + return 0; } -#ifndef RECURSIVE_MUTEX_IS_DEFAULT +int +_Jv_CondNotify (_Jv_ConditionVariable_t *cv, _Jv_Mutex_t *mu) +{ + if (_Jv_MutexCheckMonitor (mu)) + return _JV_NOT_OWNER; -void -_Jv_MutexInit (_Jv_Mutex_t *mu) + _Jv_Thread_t *target; + _Jv_Thread_t *prev = NULL; + + for (target = cv->first; target != NULL; target = target->next) + { + pthread_mutex_lock (&target->wait_mutex); + + if (target->thread_obj->interrupt_flag) + { + // Don't notify a thread that has already been interrupted. + pthread_mutex_unlock (&target->wait_mutex); + prev = target; + continue; + } + + pthread_cond_signal (&target->wait_cond); + pthread_mutex_unlock (&target->wait_mutex); + + // Two concurrent notify() calls must not be delivered to the same + // thread, so remove the target thread from the cv wait list now. + if (prev == NULL) + cv->first = target->next; + else + prev->next = target->next; + + target->next = NULL; + + break; + } + + return 0; +} + +int +_Jv_CondNotifyAll (_Jv_ConditionVariable_t *cv, _Jv_Mutex_t *mu) { -#ifdef HAVE_RECURSIVE_MUTEX - pthread_mutexattr_t *val = NULL; - -#if defined (HAVE_PTHREAD_MUTEXATTR_SETTYPE) - pthread_mutexattr_t attr; - - // If this is slow, then allocate it statically and only initialize - // it once. - pthread_mutexattr_init (&attr); - pthread_mutexattr_settype (&attr, PTHREAD_MUTEX_RECURSIVE); - val = &attr; -#elif defined (HAVE_PTHREAD_MUTEXATTR_SETKIND_NP) - pthread_mutexattr_t attr; - pthread_mutexattr_init (&attr); - pthread_mutexattr_setkind_np (&attr, PTHREAD_MUTEX_RECURSIVE_NP); - val = &attr; -#endif + if (_Jv_MutexCheckMonitor (mu)) + return _JV_NOT_OWNER; - pthread_mutex_init (mu, val); + _Jv_Thread_t *target; + _Jv_Thread_t *prev = NULL; -#if defined (HAVE_PTHREAD_MUTEXATTR_SETTYPE) || defined (HAVE_PTHREAD_MUTEXATTR_SETKIND_NP) - pthread_mutexattr_destroy (&attr); -#endif + for (target = cv->first; target != NULL; target = target->next) + { + pthread_mutex_lock (&target->wait_mutex); + pthread_cond_signal (&target->wait_cond); + pthread_mutex_unlock (&target->wait_mutex); + + if (prev != NULL) + prev->next = NULL; + prev = target; + } + if (prev != NULL) + prev->next = NULL; + + cv->first = NULL; -#else /* HAVE_RECURSIVE_MUTEX */ + return 0; +} - // No recursive mutex, so simulate one. - pthread_mutex_init (&mu->mutex, NULL); - pthread_mutex_init (&mu->mutex2, NULL); - pthread_cond_init (&mu->cond, 0); - mu->count = 0; +void +_Jv_ThreadInterrupt (_Jv_Thread_t *data) +{ + pthread_mutex_lock (&data->wait_mutex); + + // Set the thread's interrupted flag *after* aquiring its wait_mutex. This + // ensures that there are no races with the interrupt flag being set after + // the waiting thread checks it and before pthread_cond_wait is entered. + data->thread_obj->interrupt_flag = true; -#endif /* HAVE_RECURSIVE_MUTEX */ + // Interrupt blocking system calls using a signal. + pthread_kill (data->thread, INTR); + + pthread_cond_signal (&data->wait_cond); + + pthread_mutex_unlock (&data->wait_mutex); } -#endif /* not RECURSIVE_MUTEX_IS_DEFAULT */ +/** + * Releases the block on a thread created by _Jv_ThreadPark(). This + * method can also be used to terminate a blockage caused by a prior + * call to park. This operation is unsafe, as the thread must be + * guaranteed to be live. + * + * @param thread the thread to unblock. + */ +void +ParkHelper::unpark () +{ + using namespace ::java::lang; + volatile obj_addr_t *ptr = &permit; -#if ! defined (LINUX_THREADS) && ! defined (HAVE_RECURSIVE_MUTEX) + /* If this thread is in state RUNNING, give it a permit and return + immediately. */ + if (compare_and_swap + (ptr, Thread::THREAD_PARK_RUNNING, Thread::THREAD_PARK_PERMIT)) + return; + + /* If this thread is parked, put it into state RUNNING and send it a + signal. */ + if (compare_and_swap + (ptr, Thread::THREAD_PARK_PARKED, Thread::THREAD_PARK_RUNNING)) + { + pthread_mutex_lock (&mutex); + pthread_cond_signal (&cond); + pthread_mutex_unlock (&mutex); + } +} +/** + * Sets our state to dead. + */ void -_Jv_MutexDestroy (_Jv_Mutex_t *mu) +ParkHelper::deactivate () { - pthread_mutex_destroy (&mu->mutex); - pthread_mutex_destroy (&mu->mutex2); - pthread_cond_destroy (&mu->cond); + permit = ::java::lang::Thread::THREAD_PARK_DEAD; } -int -_Jv_MutexLock (_Jv_Mutex_t *mu) +/** + * Blocks the thread until a matching _Jv_ThreadUnpark() occurs, the + * thread is interrupted or the optional timeout expires. If an + * unpark call has already occurred, this also counts. A timeout + * value of zero is defined as no timeout. When isAbsolute is true, + * the timeout is in milliseconds relative to the epoch. Otherwise, + * the value is the number of nanoseconds which must occur before + * timeout. This call may also return spuriously (i.e. for no + * apparent reason). + * + * @param isAbsolute true if the timeout is specified in milliseconds from + * the epoch. + * @param time either the number of nanoseconds to wait, or a time in + * milliseconds from the epoch to wait for. + */ +void +ParkHelper::park (jboolean isAbsolute, jlong time) { - if (pthread_mutex_lock (&mu->mutex)) - return -1; - while (1) + using namespace ::java::lang; + volatile obj_addr_t *ptr = &permit; + + /* If we have a permit, return immediately. */ + if (compare_and_swap + (ptr, Thread::THREAD_PARK_PERMIT, Thread::THREAD_PARK_RUNNING)) + return; + + struct timespec ts; + jlong millis = 0, nanos = 0; + + if (time) { - if (mu->count == 0) - { - // Grab the lock. - mu->thread = pthread_self (); - mu->count = 1; - pthread_mutex_lock (&mu->mutex2); - break; - } - else if (pthread_self () == mu->thread) + if (isAbsolute) { - // Already have the lock. - mu->count += 1; - break; + millis = time; + nanos = 0; } else { - // Try to acquire the lock. - pthread_cond_wait (&mu->cond, &mu->mutex); + millis = java::lang::System::currentTimeMillis(); + nanos = time; } - } - pthread_mutex_unlock (&mu->mutex); - return 0; -} -int -_Jv_MutexUnlock (_Jv_Mutex_t *mu) -{ - if (pthread_mutex_lock (&mu->mutex)) - return -1; - int r = 0; - if (mu->count == 0 || pthread_self () != mu->thread) - r = -1; - else - { - mu->count -= 1; - if (! mu->count) + if (millis > 0 || nanos > 0) { - pthread_mutex_unlock (&mu->mutex2); - pthread_cond_signal (&mu->cond); + // Calculate the abstime corresponding to the timeout. + // Everything is in milliseconds. + // + // We use `unsigned long long' rather than jlong because our + // caller may pass up to Long.MAX_VALUE millis. This would + // overflow the range of a timespec. + + unsigned long long m = (unsigned long long)millis; + unsigned long long seconds = m / 1000; + + ts.tv_sec = seconds; + if (ts.tv_sec < 0 || (unsigned long long)ts.tv_sec != seconds) + { + // We treat a timeout that won't fit into a struct timespec + // as a wait forever. + millis = nanos = 0; + } + else + { + m %= 1000; + ts.tv_nsec = m * 1000000 + (unsigned long long)nanos; + } } } - pthread_mutex_unlock (&mu->mutex); - return r; + + if (compare_and_swap + (ptr, Thread::THREAD_PARK_RUNNING, Thread::THREAD_PARK_PARKED)) + { + pthread_mutex_lock (&mutex); + if (millis == 0 && nanos == 0) + pthread_cond_wait (&cond, &mutex); + else + pthread_cond_timedwait (&cond, &mutex, &ts); + pthread_mutex_unlock (&mutex); + + /* If we were unparked by some other thread, this will already + be in state THREAD_PARK_RUNNING. If we timed out, we have to + do it ourself. */ + compare_and_swap + (ptr, Thread::THREAD_PARK_PARKED, Thread::THREAD_PARK_RUNNING); + } } -#endif /* not LINUX_THREADS and not HAVE_RECURSIVE_MUTEX */ - static void handle_intr (int) { // Do nothing. } +static void +block_sigchld() +{ + sigset_t mask; + sigemptyset (&mask); + sigaddset (&mask, SIGCHLD); + int c = pthread_sigmask (SIG_BLOCK, &mask, NULL); + if (c != 0) + JvFail (strerror (c)); +} + void _Jv_InitThreads (void) { pthread_key_create (&_Jv_ThreadKey, NULL); + pthread_key_create (&_Jv_ThreadDataKey, NULL); pthread_mutex_init (&daemon_mutex, NULL); pthread_cond_init (&daemon_cond, 0); non_daemon_count = 0; @@ -226,58 +499,96 @@ _Jv_InitThreads (void) act.sa_flags = 0; sigaction (INTR, &act, NULL); - // Arrange for SIGINT to be blocked to all threads. It is only - // deliverable to the master thread. - sigset_t mask; - sigemptyset (&mask); - sigaddset (&mask, SIGINT); - pthread_sigmask (SIG_BLOCK, &mask, NULL); + // Block SIGCHLD here to ensure that any non-Java threads inherit the new + // signal mask. + block_sigchld(); + + // Check/set the thread stack size. + size_t min_ss = 32 * 1024; + + if (sizeof (void *) == 8) + // Bigger default on 64-bit systems. + min_ss *= 2; + +#ifdef PTHREAD_STACK_MIN + if (min_ss < PTHREAD_STACK_MIN) + min_ss = PTHREAD_STACK_MIN; +#endif + + if (gcj::stack_size > 0 && gcj::stack_size < min_ss) + gcj::stack_size = min_ss; } -void -_Jv_ThreadInitData (_Jv_Thread_t **data, java::lang::Thread *) +_Jv_Thread_t * +_Jv_ThreadInitData (java::lang::Thread *obj) { - _Jv_Thread_t *info = new _Jv_Thread_t; + _Jv_Thread_t *data = (_Jv_Thread_t *) _Jv_Malloc (sizeof (_Jv_Thread_t)); + data->flags = 0; + data->thread_obj = obj; - info->flags = 0; - info->exception = NULL; + pthread_mutex_init (&data->wait_mutex, NULL); + pthread_cond_init (&data->wait_cond, NULL); - // FIXME register a finalizer for INFO here. - // FIXME also must mark INFO somehow. + return data; +} - *data = info; +void +_Jv_ThreadDestroyData (_Jv_Thread_t *data) +{ + pthread_mutex_destroy (&data->wait_mutex); + pthread_cond_destroy (&data->wait_cond); + _Jv_Free ((void *)data); } void _Jv_ThreadSetPriority (_Jv_Thread_t *data, jint prio) { +#ifdef _POSIX_THREAD_PRIORITY_SCHEDULING if (data->flags & FLAG_START) { struct sched_param param; param.sched_priority = prio; - pthread_setschedparam (data->thread, SCHED_RR, ¶m); + pthread_setschedparam (data->thread, SCHED_OTHER, ¶m); } +#endif } - -// This is called as a cleanup handler when a thread is exiting. We -// use it to throw the requested exception. It's entirely possible -// that this approach is doomed to failure, in which case we'll need -// to adopt some alternate. For instance, use a signal to implement -// _Jv_ThreadCancel. -static void -throw_cleanup (void *data) +void +_Jv_ThreadRegister (_Jv_Thread_t *data) { - _Jv_Thread_t *td = (_Jv_Thread_t *) data; - _Jv_Throw ((java::lang::Throwable *) td->exception); + pthread_setspecific (_Jv_ThreadKey, data->thread_obj); + pthread_setspecific (_Jv_ThreadDataKey, data); + + // glibc 2.1.3 doesn't set the value of `thread' until after start_routine + // is called. Since it may need to be accessed from the new thread, work + // around the potential race here by explicitly setting it again. + data->thread = pthread_self (); + +# ifdef SLOW_PTHREAD_SELF + // Clear all self cache slots that might be needed by this thread. + int dummy; + int low_index = SC_INDEX(&dummy) + SC_CLEAR_MIN; + int high_index = SC_INDEX(&dummy) + SC_CLEAR_MAX; + for (int i = low_index; i <= high_index; ++i) + { + int current_index = i; + if (current_index < 0) + current_index += SELF_CACHE_SIZE; + if (current_index >= SELF_CACHE_SIZE) + current_index -= SELF_CACHE_SIZE; + _Jv_self_cache[current_index].high_sp_bits = BAD_HIGH_SP_VALUE; + } +# endif + // Block SIGCHLD which is used in natPosixProcess.cc. + block_sigchld(); } void -_Jv_ThreadCancel (_Jv_Thread_t *data, void *error) +_Jv_ThreadUnRegister () { - data->exception = error; - pthread_cancel (data->thread); + pthread_setspecific (_Jv_ThreadKey, NULL); + pthread_setspecific (_Jv_ThreadDataKey, NULL); } // This function is called when a thread is started. We don't arrange @@ -288,10 +599,9 @@ really_start (void *x) { struct starter *info = (struct starter *) x; - pthread_cleanup_push (throw_cleanup, info->data); - pthread_setspecific (_Jv_ThreadKey, info->object); - info->method (info->object); - pthread_cleanup_pop (0); + _Jv_ThreadRegister (info->data); + + info->method (info->data->thread_obj); if (! (info->data->flags & FLAG_DAEMON)) { @@ -317,15 +627,26 @@ _Jv_ThreadStart (java::lang::Thread *thread, _Jv_Thread_t *data, return; data->flags |= FLAG_START; + // Block SIGCHLD which is used in natPosixProcess.cc. + // The current mask is inherited by the child thread. + block_sigchld(); + param.sched_priority = thread->getPriority(); pthread_attr_init (&attr); pthread_attr_setschedparam (&attr, ¶m); + pthread_attr_setdetachstate (&attr, PTHREAD_CREATE_DETACHED); + + // Set stack size if -Xss option was given. + if (gcj::stack_size > 0) + { + int e = pthread_attr_setstacksize (&attr, gcj::stack_size); + if (e != 0) + JvFail (strerror (e)); + } - // FIXME: handle marking the info object for GC. info = (struct starter *) _Jv_AllocBytes (sizeof (struct starter)); info->method = meth; - info->object = thread; info->data = data; if (! thread->isDaemon()) @@ -336,28 +657,41 @@ _Jv_ThreadStart (java::lang::Thread *thread, _Jv_Thread_t *data, } else data->flags |= FLAG_DAEMON; - pthread_create (&data->thread, &attr, really_start, (void *) info); - + int r = pthread_create (&data->thread, &attr, really_start, (void *) info); + pthread_attr_destroy (&attr); + + if (r) + { + const char* msg = "Cannot create additional threads"; + throw new java::lang::OutOfMemoryError (JvNewStringUTF (msg)); + } } void _Jv_ThreadWait (void) { - // Arrange for SIGINT to be delivered to the master thread. - sigset_t mask; - sigemptyset (&mask); - sigaddset (&mask, SIGINT); - pthread_sigmask (SIG_UNBLOCK, &mask, NULL); - pthread_mutex_lock (&daemon_mutex); if (non_daemon_count) pthread_cond_wait (&daemon_cond, &daemon_mutex); pthread_mutex_unlock (&daemon_mutex); } -void -_Jv_ThreadInterrupt (_Jv_Thread_t *data) +#if defined(SLOW_PTHREAD_SELF) + +#include "sysdep/locks.h" + +// Support for pthread_self() lookup cache. +volatile self_cache_entry _Jv_self_cache[SELF_CACHE_SIZE]; + +_Jv_ThreadId_t +_Jv_ThreadSelf_out_of_line(volatile self_cache_entry *sce, size_t high_sp_bits) { - pthread_kill (data->thread, INTR); + pthread_t self = pthread_self(); + sce -> high_sp_bits = high_sp_bits; + write_barrier(); + sce -> self = self; + return self; } + +#endif /* SLOW_PTHREAD_SELF */