This ends the Fix #15 after the recent commit of @mpoquet. Thanks for
that again.
XBT_PUBLIC(int) SIMIX_process_has_pending_comms(smx_process_t process);
XBT_PUBLIC(void) SIMIX_process_on_exit_runall(smx_process_t process);
XBT_PUBLIC(void) SIMIX_process_on_exit(smx_process_t process, int_f_pvoid_pvoid_t fun, void *data);
XBT_PUBLIC(int) SIMIX_process_has_pending_comms(smx_process_t process);
XBT_PUBLIC(void) SIMIX_process_on_exit_runall(smx_process_t process);
XBT_PUBLIC(void) SIMIX_process_on_exit(smx_process_t process, int_f_pvoid_pvoid_t fun, void *data);
+XBT_PUBLIC(int) SIMIX_process_get_nextpid(void);
+
/****************************** Communication *********************************/
XBT_PUBLIC(void) SIMIX_comm_set_copy_data_callback(void (*callback) (smx_synchro_t, void*, size_t));
/****************************** Communication *********************************/
XBT_PUBLIC(void) SIMIX_comm_set_copy_data_callback(void (*callback) (smx_synchro_t, void*, size_t));
simdata->data = data;
simdata->last_errno = MSG_OK;
simdata->data = data;
simdata->last_errno = MSG_OK;
- int future_simix_process_pid = SIMIX_process_get_maxpid();
+ int future_simix_process_pid = SIMIX_process_get_nextpid();
TRACE_msg_process_create(name, future_simix_process_pid, host);
/* Let's create the process: SIMIX may decide to start it right now,
TRACE_msg_process_create(name, future_simix_process_pid, host);
/* Let's create the process: SIMIX may decide to start it right now,
return simix_global->context_factory->get_process(context);
}
return simix_global->context_factory->get_process(context);
}
-XBT_PUBLIC(int) SIMIX_process_get_maxpid(void);
-
void SIMIX_post_create_environment(void);
SG_END_DECL()
void SIMIX_post_create_environment(void);
SG_END_DECL()
-int SIMIX_process_get_maxpid(void) {
+/* Warning, the tracing mechanism uses this function to guess the future PID of the
+ * currently created process, Please do not change that feature */
+int SIMIX_process_get_nextpid(void) {
return simix_process_maxpid;
}
return simix_process_maxpid;
}