-/* ********************************* WINDOWS IMPLEMENTATION ************************************ */
-
-#elif defined(_XBT_WIN32)
-
-#include <math.h>
-
-typedef struct xbt_os_thread_ {
- char *name;
- HANDLE handle; /* the win thread handle */
- unsigned long id; /* the win thread id */
- pvoid_f_pvoid_t start_routine;
- void *param;
- void *extra_data;
-} s_xbt_os_thread_t;
-
-/* so we can specify the size of the stack of the threads */
-#ifndef STACK_SIZE_PARAM_IS_A_RESERVATION
-#define STACK_SIZE_PARAM_IS_A_RESERVATION 0x00010000
-#endif
-
-/* the default size of the stack of the threads (in bytes)*/
-#define XBT_DEFAULT_THREAD_STACK_SIZE 4096
-
-/* key to the TLS containing the xbt_os_thread_t structure */
-static unsigned long xbt_self_thread_key;
-
-void xbt_os_thread_mod_preinit(void)
-{
- xbt_self_thread_key = TlsAlloc();
-}
-
-void xbt_os_thread_mod_postexit(void)
-{
-
- if (!TlsFree(xbt_self_thread_key))
- THROWF(system_error, (int) GetLastError(),
- "TlsFree() failed to cleanup the thread submodule");
-}
-
-int xbt_os_thread_atfork(void (*prepare)(void),
- void (*parent)(void), void (*child)(void))
-{
- return 0;
-}
-
-static DWORD WINAPI wrapper_start_routine(void *s)
-{
- xbt_os_thread_t t = (xbt_os_thread_t) s;
- DWORD *rv;
-
- if (!TlsSetValue(xbt_self_thread_key, t))
- THROWF(system_error, (int) GetLastError(),
- "TlsSetValue of data describing the created thread failed");
-
- rv = (DWORD *) ((t->start_routine) (t->param));
-
- return rv ? *rv : 0;
-
-}
-
-
-xbt_os_thread_t xbt_os_thread_create(const char *name,
- pvoid_f_pvoid_t start_routine,
- void *param,
- void *extra_data)
-{
-
- xbt_os_thread_t t = xbt_new(s_xbt_os_thread_t, 1);
-
- t->name = xbt_strdup(name);
- t->start_routine = start_routine;
- t->param = param;
- t->extra_data = extra_data;
- t->handle = CreateThread(NULL, XBT_DEFAULT_THREAD_STACK_SIZE,
- (LPTHREAD_START_ROUTINE) wrapper_start_routine,
- t, STACK_SIZE_PARAM_IS_A_RESERVATION, &(t->id));
-
- if (!t->handle) {
- xbt_free(t);
- THROWF(system_error, (int) GetLastError(), "CreateThread failed");
- }
-
- return t;
-}
-
-const char *xbt_os_thread_name(xbt_os_thread_t t)
-{
- return t->name;
-}
-
-const char *xbt_os_thread_self_name(void)
-{
- xbt_os_thread_t t = xbt_os_thread_self();
- return t ? t->name : "main";
-}
-
-void xbt_os_thread_join(xbt_os_thread_t thread, void **thread_return)
-{
-
- if (WAIT_OBJECT_0 != WaitForSingleObject(thread->handle, INFINITE))
- THROWF(system_error, (int) GetLastError(),
- "WaitForSingleObject failed");
-
- if (thread_return) {
-
- if (!GetExitCodeThread(thread->handle, (DWORD *) (*thread_return)))
- THROWF(system_error, (int) GetLastError(),
- "GetExitCodeThread failed");
- }
-
- CloseHandle(thread->handle);
-
- free(thread->name);
-
- free(thread);
-}
-
-void xbt_os_thread_exit(int *retval)
-{
- if (retval)
- ExitThread(*retval);
- else
- ExitThread(0);
-}
-
-void xbt_os_thread_key_create(xbt_os_thread_key_t* key) {
-
- *key = TlsAlloc();
-}
-
-void xbt_os_thread_set_specific(xbt_os_thread_key_t key, void* value) {
-
- if (!TlsSetValue(key, value))
- THROWF(system_error, (int) GetLastError(), "TlsSetValue() failed");
-}
-
-void* xbt_os_thread_get_specific(xbt_os_thread_key_t key) {
- return TlsGetValue(key);
-}
-
-void xbt_os_thread_detach(xbt_os_thread_t thread)
-{
- THROW_UNIMPLEMENTED;
-}
-
-
-xbt_os_thread_t xbt_os_thread_self(void)
-{
- return TlsGetValue(xbt_self_thread_key);
-}
-
-void *xbt_os_thread_getparam(void)
-{
- xbt_os_thread_t t = xbt_os_thread_self();
- return t->param;
-}
-
-
-void xbt_os_thread_yield(void)
-{
- Sleep(0);
-}
-
-void xbt_os_thread_cancel(xbt_os_thread_t t)
-{
- if (!TerminateThread(t->handle, 0))
- THROWF(system_error, (int) GetLastError(), "TerminateThread failed");
-}
-
-/****** mutex related functions ******/
-typedef struct xbt_os_mutex_ {
- /* KEEP IT IN SYNC WITH xbt_thread.c */
- CRITICAL_SECTION lock;
-} s_xbt_os_mutex_t;
-
-xbt_os_mutex_t xbt_os_mutex_init(void)
-{
- xbt_os_mutex_t res = xbt_new(s_xbt_os_mutex_t, 1);
-
- /* initialize the critical section object */
- InitializeCriticalSection(&(res->lock));
-
- return res;
-}
-
-void xbt_os_mutex_acquire(xbt_os_mutex_t mutex)
-{
- EnterCriticalSection(&mutex->lock);
-}
-
-void xbt_os_mutex_timedacquire(xbt_os_mutex_t mutex, double delay)
-{
- THROW_UNIMPLEMENTED;
-}
-
-void xbt_os_mutex_release(xbt_os_mutex_t mutex)
-{
-
- LeaveCriticalSection(&mutex->lock);
-
-}
-
-void xbt_os_mutex_destroy(xbt_os_mutex_t mutex)
-{
-
- if (!mutex)
- return;
-
- DeleteCriticalSection(&mutex->lock);
- free(mutex);
-}
-
-/***** condition related functions *****/
-enum { /* KEEP IT IN SYNC WITH xbt_thread.c */
- SIGNAL = 0,
- BROADCAST = 1,
- MAX_EVENTS = 2
-};
-
-typedef struct xbt_os_cond_ {
- /* KEEP IT IN SYNC WITH xbt_thread.c */
- HANDLE events[MAX_EVENTS];
-
- unsigned int waiters_count; /* the number of waiters */
- CRITICAL_SECTION waiters_count_lock; /* protect access to waiters_count */
-} s_xbt_os_cond_t;
-
-xbt_os_cond_t xbt_os_cond_init(void)
-{