Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
The file containing the new implementation of the switch context mechanism.
[simgrid.git] / src / xbt / context.c
index 9d313f5..136411c 100644 (file)
@@ -24,32 +24,7 @@ static xbt_context_t current_context = NULL;
 static xbt_context_t init_context = NULL;
 static xbt_swag_t context_to_destroy = NULL;
 static xbt_swag_t context_living = NULL;
-#ifdef CONTEXT_THREADS
-static xbt_os_mutex_t creation_mutex;
-static xbt_os_cond_t creation_cond;
-static xbt_os_mutex_t master_mutex;
-static xbt_os_cond_t master_cond;
-
-#ifdef WIN32
-static DWORD __current_thread_id = 0;
-#else
-static pthread_t __current_thread_id;
-#endif
 
-static int
-is_main_thread(void);
-
-static int
-is_main_thread(void)
-{
-       #ifdef WIN32
-       return (GetCurrentThreadId() == __current_thread_id) ? 1 : 0;
-       #else
-       return (pthread_self() == __current_thread_id) ? 1 : 0;
-       #endif
-}
-
-#endif
 
 
 /********************/
@@ -58,19 +33,43 @@ is_main_thread(void)
 #ifndef CONTEXT_THREADS
 /* callback: context fetching (used only with ucontext, os_thread deal with it
                                for us otherwise) */
-static ex_ctx_t *_context_ex_ctx(void) {
+static ex_ctx_t *_context_ex_ctx(void)
+{
   return current_context->exception;
 }
 
 /* callback: termination */
-static void _context_ex_terminate(xbt_ex_t * e) {
+static void _context_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 */
 }
-#endif 
+#endif
+
+#ifdef CONTEXT_THREADS
+
+static void 
+schedule(xbt_context_t c);
+
+static void 
+yield(xbt_context_t c);
+
+static void 
+schedule(xbt_context_t c) 
+{
+       xbt_os_sem_release(c->begin);   
+       xbt_os_sem_acquire(c->end);     
+}
+
+static void yield(xbt_context_t c) 
+{
+       xbt_os_sem_release(c->end);             
+       xbt_os_sem_acquire(c->begin);
+}
+#endif
 
 /** \name Functions 
  *  \ingroup XBT_context
@@ -80,78 +79,56 @@ static void _context_ex_terminate(xbt_ex_t * e) {
  *
  * \warning It has to be called before using any other function of this module.
  */
-void 
-xbt_context_init(void)
+void xbt_context_init(void)
 {
-       if (!current_context) 
-       {
-               current_context = init_context = xbt_new0(s_xbt_context_t, 1);
-               DEBUG1("Init Context (%p)", init_context);
-               init_context->iwannadie = 0; /* useless but makes valgrind happy */
-               context_to_destroy = xbt_swag_new(xbt_swag_offset(*current_context, hookup));
-               context_living =  xbt_swag_new(xbt_swag_offset(*current_context, hookup));
-               xbt_swag_insert(init_context, context_living);
-               
-               #ifdef CONTEXT_THREADS
-                 /* only used during the creation of the processes */
-                 creation_mutex = xbt_os_mutex_init();
-                 creation_cond = xbt_os_cond_init();
-
-                 /* used to schedule/unschedule the processes */
-                 master_mutex = xbt_os_mutex_init();
-                 master_cond = xbt_os_cond_init();
-
-                 #ifdef WIN32
-                   __current_thread_id = GetCurrentThreadId();
-                 #else
-                   __current_thread_id = pthread_self();
-                 #endif
-               #else
-                 init_context->exception = xbt_new(ex_ctx_t, 1);
-                 XBT_CTX_INITIALIZE(init_context->exception);
-                 __xbt_ex_ctx = _context_ex_ctx;
-                 __xbt_ex_terminate = _context_ex_terminate;
-               #endif
-       }
+  if (!current_context) {
+    current_context = init_context = xbt_new0(s_xbt_context_t, 1);
+    DEBUG1("Init Context (%p)", init_context);
+    init_context->iwannadie = 0;        /* useless but makes valgrind happy */
+    context_to_destroy =
+      xbt_swag_new(xbt_swag_offset(*current_context, hookup));
+    context_living = xbt_swag_new(xbt_swag_offset(*current_context, hookup));
+    xbt_swag_insert(init_context, context_living);
+    
+    #ifndef CONTEXT_THREADS
+    init_context->exception = xbt_new(ex_ctx_t, 1);
+    XBT_CTX_INITIALIZE(init_context->exception);
+    __xbt_ex_ctx = _context_ex_ctx;
+    __xbt_ex_terminate = _context_ex_terminate;
+#endif
+  }
 }
 
 /** 
  * This function kill all existing context and free all the memory
  * that has been allocated in this module.
  */
-void 
-xbt_context_exit(void)
+void xbt_context_exit(void)
 {
-       xbt_context_t context = NULL;
-
-       xbt_context_empty_trash();
-       
-       while ((context = xbt_swag_extract(context_living))) 
-       {
-               if (context != init_context) 
-               {
-                       xbt_context_kill(context);
-               }
-       }
-       
-       #ifdef CONTEXT_THREADS
-         xbt_os_mutex_destroy(creation_mutex);
-         xbt_os_cond_destroy(creation_cond);
-         xbt_os_mutex_destroy(master_mutex);
-         xbt_os_cond_destroy(master_cond);
-       #else   
-         free(init_context->exception);
-       #endif
-       
-       free(init_context);
-       init_context = current_context = NULL;
-
-       xbt_context_empty_trash();
-       xbt_swag_free(context_to_destroy);
-       xbt_swag_free(context_living);
+  xbt_context_t context = NULL;
+
+  xbt_context_empty_trash();
+
+  while ((context = xbt_swag_extract(context_living))) {
+    if (context != init_context) {
+      xbt_context_kill(context);
+    }
+  }
+
+#ifndef CONTEXT_THREADS
+  free(init_context->exception);
+#endif
+
+  free(init_context);
+  init_context = current_context = NULL;
+
+  xbt_context_empty_trash();
+  xbt_swag_free(context_to_destroy);
+  xbt_swag_free(context_living);
 
 }
 
+
 /*******************************/
 /* Object creation/destruction */
 /*******************************/
@@ -166,56 +143,57 @@ xbt_context_exit(void)
  * \param argc first argument of function \a code
  * \param argv seconde argument of function \a code
  */
-xbt_context_t 
-xbt_context_new(       const char *name,
-                                       xbt_main_func_t code,
-                                       void_f_pvoid_t startup_func,
-                                       void *startup_arg,
-                                       void_f_pvoid_t cleanup_func,
-                                       void *cleanup_arg, 
-                                       int argc, 
-                                       char *argv[]
-)
+xbt_context_t
+xbt_context_new(const char *name,
+                xbt_main_func_t code,
+                void_f_pvoid_t startup_func,
+                void *startup_arg,
+                void_f_pvoid_t cleanup_func,
+                void *cleanup_arg, int argc, char *argv[]
+  )
 {
-       xbt_context_t res = NULL;
+  xbt_context_t res = NULL;
 
-       res = xbt_new0(s_xbt_context_t, 1);
+  res = xbt_new0(s_xbt_context_t, 1);
 
-       res->code = code;
-       res->name = xbt_strdup(name);
+  res->code = code;
+  res->name = xbt_strdup(name);
 
-       #ifdef CONTEXT_THREADS
-         res->mutex = xbt_os_mutex_init();
-         res->cond = xbt_os_cond_init();
-       #else
+#ifdef CONTEXT_THREADS
+  /* 
+   * initialize the semaphores used to schedule/yield 
+   * the process associated to the newly created context 
+   */
+  res->begin = xbt_os_sem_init(0);
+  res->end = xbt_os_sem_init(0);
+#else
 
-         xbt_assert2(getcontext(&(res->uc)) == 0,
-         "Error in context saving: %d (%s)", errno, strerror(errno));
-         res->uc.uc_link = NULL;
-         /*   res->uc.uc_link = &(current_context->uc); */
-         /* WARNING : when this context is over, the current_context (i.e. the 
-         father), is awaken... Theorically, the wrapper should prevent using 
-         this feature. */
-         res->uc.uc_stack.ss_sp = pth_skaddr_makecontext(res->stack, STACK_SIZE);
-         res->uc.uc_stack.ss_size =
-         pth_sksize_makecontext(res->stack, STACK_SIZE);
+  xbt_assert2(getcontext(&(res->uc)) == 0,
+              "Error in context saving: %d (%s)", errno, strerror(errno));
+  res->uc.uc_link = NULL;
+  /*   res->uc.uc_link = &(current_context->uc); */
+  /* WARNING : when this context is over, the current_context (i.e. the 
+     father), is awaken... Theorically, the wrapper should prevent using 
+     this feature. */
+  res->uc.uc_stack.ss_sp = pth_skaddr_makecontext(res->stack, STACK_SIZE);
+  res->uc.uc_stack.ss_size = pth_sksize_makecontext(res->stack, STACK_SIZE);
 
-         res->exception = xbt_new(ex_ctx_t, 1);
-         XBT_CTX_INITIALIZE(res->exception);
-       #endif                          /* CONTEXT_THREADS or not */
+  res->exception = xbt_new(ex_ctx_t, 1);
+  XBT_CTX_INITIALIZE(res->exception);
+#endif /* CONTEXT_THREADS or not */
 
-       res->iwannadie = 0; /* useless but makes valgrind happy */
+  res->iwannadie = 0;           /* useless but makes valgrind happy */
 
-       res->argc = argc;
-       res->argv = argv;
-       res->startup_func = startup_func;
-       res->startup_arg = startup_arg;
-       res->cleanup_func = cleanup_func;
-       res->cleanup_arg = cleanup_arg;
+  res->argc = argc;
+  res->argv = argv;
+  res->startup_func = startup_func;
+  res->startup_arg = startup_arg;
+  res->cleanup_func = cleanup_func;
+  res->cleanup_arg = cleanup_arg;
 
-       xbt_swag_insert(res, context_living);
+  xbt_swag_insert(res, context_living);
 
-       return res;
+  return res;
 }
 
 /* Scenario for the end of a context:
@@ -239,45 +217,45 @@ xbt_context_new(  const char *name,
  *   (same than first case afterward)
  */
 
+
 /* Argument must be stopped first -- runs in maestro context */
-static void 
-xbt_context_free(xbt_context_t context) 
+static void xbt_context_free(xbt_context_t context)
 {
-       int i;
+  int i;
+
+  if (!context)
+    return;
 
-       if (!context)
-               return;
+  DEBUG1("Freeing %p", context);
+  free(context->name);
 
-       DEBUG1("Freeing %p", context);
-       free(context->name);
+  DEBUG0("Freeing arguments");
 
-       DEBUG0("Freeing arguments");
+  for (i = 0; i < context->argc; i++)
+    if (context->argv[i])
+      free(context->argv[i]);
 
-       for (i = 0; i < context->argc; i++)
-               if (context->argv[i])
-                       free(context->argv[i]);
-       
-       if (context->argv)
-               free(context->argv);
+  if (context->argv)
+    free(context->argv);
 
-       #ifdef CONTEXT_THREADS
-         DEBUG1("\t joining %p", (void *) context->thread);
+#ifdef CONTEXT_THREADS
+  DEBUG1("\t joining %p", (void *) context->thread);
 
-         xbt_os_thread_join(context->thread, NULL);
+  xbt_os_thread_join(context->thread, NULL);
 
-         xbt_os_mutex_destroy(context->mutex);
-         xbt_os_cond_destroy(context->cond);
+  /* destroy the semaphore used to schedule/unshedule the process */
+       xbt_os_sem_destroy(context->begin);
+       xbt_os_sem_destroy(context->end);
 
-         context->thread = NULL;
-         context->mutex = NULL;
-         context->cond = NULL;
-       #else
-         if (context->exception)
-         free(context->exception);
-       #endif
+  context->thread = NULL;
+  context->begin = NULL;
+  context->end = NULL;
+#else
+  if (context->exception)
+    free(context->exception);
+#endif
 
-       free(context);
-       return;
+  free(context);
 }
 
 /************************/
@@ -286,38 +264,26 @@ xbt_context_free(xbt_context_t context)
 static void xbt_context_stop(int retvalue);
 static void __xbt_context_yield(xbt_context_t context);
 
-static void *
-__context_wrapper(void *c)
+static void *__context_wrapper(void *c)
 {
-       xbt_context_t context = current_context;
+  xbt_context_t context = current_context;
 
-       #ifdef CONTEXT_THREADS
-         context = (xbt_context_t) c;
-         context->thread = xbt_os_thread_self();
-
-         DEBUG3("**[ctx:%p;self:%p]** Lock creation_mutex %p ****", context,(void *) xbt_os_thread_self(), creation_mutex);
-         xbt_os_mutex_lock(creation_mutex);
-         xbt_os_mutex_lock(context->mutex);
-
-         DEBUG4("**[ctx:%p;self:%p]** Releasing the creator (creation_cond %p,%p) ****",context, (void *) xbt_os_thread_self(), creation_cond,creation_mutex);
-         xbt_os_cond_signal(creation_cond);
-         xbt_os_mutex_unlock(creation_mutex);
-
-         DEBUG4("**[ctx:%p;self:%p]** Going to Jail on lock %p and cond %p ****",context, (void *) xbt_os_thread_self(), context->mutex,context->cond);
-         xbt_os_cond_wait(context->cond, context->mutex);
+#ifdef CONTEXT_THREADS
+  context = (xbt_context_t) c;
+  /*context->thread = xbt_os_thread_self();*/
 
-         DEBUG3("**[ctx:%p;self:%p]** Unlocking individual %p ****",context, (void *) xbt_os_thread_self(), context->mutex);
-         xbt_os_mutex_unlock(context->mutex);
+  /* signal its starting to the maestro and wait to start its job*/
+  yield(context);
 
-       #endif
+#endif
 
-       if (context->startup_func)
-               context->startup_func(context->startup_arg);
+  if (context->startup_func)
+    context->startup_func(context->startup_arg);
 
-       DEBUG0("Calling the main function");
+  DEBUG0("Calling the main function");
 
-       xbt_context_stop((context->code) (context->argc, context->argv));
-       return NULL;
+  xbt_context_stop((context->code) (context->argc, context->argv));
+  return NULL;
 }
 /** 
  * \param context the context to start
@@ -325,66 +291,44 @@ __context_wrapper(void *c)
  * Calling this function prepares \a context to be run. It will 
    however run effectively only when calling #xbt_context_schedule
  */
-void 
-xbt_context_start(xbt_context_t context)
+void xbt_context_start(xbt_context_t context)
 {
-       #ifdef CONTEXT_THREADS
-       /* Launch the thread */
-
-         DEBUG3("**[ctx:%p;self:%p]** Locking creation_mutex %p ****", context,
-         xbt_os_thread_self(), creation_mutex);
-         xbt_os_mutex_lock(creation_mutex);
-
-         DEBUG2("**[ctx:%p;self:%p]** Thread create ****", context,xbt_os_thread_self());
-         context->thread = xbt_os_thread_create(context->name,__context_wrapper, context);
-         DEBUG3("**[ctx:%p;self:%p]** Thread created : %p ****", context,xbt_os_thread_self(), context->thread);
-
-         DEBUG4("**[ctx:%p;self:%p]** Going to jail on creation_cond/mutex (%p,%p) ****",context, xbt_os_thread_self(), creation_cond, creation_mutex);
-         xbt_os_cond_wait(creation_cond, creation_mutex);
-         DEBUG3("**[ctx:%p;self:%p]** Unlocking creation %p ****", context,xbt_os_thread_self(), creation_mutex);
-         xbt_os_mutex_unlock(creation_mutex);
-       #else
-         makecontext(&(context->uc), (void (*)(void)) __context_wrapper, 1, context);
-       #endif
+#ifdef CONTEXT_THREADS
+  /* create the process and start it */
+  context->thread = xbt_os_thread_create(context->name,__context_wrapper, context);
+       
+  /* wait the starting of the newly created process */
+  xbt_os_sem_acquire(context->end);
+#else
+  makecontext(&(context->uc), (void (*)(void)) __context_wrapper, 1, context);
+#endif
 }
 
 /* Stops current context: calls user's cleanup function, kills os thread, and yields back to maestro */
-static void 
-xbt_context_stop(int retvalue) 
+static void xbt_context_stop(int retvalue)
 {
-       DEBUG1("--------- %p is exiting ---------", current_context);
-
-       if (current_context->cleanup_func) 
-       {
-               DEBUG0("Calling cleanup function");
-               current_context->cleanup_func(current_context->cleanup_arg);
-       }
-
-       DEBUG0("Putting context in the to_destroy set");
-       xbt_swag_remove(current_context, context_living);
-       xbt_swag_insert(current_context, context_to_destroy);
+  DEBUG1("--------- %p is exiting ---------", current_context);
 
-       DEBUG0("Yielding");
+  if (current_context->cleanup_func) {
+    DEBUG0("Calling cleanup function");
+    current_context->cleanup_func(current_context->cleanup_arg);
+  }
 
-       #ifdef CONTEXT_THREADS
-         /* a java thread has called this function
-                        * - update the current context
-                        * - signal the condition of the main thread
-                        * - wait on its condition
-                        * - restore thr current contex
-                        */
+  DEBUG0("Putting context in the to_destroy set");
+  xbt_swag_remove(current_context, context_living);
+  xbt_swag_insert(current_context, context_to_destroy);
 
-                       xbt_os_mutex_lock(master_mutex);
-                       xbt_os_cond_signal(master_cond);
-                       xbt_os_mutex_unlock(master_mutex);
-                       xbt_os_thread_exit(NULL);       /* We should provide return value in case other wants it */
-               
-                       
-       #else
-         __xbt_context_yield(current_context);
-       #endif
+  DEBUG0("Yielding");
 
-       xbt_assert0(0, "You can't be here!");
+#ifdef CONTEXT_THREADS
+  /* signal to the maestro that it has finished */
+       xbt_os_sem_release(current_context->end);
+       /* exit*/
+       xbt_os_thread_exit(NULL);       /* We should provide return value in case other wants it */
+#else
+  __xbt_context_yield(current_context);
+#endif
+  THROW_IMPOSSIBLE;
 }
 
 
@@ -394,135 +338,111 @@ xbt_context_stop(int retvalue)
  * Should be called some time to time to free the memory allocated for contexts
  * that have finished executing their main functions.
  */
-void 
-xbt_context_empty_trash(void)
+void xbt_context_empty_trash(void)
 {
-       xbt_context_t context = NULL;
-       DEBUG1("Emptying trashbin (%d contexts to free)",xbt_swag_size(context_to_destroy));
-       
-       while ((context = xbt_swag_extract(context_to_destroy)))
-               xbt_context_free(context);
+  xbt_context_t context = NULL;
+
+  DEBUG1("Emptying trashbin (%d contexts to free)",
+         xbt_swag_size(context_to_destroy));
+
+  while ((context = xbt_swag_extract(context_to_destroy)))
+    xbt_context_free(context);
 }
 
 /*********************/
 /* context switching */
 /*********************/
 
-static void 
-__xbt_context_yield(xbt_context_t context)
+static void __xbt_context_yield(xbt_context_t context)
 {
-       #ifdef CONTEXT_THREADS
-         xbt_context_t self;
-       #endif  
-       
-         xbt_assert0(current_context, "You have to call context_init() first.");       
-       xbt_assert0(context,"Invalid argument");
-
-       if (current_context == context) 
-       {
-               DEBUG1("--------- current_context (%p) is yielding back to maestro ---------",context);
-       } 
-       else 
-       {
-               DEBUG2("--------- current_context (%p) is yielding to context(%p) ---------",current_context, context);
-       }
+  xbt_assert0(current_context, "You have to call context_init() first.");
+  xbt_assert0(context, "Invalid argument");
+
+  if (current_context == context) {
+    DEBUG1
+      ("--------- current_context (%p) is yielding back to maestro ---------",
+       context);
+  } else {
+    DEBUG2
+      ("--------- current_context (%p) is yielding to context(%p) ---------",
+       current_context, context);
+  }
+
+#ifdef CONTEXT_THREADS
 
-       #ifdef CONTEXT_THREADS
+  if(current_context != init_context && !context->iwannadie)
+       {/* it's a process and it doesn't wants to die (xbt_context_yield()) */
                
-         self = current_context;
-       
-         if(is_main_thread())
-         {
-                       /* the main thread has called this function
-                        * - update the current context
-                        * - signal the condition of the process to run
-                        * - wait on its condition
-                        * - restore thr current contex
-                        */
-
-                       xbt_os_mutex_lock(master_mutex);
-                       xbt_os_mutex_lock(context->mutex);
-                       
-                       /* update the current context */
-                       current_context = context;
-                       xbt_os_cond_signal(context->cond);
-                       xbt_os_mutex_unlock(context->mutex);
-                       
-                       xbt_os_cond_wait(master_cond, master_mutex);
-                       xbt_os_mutex_unlock(master_mutex);
-                       /* retore the current context */
-                       current_context = self;
-                       
-               }
-               else
-               {
-                       /* a java thread has called this function
-                        * - update the current context
-                        * - signal the condition of the main thread
-                        * - wait on its condition
-                        * - restore thr current contex
-                        */
-
-                       xbt_os_mutex_lock(master_mutex);
-                       xbt_os_mutex_lock(context->mutex);
-                       /* update the current context */
-                       current_context = context;
-                       xbt_os_cond_signal(master_cond);
-                       xbt_os_mutex_unlock(master_mutex);
-                       xbt_os_cond_wait(context->cond, context->mutex);
-                       xbt_os_mutex_unlock(context->mutex);
-                       /* retore the current context */
-                       current_context = self;
-               }
-
-       #else                           /* use SUSv2 contexts */
-         VOIRP(current_context);
-         VOIRP(current_context->save);
-
-         VOIRP(context);
-         VOIRP(context->save);
-
-         int return_value = 0;
-
-       if (context->save == NULL) 
-       {
-         xbt_assert(context == current_context);
-         DEBUG1("[%p] **** Yielding to somebody else ****", current_context);
-         DEBUG2("Saving current_context value (%p) to context(%p)->save",current_context, context);
-         context->save = current_context;
-       DEBUG1("current_context becomes  context(%p) ", context);
-       current_context = context;
-       DEBUG1
-       ("Current position memorized (context->save). Jumping to context (%p)",
-       context);
-       return_value = swapcontext(&(context->save->uc), &(context->uc));
-       xbt_assert0((return_value == 0), "Context swapping failure");
-       DEBUG1("I am (%p). Coming back\n", context);
-       } else {
-       xbt_context_t old_context = context->save;
-       DEBUG1("[%p] **** Back ! ****", context);
-       DEBUG2("Setting current_context (%p) to context(%p)->save",
-       current_context, context);
-       current_context = context->save;
-       DEBUG1("Setting context(%p)->save to NULL", context);
-       context->save = NULL;
-       DEBUG2("Current position memorized (%p). Jumping to context (%p)",
-       context, old_context);
-       return_value = swapcontext(&(context->uc), &(old_context->uc));
-       xbt_assert0((return_value == 0), "Context swapping failure");
-       DEBUG1("I am (%p). Coming back\n", context);
-       }
-       #endif
-       
-       if (current_context->iwannadie)
-               xbt_context_stop(1);
+               /* save the current context */
+               xbt_context_t self = current_context;
 
-       return;
-}
+               /* update the current context to this context */
+               current_context = context;
+               
+               /* yield itself */
+               yield(context);
+               
+               /* restore the current context to the previously saved context */
+               current_context = self;
+       }
+       else
+       { /* maestro wants to schedule a process or a process wants to die (xbt_context_schedule() or xbt_context_kill())*/
+               
+               /* save the current context */
+               xbt_context_t self = current_context;
+               
+               /* update the current context */
+               current_context = context;
 
+               /* schedule the process associated with this context */
+               schedule(context);
 
+               /* restore the current context to the previously saved context */
+               current_context = self;
+       }
 
+#else /* use SUSv2 contexts */
+  VOIRP(current_context);
+  VOIRP(current_context->save);
+
+  VOIRP(context);
+  VOIRP(context->save);
+
+  int return_value = 0;
+
+  if (context->save == NULL) {
+    DEBUG1("[%p] **** Yielding to somebody else ****", current_context);
+    DEBUG2("Saving current_context value (%p) to context(%p)->save",
+           current_context, context);
+    context->save = current_context;
+    DEBUG1("current_context becomes  context(%p) ", context);
+    current_context = context;
+    DEBUG1
+      ("Current position memorized (context->save). Jumping to context (%p)",
+       context);
+    return_value = swapcontext(&(context->save->uc), &(context->uc));
+    xbt_assert0((return_value == 0), "Context swapping failure");
+    DEBUG1("I am (%p). Coming back\n", context);
+  } else {
+    xbt_context_t old_context = context->save;
+
+    DEBUG1("[%p] **** Back ! ****", context);
+    DEBUG2("Setting current_context (%p) to context(%p)->save",
+           current_context, context);
+    current_context = context->save;
+    DEBUG1("Setting context(%p)->save to NULL", context);
+    context->save = NULL;
+    DEBUG2("Current position memorized (%p). Jumping to context (%p)",
+           context, old_context);
+    return_value = swapcontext(&(context->uc), &(old_context->uc));
+    xbt_assert0((return_value == 0), "Context swapping failure");
+    DEBUG1("I am (%p). Coming back\n", context);
+  }
+#endif
 
+  if (current_context->iwannadie)
+    xbt_context_stop(1);
+}
 
 /** 
  * Calling this function makes the current context yield. The context
@@ -532,8 +452,7 @@ __xbt_context_yield(xbt_context_t context)
  * Only the processes can call this function, giving back the control
  * to the maestro
  */
-void 
-xbt_context_yield(void)
+void xbt_context_yield(void)
 {
   __xbt_context_yield(current_context);
 }
@@ -547,11 +466,11 @@ xbt_context_yield(void)
  * 
  * Only the maestro can call this function to run a given process.
  */
-void 
-xbt_context_schedule(xbt_context_t context)
+void xbt_context_schedule(xbt_context_t context)
 {
   DEBUG1("Scheduling %p", context);
-  xbt_assert0((current_context == init_context),"You are not supposed to run this function here!");
+  xbt_assert0((current_context == init_context),
+              "You are not supposed to run this function here!");
   __xbt_context_yield(context);
 }
 
@@ -561,27 +480,20 @@ xbt_context_schedule(xbt_context_t context)
  *
  * This function simply kills \a context... scarry isn't it ?
  */
-void 
-xbt_context_kill(xbt_context_t context)
+void xbt_context_kill(xbt_context_t context)
 {
   DEBUG1("Killing %p", context);
 
   context->iwannadie = 1;
-  
+
   DEBUG1("Scheduling %p", context);
   __xbt_context_yield(context);
   DEBUG1("End of Scheduling %p", context);
-
-  return;
 }
 
 /* Java cruft I'm gonna kill in the next cleanup round */
 void  xbt_context_set_jprocess(xbt_context_t context, void *jp){}
 void* xbt_context_get_jprocess(xbt_context_t context){return NULL;}
-void  xbt_context_set_jmutex(xbt_context_t context,void *jm){}
-void* xbt_context_get_jmutex(xbt_context_t context){return NULL;}
-void  xbt_context_set_jcond(xbt_context_t context,void *jc){}
-void* xbt_context_get_jcond(xbt_context_t context){return NULL;}
 void  xbt_context_set_jenv(xbt_context_t context,void* je){}
 void* xbt_context_get_jenv(xbt_context_t context){return NULL;}