+void smpi_bench_begin(MPI_Comm comm, const char* mpi_call) {
+ double now = SIMIX_get_clock();
+ int rank = comm != MPI_COMM_NULL ? smpi_comm_rank(comm) : -1;
+
+ if(mpi_call && xbt_cfg_get_int(_surf_cfg_set, "SMPE")) {
+ INFO3("SMPE: ts=%f rank=%d type=end et=%s", now, rank, mpi_call);
+ }