1 /* Copyright (c) 2007, 2009-2014. The SimGrid Team.
2 * All rights reserved. */
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. */
10 #include "internal_config.h"
12 #include "xbt/xbt_os_time.h"
13 #include "xbt/synchro_core.h"
14 #include "simgrid/simix.h"
15 #include "smpi/smpi_interface.h"
16 #include "smpi/smpi.h"
17 #include "smpi/smpi_cocci.h"
18 #include "instr/instr_private.h"
22 struct s_smpi_process_data;
23 typedef struct s_smpi_process_data *smpi_process_data_t;
25 #define PERSISTENT 0x1
26 #define NON_PERSISTENT 0x2
29 #define RECV_DELETE 0x10
33 #define FINISHED 0x100
35 #define ACCUMULATE 0x400
38 enum smpi_process_state{
44 // this struct is here to handle the problem of non-contignous data
45 // for each such structure these function should be implemented (vector
46 // index hvector hindex struct)
47 typedef struct s_smpi_subtype{
48 void (*serialize)(const void * input, void *output, int count, void* subtype);
49 void (*unserialize)(const void * input, void *output, int count, void* subtype, MPI_Op op);
50 void (*subtype_free)(MPI_Datatype* type);
53 typedef struct s_smpi_mpi_datatype{
56 /* this let us know if a serialization is required*/
61 xbt_dict_t attributes;
62 /* this let us know how to serialize and unserialize*/
65 } s_smpi_mpi_datatype_t;
68 #define COLL_TAG_REDUCE -112
69 #define COLL_TAG_SCATTER -223
70 #define COLL_TAG_SCATTERV -334
71 #define COLL_TAG_GATHER -445
72 #define COLL_TAG_ALLGATHER -556
73 #define COLL_TAG_ALLGATHERV -667
74 #define COLL_TAG_BARRIER -778
75 #define COLL_TAG_REDUCE_SCATTER -889
76 #define COLL_TAG_ALLTOALLV -1000
77 #define COLL_TAG_ALLTOALL -1112
78 #define COLL_TAG_GATHERV -2223
79 #define COLL_TAG_BCAST -3334
80 #define COLL_TAG_ALLREDUCE -4445
82 #define MPI_COMM_UNINITIALIZED ((MPI_Comm)-1)
84 //*****************************************************************************************
86 typedef struct s_smpi_mpi_request {
88 /* in the case of non-contignous memory the user address shoud be keep
89 * to unserialize the data inside the user memory*/
91 /* this let us know how tounserialize at the end of
93 MPI_Datatype old_type;
98 //to handle cases where we have an unknown sender
99 //We can't override src, tag, and size, because the request may be reused later
105 smx_synchro_t action;
108 MPI_Request detached_sender;
113 } s_smpi_mpi_request_t;
115 typedef struct s_smpi_mpi_comm_key_elem {
116 MPI_Comm_copy_attr_function* copy_fn;
117 MPI_Comm_delete_attr_function* delete_fn;
118 } s_smpi_mpi_comm_key_elem_t;
119 typedef struct s_smpi_mpi_comm_key_elem *smpi_comm_key_elem;
121 typedef struct s_smpi_mpi_type_key_elem {
122 MPI_Type_copy_attr_function* copy_fn;
123 MPI_Type_delete_attr_function* delete_fn;
124 } s_smpi_mpi_type_key_elem_t;
125 typedef struct s_smpi_mpi_type_key_elem *smpi_type_key_elem;
127 typedef struct s_smpi_mpi_info {
128 xbt_dict_t info_dict;
133 void smpi_process_destroy(void);
134 void smpi_process_finalize(void);
135 int smpi_process_finalized(void);
136 int smpi_process_initialized(void);
137 void smpi_process_mark_as_initialized(void);
140 struct s_smpi_mpi_cart_topology;
141 typedef struct s_smpi_mpi_cart_topology *MPIR_Cart_Topology;
143 struct s_smpi_mpi_graph_topology;
144 typedef struct s_smpi_mpi_graph_topology *MPIR_Graph_Topology;
146 struct s_smpi_dist_graph_topology;
147 typedef struct s_smpi_dist_graph_topology *MPIR_Dist_Graph_Topology;
149 // MPI_Topology defined in smpi.h, as it is public
151 void smpi_topo_destroy(MPI_Topology topo);
152 MPI_Topology smpi_topo_create(MPIR_Topo_type kind);
153 void smpi_cart_topo_destroy(MPIR_Cart_Topology cart);
154 MPI_Topology smpi_cart_topo_create(int ndims);
155 int smpi_mpi_cart_create(MPI_Comm comm_old, int ndims, int dims[],
156 int periods[], int reorder, MPI_Comm *comm_cart);
157 int smpi_mpi_cart_sub(MPI_Comm comm, const int remain_dims[], MPI_Comm *newcomm);
158 int smpi_mpi_cart_coords(MPI_Comm comm, int rank, int maxdims,
160 int smpi_mpi_cart_get(MPI_Comm comm, int maxdims, int* dims, int* periods,
162 int smpi_mpi_cart_rank(MPI_Comm comm, int* coords, int* rank);
163 int smpi_mpi_cart_shift(MPI_Comm comm, int direction, int disp,
164 int *rank_source, int *rank_dest);
165 int smpi_mpi_cartdim_get(MPI_Comm comm, int *ndims);
166 int smpi_mpi_dims_create(int nnodes, int ndims, int dims[]);
169 smpi_process_data_t smpi_process_data(void);
170 smpi_process_data_t smpi_process_remote_data(int index);
171 void smpi_process_set_user_data(void *);
172 void* smpi_process_get_user_data(void);
173 int smpi_process_count(void);
174 MPI_Comm smpi_process_comm_world(void);
175 MPI_Comm smpi_process_get_comm_intra(void);
176 void smpi_process_set_comm_intra(MPI_Comm comm);
177 smx_rdv_t smpi_process_mailbox(void);
178 smx_rdv_t smpi_process_remote_mailbox(int index);
179 smx_rdv_t smpi_process_mailbox_small(void);
180 smx_rdv_t smpi_process_remote_mailbox_small(int index);
181 xbt_mutex_t smpi_process_mailboxes_mutex(void);
182 xbt_mutex_t smpi_process_remote_mailboxes_mutex(int index);
183 xbt_os_timer_t smpi_process_timer(void);
184 void smpi_process_simulated_start(void);
185 double smpi_process_simulated_elapsed(void);
186 void smpi_process_set_sampling(int s);
187 int smpi_process_get_sampling(void);
188 void smpi_process_set_replaying(int s);
189 int smpi_process_get_replaying(void);
191 void smpi_deployment_register_process(const char* instance_id, int rank, int index, MPI_Comm**, xbt_bar_t*);
192 void smpi_deployment_cleanup_instances(void);
194 void smpi_comm_copy_buffer_callback(smx_synchro_t comm,
195 void *buff, size_t buff_size);
197 void smpi_comm_null_copy_buffer_callback(smx_synchro_t comm,
198 void *buff, size_t buff_size);
200 void print_request(const char *message, MPI_Request request);
202 int smpi_enabled(void);
203 void smpi_global_init(void);
204 void smpi_global_destroy(void);
205 double smpi_mpi_wtime(void);
207 int is_datatype_valid(MPI_Datatype datatype);
209 size_t smpi_datatype_size(MPI_Datatype datatype);
210 MPI_Aint smpi_datatype_lb(MPI_Datatype datatype);
211 MPI_Aint smpi_datatype_ub(MPI_Datatype datatype);
212 int smpi_datatype_dup(MPI_Datatype datatype, MPI_Datatype* new_t);
213 int smpi_datatype_extent(MPI_Datatype datatype, MPI_Aint * lb,
215 MPI_Aint smpi_datatype_get_extent(MPI_Datatype datatype);
216 void smpi_datatype_get_name(MPI_Datatype datatype, char* name, int* length);
217 void smpi_datatype_set_name(MPI_Datatype datatype, char* name);
218 int smpi_datatype_copy(void *sendbuf, int sendcount, MPI_Datatype sendtype,
219 void *recvbuf, int recvcount,
220 MPI_Datatype recvtype);
221 void smpi_datatype_use(MPI_Datatype type);
222 void smpi_datatype_unuse(MPI_Datatype type);
224 int smpi_datatype_contiguous(int count, MPI_Datatype old_type,
225 MPI_Datatype* new_type, MPI_Aint lb);
226 int smpi_datatype_vector(int count, int blocklen, int stride,
227 MPI_Datatype old_type, MPI_Datatype* new_type);
229 int smpi_datatype_hvector(int count, int blocklen, MPI_Aint stride,
230 MPI_Datatype old_type, MPI_Datatype* new_type);
231 int smpi_datatype_indexed(int count, int* blocklens, int* indices,
232 MPI_Datatype old_type, MPI_Datatype* new_type);
233 int smpi_datatype_hindexed(int count, int* blocklens, MPI_Aint* indices,
234 MPI_Datatype old_type, MPI_Datatype* new_type);
235 int smpi_datatype_struct(int count, int* blocklens, MPI_Aint* indices,
236 MPI_Datatype* old_types, MPI_Datatype* new_type);
238 void smpi_datatype_create(MPI_Datatype* new_type, int size,int lb, int ub, int has_subtype, void *struct_type, int flags);
241 void smpi_datatype_free(MPI_Datatype* type);
242 void smpi_datatype_commit(MPI_Datatype* datatype);
244 int smpi_mpi_unpack(void* inbuf, int insize, int* position, void* outbuf, int outcount, MPI_Datatype type, MPI_Comm comm);
245 int smpi_mpi_pack(void* inbuf, int incount, MPI_Datatype type, void* outbuf, int outcount, int* position, MPI_Comm comm);
247 void smpi_empty_status(MPI_Status * status);
248 MPI_Op smpi_op_new(MPI_User_function * function, int commute);
249 int smpi_op_is_commute(MPI_Op op);
250 void smpi_op_destroy(MPI_Op op);
251 void smpi_op_apply(MPI_Op op, void *invec, void *inoutvec, int *len,
252 MPI_Datatype * datatype);
254 MPI_Group smpi_group_new(int size);
255 MPI_Group smpi_group_copy(MPI_Group origin);
256 void smpi_group_destroy(MPI_Group group);
257 void smpi_group_set_mapping(MPI_Group group, int index, int rank);
258 int smpi_group_index(MPI_Group group, int rank);
259 int smpi_group_rank(MPI_Group group, int index);
260 int smpi_group_use(MPI_Group group);
261 int smpi_group_unuse(MPI_Group group);
262 int smpi_group_size(MPI_Group group);
263 int smpi_group_compare(MPI_Group group1, MPI_Group group2);
264 int smpi_group_incl(MPI_Group group, int n, int* ranks, MPI_Group* newgroup);
267 MPI_Topology smpi_comm_topo(MPI_Comm comm);
268 MPI_Comm smpi_comm_new(MPI_Group group, MPI_Topology topo);
269 void smpi_comm_destroy(MPI_Comm comm);
270 MPI_Group smpi_comm_group(MPI_Comm comm);
271 int smpi_comm_size(MPI_Comm comm);
272 void smpi_comm_get_name(MPI_Comm comm, char* name, int* len);
273 int smpi_comm_rank(MPI_Comm comm);
274 MPI_Comm smpi_comm_split(MPI_Comm comm, int color, int key);
275 int smpi_comm_dup(MPI_Comm comm, MPI_Comm* newcomm);
276 void smpi_comm_use(MPI_Comm comm);
277 void smpi_comm_unuse(MPI_Comm comm);
278 void smpi_comm_set_leaders_comm(MPI_Comm comm, MPI_Comm leaders);
279 void smpi_comm_set_intra_comm(MPI_Comm comm, MPI_Comm leaders);
280 int* smpi_comm_get_non_uniform_map(MPI_Comm comm);
281 int* smpi_comm_get_leaders_map(MPI_Comm comm);
282 MPI_Comm smpi_comm_get_leaders_comm(MPI_Comm comm);
283 MPI_Comm smpi_comm_get_intra_comm(MPI_Comm comm);
284 int smpi_comm_is_uniform(MPI_Comm comm);
285 int smpi_comm_is_blocked(MPI_Comm comm);
286 void smpi_comm_init_smp(MPI_Comm comm);
288 int smpi_comm_c2f(MPI_Comm comm);
289 MPI_Comm smpi_comm_f2c(int comm);
290 int smpi_group_c2f(MPI_Group group);
291 MPI_Group smpi_group_f2c(int group);
292 int smpi_request_c2f(MPI_Request req);
293 MPI_Request smpi_request_f2c(int req);
294 int smpi_type_c2f(MPI_Datatype datatype);
295 MPI_Datatype smpi_type_f2c(int datatype);
296 int smpi_op_c2f(MPI_Op op);
297 MPI_Op smpi_op_f2c(int op);
298 int smpi_win_c2f(MPI_Win win);
299 MPI_Win smpi_win_f2c(int win);
300 int smpi_info_c2f(MPI_Info info);
301 MPI_Info smpi_info_f2c(int info);
303 MPI_Request smpi_mpi_send_init(void *buf, int count, MPI_Datatype datatype,
304 int dst, int tag, MPI_Comm comm);
305 MPI_Request smpi_mpi_recv_init(void *buf, int count, MPI_Datatype datatype,
306 int src, int tag, MPI_Comm comm);
307 MPI_Request smpi_mpi_ssend_init(void *buf, int count, MPI_Datatype datatype,
308 int dst, int tag, MPI_Comm comm);
309 void smpi_mpi_start(MPI_Request request);
310 void smpi_mpi_startall(int count, MPI_Request * requests);
311 void smpi_mpi_request_free(MPI_Request * request);
312 MPI_Request smpi_isend_init(void *buf, int count, MPI_Datatype datatype,
313 int dst, int tag, MPI_Comm comm);
314 MPI_Request smpi_mpi_isend(void *buf, int count, MPI_Datatype datatype,
315 int dst, int tag, MPI_Comm comm);
316 MPI_Request smpi_issend_init(void *buf, int count, MPI_Datatype datatype,
317 int dst, int tag, MPI_Comm comm);
318 MPI_Request smpi_mpi_issend(void *buf, int count, MPI_Datatype datatype,
319 int dst, int tag, MPI_Comm comm);
320 MPI_Request smpi_irecv_init(void *buf, int count, MPI_Datatype datatype,
321 int src, int tag, MPI_Comm comm);
322 MPI_Request smpi_mpi_irecv(void *buf, int count, MPI_Datatype datatype,
323 int src, int tag, MPI_Comm comm);
324 MPI_Request smpi_rma_send_init(void *buf, int count, MPI_Datatype datatype,
325 int src, int dst, int tag, MPI_Comm comm, MPI_Op op);
326 MPI_Request smpi_rma_recv_init(void *buf, int count, MPI_Datatype datatype,
327 int src, int dst, int tag, MPI_Comm comm, MPI_Op op);
328 void smpi_mpi_recv(void *buf, int count, MPI_Datatype datatype, int src,
329 int tag, MPI_Comm comm, MPI_Status * status);
330 void smpi_mpi_send(void *buf, int count, MPI_Datatype datatype, int dst,
331 int tag, MPI_Comm comm);
332 void smpi_mpi_ssend(void *buf, int count, MPI_Datatype datatype, int dst,
333 int tag, MPI_Comm comm);
334 void smpi_mpi_sendrecv(void *sendbuf, int sendcount, MPI_Datatype sendtype,
335 int dst, int sendtag, void *recvbuf, int recvcount,
336 MPI_Datatype recvtype, int src, int recvtag,
337 MPI_Comm comm, MPI_Status * status);
338 int smpi_mpi_test(MPI_Request * request, MPI_Status * status);
339 int smpi_mpi_testany(int count, MPI_Request requests[], int *index,
340 MPI_Status * status);
341 int smpi_mpi_testall(int count, MPI_Request requests[],
342 MPI_Status status[]);
343 void smpi_mpi_probe(int source, int tag, MPI_Comm comm, MPI_Status* status);
344 void smpi_mpi_iprobe(int source, int tag, MPI_Comm comm, int* flag,
346 int smpi_mpi_get_count(MPI_Status * status, MPI_Datatype datatype);
347 void smpi_mpi_wait(MPI_Request * request, MPI_Status * status);
348 int smpi_mpi_waitany(int count, MPI_Request requests[],
349 MPI_Status * status);
350 int smpi_mpi_waitall(int count, MPI_Request requests[],
351 MPI_Status status[]);
352 int smpi_mpi_waitsome(int incount, MPI_Request requests[], int *indices,
353 MPI_Status status[]);
354 int smpi_mpi_testsome(int incount, MPI_Request requests[], int *indices,
355 MPI_Status status[]);
356 void smpi_mpi_bcast(void *buf, int count, MPI_Datatype datatype, int root,
358 void smpi_mpi_barrier(MPI_Comm comm);
359 void smpi_mpi_gather(void *sendbuf, int sendcount, MPI_Datatype sendtype,
360 void *recvbuf, int recvcount, MPI_Datatype recvtype,
361 int root, MPI_Comm comm);
362 void smpi_mpi_reduce_scatter(void *sendbuf, void *recvbuf, int *recvcounts,
363 MPI_Datatype datatype, MPI_Op op, MPI_Comm comm);
364 void smpi_mpi_gatherv(void *sendbuf, int sendcount, MPI_Datatype sendtype,
365 void *recvbuf, int *recvcounts, int *displs,
366 MPI_Datatype recvtype, int root, MPI_Comm comm);
367 void smpi_mpi_allgather(void *sendbuf, int sendcount,
368 MPI_Datatype sendtype, void *recvbuf,
369 int recvcount, MPI_Datatype recvtype,
371 void smpi_mpi_allgatherv(void *sendbuf, int sendcount,
372 MPI_Datatype sendtype, void *recvbuf,
373 int *recvcounts, int *displs,
374 MPI_Datatype recvtype, MPI_Comm comm);
375 void smpi_mpi_scatter(void *sendbuf, int sendcount, MPI_Datatype sendtype,
376 void *recvbuf, int recvcount, MPI_Datatype recvtype,
377 int root, MPI_Comm comm);
378 void smpi_mpi_scatterv(void *sendbuf, int *sendcounts, int *displs,
379 MPI_Datatype sendtype, void *recvbuf, int recvcount,
380 MPI_Datatype recvtype, int root, MPI_Comm comm);
381 void smpi_mpi_reduce(void *sendbuf, void *recvbuf, int count,
382 MPI_Datatype datatype, MPI_Op op, int root,
384 void smpi_mpi_allreduce(void *sendbuf, void *recvbuf, int count,
385 MPI_Datatype datatype, MPI_Op op, MPI_Comm comm);
386 void smpi_mpi_scan(void *sendbuf, void *recvbuf, int count,
387 MPI_Datatype datatype, MPI_Op op, MPI_Comm comm);
388 void smpi_mpi_exscan(void *sendbuf, void *recvbuf, int count,
389 MPI_Datatype datatype, MPI_Op op, MPI_Comm comm);
391 int smpi_mpi_win_free( MPI_Win* win);
393 MPI_Win smpi_mpi_win_create( void *base, MPI_Aint size, int disp_unit, MPI_Info info, MPI_Comm comm);
395 void smpi_mpi_win_get_name(MPI_Win win, char* name, int* length);
396 void smpi_mpi_win_get_group(MPI_Win win, MPI_Group* group);
397 void smpi_mpi_win_set_name(MPI_Win win, char* name);
399 int smpi_mpi_win_fence( int assert, MPI_Win win);
401 int smpi_mpi_win_post(MPI_Group group, int assert, MPI_Win win);
402 int smpi_mpi_win_start(MPI_Group group, int assert, MPI_Win win);
403 int smpi_mpi_win_complete(MPI_Win win);
404 int smpi_mpi_win_wait(MPI_Win win);
406 int smpi_mpi_get( void *origin_addr, int origin_count, MPI_Datatype origin_datatype, int target_rank,
407 MPI_Aint target_disp, int target_count, MPI_Datatype target_datatype, MPI_Win win);
408 int smpi_mpi_put( void *origin_addr, int origin_count, MPI_Datatype origin_datatype, int target_rank,
409 MPI_Aint target_disp, int target_count, MPI_Datatype target_datatype, MPI_Win win);
410 int smpi_mpi_accumulate( void *origin_addr, int origin_count, MPI_Datatype origin_datatype, int target_rank,
411 MPI_Aint target_disp, int target_count, MPI_Datatype target_datatype, MPI_Op op, MPI_Win win);
413 void nary_tree_bcast(void *buf, int count, MPI_Datatype datatype, int root,
414 MPI_Comm comm, int arity);
415 void nary_tree_barrier(MPI_Comm comm, int arity);
417 int smpi_coll_tuned_alltoall_ompi2(void *sendbuf, int sendcount,
418 MPI_Datatype sendtype, void *recvbuf,
419 int recvcount, MPI_Datatype recvtype,
421 int smpi_coll_tuned_alltoall_bruck(void *sendbuf, int sendcount,
422 MPI_Datatype sendtype, void *recvbuf,
423 int recvcount, MPI_Datatype recvtype,
425 int smpi_coll_tuned_alltoall_basic_linear(void *sendbuf, int sendcount,
426 MPI_Datatype sendtype,
427 void *recvbuf, int recvcount,
428 MPI_Datatype recvtype,
430 int smpi_coll_basic_alltoallv(void *sendbuf, int *sendcounts,
431 int *senddisps, MPI_Datatype sendtype,
432 void *recvbuf, int *recvcounts,
433 int *recvdisps, MPI_Datatype recvtype,
436 int smpi_comm_keyval_create(MPI_Comm_copy_attr_function* copy_fn, MPI_Comm_delete_attr_function* delete_fn, int* keyval, void* extra_state);
437 int smpi_comm_keyval_free(int* keyval);
438 int smpi_comm_attr_delete(MPI_Comm comm, int keyval);
439 int smpi_comm_attr_get(MPI_Comm comm, int keyval, void* attr_value, int* flag);
440 int smpi_comm_attr_put(MPI_Comm comm, int keyval, void* attr_value);
441 int smpi_type_attr_delete(MPI_Datatype type, int keyval);
442 int smpi_type_attr_get(MPI_Datatype type, int keyval, void* attr_value, int* flag);
443 int smpi_type_attr_put(MPI_Datatype type, int keyval, void* attr_value);
444 int smpi_type_keyval_create(MPI_Type_copy_attr_function* copy_fn, MPI_Type_delete_attr_function* delete_fn, int* keyval, void* extra_state);
445 int smpi_type_keyval_free(int* keyval);
447 extern double smpi_cpu_threshold;
448 extern double smpi_running_power;
449 extern int smpi_privatize_global_variables;
450 extern char* smpi_start_data_exe; //start of the data+bss segment of the executable
451 extern int smpi_size_data_exe; //size of the data+bss segment of the executable
454 void smpi_switch_data_segment(int dest);
455 void smpi_really_switch_data_segment(int dest);
456 int smpi_is_privatisation_file(char* file);
458 void smpi_get_executable_global_size(void);
459 void smpi_initialize_global_memory_segments(void);
460 void smpi_destroy_global_memory_segments(void);
461 void smpi_bench_destroy(void);
462 void smpi_bench_begin(void);
463 void smpi_bench_end(void);
465 void* smpi_get_tmp_sendbuffer(int size);
466 void* smpi_get_tmp_recvbuffer(int size);
467 void smpi_free_tmp_buffer(void* buf);
469 int smpi_comm_attr_delete(MPI_Comm comm, int keyval);
470 int smpi_comm_attr_get(MPI_Comm comm, int keyval, void* attr_value, int* flag);
471 int smpi_comm_attr_put(MPI_Comm comm, int keyval, void* attr_value);
476 void mpi_init_(int*);
477 void mpi_finalize_(int*);
478 void mpi_abort_(int* comm, int* errorcode, int* ierr);
479 void mpi_comm_rank_(int* comm, int* rank, int* ierr);
480 void mpi_comm_size_(int* comm, int* size, int* ierr);
481 double mpi_wtime_(void);
482 double mpi_wtick_(void);
483 void mpi_initialized_(int* flag, int* ierr);
485 void mpi_comm_dup_(int* comm, int* newcomm, int* ierr);
486 void mpi_comm_create_(int* comm, int* group, int* newcomm, int* ierr);
487 void mpi_comm_free_(int* comm, int* ierr);
488 void mpi_comm_split_(int* comm, int* color, int* key, int* comm_out, int* ierr);
489 void mpi_group_incl_(int* group, int* n, int* key, int* group_out, int* ierr) ;
490 void mpi_comm_group_(int* comm, int* group_out, int* ierr);
491 void mpi_send_init_(void *buf, int* count, int* datatype, int* dst, int* tag,
492 int* comm, int* request, int* ierr);
493 void mpi_isend_(void *buf, int* count, int* datatype, int* dst,
494 int* tag, int* comm, int* request, int* ierr);
495 void mpi_irsend_(void *buf, int* count, int* datatype, int* dst,
496 int* tag, int* comm, int* request, int* ierr);
497 void mpi_send_(void* buf, int* count, int* datatype, int* dst,
498 int* tag, int* comm, int* ierr);
499 void mpi_rsend_(void* buf, int* count, int* datatype, int* dst,
500 int* tag, int* comm, int* ierr);
501 void mpi_recv_init_(void *buf, int* count, int* datatype, int* src, int* tag,
502 int* comm, int* request, int* ierr);
503 void mpi_irecv_(void *buf, int* count, int* datatype, int* src, int* tag,
504 int* comm, int* request, int* ierr);
505 void mpi_recv_(void* buf, int* count, int* datatype, int* src,
506 int* tag, int* comm, MPI_Status* status, int* ierr);
507 void mpi_start_(int* request, int* ierr);
508 void mpi_startall_(int* count, int* requests, int* ierr);
509 void mpi_wait_(int* request, MPI_Status* status, int* ierr);
510 void mpi_waitany_(int* count, int* requests, int* index, MPI_Status* status, int* ierr);
511 void mpi_waitall_(int* count, int* requests, MPI_Status* status, int* ierr);
513 void mpi_barrier_(int* comm, int* ierr);
514 void mpi_bcast_(void* buf, int* count, int* datatype, int* root, int* comm, int* ierr);
515 void mpi_reduce_(void* sendbuf, void* recvbuf, int* count,
516 int* datatype, int* op, int* root, int* comm, int* ierr);
517 void mpi_allreduce_(void* sendbuf, void* recvbuf, int* count, int* datatype,
518 int* op, int* comm, int* ierr);
519 void mpi_reduce_scatter_(void* sendbuf, void* recvbuf, int* recvcounts, int* datatype,
520 int* op, int* comm, int* ierr) ;
521 void mpi_scatter_(void* sendbuf, int* sendcount, int* sendtype,
522 void* recvbuf, int* recvcount, int* recvtype,
523 int* root, int* comm, int* ierr);
524 void mpi_scatterv_(void* sendbuf, int* sendcounts, int* displs, int* sendtype,
525 void* recvbuf, int* recvcount, int* recvtype,
526 int* root, int* comm, int* ierr);
527 void mpi_gather_(void* sendbuf, int* sendcount, int* sendtype,
528 void* recvbuf, int* recvcount, int* recvtype,
529 int* root, int* comm, int* ierr);
530 void mpi_gatherv_(void* sendbuf, int* sendcount, int* sendtype,
531 void* recvbuf, int* recvcounts, int* displs, int* recvtype,
532 int* root, int* comm, int* ierr);
533 void mpi_allgather_(void* sendbuf, int* sendcount, int* sendtype,
534 void* recvbuf, int* recvcount, int* recvtype,
535 int* comm, int* ierr);
536 void mpi_allgatherv_(void* sendbuf, int* sendcount, int* sendtype,
537 void* recvbuf, int* recvcount,int* displs, int* recvtype,
538 int* comm, int* ierr) ;
539 void mpi_type_size_(int* datatype, int *size, int* ierr);
541 void mpi_scan_(void* sendbuf, void* recvbuf, int* count, int* datatype,
542 int* op, int* comm, int* ierr);
543 void mpi_alltoall_(void* sendbuf, int* sendcount, int* sendtype,
544 void* recvbuf, int* recvcount, int* recvtype, int* comm, int* ierr);
545 void mpi_alltoallv_(void* sendbuf, int* sendcounts, int* senddisps, int* sendtype,
546 void* recvbuf, int* recvcounts, int* recvdisps, int* recvtype, int* comm, int* ierr);
547 void mpi_get_processor_name_(char *name, int *resultlen, int* ierr);
548 void mpi_test_ (int * request, int *flag, MPI_Status * status, int* ierr);
549 void mpi_testall_ (int* count, int * requests, int *flag, MPI_Status * statuses, int* ierr);
550 void mpi_get_count_(MPI_Status * status, int* datatype, int *count, int* ierr);
551 void mpi_type_extent_(int* datatype, MPI_Aint * extent, int* ierr);
552 void mpi_attr_get_(int* comm, int* keyval, void* attr_value, int* flag, int* ierr );
553 void mpi_type_commit_(int* datatype, int* ierr);
554 void mpi_type_vector_(int* count, int* blocklen, int* stride, int* old_type, int* newtype, int* ierr);
555 void mpi_type_create_vector_(int* count, int* blocklen, int* stride, int* old_type, int* newtype, int* ierr);
556 void mpi_type_hvector_(int* count, int* blocklen, MPI_Aint* stride, int* old_type, int* newtype, int* ierr);
557 void mpi_type_create_hvector_(int* count, int* blocklen, MPI_Aint* stride, int* old_type, int* newtype, int* ierr);
558 void mpi_type_free_(int* datatype, int* ierr);
559 void mpi_type_lb_(int* datatype, MPI_Aint * extent, int* ierr);
560 void mpi_type_ub_(int* datatype, MPI_Aint * extent, int* ierr);
561 void mpi_win_fence_( int* assert, int* win, int* ierr);
562 void mpi_win_free_( int* win, int* ierr);
563 void mpi_win_create_( int *base, MPI_Aint* size, int* disp_unit, int* info, int* comm, int *win, int* ierr);
564 void mpi_win_set_name_ (int* win, char * name, int* ierr, int size);
565 void mpi_win_get_name_ (int* win, char * name, int* len, int* ierr);
566 void mpi_win_post_(int* group, int assert, int* win, int* ierr);
567 void mpi_win_start_(int* group, int assert, int* win, int* ierr);
568 void mpi_win_complete_(int* win, int* ierr);
569 void mpi_win_wait_(int* win, int* ierr);
570 void mpi_info_create_( int *info, int* ierr);
571 void mpi_info_set_( int *info, char *key, char *value, int* ierr, unsigned int keylen, unsigned int valuelen);
572 void mpi_info_free_(int* info, int* ierr);
573 void mpi_get_( int *origin_addr, int* origin_count, int* origin_datatype, int* target_rank,
574 MPI_Aint* target_disp, int* target_count, int* target_datatype, int* win, int* ierr);
575 void mpi_put_( int *origin_addr, int* origin_count, int* origin_datatype, int* target_rank,
576 MPI_Aint* target_disp, int* target_count, int* target_datatype, int* win, int* ierr);
577 void mpi_accumulate_( int *origin_addr, int* origin_count, int* origin_datatype, int* target_rank,
578 MPI_Aint* target_disp, int* target_count, int* target_datatype, int* op, int* win, int* ierr);
579 void mpi_error_string_(int* errorcode, char* string, int* resultlen, int* ierr);
580 void mpi_sendrecv_(void* sendbuf, int* sendcount, int* sendtype, int* dst,
581 int* sendtag, void *recvbuf, int* recvcount,
582 int* recvtype, int* src, int* recvtag,
583 int* comm, MPI_Status* status, int* ierr);
585 void mpi_finalized_ (int * flag, int* ierr);
586 void mpi_init_thread_ (int *required, int *provided, int* ierr);
587 void mpi_query_thread_ (int *provided, int* ierr);
588 void mpi_is_thread_main_ (int *flag, int* ierr);
589 void mpi_address_ (void *location, MPI_Aint * address, int* ierr);
590 void mpi_get_address_ (void *location, MPI_Aint * address, int* ierr);
591 void mpi_type_dup_ (int* datatype, int* newdatatype, int* ierr);
592 void mpi_type_set_name_ (int* datatype, char * name, int* ierr, int size);
593 void mpi_type_get_name_ (int* datatype, char * name, int* len, int* ierr);
594 void mpi_type_get_attr_ (int* type, int* type_keyval, void *attribute_val, int* flag, int* ierr);
595 void mpi_type_set_attr_ (int* type, int* type_keyval, void *attribute_val, int* ierr);
596 void mpi_type_delete_attr_ (int* type, int* type_keyval, int* ierr);
597 void mpi_type_create_keyval_ (void* copy_fn, void* delete_fn, int* keyval, void* extra_state, int* ierr);
598 void mpi_type_free_keyval_ (int* keyval, int* ierr) ;
599 void mpi_pcontrol_ (int* level , int* ierr);
600 void mpi_type_get_extent_ (int* datatype, MPI_Aint * lb, MPI_Aint * extent, int* ierr);
601 void mpi_type_get_true_extent_ (int* datatype, MPI_Aint * lb, MPI_Aint * extent, int* ierr);
602 void mpi_op_create_ (void * function, int* commute, int* op, int* ierr);
603 void mpi_op_free_ (int* op, int* ierr);
604 void mpi_group_free_ (int* group, int* ierr);
605 void mpi_group_size_ (int* group, int *size, int* ierr);
606 void mpi_group_rank_ (int* group, int *rank, int* ierr);
607 void mpi_group_translate_ranks_ (int* group1, int* n, int *ranks1, int* group2, int *ranks2, int* ierr);
608 void mpi_group_compare_ (int* group1, int* group2, int *result, int* ierr);
609 void mpi_group_union_ (int* group1, int* group2, int* newgroup, int* ierr);
610 void mpi_group_intersection_ (int* group1, int* group2, int* newgroup, int* ierr);
611 void mpi_group_difference_ (int* group1, int* group2, int* newgroup, int* ierr);
612 void mpi_group_excl_ (int* group, int* n, int *ranks, int* newgroup, int* ierr);
613 void mpi_group_range_incl_ (int* group, int* n, int ranges[][3], int* newgroup, int* ierr);
614 void mpi_group_range_excl_ (int* group, int* n, int ranges[][3], int* newgroup, int* ierr);
615 void mpi_comm_get_attr_ (int* comm, int* comm_keyval, void *attribute_val, int *flag, int* ierr);
616 void mpi_comm_set_attr_ (int* comm, int* comm_keyval, void *attribute_val, int* ierr);
617 void mpi_comm_delete_attr_ (int* comm, int* comm_keyval, int* ierr);
618 void mpi_comm_create_keyval_ (void* copy_fn, void* delete_fn, int* keyval, void* extra_state, int* ierr);
619 void mpi_comm_free_keyval_ (int* keyval, int* ierr) ;
620 void mpi_comm_get_name_ (int* comm, char* name, int* len, int* ierr);
621 void mpi_comm_compare_ (int* comm1, int* comm2, int *result, int* ierr);
622 void mpi_comm_disconnect_ (int* comm, int* ierr);
623 void mpi_request_free_ (int* request, int* ierr);
624 void mpi_sendrecv_replace_ (void *buf, int* count, int* datatype, int* dst, int* sendtag, int* src, int* recvtag,
625 int* comm, MPI_Status* status, int* ierr);
626 void mpi_testany_ (int* count, int* requests, int *index, int *flag, MPI_Status* status, int* ierr);
627 void mpi_waitsome_ (int* incount, int* requests, int *outcount, int *indices, MPI_Status* status, int* ierr);
628 void mpi_reduce_local_ (void *inbuf, void *inoutbuf, int* count, int* datatype, int* op, int* ierr);
629 void mpi_reduce_scatter_block_ (void *sendbuf, void *recvbuf, int* recvcount, int* datatype, int* op, int* comm, int* ierr);
630 void mpi_pack_size_ (int* incount, int* datatype, int* comm, int* size, int* ierr) ;
631 void mpi_cart_coords_ (int* comm, int* rank, int* maxdims, int* coords, int* ierr) ;
632 void mpi_cart_create_ (int* comm_old, int* ndims, int* dims, int* periods, int* reorder, int* comm_cart, int* ierr) ;
633 void mpi_cart_get_ (int* comm, int* maxdims, int* dims, int* periods, int* coords, int* ierr) ;
634 void mpi_cart_map_ (int* comm_old, int* ndims, int* dims, int* periods, int* newrank, int* ierr) ;
635 void mpi_cart_rank_ (int* comm, int* coords, int* rank, int* ierr) ;
636 void mpi_cart_shift_ (int* comm, int* direction, int* displ, int* source, int* dest, int* ierr) ;
637 void mpi_cart_sub_ (int* comm, int* remain_dims, int* comm_new, int* ierr) ;
638 void mpi_cartdim_get_ (int* comm, int* ndims, int* ierr) ;
639 void mpi_graph_create_ (int* comm_old, int* nnodes, int* index, int* edges, int* reorder, int* comm_graph, int* ierr) ;
640 void mpi_graph_get_ (int* comm, int* maxindex, int* maxedges, int* index, int* edges, int* ierr) ;
641 void mpi_graph_map_ (int* comm_old, int* nnodes, int* index, int* edges, int* newrank, int* ierr) ;
642 void mpi_graph_neighbors_ (int* comm, int* rank, int* maxneighbors, int* neighbors, int* ierr) ;
643 void mpi_graph_neighbors_count_ (int* comm, int* rank, int* nneighbors, int* ierr) ;
644 void mpi_graphdims_get_ (int* comm, int* nnodes, int* nedges, int* ierr) ;
645 void mpi_topo_test_ (int* comm, int* top_type, int* ierr) ;
646 void mpi_error_class_ (int* errorcode, int* errorclass, int* ierr) ;
647 void mpi_errhandler_create_ (void* function, void* errhandler, int* ierr) ;
648 void mpi_errhandler_free_ (void* errhandler, int* ierr) ;
649 void mpi_errhandler_get_ (int* comm, void* errhandler, int* ierr) ;
650 void mpi_errhandler_set_ (int* comm, void* errhandler, int* ierr) ;
651 void mpi_comm_set_errhandler_ (int* comm, void* errhandler, int* ierr) ;
652 void mpi_comm_get_errhandler_ (int* comm, void* errhandler, int* ierr) ;
653 void mpi_type_contiguous_ (int* count, int* old_type, int* newtype, int* ierr) ;
654 void mpi_cancel_ (int* request, int* ierr) ;
655 void mpi_buffer_attach_ (void* buffer, int* size, int* ierr) ;
656 void mpi_buffer_detach_ (void* buffer, int* size, int* ierr) ;
657 void mpi_testsome_ (int* incount, int* requests, int* outcount, int* indices, MPI_Status* statuses, int* ierr) ;
658 void mpi_comm_test_inter_ (int* comm, int* flag, int* ierr) ;
659 void mpi_unpack_ (void* inbuf, int* insize, int* position, void* outbuf, int* outcount, int* type, int* comm, int* ierr) ;
660 void mpi_pack_external_size_ (char *datarep, int* incount, int* datatype, MPI_Aint *size, int* ierr);
661 void mpi_pack_external_ (char *datarep, void *inbuf, int* incount, int* datatype, void *outbuf, MPI_Aint* outcount, MPI_Aint *position, int* ierr);
662 void mpi_unpack_external_ ( char *datarep, void *inbuf, MPI_Aint* insize, MPI_Aint *position, void *outbuf, int* outcount, int* datatype, int* ierr);
663 void mpi_type_hindexed_ (int* count, int* blocklens, MPI_Aint* indices, int* old_type, int* newtype, int* ierr) ;
664 void mpi_type_create_hindexed_ (int* count, int* blocklens, MPI_Aint* indices, int* old_type, int* newtype, int* ierr) ;
665 void mpi_type_create_hindexed_block_ (int* count, int* blocklength, MPI_Aint* indices, int* old_type, int* newtype, int* ierr) ;
666 void mpi_type_indexed_ (int* count, int* blocklens, int* indices, int* old_type, int* newtype, int* ierr) ;
667 void mpi_type_create_indexed_block_ (int* count, int* blocklength, int* indices, int* old_type, int*newtype, int* ierr);
668 void mpi_type_struct_ (int* count, int* blocklens, MPI_Aint* indices, int* old_types, int* newtype, int* ierr) ;
669 void mpi_type_create_struct_ (int* count, int* blocklens, MPI_Aint* indices, int* old_types, int* newtype, int* ierr) ;
670 void mpi_ssend_ (void* buf, int* count, int* datatype, int* dest, int* tag, int* comm, int* ierr) ;
671 void mpi_ssend_init_ (void* buf, int* count, int* datatype, int* dest, int* tag, int* comm, int* request, int* ierr) ;
672 void mpi_intercomm_create_ (int* local_comm, int* local_leader, int* peer_comm, int* remote_leader, int* tag, int* comm_out, int* ierr) ;
673 void mpi_intercomm_merge_ (int* comm, int* high, int* comm_out, int* ierr) ;
674 void mpi_bsend_ (void* buf, int* count, int* datatype, int* dest, int* tag, int* comm, int* ierr) ;
675 void mpi_bsend_init_ (void* buf, int* count, int* datatype, int* dest, int* tag, int* comm, int* request, int* ierr) ;
676 void mpi_ibsend_ (void* buf, int* count, int* datatype, int* dest, int* tag, int* comm, int* request, int* ierr) ;
677 void mpi_comm_remote_group_ (int* comm, int* group, int* ierr) ;
678 void mpi_comm_remote_size_ (int* comm, int* size, int* ierr) ;
679 void mpi_issend_ (void* buf, int* count, int* datatype, int* dest, int* tag, int* comm, int* request, int* ierr) ;
680 void mpi_probe_ (int* source, int* tag, int* comm, MPI_Status* status, int* ierr) ;
681 void mpi_attr_delete_ (int* comm, int* keyval, int* ierr) ;
682 void mpi_attr_put_ (int* comm, int* keyval, void* attr_value, int* ierr) ;
683 void mpi_rsend_init_ (void* buf, int* count, int* datatype, int* dest, int* tag, int* comm, int* request, int* ierr) ;
684 void mpi_keyval_create_ (void* copy_fn, void* delete_fn, int* keyval, void* extra_state, int* ierr) ;
685 void mpi_keyval_free_ (int* keyval, int* ierr) ;
686 void mpi_test_cancelled_ (MPI_Status* status, int* flag, int* ierr) ;
687 void mpi_pack_ (void* inbuf, int* incount, int* type, void* outbuf, int* outcount, int* position, int* comm, int* ierr) ;
688 void mpi_get_elements_ (MPI_Status* status, int* datatype, int* elements, int* ierr) ;
689 void mpi_dims_create_ (int* nnodes, int* ndims, int* dims, int* ierr) ;
690 void mpi_iprobe_ (int* source, int* tag, int* comm, int* flag, MPI_Status* status, int* ierr) ;
691 void mpi_type_get_envelope_ ( int* datatype, int *num_integers, int *num_addresses, int *num_datatypes, int *combiner, int* ierr);
692 void mpi_type_get_contents_ (int* datatype, int* max_integers, int* max_addresses, int* max_datatypes, int* array_of_integers, MPI_Aint* array_of_addresses,
693 int*array_of_datatypes, int* ierr);
694 void mpi_type_create_darray_ (int* size, int* rank, int* ndims, int* array_of_gsizes, int* array_of_distribs, int* array_of_dargs, int* array_of_psizes,
695 int* order, int* oldtype, int*newtype, int* ierr) ;
696 void mpi_type_create_resized_ (int* oldtype,MPI_Aint* lb, MPI_Aint* extent, int*newtype, int* ierr);
697 void mpi_type_create_subarray_ (int* ndims,int *array_of_sizes, int *array_of_subsizes, int *array_of_starts, int* order, int* oldtype, int*newtype, int* ierr);
698 void mpi_type_match_size_ (int* typeclass,int* size,int*datatype, int* ierr);
699 void mpi_alltoallw_ ( void *sendbuf, int *sendcnts, int *sdispls, int*sendtypes, void *recvbuf, int *recvcnts, int *rdispls, int*recvtypes,
700 int* comm, int* ierr);
701 void mpi_exscan_ (void *sendbuf, void *recvbuf, int* count, int* datatype, int* op, int* comm, int* ierr);
702 void mpi_comm_set_name_ (int* comm, char* name, int* ierr, int size);
703 void mpi_comm_dup_with_info_ (int* comm, int* info, int* newcomm, int* ierr);
704 void mpi_comm_split_type_ (int* comm, int* split_type, int* key, int* info, int*newcomm, int* ierr);
705 void mpi_comm_set_info_ (int* comm, int* info, int* ierr);
706 void mpi_comm_get_info_ (int* comm, int* info, int* ierr);
707 void mpi_info_get_ (int* info,char *key,int* valuelen, char *value, int *flag, int* ierr, unsigned int keylen);
708 void mpi_comm_create_errhandler_ ( void *function, void *errhandler, int* ierr);
709 void mpi_add_error_class_ ( int *errorclass, int* ierr);
710 void mpi_add_error_code_ ( int* errorclass, int *errorcode, int* ierr);
711 void mpi_add_error_string_ ( int* errorcode, char *string, int* ierr);
712 void mpi_comm_call_errhandler_ (int* comm,int* errorcode, int* ierr);
713 void mpi_info_dup_ (int* info, int* newinfo, int* ierr);
714 void mpi_info_get_valuelen_ ( int* info, char *key, int *valuelen, int *flag, int* ierr, unsigned int keylen);
715 void mpi_info_delete_ (int* info, char *key, int* ierr, unsigned int keylen);
716 void mpi_info_get_nkeys_ ( int* info, int *nkeys, int* ierr);
717 void mpi_info_get_nthkey_ ( int* info, int* n, char *key, int* ierr, unsigned int keylen);
718 void mpi_get_version_ (int *version,int *subversion, int* ierr);
719 void mpi_get_library_version_ (char *version,int *len, int* ierr);
720 void mpi_request_get_status_ ( int* request, int *flag, MPI_Status* status, int* ierr);
721 void mpi_grequest_start_ ( void *query_fn, void *free_fn, void *cancel_fn, void *extra_state, int*request, int* ierr);
722 void mpi_grequest_complete_ ( int* request, int* ierr);
723 void mpi_status_set_cancelled_ (MPI_Status* status,int* flag, int* ierr);
724 void mpi_status_set_elements_ ( MPI_Status* status, int* datatype, int* count, int* ierr);
725 void mpi_comm_connect_ ( char *port_name, int* info, int* root, int* comm, int* newcomm, int* ierr);
726 void mpi_publish_name_ ( char *service_name, int* info, char *port_name, int* ierr);
727 void mpi_unpublish_name_ ( char *service_name, int* info, char *port_name, int* ierr);
728 void mpi_lookup_name_ ( char *service_name, int* info, char *port_name, int* ierr);
729 void mpi_comm_join_ ( int* fd, int*intercomm, int* ierr);
730 void mpi_open_port_ ( int* info, char *port_name, int* ierr);
731 void mpi_close_port_ ( char *port_name, int* ierr);
732 void mpi_comm_accept_ ( char *port_name, int* info, int* root, int* comm, int* newcomm, int* ierr);
733 void mpi_comm_spawn_ ( char *command, char *argv, int* maxprocs, int* info, int* root, int* comm, int*intercomm, int* array_of_errcodes, int* ierr);
734 void mpi_comm_spawn_multiple_ ( int* count, char *array_of_commands, char** array_of_argv, int* array_of_maxprocs, int* array_of_info, int* root,
735 int* comm, int*intercomm, int* array_of_errcodes, int* ierr);
736 void mpi_comm_get_parent_ ( int*parent, int* ierr);
739 /********** Tracing **********/
740 /* from smpi_instr.c */
741 void TRACE_internal_smpi_set_category (const char *category);
742 const char *TRACE_internal_smpi_get_category (void);
743 void TRACE_smpi_collective_in(int rank, int root, const char *operation, instr_extra_data extra);
744 void TRACE_smpi_collective_out(int rank, int root, const char *operation);
745 void TRACE_smpi_computing_init(int rank);
746 void TRACE_smpi_computing_out(int rank);
747 void TRACE_smpi_computing_in(int rank, instr_extra_data extra);
748 void TRACE_smpi_sleeping_init(int rank);
749 void TRACE_smpi_sleeping_out(int rank);
750 void TRACE_smpi_sleeping_in(int rank, instr_extra_data extra);
751 void TRACE_smpi_testing_out(int rank);
752 void TRACE_smpi_testing_in(int rank, instr_extra_data extra);
753 void TRACE_smpi_alloc(void);
754 void TRACE_smpi_release(void);
755 void TRACE_smpi_ptp_in(int rank, int src, int dst, const char *operation, instr_extra_data extra);
756 void TRACE_smpi_ptp_out(int rank, int src, int dst, const char *operation);
757 void TRACE_smpi_send(int rank, int src, int dst, int size);
758 void TRACE_smpi_recv(int rank, int src, int dst);
759 void TRACE_smpi_init(int rank);
760 void TRACE_smpi_finalize(int rank);
762 const char* encode_datatype(MPI_Datatype datatype, int* known);
764 // TODO, make this static and expose it more cleanly
766 typedef struct s_smpi_privatisation_region {
769 } s_smpi_privatisation_region_t, *smpi_privatisation_region_t;
771 extern smpi_privatisation_region_t smpi_privatisation_regions;
772 extern int smpi_loaded_page;
773 extern int smpi_universe_size;
775 int SIMIX_process_get_PID(smx_process_t self);
777 static inline __attribute__ ((always_inline))
778 int smpi_process_index_of_smx_process(smx_process_t process) {
779 return SIMIX_process_get_PID(process) -1;