#include "simix/simix.h"
#include "smpi/smpi.h"
#include "smpi/smpif.h"
+#include "smpi/smpi_cocci.h"
#include "instr/instr_private.h"
struct s_smpi_process_data;
int dst;
int tag;
MPI_Comm comm;
- smx_rdv_t rdv;
- smx_action_t pair;
- int complete;
- MPI_Request match;
+ smx_action_t action;
unsigned flags;
#ifdef HAVE_TRACING
int send;
smpi_process_data_t smpi_process_data(void);
smpi_process_data_t smpi_process_remote_data(int index);
int smpi_process_count(void);
-int smpi_process_index(void);
+smx_rdv_t smpi_process_mailbox(void);
+smx_rdv_t smpi_process_remote_mailbox(int index);
xbt_os_timer_t smpi_process_timer(void);
void smpi_process_simulated_start(void);
double smpi_process_simulated_elapsed(void);
void print_request(const char *message, MPI_Request request);
-void smpi_process_post_send(MPI_Comm comm, MPI_Request request);
-void smpi_process_post_recv(MPI_Request request);
void smpi_global_init(void);
void smpi_global_destroy(void);
void smpi_comm_destroy(MPI_Comm comm);
MPI_Group smpi_comm_group(MPI_Comm comm);
int smpi_comm_size(MPI_Comm comm);
+void smpi_comm_get_name(MPI_Comm comm, char* name, int* len);
int smpi_comm_rank(MPI_Comm comm);
MPI_Comm smpi_comm_split(MPI_Comm comm, int color, int key);