smpi_comm_destroy(MPI_COMM_WORLD);
MPI_COMM_WORLD = MPI_COMM_NULL;
for (i = 0; i < count; i++) {
smpi_comm_destroy(MPI_COMM_WORLD);
MPI_COMM_WORLD = MPI_COMM_NULL;
for (i = 0; i < count; i++) {
smpi_comm_destroy(process_data[i]->comm_self);
xbt_os_timer_free(process_data[i]->timer);
simcall_rdv_destroy(process_data[i]->mailbox);
smpi_comm_destroy(process_data[i]->comm_self);
xbt_os_timer_free(process_data[i]->timer);
simcall_rdv_destroy(process_data[i]->mailbox);
/* With smpiff, the following weak symbols are replaced by those in libf2c */
int __attribute__((weak)) xargc;
char** __attribute__((weak)) xargv;
/* With smpiff, the following weak symbols are replaced by those in libf2c */
int __attribute__((weak)) xargc;
char** __attribute__((weak)) xargv;
int __attribute__((weak)) smpi_simulated_main__(int argc, char** argv) {
smpi_process_init(&argc, &argv);
user_main__();
int __attribute__((weak)) smpi_simulated_main__(int argc, char** argv) {
smpi_process_init(&argc, &argv);
user_main__();
int __attribute__((weak)) MAIN__(){
return smpi_main(smpi_simulated_main__,xargc, xargv);
};
int __attribute__((weak)) MAIN__(){
return smpi_main(smpi_simulated_main__,xargc, xargv);
};
int smpi_main(int (*realmain) (int argc, char *argv[]),int argc, char *argv[])
{
int smpi_main(int (*realmain) (int argc, char *argv[]),int argc, char *argv[])
{
XBT_LOG_CONNECT(smpi_mpi_dt);
XBT_LOG_CONNECT(smpi_pmpi);
XBT_LOG_CONNECT(smpi_replay);
XBT_LOG_CONNECT(smpi_mpi_dt);
XBT_LOG_CONNECT(smpi_pmpi);
XBT_LOG_CONNECT(smpi_replay);