Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : add ignore mechanism for global variables (data + bss segments) in...
[simgrid.git] / src / simix / smx_host_private.h
index 66d587e..7da4059 100644 (file)
@@ -15,13 +15,24 @@ typedef struct s_smx_host {
   char *name;              /**< @brief host name if any */
   void *host;                   /* SURF modeling */
   xbt_swag_t process_list;
+  xbt_dynar_t auto_restart_processes;
   void *data;              /**< @brief user data */
 } s_smx_host_t;
 
 smx_host_t SIMIX_host_create(const char *name, void *workstation, void *data);
 void SIMIX_host_destroy(void *host);
-void SIMIX_host_set_data(smx_host_t host, void *data);
-void* SIMIX_host_get_data(smx_host_t host);
+
+void SIMIX_host_add_auto_restart_process(smx_host_t host,
+                                         const char *name,
+                                         xbt_main_func_t code,
+                                         void *data,
+                                         const char *hostname,
+                                         double kill_time,
+                                         int argc, char **argv,
+                                         xbt_dict_t properties,
+                                         int auto_restart);
+void SIMIX_host_restart_processes(smx_host_t host);
+void SIMIX_host_autorestart(smx_host_t host);
 xbt_dict_t SIMIX_host_get_properties(smx_host_t host);
 double SIMIX_host_get_speed(smx_host_t host);
 double SIMIX_host_get_available_speed(smx_host_t host);