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()
+{
+ return (smpi_process_index()==-100);
+ // If finalized, this value has been set to -100;
+}
+
+
#ifdef SMPI_F2C
int smpi_process_argc(void) {
smpi_process_data_t data = smpi_process_data();
int smpi_process_index(void)
{
smpi_process_data_t data = smpi_process_data();
-
- return data->index;
+ //return -1 if not initialized
+ return data? data->index : MPI_UNDEFINED;
}
smx_rdv_t smpi_process_mailbox(void) {