Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Handle properly the delay==-1 case (by blocking for ever)
[simgrid.git] / src / xbt / xbt_os_thread.c
index 2dc4aa2..115d29b 100644 (file)
 
 #include "xbt/sysdep.h"
 #include "xbt/ex.h"
+#include "xbt/ex_interface.h" /* We play crude games with exceptions */
 #include "portable.h"
 #include "xbt/xbt_os_time.h" /* Portable time facilities */
 #include "xbt/xbt_os_thread.h" /* This module */
 #include "xbt_modinter.h" /* Initialization/finalization of this module */
 
-
+XBT_LOG_NEW_DEFAULT_SUBCATEGORY(xbt_sync_os,xbt,"Synchronization mechanism (OS-level)");
 
 /* ********************************* PTHREAD IMPLEMENTATION ************************************ */
 #ifdef HAVE_PTHREAD_H
 #include <pthread.h>
 
+
 typedef struct xbt_os_thread_ {
    pthread_t t;
+   char *name;
    void *param;
    pvoid_f_pvoid_t *start_routine;
+   ex_ctx_t *exception;
 } s_xbt_os_thread_t ;
+static xbt_os_thread_t main_thread = NULL;
 
 /* thread-specific data containing the xbt_os_thread_t structure */
 static pthread_key_t xbt_self_thread_key;
+static int thread_mod_inited = 0;
 
 /* frees the xbt_os_thread_t corresponding to the current thread */
 static void xbt_os_thread_free_thread_data(void*d){
    free(d);
 }
 
+/* callback: context fetching */
+static ex_ctx_t *_os_thread_ex_ctx(void) {
+  return xbt_os_thread_self()->exception;
+}
+
+/* callback: termination */
+static void _os_thread_ex_terminate(xbt_ex_t * e) {
+  xbt_ex_display(e);
+
+  abort();
+  /* FIXME: there should be a configuration variable to choose to kill everyone or only this one */
+}
+
 void xbt_os_thread_mod_init(void) {
    int errcode;
    
+   if (thread_mod_inited)
+     return;
+   
    if ((errcode=pthread_key_create(&xbt_self_thread_key, NULL)))
      THROW0(system_error,errcode,"pthread_key_create failed for xbt_self_thread_key");
+
+   main_thread=xbt_new(s_xbt_os_thread_t,1);
+   main_thread->name = (char*)"main";
+   main_thread->start_routine = NULL;
+   main_thread->param = NULL;
+   main_thread->exception = xbt_new(ex_ctx_t, 1);
+   XBT_CTX_INITIALIZE(main_thread->exception);
+
+   __xbt_ex_ctx = _os_thread_ex_ctx;
+   __xbt_ex_terminate = _os_thread_ex_terminate;
+
+   thread_mod_inited = 1;
 }
 void xbt_os_thread_mod_exit(void) {
-   /* FIXME: don't try to free our key on shutdown. Valgrind detects no leak if we don't, and whine if we try to */
+   /* FIXME: don't try to free our key on shutdown. 
+      Valgrind detects no leak if we don't, and whine if we try to */
 //   int errcode;
    
 //   if ((errcode=pthread_key_delete(xbt_self_thread_key)))
@@ -56,33 +91,53 @@ static void * wrapper_start_routine(void *s) {
   int errcode;
 
   if ((errcode=pthread_setspecific(xbt_self_thread_key,t)))
-    THROW0(system_error,errcode,"pthread_setspecific failed for xbt_self_thread_key");   
+    THROW0(system_error,errcode,
+          "pthread_setspecific failed for xbt_self_thread_key");   
   return t->start_routine(t->param);
 }
-xbt_os_thread_t xbt_os_thread_create(pvoid_f_pvoid_t start_routine,
+xbt_os_thread_t xbt_os_thread_create(const char*name,
+                                    pvoid_f_pvoid_t start_routine,
                                     void* param)  {
    int errcode;
 
    xbt_os_thread_t res_thread=xbt_new(s_xbt_os_thread_t,1);
+   res_thread->name = xbt_strdup(name);
    res_thread->start_routine = start_routine;
    res_thread->param = param;
-
+   res_thread->exception = xbt_new(ex_ctx_t, 1);
+   XBT_CTX_INITIALIZE(res_thread->exception);
    
-   if ((errcode = pthread_create(&(res_thread->t), NULL, wrapper_start_routine, res_thread)))
-     THROW1(system_error,errcode, "pthread_create failed: %s",strerror(errcode));
+   if ((errcode = pthread_create(&(res_thread->t), NULL, 
+                                wrapper_start_routine, res_thread)))
+     THROW1(system_error,errcode, 
+           "pthread_create failed: %s",strerror(errcode));
 
    return res_thread;
 }
 
+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 self = xbt_os_thread_self();
+   return self?self->name:"main";
+}
 void 
 xbt_os_thread_join(xbt_os_thread_t thread,void ** thread_return) {
        
-       int errcode;   
-       
-       if ((errcode = pthread_join(thread->t,thread_return)))
-               THROW1(system_error,errcode, "pthread_join failed: %s",
-                      strerror(errcode));
-       free(thread);   
+  int errcode;   
+  
+  if ((errcode = pthread_join(thread->t,thread_return)))
+    THROW1(system_error,errcode, "pthread_join failed: %s",
+          strerror(errcode));
+   if (thread->exception)
+     free(thread->exception);
+
+   if (thread == main_thread) /* just killed main thread */
+     main_thread = NULL;
+
+   free(thread);   
 }                     
 
 void xbt_os_thread_exit(int *retval) {
@@ -90,7 +145,16 @@ void xbt_os_thread_exit(int *retval) {
 }
 
 xbt_os_thread_t xbt_os_thread_self(void) {
-   return pthread_getspecific(xbt_self_thread_key);
+  xbt_os_thread_t res;
+
+  if (!thread_mod_inited)
+    return NULL;
+  
+  res = pthread_getspecific(xbt_self_thread_key);
+  if (!res)
+    res = main_thread;
+
+  return res;
 }
 
 #include <sched.h>
@@ -173,16 +237,24 @@ void xbt_os_cond_timedwait(xbt_os_cond_t cond, xbt_os_mutex_t mutex, double dela
    int errcode;
    struct timespec ts_end;
    double end = delay + xbt_os_time();
-   ts_end.tv_sec = (time_t) floor(end);
-   ts_end.tv_nsec = (long)  ( ( end - ts_end.tv_sec) * 1000000000);
-   switch ( (errcode=pthread_cond_timedwait(&(cond->c),&(mutex->m), &ts_end)) ) {
-    case ETIMEDOUT:
-     THROW3(timeout_error,errcode,"condition %p (mutex %p) wasn't signaled before timeout (%f)",
-           cond,mutex, delay);
-    default:
-     THROW4(system_error,errcode,"pthread_cond_timedwait(%p,%p,%f) failed: %s",
-           cond,mutex, delay, strerror(errcode));
-   }   
+   
+   if (delay < 0) {
+      xbt_os_cond_wait(cond,mutex);
+   } else {
+      ts_end.tv_sec = (time_t) floor(end);
+      ts_end.tv_nsec = (long)  ( ( end - ts_end.tv_sec) * 1000000000);
+      DEBUG3("pthread_cond_timedwait(%p,%p,%p)",&(cond->c),&(mutex->m), &ts_end);
+      switch ( (errcode=pthread_cond_timedwait(&(cond->c),&(mutex->m), &ts_end)) ) {
+       case 0:
+        return;
+       case ETIMEDOUT:
+        THROW3(timeout_error,errcode,"condition %p (mutex %p) wasn't signaled before timeout (%f)",
+               cond,mutex, delay);
+       default:
+        THROW4(system_error,errcode,"pthread_cond_timedwait(%p,%p,%f) failed: %s",
+               cond,mutex, delay, strerror(errcode));
+      }   
+   }
 }
 
 void xbt_os_cond_signal(xbt_os_cond_t cond) {
@@ -211,7 +283,7 @@ void xbt_os_cond_destroy(xbt_os_cond_t cond){
 
 void *xbt_os_thread_getparam(void) {
    xbt_os_thread_t t = xbt_os_thread_self();
-   return t->param;
+   return t?t->param:NULL;
 }
 
 /* ********************************* WINDOWS IMPLEMENTATION ************************************ */
@@ -219,6 +291,7 @@ void *xbt_os_thread_getparam(void) {
 #elif defined(WIN32)
 
 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;
@@ -247,11 +320,12 @@ static DWORD WINAPI  wrapper_start_routine(void *s) {
 }
 
 
-xbt_os_thread_t xbt_os_thread_create(pvoid_f_pvoid_t start_routine,
+xbt_os_thread_t xbt_os_thread_create(const char *name,pvoid_f_pvoid_t start_routine,
                               void* param)  {
    
    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;
    
@@ -267,6 +341,15 @@ xbt_os_thread_t xbt_os_thread_create(pvoid_f_pvoid_t start_routine,
    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) {
 
@@ -280,6 +363,7 @@ xbt_os_thread_join(xbt_os_thread_t thread,void ** thread_return) {
        }
        
        CloseHandle(thread->handle);
+       free(thread->name);
        free(thread);
 }