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
1 /* Copyright (c) 2007, 2008, 2009, 2010. The SimGrid Team.
2  * All rights reserved.                                                     */
3
4 /* This program is free software; you can redistribute it and/or modify it
5  * under the terms of the license (GNU LGPL) which comes with this package. */
6
7 #ifndef _SIMIX_HOST_PRIVATE_H
8 #define _SIMIX_HOST_PRIVATE_H
9
10 #include "simgrid/simix.h"
11 #include "smx_smurf_private.h"
12
13 /** @brief Host datatype */
14 typedef struct s_smx_host {
15   char *name;              /**< @brief host name if any */
16   void *host;                   /* SURF modeling */
17   xbt_swag_t process_list;
18   xbt_dynar_t auto_restart_processes;
19   void *data;              /**< @brief user data */
20 } s_smx_host_t;
21
22 smx_host_t SIMIX_host_create(const char *name, void *workstation, void *data);
23 void SIMIX_host_destroy(void *host);
24
25 void SIMIX_host_add_auto_restart_process(smx_host_t host,
26                                          const char *name,
27                                          xbt_main_func_t code,
28                                          void *data,
29                                          const char *hostname,
30                                          double kill_time,
31                                          int argc, char **argv,
32                                          xbt_dict_t properties,
33                                          int auto_restart);
34 void SIMIX_host_restart_processes(smx_host_t host);
35 void SIMIX_host_autorestart(smx_host_t host);
36 xbt_dict_t SIMIX_host_get_properties(smx_host_t host);
37 double SIMIX_host_get_speed(smx_host_t host);
38 double SIMIX_host_get_available_speed(smx_host_t host);
39 int SIMIX_host_get_state(smx_host_t host);
40 smx_action_t SIMIX_host_execute(const char *name,
41     smx_host_t host, double computation_amount, double priority);
42 smx_action_t SIMIX_host_parallel_execute(const char *name,
43     int host_nb, smx_host_t *host_list,
44     double *computation_amount, double *communication_amount,
45     double amount, double rate);
46 void SIMIX_host_execution_destroy(smx_action_t action);
47 void SIMIX_host_execution_cancel(smx_action_t action);
48 double SIMIX_host_execution_get_remains(smx_action_t action);
49 e_smx_state_t SIMIX_host_execution_get_state(smx_action_t action);
50 void SIMIX_host_execution_set_priority(smx_action_t action, double priority);
51 void SIMIX_pre_host_execution_wait(smx_simcall_t simcall);
52
53 void SIMIX_host_execution_suspend(smx_action_t action);
54 void SIMIX_host_execution_resume(smx_action_t action);
55
56 void SIMIX_post_host_execute(smx_action_t action);
57
58 #ifdef HAVE_TRACING
59 void SIMIX_set_category(smx_action_t action, const char *category);
60 #endif
61
62 #endif
63