Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
implement a SIMIX_processes_as_dynar() function
[simgrid.git] / src / simix / smx_process.c
index 46abe32..7c54b7a 100644 (file)
-/*     $Id$     */
-
-/* Copyright (c) 2002,2003,2004 Arnaud Legrand. All rights reserved.        */
+/* Copyright (c) 2007, 2008, 2009, 2010. The SimGrid Team.
+ * All rights reserved.                                                     */
 
 /* This program is free software; you can redistribute it and/or modify it
  * under the terms of the license (GNU LGPL) which comes with this package. */
 
-#include "private.h"
+#include "smx_private.h"
 #include "xbt/sysdep.h"
 #include "xbt/log.h"
+#include "xbt/dict.h"
+#include "mc/mc.h"
 
 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(simix_process, simix,
-                               "Logging specific to SIMIX (process)");
+                                "Logging specific to SIMIX (process)");
+
+unsigned long simix_process_maxpid = 0;
 
-/******************************** Process ************************************/
 /**
- * \brief Creates and runs a new #smx_process_t.
+ * \brief Returns the current agent.
  *
- * Does exactly the same as #SIMIX_process_create_with_arguments but without 
-   providing standard arguments (\a argc, \a argv).
- * \see SIMIX_process_create_with_arguments
+ * This functions returns the currently running SIMIX process.
+ *
+ * \return The SIMIX process
  */
+XBT_INLINE smx_process_t SIMIX_process_self(void)
+{
+  smx_context_t self_context = SIMIX_context_self();
 
+  return self_context ? SIMIX_context_get_data(self_context) : NULL;
+}
 
-void SIMIX_process_cleanup(void *arg)
+/**
+ * \brief Returns whether a process has pending asynchronous communications.
+ * \return true if there are asynchronous communications in this process
+ */
+int SIMIX_process_has_pending_comms(smx_process_t process) {
+
+  return xbt_fifo_size(process->comms) > 0;
+}
+
+/**
+ * \brief Moves a process to the list of processes to destroy.
+ */
+void SIMIX_process_cleanup(smx_process_t process)
 {
-  xbt_swag_remove(arg, simix_global->process_list);
-  xbt_swag_remove(arg, simix_global->process_to_run);
-  xbt_swag_remove(arg, ((smx_process_t) arg)->simdata->host->simdata->process_list);
-  free(((smx_process_t) arg)->name);
-  ((smx_process_t) arg)->name = NULL;
+  XBT_DEBUG("Cleanup process %s (%p), waiting action %p",
+      process->name, process, process->waiting_action);
+
+  /* cancel non-blocking communications */
+  smx_action_t action;
+  while ((action = xbt_fifo_pop(process->comms))) {
+
+    /* make sure no one will finish the comm after this process is destroyed,
+     * because src_proc or dst_proc would be an invalid pointer */
+    SIMIX_comm_cancel(action);
+
+    if (action->comm.src_proc == process) {
+      XBT_DEBUG("Found an unfinished send comm %p (detached = %d), state %d, src = %p, dst = %p",
+          action, action->comm.detached, (int)action->state, action->comm.src_proc, action->comm.dst_proc);
+      action->comm.src_proc = NULL;
+
+      if (action->comm.detached) {
+         if (action->comm.refcount == 0) {
+           XBT_DEBUG("Increase the refcount before destroying it since it's detached");
+           /* I'm not supposed to destroy a detached comm from the sender side,
+            * unless there is no receiver matching the rdv */
+           action->comm.refcount++;
+           SIMIX_comm_destroy(action);
+         }
+         else {
+           XBT_DEBUG("Don't destroy it since its refcount is %d", action->comm.refcount);
+         }
+      } else {
+        SIMIX_comm_destroy(action);
+      }
+    }
+    else if (action->comm.dst_proc == process){
+      XBT_DEBUG("Found an unfinished recv comm %p, state %d, src = %p, dst = %p",
+          action, (int)action->state, action->comm.src_proc, action->comm.dst_proc);
+      action->comm.dst_proc = NULL;
+
+      if (action->comm.detached && action->comm.refcount == 1
+          && action->comm.src_proc != NULL) {
+        /* the comm will be freed right now, remove it from the sender */
+        xbt_fifo_remove(action->comm.src_proc->comms, action);
+      }
+      SIMIX_comm_destroy(action);
+    }
+    else {
+      xbt_die("Communication action %p is in my list but I'm not the sender "
+          "or the receiver", action);
+    }
+  }
 
-  free(((smx_process_t) arg)->simdata);
-  ((smx_process_t) arg)->simdata = NULL;
-  free(arg);
+  /*xbt_swag_remove(process, simix_global->process_to_run);*/
+  xbt_swag_remove(process, simix_global->process_list);
+  xbt_swag_remove(process, process->smx_host->process_list);
+  xbt_swag_insert(process, simix_global->process_to_destroy);
 }
 
 /** 
- * \brief Creates and runs a new #smx_process_t.
- *
- * A constructor for #m_process_t taking four arguments and returning the corresponding object. The structure (and the corresponding thread) is created, and put in the list of ready process.
+ * Garbage collection
  *
- * \param name a name for the object. It is for user-level information and can be NULL.
-* \param data a pointer to any data one may want to attach to the new object.  It is for user-level information and can be NULL. It can be retrieved with the function \ref MSG_process_get_data.
- * \param host the location where the new agent is executed.
- * \param argc first argument passed to \a code
- * \param argv second argument passed to \a code
- * \param clean_process_function The cleanup function of user process. It will be called when the process finish. This function have to call the SIMIX_process_cleanup.        
- * \see smx_process_t
- * \return The new corresponding object.
+ * Should be called some time to time to free the memory allocated for processes
+ * that have finished (or killed).
  */
-smx_process_t SIMIX_process_create(const char *name,
-                                             smx_process_code_t code, void *data,
-                                             const char * hostname, int argc, char **argv, void * clean_process_function)
-{
-  smx_simdata_process_t simdata = xbt_new0(s_smx_simdata_process_t,1);
-  smx_process_t process = xbt_new0(s_smx_process_t,1);
-  smx_process_t self = NULL;
-       smx_host_t host = SIMIX_host_get_by_name(hostname);
-
-  xbt_assert0(((code != NULL) && (host != NULL)), "Invalid parameters");
-  /* Simulator Data */
-
-  simdata->host = host;
-       simdata->mutex = NULL;
-       simdata->cond = NULL;
-  simdata->argc = argc;
-  simdata->argv = argv;
-       if (clean_process_function) {
-       simdata->context = xbt_context_new(code, NULL, NULL, 
-                                            clean_process_function, process, 
-                                            simdata->argc, simdata->argv);
-       }
-       else {
-       simdata->context = xbt_context_new(code, NULL, NULL, 
-                                            SIMIX_process_cleanup, process, 
-                                            simdata->argc, simdata->argv);
-       }
+void SIMIX_process_empty_trash(void)
+{
+  smx_process_t process = NULL;
 
-  /* Process structure */
-  process->name = xbt_strdup(name);
-  process->simdata = simdata;
-  process->data = data;
+  while ((process = xbt_swag_extract(simix_global->process_to_destroy))) {
+    SIMIX_context_free(process->context);
 
-  xbt_swag_insert(process, host->simdata->process_list);
+    /* Free the exception allocated at creation time */
+    free(process->running_ctx);
+    xbt_dict_free(&process->properties);
 
-  /* *************** FIX du current_process !!! *************** */
-  self = simix_global->current_process;
-  xbt_context_start(process->simdata->context);
-  simix_global->current_process = self;
+    xbt_fifo_free(process->comms);
 
-  xbt_swag_insert(process,simix_global->process_list);
-  DEBUG2("Inserting %s(%s) in the to_run list",process->name,
-        host->name);
-  xbt_swag_insert(process,simix_global->process_to_run);
+    free(process->name);
+    free(process);
+  }
+}
 
-  return process;
+/**
+ * \brief Creates and runs the maestro process
+ */
+void SIMIX_create_maestro_process()
+{
+  smx_process_t maestro = NULL;
+
+  /* Create maestro process and intilialize it */
+  maestro = xbt_new0(s_smx_process_t, 1);
+  maestro->pid = simix_process_maxpid++;
+  maestro->name = (char *) "";
+  maestro->running_ctx = xbt_new(xbt_running_ctx_t, 1);
+  XBT_RUNNING_CTX_INITIALIZE(maestro->running_ctx);
+  maestro->context = SIMIX_context_new(NULL, 0, NULL, NULL, maestro);
+  maestro->simcall.issuer = maestro;
+
+  simix_global->maestro_process = maestro;
+  return;
 }
 
+/**
+ * \brief Same as SIMIX_process_create() but with only one argument (used by timers).
+ * \return the process created
+ */
+smx_process_t SIMIX_process_create_from_wrapper(smx_process_arg_t args) {
+
+  smx_process_t process;
+  simix_global->create_process_function(
+      &process,
+      args->name,
+      args->code,
+      args->data,
+      args->hostname,
+      args->argc,
+      args->argv,
+      args->properties);
 
-/** \brief Kill a SIMIX process
+  return process;
+}
+
+/**
+ * \brief Internal function to create a process.
  *
- * This function simply kills a \a process... scarry isn't it ? :). Removes it from the mutex or condition that it can be blocked.
- * \param process poor victim
+ * This function actually creates the process.
+ * It may be called when a SIMCALL_PROCESS_CREATE simcall occurs,
+ * or directly for SIMIX internal purposes.
  *
+ * \return the process created
  */
-void SIMIX_process_kill(smx_process_t process)
-{      
-  smx_simdata_process_t p_simdata = process->simdata;
+void SIMIX_process_create(smx_process_t *process,
+                          const char *name,
+                          xbt_main_func_t code,
+                          void *data,
+                          const char *hostname,
+                          int argc, char **argv,
+                          xbt_dict_t properties) {
+
+  *process = NULL;
+  smx_host_t host = SIMIX_host_get_by_name(hostname);
+
+  XBT_DEBUG("Start process %s on host %s", name, hostname);
+
+  if (!SIMIX_host_get_state(host)) {
+    XBT_WARN("Cannot launch process '%s' on failed host '%s'", name,
+          hostname);
+  }
+  else {
+    *process = xbt_new0(s_smx_process_t, 1);
 
-  DEBUG2("Killing %s on %s",process->name, p_simdata->host->name);
-  
-       if (p_simdata->mutex) {
-               xbt_swag_remove(process,p_simdata->mutex->sleeping);
-       }
-       if (p_simdata->cond) {
-               xbt_swag_remove(process,p_simdata->cond->sleeping);
-       }
-  xbt_swag_remove(process,simix_global->process_to_run);
-  xbt_swag_remove(process,simix_global->process_list);
-  xbt_context_kill(process->simdata->context);
+    xbt_assert(((code != NULL) && (host != NULL)), "Invalid parameters");
+
+    /* Process data */
+    (*process)->pid = simix_process_maxpid++;
+    (*process)->name = xbt_strdup(name);
+    (*process)->smx_host = host;
+    (*process)->data = data;
+    (*process)->comms = xbt_fifo_new();
+    (*process)->simcall.issuer = *process;
+
+    XBT_VERB("Create context %s", (*process)->name);
+    (*process)->context = SIMIX_context_new(code, argc, argv,
+       simix_global->cleanup_process_function, *process);
 
-  if(process==SIMIX_process_self()) {
-    /* I just killed myself */
-    xbt_context_yield();
+    (*process)->running_ctx = xbt_new(xbt_running_ctx_t, 1);
+    XBT_RUNNING_CTX_INITIALIZE((*process)->running_ctx);
+
+    /* Add properties */
+    (*process)->properties = properties;
+
+    /* Add the process to it's host process list */
+    xbt_swag_insert(*process, host->process_list);
+
+    XBT_DEBUG("Start context '%s'", (*process)->name);
+
+    /* Now insert it in the global process list and in the process to run list */
+    xbt_swag_insert(*process, simix_global->process_list);
+    XBT_DEBUG("Inserting %s(%s) in the to_run list", (*process)->name, host->name);
+    xbt_dynar_push_as(simix_global->process_to_run, smx_process_t, *process);
   }
 }
 
 /**
- * \brief Return the user data of a #smx_process_t.
+ * \brief Executes the processes from simix_global->process_to_run.
  *
- * This functions checks whether \a process is a valid pointer or not and return the user data associated to \a process if it is possible.
- * \param process SIMIX process
- * \return A void pointer to the user data
+ * The processes of simix_global->process_to_run are run (in parallel if
+ * possible).  On exit, simix_global->process_to_run is empty, and
+ * simix_global->process_that_ran contains the list of processes that just ran.
+ * The two lists are swapped so, be careful when using them before and after a
+ * call to this function.
  */
-void *SIMIX_process_get_data(smx_process_t process)
+void SIMIX_process_runall(void)
 {
-  xbt_assert0((process != NULL), "Invalid parameters");
+  SIMIX_context_runall();
 
-  return (process->data);
+  xbt_dynar_t tmp = simix_global->process_that_ran;
+  simix_global->process_that_ran = simix_global->process_to_run;
+  simix_global->process_to_run = tmp;
+  xbt_dynar_reset(simix_global->process_to_run);
 }
 
 /**
- * \brief Set the user data of a #m_process_t.
+ * \brief Internal function to kill a SIMIX process.
+ *
+ * This function may be called when a SIMCALL_PROCESS_KILL simcall occurs,
+ * or directly for SIMIX internal purposes.
  *
- * This functions checks whether \a process is a valid pointer or not and set the user data associated to \a process if it is possible.
- * \param process SIMIX process
- * \param data User data
+ * \param process poor victim
  */
-void SIMIX_process_set_data(smx_process_t process,void *data)
-{
-  xbt_assert0((process != NULL), "Invalid parameters");
-  xbt_assert0((process->data == NULL), "Data already set");
-  
-  process->data = data;
-   
-  return ;
+void SIMIX_process_kill(smx_process_t process) {
+
+  XBT_DEBUG("Killing process %s on %s", process->name, process->smx_host->name);
+
+  process->context->iwannadie = 1;
+  process->blocked = 0;
+  process->suspended = 0;
+  /* FIXME: set doexception to 0 also? */
+
+  /* destroy the blocking action if any */
+  if (process->waiting_action) {
+
+    switch (process->waiting_action->type) {
+
+      case SIMIX_ACTION_EXECUTE:          
+      case SIMIX_ACTION_PARALLEL_EXECUTE:
+        SIMIX_host_execution_destroy(process->waiting_action);
+        break;
+
+      case SIMIX_ACTION_COMMUNICATE:
+        xbt_fifo_remove(process->comms, process->waiting_action);
+        SIMIX_comm_destroy(process->waiting_action);
+        break;
+
+      case SIMIX_ACTION_SLEEP:
+       SIMIX_process_sleep_destroy(process->waiting_action);
+       break;
+
+      case SIMIX_ACTION_SYNCHRO:
+       SIMIX_synchro_stop_waiting(process, &process->simcall);
+       SIMIX_synchro_destroy(process->waiting_action);
+       break;
+
+      case SIMIX_ACTION_IO:
+        SIMIX_io_destroy(process->waiting_action);
+        break;
+    }
+  }
+
+  xbt_dynar_push_as(simix_global->process_to_run, smx_process_t, process);
 }
 
 /**
- * \brief Return the location on which an agent is running.
- *
- * This functions checks whether \a process is a valid pointer or not and return the m_host_t corresponding to the location on which \a process is running.
- * \param process SIMIX process
- * \return SIMIX host
+ * \brief Kills all running processes.
+ * \param issuer this one will not be killed
  */
+void SIMIX_process_killall(smx_process_t issuer)
+{
+  smx_process_t p = NULL;
+
+  while ((p = xbt_swag_extract(simix_global->process_list))) {
+    if (p != issuer) {
+      SIMIX_process_kill(p);
+    }
+  }
+
+  SIMIX_context_runall();
+
+  SIMIX_process_empty_trash();
+}
+
+void SIMIX_process_change_host(smx_process_t process,
+                              smx_host_t dest)
+{
+  xbt_assert((process != NULL), "Invalid parameters");
+  xbt_swag_remove(process, process->smx_host->process_list);
+  process->smx_host = dest;
+  xbt_swag_insert(process, dest->process_list);
+}
+
+void SIMIX_pre_process_change_host(smx_process_t process, smx_host_t dest)
+{
+  process->new_host = dest;
+}
+
+void SIMIX_pre_process_suspend(smx_simcall_t simcall)
+{
+  smx_process_t process = simcall->process_suspend.process;
+  SIMIX_process_suspend(process, simcall->issuer);
+
+  if (process != simcall->issuer) {
+    SIMIX_simcall_answer(simcall);
+  }
+  /* If we are suspending ourselves, then just do not finish the simcall now */
+}
+
+void SIMIX_process_suspend(smx_process_t process, smx_process_t issuer)
+{
+  xbt_assert((process != NULL), "Invalid parameters");
+
+  if (process->suspended) {
+    XBT_DEBUG("Process '%s' is already suspended", process->name);
+    return;
+  }
+
+  process->suspended = 1;
+
+  /* If we are suspending another process, and it is waiting on an action,
+     suspend its action. */
+  if (process != issuer) {
+
+    if (process->waiting_action) {
+
+      switch (process->waiting_action->type) {
+
+        case SIMIX_ACTION_EXECUTE:
+        case SIMIX_ACTION_PARALLEL_EXECUTE:
+          SIMIX_host_execution_suspend(process->waiting_action);
+          break;
+
+        case SIMIX_ACTION_COMMUNICATE:
+          SIMIX_comm_suspend(process->waiting_action);
+          break;
+
+        case SIMIX_ACTION_SLEEP:
+          SIMIX_process_sleep_suspend(process->waiting_action);
+          break;
+
+        default:
+          xbt_die("Internal error in SIMIX_process_suspend: unexpected action type %d",
+              (int)process->waiting_action->type);
+      }
+    }
+  }
+}
+
+void SIMIX_process_resume(smx_process_t process, smx_process_t issuer)
+{
+  xbt_assert((process != NULL), "Invalid parameters");
+
+  if (!process->suspended) {
+    XBT_DEBUG("Process '%s' is not suspended", process->name);
+    return;
+  }
+
+  process->suspended = 0;
+
+  /* If we are resuming another process, resume the action it was waiting for
+     if any. Otherwise add it to the list of process to run in the next round. */
+  if (process != issuer) {
+
+    if (process->waiting_action) {
+
+      switch (process->waiting_action->type) {
+
+        case SIMIX_ACTION_EXECUTE:          
+        case SIMIX_ACTION_PARALLEL_EXECUTE:
+          SIMIX_host_execution_resume(process->waiting_action);
+          break;
+
+        case SIMIX_ACTION_COMMUNICATE:
+          SIMIX_comm_resume(process->waiting_action);
+          break;
+
+        case SIMIX_ACTION_SLEEP:
+          SIMIX_process_sleep_resume(process->waiting_action);
+          break;
+
+        default:
+          xbt_die("Internal error in SIMIX_process_resume: unexpected action type %d",
+              (int)process->waiting_action->type);
+      }
+    }
+    else {
+      xbt_dynar_push_as(simix_global->process_to_run, smx_process_t, process);
+    }
+  }
+}
+
+int SIMIX_process_get_maxpid(void) {
+  return simix_process_maxpid;
+}
+
+int SIMIX_process_count(void)
+{
+  return xbt_swag_size(simix_global->process_list);
+}
+
+void* SIMIX_process_self_get_data(smx_process_t self)
+{
+  xbt_assert(self == SIMIX_process_self(), "This is not the current process");
+
+  if (!self) {
+    return NULL;
+  }
+  return SIMIX_process_get_data(self);
+}
+
+void SIMIX_process_self_set_data(smx_process_t self, void *data)
+{
+  xbt_assert(self == SIMIX_process_self(), "This is not the current process");
+
+  SIMIX_process_set_data(self, data);
+}
+
+void* SIMIX_process_get_data(smx_process_t process)
+{
+  return process->data;
+}
+
+void SIMIX_process_set_data(smx_process_t process, void *data)
+{
+  process->data = data;
+}
+
 smx_host_t SIMIX_process_get_host(smx_process_t process)
 {
-  xbt_assert0(((process != NULL) && (process->simdata)), "Invalid parameters");
+  return process->smx_host;
+}
+
+/* needs to be public and without simcall because it is called
+   by exceptions and logging events */
+const char* SIMIX_process_self_get_name(void) {
 
-  return (process->simdata->host);
+  smx_process_t process = SIMIX_process_self();
+  if (process == NULL || process == simix_global->maestro_process)
+    return "";
+
+  return SIMIX_process_get_name(process);
 }
 
-/**
- * \brief Return the name of an agent.
- *
- * This functions checks whether \a process is a valid pointer or not and return its name.
- * \param process SIMIX process
- * \return The process name
- */
-const char *SIMIX_process_get_name(smx_process_t process)
+const char* SIMIX_process_get_name(smx_process_t process)
+{
+  return process->name;
+}
+
+smx_process_t SIMIX_process_get_by_name(const char* name)
 {
-  xbt_assert0(((process != NULL) && (process->simdata)), "Invalid parameters");
+  smx_process_t proc;
 
-  return (process->name);
+  xbt_swag_foreach(proc, simix_global->process_list)
+  {
+    if(!strcmp(name, proc->name))
+      return proc;
+  }
+  return NULL;
 }
 
-/**
- * \brief Return the current agent.
- *
- * This functions returns the currently running #smx_process_t.
- * \return The SIMIX process
- */
-smx_process_t SIMIX_process_self(void)
+int SIMIX_process_is_suspended(smx_process_t process)
 {
-  return simix_global ? simix_global->current_process : NULL;
+  return process->suspended;
 }
 
-/**
- * \brief Suspend the process.
- *
- * This functions suspend the process by suspending the action on which it was waiting for the completion.
- *     \param process SIMIX process
- */
-void SIMIX_process_suspend(smx_process_t process)
-{
-  smx_simdata_process_t simdata = NULL;
-       
-  xbt_assert0(((process) && (process->simdata)), "Invalid parameters");
-
-  if(process!=SIMIX_process_self()) {
-    simdata = process->simdata;
-    
-               if (simdata->mutex) {
-                       /* process blocked on a mutex, only set suspend=1 */
-                       simdata->suspended = 1;
-               }
-               else if (simdata->cond){
-                       /* process blocked cond, suspend all actions */
-
-                       /* temporaries variables */ 
-                       smx_cond_t c;
-                       xbt_fifo_item_t i;
-                       smx_action_t act;
-
-                       simdata->suspended = 1;
-                       c = simdata->cond;
-                       xbt_fifo_foreach(c->actions,i,act, smx_action_t) {
-                               surf_workstation_resource->common_public->suspend(act->simdata->surf_action);
-                       }
-               }
-               else {
-                       simdata->suspended = 1;
-               }
+xbt_dict_t SIMIX_process_get_properties(smx_process_t process)
+{
+  return process->properties;
+}
+
+void SIMIX_pre_process_sleep(smx_simcall_t simcall)
+{
+  if (MC_IS_ENABLED) {
+    MC_process_clock_add(simcall->issuer, simcall->process_sleep.duration);
+    simcall->process_sleep.result = SIMIX_DONE;
+    SIMIX_simcall_answer(simcall);
+    return;
   }
-       else {
-               /* process executing, I can create an action and suspend it */
-               process->simdata->suspended = 1;
-               smx_action_t dummy;
-               smx_cond_t cond;
-               char name[] = "dummy";
-
-               cond = SIMIX_cond_init();
-               dummy = SIMIX_action_execute(SIMIX_process_get_host(process), name, 0);
-               surf_workstation_resource->common_public->set_priority(dummy->simdata->surf_action,0.0);
-               SIMIX_register_condition_to_action(dummy,cond);
-               SIMIX_register_action_to_condition(dummy,cond);
-               __SIMIX_cond_wait(cond);        
-               //SIMIX_action_destroy(dummy);
-               //SIMIX_cond_destroy(cond);
-       }
-  return ;
+  smx_action_t action = SIMIX_process_sleep(simcall->issuer, simcall->process_sleep.duration);
+  xbt_fifo_push(action->simcalls, simcall);
+  simcall->issuer->waiting_action = action;
 }
 
-/**
- * \brief Resume a suspended process.
+smx_action_t SIMIX_process_sleep(smx_process_t process, double duration)
+{
+  smx_action_t action;
+  smx_host_t host = process->smx_host;
+
+  /* check if the host is active */
+  if (surf_workstation_model->extension.
+      workstation.get_state(host->host) != SURF_RESOURCE_ON) {
+    THROWF(host_error, 0, "Host %s failed, you cannot call this function",
+           host->name);
+  }
+
+  action = xbt_mallocator_get(simix_global->action_mallocator);
+  action->type = SIMIX_ACTION_SLEEP;
+  action->name = NULL;
+#ifdef HAVE_TRACING
+  action->category = NULL;
+#endif
+
+  action->sleep.host = host;
+  action->sleep.surf_sleep =
+      surf_workstation_model->extension.workstation.sleep(host->host, duration);
+
+  surf_workstation_model->action_data_set(action->sleep.surf_sleep, action);
+  XBT_DEBUG("Create sleep action %p", action);
+
+  return action;
+}
+
+void SIMIX_post_process_sleep(smx_action_t action)
+{
+  smx_simcall_t simcall;
+  e_smx_state_t state;
+
+  while ((simcall = xbt_fifo_shift(action->simcalls))) {
+
+    switch(surf_workstation_model->action_state_get(action->sleep.surf_sleep)){
+      case SURF_ACTION_FAILED:
+        state = SIMIX_SRC_HOST_FAILURE;
+        break;
+
+      case SURF_ACTION_DONE:
+        state = SIMIX_DONE;
+        break;
+
+      default:
+        THROW_IMPOSSIBLE;
+        break;
+    }
+    simcall->process_sleep.result = state;
+    simcall->issuer->waiting_action = NULL;
+    SIMIX_simcall_answer(simcall);
+  }
+  SIMIX_process_sleep_destroy(action);
+}
+
+void SIMIX_process_sleep_destroy(smx_action_t action)
+{
+  XBT_DEBUG("Destroy action %p", action);
+  if (action->sleep.surf_sleep)
+    action->sleep.surf_sleep->model_type->action_unref(action->sleep.surf_sleep);
+  xbt_mallocator_release(simix_global->action_mallocator, action);
+}
+
+void SIMIX_process_sleep_suspend(smx_action_t action)
+{
+  surf_workstation_model->suspend(action->sleep.surf_sleep);
+}
+
+void SIMIX_process_sleep_resume(smx_action_t action)
+{
+  surf_workstation_model->resume(action->sleep.surf_sleep);
+}
+
+/** 
+ * \brief Calling this function makes the process to yield.
+ *
+ * Only the current process can call this function, giving back the control to
+ * maestro.
  *
- * This functions resume a suspended process by resuming the task on which it was waiting for the completion.
- * \param process SIMIX process
+ * \param self the current process
  */
-void SIMIX_process_resume(smx_process_t process)
+void SIMIX_process_yield(smx_process_t self)
 {
-  smx_simdata_process_t simdata = NULL;
+  XBT_DEBUG("Yield process '%s'", self->name);
+
+  /* Go into sleep and return control to maestro */
+  SIMIX_context_suspend(self->context);
 
-  xbt_assert0(((process != NULL) && (process->simdata)), "Invalid parameters");
-  CHECK_HOST();
+  /* Ok, maestro returned control to us */
+  XBT_DEBUG("Control returned to me: '%s'", self->name);
 
-  if(process == SIMIX_process_self()) {
-               return; 
+  if (self->context->iwannadie){
+    XBT_DEBUG("I wanna die!");
+    SIMIX_context_stop(self->context);
   }
 
-  simdata = process->simdata;
-  if(simdata->mutex) {
-               DEBUG0("Resume process blocked on a mutex");
-    simdata->suspended = 0; /* He'll wake up by itself */
-               return; 
+  if (self->doexception) {
+    XBT_DEBUG("Wait, maestro left me an exception");
+    self->doexception = 0;
+    SMX_THROW();
   }
-       else if (simdata->cond) {
-               DEBUG0("Resume process blocked on a conditional");
-               /* temporaries variables */ 
-               smx_cond_t c;
-               xbt_fifo_item_t i;
-               smx_action_t act;
-               simdata->suspended = 0;
-               c = simdata->cond;
-               xbt_fifo_foreach(c->actions,i,act, smx_action_t) {
-                       surf_workstation_resource->common_public->resume(act->simdata->surf_action);
-               }
-               return;
-       }
-       else {
-               simdata->suspended = 0;
-               xbt_swag_insert(process,simix_global->process_to_run);
-       }
+  
+  if (self->new_host) {
+    SIMIX_process_change_host(self, self->new_host);
+    self->new_host = NULL;
+  }
+}
 
+/* callback: context fetching */
+xbt_running_ctx_t *SIMIX_process_get_running_context(void)
+{
+  return SIMIX_process_self()->running_ctx;
 }
 
-/**
- * \brief Returns true if the process is suspended .
- *
- * This checks whether a process is suspended or not by inspecting the task on which it was waiting for the completion.
- * \param process SIMIX process
- * \return 1, if the process is suspended, else 0.
- */
-int SIMIX_process_is_suspended(smx_process_t process)
+/* callback: termination */
+void SIMIX_process_exception_terminate(xbt_ex_t * e)
 {
-  xbt_assert0(((process != NULL) && (process->simdata)), "Invalid parameters");
+  xbt_ex_display(e);
+  abort();
+}
+
+smx_context_t SIMIX_process_get_context(smx_process_t p) {
+  return p->context;
+}
 
-  return (process->simdata->suspended);
+void SIMIX_process_set_context(smx_process_t p,smx_context_t c) {
+  p->context = c;
 }
 
+/**
+ * \brief Returns the list of processes to run.
+ */
+xbt_dynar_t SIMIX_process_get_runnable(void)
+{
+  return simix_global->process_to_run;
+}
 
+/**
+ * \brief Returns the process from PID.
+ */
+smx_process_t SIMIX_process_from_PID(int PID)
+{
+       smx_process_t proc;
+       xbt_swag_foreach(proc, simix_global->process_list)
+       {
+        if(proc->pid == PID)
+        return proc;
+       }
+       return NULL;
+}
 
+/** @brief returns a dynar containg all currently existing processes */
+xbt_dynar_t SIMIX_processes_as_dynar(void) {
+  smx_process_t proc;
+  xbt_dynar_t res = xbt_dynar_new(sizeof(smx_process_t),NULL);
+  xbt_swag_foreach(proc, simix_global->process_list) {
+    xbt_dynar_push(res,&proc);
+  }
+  return res;
+}