void smpi_process_destroy(void)
{
int index = smpi_process_index();
-
+ process_data[index]->index=-100;
XBT_DEBUG("<%d> Process left the game", index);
}
}
}
+/**
+ * @brief Check if a process is finalized
+ */
+int smpi_process_finalized()
+{
+ // If finalized, this value has been set to -100;
+ return process_data[smpi_process_index()]->index==-100;
+}
+
+
#ifdef SMPI_F2C
int smpi_process_argc(void) {
smpi_process_data_t data = smpi_process_data();
void *recvbuf, int recvcount, MPI_Datatype recvtype,\
int root, MPI_Comm comm))
mpi_coll_scatter_description[scatter_id].coll;
+
+ int barrier_id = find_coll_description(mpi_coll_barrier_description,
+ sg_cfg_get_string("smpi/barrier"));
+ mpi_coll_barrier_fun = (int (*)(MPI_Comm comm))
+ mpi_coll_barrier_description[barrier_id].coll;
+
smpi_global_init();
/* Clean IO before the run */