mirror of
git://gcc.gnu.org/git/gcc.git
synced 2024-12-15 00:30:43 +08:00
97b8365caf
From-SVN: r120621
568 lines
14 KiB
C++
568 lines
14 KiB
C++
// win32-threads.cc - interface between libjava and Win32 threads.
|
|
|
|
/* Copyright (C) 1998, 1999, 2000, 2001, 2002, 2003, 2006 Free Software
|
|
Foundation, Inc.
|
|
|
|
This file is part of libgcj.
|
|
|
|
This software is copyrighted work licensed under the terms of the
|
|
Libgcj License. Please consult the file "LIBGCJ_LICENSE" for
|
|
details. */
|
|
|
|
#include <config.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 <gc.h>
|
|
// <windows.h> #define's STRICT, which conflicts with Modifier.h
|
|
#undef STRICT
|
|
};
|
|
#endif /* HAVE_BOEHM_GC */
|
|
|
|
#include <gcj/cni.h>
|
|
#include <jvm.h>
|
|
#include <java/lang/Thread.h>
|
|
#include <java/lang/System.h>
|
|
|
|
#include <errno.h>
|
|
|
|
#ifndef ETIMEDOUT
|
|
#define ETIMEDOUT 116
|
|
#endif
|
|
|
|
// This is used to implement thread startup.
|
|
struct starter
|
|
{
|
|
_Jv_ThreadStartFunc *method;
|
|
_Jv_Thread_t *data;
|
|
};
|
|
|
|
// Controls access to the variable below
|
|
static HANDLE daemon_mutex;
|
|
static HANDLE daemon_cond;
|
|
// Number of non-daemon threads - _Jv_ThreadWait returns when this is 0
|
|
static int non_daemon_count;
|
|
|
|
// TLS key get Java object representing the thread
|
|
DWORD _Jv_ThreadKey;
|
|
// TLS key to get _Jv_Thread_t* representing the thread
|
|
DWORD _Jv_ThreadDataKey;
|
|
|
|
//
|
|
// These are the flags that can appear in _Jv_Thread_t.
|
|
//
|
|
|
|
// Thread started.
|
|
#define FLAG_START 0x01
|
|
// Thread is daemon.
|
|
#define FLAG_DAEMON 0x02
|
|
|
|
//
|
|
// Helper
|
|
//
|
|
inline bool
|
|
compare_and_exchange(LONG volatile* dest, LONG cmp, LONG xchg)
|
|
{
|
|
return InterlockedCompareExchange((LONG*) dest, xchg, cmp) == cmp;
|
|
// Seems like a bug in the MinGW headers that we have to do this cast.
|
|
}
|
|
|
|
//
|
|
// Condition variables.
|
|
//
|
|
|
|
// we do lazy creation of Events since CreateEvent() is insanely
|
|
// expensive, and because the rest of libgcj will call _Jv_CondInit
|
|
// when only a mutex is needed.
|
|
|
|
inline void
|
|
ensure_condvar_initialized(_Jv_ConditionVariable_t *cv)
|
|
{
|
|
if (cv->ev[0] == 0)
|
|
{
|
|
cv->ev[0] = CreateEvent (NULL, 0, 0, NULL);
|
|
if (cv->ev[0] == 0) JvFail("CreateEvent() failed");
|
|
|
|
cv->ev[1] = CreateEvent (NULL, 1, 0, NULL);
|
|
if (cv->ev[1] == 0) JvFail("CreateEvent() failed");
|
|
}
|
|
}
|
|
|
|
inline void
|
|
ensure_interrupt_event_initialized(HANDLE& rhEvent)
|
|
{
|
|
if (!rhEvent)
|
|
{
|
|
rhEvent = CreateEvent (NULL, 0, 0, NULL);
|
|
if (!rhEvent) JvFail("CreateEvent() failed");
|
|
}
|
|
}
|
|
|
|
// Reimplementation of the general algorithm described at
|
|
// http://www.cs.wustl.edu/~schmidt/win32-cv-1.html (isomorphic to
|
|
// 3.2, not a cut-and-paste).
|
|
|
|
int
|
|
_Jv_CondWait(_Jv_ConditionVariable_t *cv, _Jv_Mutex_t *mu, jlong millis, jint nanos)
|
|
{
|
|
if (mu->owner != GetCurrentThreadId ( ))
|
|
return _JV_NOT_OWNER;
|
|
|
|
_Jv_Thread_t *current = _Jv_ThreadCurrentData ();
|
|
java::lang::Thread *current_obj = _Jv_ThreadCurrent ();
|
|
|
|
// Now that we hold the interrupt mutex, check if this thread has been
|
|
// interrupted already.
|
|
EnterCriticalSection (¤t->interrupt_mutex);
|
|
ensure_interrupt_event_initialized (current->interrupt_event);
|
|
jboolean interrupted = current_obj->interrupt_flag;
|
|
LeaveCriticalSection (¤t->interrupt_mutex);
|
|
|
|
if (interrupted)
|
|
{
|
|
return _JV_INTERRUPTED;
|
|
}
|
|
|
|
EnterCriticalSection (&cv->count_mutex);
|
|
ensure_condvar_initialized (cv);
|
|
cv->blocked_count++;
|
|
LeaveCriticalSection (&cv->count_mutex);
|
|
|
|
DWORD time;
|
|
if ((millis == 0) && (nanos > 0)) time = 1;
|
|
else if (millis == 0) time = INFINITE;
|
|
else time = millis;
|
|
|
|
// Record the current lock depth, so it can be restored
|
|
// when we reacquire it.
|
|
int count = mu->refcount;
|
|
int curcount = count;
|
|
|
|
// Call _Jv_MutexUnlock repeatedly until this thread
|
|
// has completely released the monitor.
|
|
while (curcount > 0)
|
|
{
|
|
_Jv_MutexUnlock (mu);
|
|
--curcount;
|
|
}
|
|
|
|
// Set up our array of three events:
|
|
// - the auto-reset event (for notify())
|
|
// - the manual-reset event (for notifyAll())
|
|
// - the interrupt event (for interrupt())
|
|
// We wait for any one of these to be signaled.
|
|
HANDLE arh[3];
|
|
arh[0] = cv->ev[0];
|
|
arh[1] = cv->ev[1];
|
|
arh[2] = current->interrupt_event;
|
|
DWORD rval = WaitForMultipleObjects (3, arh, 0, time);
|
|
|
|
EnterCriticalSection (¤t->interrupt_mutex);
|
|
|
|
// If we were unblocked by the third event (our thread's interrupt
|
|
// event), set the thread's interrupt flag. I think this sanity
|
|
// check guards against someone resetting our interrupt flag
|
|
// in the time between when interrupt_mutex is released in
|
|
// _Jv_ThreadInterrupt and the interval of time between the
|
|
// WaitForMultipleObjects call we just made and our acquisition
|
|
// of interrupt_mutex.
|
|
if (rval == (WAIT_OBJECT_0 + 2))
|
|
current_obj->interrupt_flag = true;
|
|
|
|
interrupted = current_obj->interrupt_flag;
|
|
LeaveCriticalSection (¤t->interrupt_mutex);
|
|
|
|
EnterCriticalSection(&cv->count_mutex);
|
|
cv->blocked_count--;
|
|
// If we were unblocked by the second event (the broadcast one)
|
|
// and nobody is left, then reset the event.
|
|
int last_waiter = (rval == (WAIT_OBJECT_0 + 1)) && (cv->blocked_count == 0);
|
|
LeaveCriticalSection(&cv->count_mutex);
|
|
|
|
if (last_waiter)
|
|
ResetEvent (cv->ev[1]);
|
|
|
|
// Call _Jv_MutexLock repeatedly until the mutex's refcount is the
|
|
// same as before we originally released it.
|
|
while (curcount < count)
|
|
{
|
|
_Jv_MutexLock (mu);
|
|
++curcount;
|
|
}
|
|
|
|
return interrupted ? _JV_INTERRUPTED : 0;
|
|
}
|
|
|
|
void
|
|
_Jv_CondInit (_Jv_ConditionVariable_t *cv)
|
|
{
|
|
// we do lazy creation of Events since CreateEvent() is insanely expensive
|
|
cv->ev[0] = 0;
|
|
InitializeCriticalSection (&cv->count_mutex);
|
|
cv->blocked_count = 0;
|
|
}
|
|
|
|
void
|
|
_Jv_CondDestroy (_Jv_ConditionVariable_t *cv)
|
|
{
|
|
if (cv->ev[0] != 0)
|
|
{
|
|
CloseHandle (cv->ev[0]);
|
|
CloseHandle (cv->ev[1]);
|
|
|
|
cv->ev[0] = 0;
|
|
}
|
|
|
|
DeleteCriticalSection (&cv->count_mutex);
|
|
}
|
|
|
|
int
|
|
_Jv_CondNotify (_Jv_ConditionVariable_t *cv, _Jv_Mutex_t *mu)
|
|
{
|
|
if (mu->owner != GetCurrentThreadId ( ))
|
|
return _JV_NOT_OWNER;
|
|
|
|
EnterCriticalSection (&cv->count_mutex);
|
|
ensure_condvar_initialized (cv);
|
|
int somebody_is_blocked = cv->blocked_count > 0;
|
|
LeaveCriticalSection (&cv->count_mutex);
|
|
|
|
if (somebody_is_blocked)
|
|
SetEvent (cv->ev[0]);
|
|
|
|
return 0;
|
|
}
|
|
|
|
int
|
|
_Jv_CondNotifyAll (_Jv_ConditionVariable_t *cv, _Jv_Mutex_t *mu)
|
|
{
|
|
if (mu->owner != GetCurrentThreadId ( ))
|
|
return _JV_NOT_OWNER;
|
|
|
|
EnterCriticalSection (&cv->count_mutex);
|
|
ensure_condvar_initialized (cv);
|
|
int somebody_is_blocked = cv->blocked_count > 0;
|
|
LeaveCriticalSection (&cv->count_mutex);
|
|
|
|
if (somebody_is_blocked)
|
|
SetEvent (cv->ev[1]);
|
|
|
|
return 0;
|
|
}
|
|
|
|
//
|
|
// Threads.
|
|
//
|
|
|
|
void
|
|
_Jv_InitThreads (void)
|
|
{
|
|
_Jv_ThreadKey = TlsAlloc();
|
|
_Jv_ThreadDataKey = TlsAlloc();
|
|
daemon_mutex = CreateMutex (NULL, 0, NULL);
|
|
daemon_cond = CreateEvent (NULL, 1, 0, NULL);
|
|
non_daemon_count = 0;
|
|
}
|
|
|
|
_Jv_Thread_t *
|
|
_Jv_ThreadInitData (java::lang::Thread* obj)
|
|
{
|
|
_Jv_Thread_t *data = (_Jv_Thread_t*)_Jv_Malloc(sizeof(_Jv_Thread_t));
|
|
data->flags = 0;
|
|
data->handle = 0;
|
|
data->thread_obj = obj;
|
|
data->interrupt_event = 0;
|
|
InitializeCriticalSection (&data->interrupt_mutex);
|
|
|
|
return data;
|
|
}
|
|
|
|
void
|
|
_Jv_ThreadDestroyData (_Jv_Thread_t *data)
|
|
{
|
|
DeleteCriticalSection (&data->interrupt_mutex);
|
|
if (data->interrupt_event)
|
|
CloseHandle(data->interrupt_event);
|
|
CloseHandle(data->handle);
|
|
_Jv_Free(data);
|
|
}
|
|
|
|
void
|
|
_Jv_ThreadSetPriority (_Jv_Thread_t *data, jint prio)
|
|
{
|
|
int actual = THREAD_PRIORITY_NORMAL;
|
|
|
|
if (data->flags & FLAG_START)
|
|
{
|
|
switch (prio)
|
|
{
|
|
case 10:
|
|
actual = THREAD_PRIORITY_TIME_CRITICAL;
|
|
break;
|
|
case 9:
|
|
actual = THREAD_PRIORITY_HIGHEST;
|
|
break;
|
|
case 8:
|
|
case 7:
|
|
actual = THREAD_PRIORITY_ABOVE_NORMAL;
|
|
break;
|
|
case 6:
|
|
case 5:
|
|
actual = THREAD_PRIORITY_NORMAL;
|
|
break;
|
|
case 4:
|
|
case 3:
|
|
actual = THREAD_PRIORITY_BELOW_NORMAL;
|
|
break;
|
|
case 2:
|
|
actual = THREAD_PRIORITY_LOWEST;
|
|
break;
|
|
case 1:
|
|
actual = THREAD_PRIORITY_IDLE;
|
|
break;
|
|
}
|
|
SetThreadPriority(data->handle, actual);
|
|
}
|
|
}
|
|
|
|
void
|
|
_Jv_ThreadRegister (_Jv_Thread_t *data)
|
|
{
|
|
TlsSetValue (_Jv_ThreadKey, data->thread_obj);
|
|
TlsSetValue (_Jv_ThreadDataKey, data);
|
|
}
|
|
|
|
void
|
|
_Jv_ThreadUnRegister ()
|
|
{
|
|
TlsSetValue (_Jv_ThreadKey, NULL);
|
|
TlsSetValue (_Jv_ThreadDataKey, NULL);
|
|
}
|
|
|
|
// This function is called when a thread is started. We don't arrange
|
|
// to call the `run' method directly, because this function must
|
|
// return a value.
|
|
static DWORD WINAPI
|
|
really_start (void* x)
|
|
{
|
|
struct starter *info = (struct starter *) x;
|
|
|
|
_Jv_ThreadRegister (info->data);
|
|
|
|
info->method (info->data->thread_obj);
|
|
|
|
if (! (info->data->flags & FLAG_DAEMON))
|
|
{
|
|
WaitForSingleObject (daemon_mutex, INFINITE);
|
|
non_daemon_count--;
|
|
if (! non_daemon_count)
|
|
SetEvent (daemon_cond);
|
|
ReleaseMutex (daemon_mutex);
|
|
}
|
|
|
|
return 0;
|
|
}
|
|
|
|
void
|
|
_Jv_ThreadStart (java::lang::Thread *thread, _Jv_Thread_t *data, _Jv_ThreadStartFunc *meth)
|
|
{
|
|
DWORD id;
|
|
struct starter *info;
|
|
|
|
// Do nothing if thread has already started
|
|
if (data->flags & FLAG_START)
|
|
return;
|
|
data->flags |= FLAG_START;
|
|
|
|
info = (struct starter *) _Jv_AllocBytes (sizeof (struct starter));
|
|
info->method = meth;
|
|
info->data = data;
|
|
|
|
if (! thread->isDaemon ())
|
|
{
|
|
WaitForSingleObject (daemon_mutex, INFINITE);
|
|
non_daemon_count++;
|
|
ReleaseMutex (daemon_mutex);
|
|
}
|
|
else
|
|
data->flags |= FLAG_DAEMON;
|
|
|
|
data->handle = GC_CreateThread(NULL, 0, really_start, info, 0, &id);
|
|
_Jv_ThreadSetPriority(data, thread->getPriority());
|
|
}
|
|
|
|
void
|
|
_Jv_ThreadWait (void)
|
|
{
|
|
WaitForSingleObject (daemon_mutex, INFINITE);
|
|
if (non_daemon_count)
|
|
{
|
|
ReleaseMutex (daemon_mutex);
|
|
WaitForSingleObject (daemon_cond, INFINITE);
|
|
}
|
|
}
|
|
|
|
//
|
|
// Interrupt support
|
|
//
|
|
|
|
HANDLE
|
|
_Jv_Win32GetInterruptEvent (void)
|
|
{
|
|
_Jv_Thread_t *current = _Jv_ThreadCurrentData ();
|
|
EnterCriticalSection (¤t->interrupt_mutex);
|
|
ensure_interrupt_event_initialized (current->interrupt_event);
|
|
HANDLE hEvent = current->interrupt_event;
|
|
LeaveCriticalSection (¤t->interrupt_mutex);
|
|
return hEvent;
|
|
}
|
|
|
|
void
|
|
_Jv_ThreadInterrupt (_Jv_Thread_t *data)
|
|
{
|
|
EnterCriticalSection (&data->interrupt_mutex);
|
|
ensure_interrupt_event_initialized (data->interrupt_event);
|
|
data->thread_obj->interrupt_flag = true;
|
|
SetEvent (data->interrupt_event);
|
|
LeaveCriticalSection (&data->interrupt_mutex);
|
|
}
|
|
|
|
// park() / unpark() support
|
|
|
|
void
|
|
ParkHelper::init ()
|
|
{
|
|
// We initialize our critical section, but not our event.
|
|
InitializeCriticalSection (&cs);
|
|
event = NULL;
|
|
}
|
|
|
|
void
|
|
ParkHelper::init_event()
|
|
{
|
|
EnterCriticalSection (&cs);
|
|
if (!event)
|
|
{
|
|
// Create an auto-reset event.
|
|
event = CreateEvent(NULL, 0, 0, NULL);
|
|
if (!event) JvFail("CreateEvent() failed");
|
|
}
|
|
LeaveCriticalSection (&cs);
|
|
}
|
|
|
|
void
|
|
ParkHelper::deactivate ()
|
|
{
|
|
permit = ::java::lang::Thread::THREAD_PARK_DEAD;
|
|
}
|
|
|
|
void
|
|
ParkHelper::destroy()
|
|
{
|
|
if (event) CloseHandle (event);
|
|
DeleteCriticalSection (&cs);
|
|
}
|
|
|
|
/**
|
|
* 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;
|
|
LONG volatile* ptr = &permit;
|
|
|
|
// If this thread is in state RUNNING, give it a permit and return
|
|
// immediately.
|
|
if (compare_and_exchange
|
|
(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_exchange
|
|
(ptr, Thread::THREAD_PARK_PARKED, Thread::THREAD_PARK_RUNNING))
|
|
{
|
|
init_event ();
|
|
SetEvent (event);
|
|
}
|
|
}
|
|
|
|
/**
|
|
* 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)
|
|
{
|
|
using namespace ::java::lang;
|
|
LONG volatile* ptr = &permit;
|
|
|
|
// If we have a permit, return immediately.
|
|
if (compare_and_exchange
|
|
(ptr, Thread::THREAD_PARK_PERMIT, Thread::THREAD_PARK_RUNNING))
|
|
return;
|
|
|
|
// Determine the number of milliseconds to wait.
|
|
jlong millis = 0, nanos = 0;
|
|
|
|
if (time)
|
|
{
|
|
if (isAbsolute)
|
|
{
|
|
millis = time - ::java::lang::System::currentTimeMillis();
|
|
nanos = 0;
|
|
}
|
|
else
|
|
{
|
|
millis = 0;
|
|
nanos = time;
|
|
}
|
|
|
|
if (nanos)
|
|
{
|
|
millis += nanos / 1000000;
|
|
if (millis == 0)
|
|
millis = 1;
|
|
// ...otherwise, we'll block indefinitely.
|
|
}
|
|
}
|
|
|
|
if (millis < 0) return;
|
|
// Can this ever happen?
|
|
|
|
if (compare_and_exchange
|
|
(ptr, Thread::THREAD_PARK_RUNNING, Thread::THREAD_PARK_PARKED))
|
|
{
|
|
init_event();
|
|
|
|
DWORD timeout = millis==0 ? INFINITE : (DWORD) millis;
|
|
WaitForSingleObject (event, timeout);
|
|
|
|
// 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_exchange
|
|
(ptr, Thread::THREAD_PARK_PARKED, Thread::THREAD_PARK_RUNNING);
|
|
}
|
|
}
|