A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
model-checker : remove unused argument in functions for heap comparison algorithm
[simgrid.git]
/
src
/
simix
/
smx_smurf_private.h
diff --git
a/src/simix/smx_smurf_private.h
b/src/simix/smx_smurf_private.h
index
026252c
..
13233a7
100644
(file)
--- a/
src/simix/smx_smurf_private.h
+++ b/
src/simix/smx_smurf_private.h
@@
-223,6
+223,7
@@
typedef struct s_smx_simcall {
xbt_main_func_t code;
void *data;
const char *hostname;
xbt_main_func_t code;
void *data;
const char *hostname;
+ double kill_time;
int argc;
char **argv;
xbt_dict_t properties;
int argc;
char **argv;
xbt_dict_t properties;
@@
-319,7
+320,7
@@
typedef struct s_smx_simcall {
double rate;
void *src_buff;
size_t src_buff_size;
double rate;
void *src_buff;
size_t src_buff_size;
- int (*match_fun)(void *, void *);
+ int (*match_fun)(void *, void *
, smx_action_t
);
void *data;
double timeout;
} comm_send;
void *data;
double timeout;
} comm_send;
@@
-330,7
+331,7
@@
typedef struct s_smx_simcall {
double rate;
void *src_buff;
size_t src_buff_size;
double rate;
void *src_buff;
size_t src_buff_size;
- int (*match_fun)(void *, void *);
+ int (*match_fun)(void *, void *
, smx_action_t
);
void (*clean_fun)(void *);
void *data;
int detached;
void (*clean_fun)(void *);
void *data;
int detached;
@@
-341,7
+342,7
@@
typedef struct s_smx_simcall {
smx_rdv_t rdv;
void *dst_buff;
size_t *dst_buff_size;
smx_rdv_t rdv;
void *dst_buff;
size_t *dst_buff_size;
- int (*match_fun)(void *, void *);
+ int (*match_fun)(void *, void *
, smx_action_t
);
void *data;
double timeout;
} comm_recv;
void *data;
double timeout;
} comm_recv;
@@
-350,8
+351,8
@@
typedef struct s_smx_simcall {
smx_rdv_t rdv;
void *dst_buff;
size_t *dst_buff_size;
smx_rdv_t rdv;
void *dst_buff;
size_t *dst_buff_size;
- int (*match_fun)(void *, void *);
-
void *data;
+ int (*match_fun)(void *, void *
, smx_action_t
);
+ void *data;
smx_action_t result;
} comm_irecv;
smx_action_t result;
} comm_irecv;
@@
-508,36
+509,40
@@
typedef struct s_smx_simcall {
} sem_get_capacity;
struct {
} sem_get_capacity;
struct {
+ const char* storage;
void *ptr;
size_t size;
size_t nmemb;
void *ptr;
size_t size;
size_t nmemb;
- smx_file_t
*
stream;
+ smx_file_t stream;
size_t result;
} file_read;
struct {
size_t result;
} file_read;
struct {
+ const char* storage;
const void *ptr;
size_t size;
size_t nmemb;
const void *ptr;
size_t size;
size_t nmemb;
- smx_file_t
*
stream;
+ smx_file_t stream;
size_t result;
} file_write;
struct {
size_t result;
} file_write;
struct {
+ const char* storage;
const char* path;
const char* mode;
const char* path;
const char* mode;
- smx_file_t
*
result;
+ smx_file_t result;
} file_open;
struct {
} file_open;
struct {
- smx_file_t* fp;
+ const char* storage;
+ smx_file_t fp;
int result;
} file_close;
struct {
int result;
} file_close;
struct {
-
int fd
;
- //Next should be struct stat* buf
-
void*
buf;
+
const char* storage
;
+ smx_file_t fd;
+
s_file_stat_t
buf;
int result;
} file_stat;
int result;
} file_stat;
@@
-550,7
+555,7
@@
void SIMIX_simcall_push(smx_process_t self);
void SIMIX_simcall_answer(smx_simcall_t);
void SIMIX_simcall_pre(smx_simcall_t, int);
void SIMIX_simcall_post(smx_action_t);
void SIMIX_simcall_answer(smx_simcall_t);
void SIMIX_simcall_pre(smx_simcall_t, int);
void SIMIX_simcall_post(smx_action_t);
-
XBT_INLINE
smx_simcall_t SIMIX_simcall_mine(void);
+smx_simcall_t SIMIX_simcall_mine(void);
const char *SIMIX_simcall_name(e_smx_simcall_t kind);
#endif
const char *SIMIX_simcall_name(e_smx_simcall_t kind);
#endif