Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : break forgotten in switch
[simgrid.git] / src / simix / process_private.h
index cb391c3..7d2dd13 100644 (file)
@@ -9,11 +9,9 @@
 
 #include "simix/datatypes.h"
 #include "smurf_private.h"
-#include "xbt/setset.h"
 
 /** @brief Process datatype */
 typedef struct s_smx_process {
-  XBT_SETSET_HEADERS;
   s_xbt_swag_hookup_t process_hookup;
   s_xbt_swag_hookup_t synchro_hookup;   /* process_to_run or mutex->sleeping and co */
   s_xbt_swag_hookup_t host_proc_hookup;
@@ -27,7 +25,9 @@ typedef struct s_smx_process {
   int doexception:1;
   int blocked:1;
   int suspended:1;
-  smx_action_t waiting_action;
+  smx_host_t new_host;          /* if not null, the host on which the process must migrate to */
+  smx_action_t waiting_action;  /* the current blocking action if any */
+  xbt_fifo_t comms;       /* the current non-blocking communication actions */
   xbt_dict_t properties;
   s_smx_req_t request;
   void *data;                   /* kept for compatibility, it should be replaced with moddata */
@@ -52,17 +52,21 @@ void SIMIX_process_create(smx_process_t *process,
                           const char *hostname,
                           int argc, char **argv,
                           xbt_dict_t properties);
+void SIMIX_process_runall(void);
 void SIMIX_process_kill(smx_process_t process);
 void SIMIX_process_killall(smx_process_t issuer);
 smx_process_t SIMIX_process_create_from_wrapper(smx_process_arg_t args);
 void SIMIX_create_maestro_process(void);
 void SIMIX_process_cleanup(smx_process_t arg);
 void SIMIX_process_empty_trash(void);
-void SIMIX_process_yield(void);
+void SIMIX_process_yield(smx_process_t self);
 xbt_running_ctx_t *SIMIX_process_get_running_context(void);
 void SIMIX_process_exception_terminate(xbt_ex_t * e);
+void SIMIX_pre_process_change_host(smx_process_t process,
+                                  smx_host_t dest);
 void SIMIX_process_change_host(smx_process_t process,
-    const char *source, const char *dest);
+                              smx_host_t dest);
+void SIMIX_pre_process_change_host(smx_process_t process, smx_host_t host);
 void SIMIX_pre_process_suspend(smx_req_t req);
 void SIMIX_process_suspend(smx_process_t process, smx_process_t issuer);
 void SIMIX_process_resume(smx_process_t process, smx_process_t issuer);