int refcount; /* Number of processes involved in the cond */
int detached; /* If detached or not */
+ void (*clean_fun)(void*); /* Function to clean the detached src_buf if something goes wrong */
+
/* Surf action data */
surf_action_t surf_comm; /* The Surf communication action encapsulated */
surf_action_t src_timeout; /* Surf's actions to instrument the timeouts */
smx_process_t simix_process)
{
- return (*(simix_global->context_factory->create_context))
- (code, argc, argv, cleanup_func, simix_process);
+ return simix_global->context_factory->create_context(code,
+ argc, argv,
+ cleanup_func,
+ simix_process);
}
/**
*/
static XBT_INLINE void SIMIX_context_free(smx_context_t context)
{
- (*(simix_global->context_factory->free)) (context);
+ simix_global->context_factory->free(context);
}
/**
*/
static XBT_INLINE void SIMIX_context_stop(smx_context_t context)
{
- (*(simix_global->context_factory->stop)) (context);
+ simix_global->context_factory->stop(context);
}
/**
*/
static XBT_INLINE void SIMIX_context_suspend(smx_context_t context)
{
- (*(simix_global->context_factory->suspend)) (context);
+ simix_global->context_factory->suspend(context);
}
/**
- \brief executes all the processes (in parallel if possible)
- \param processes the dynar of processes to execute
+ \brief Executes all the processes to run (in parallel if possible).
*/
-static XBT_INLINE void SIMIX_context_runall(xbt_dynar_t processes)
+static XBT_INLINE void SIMIX_context_runall()
{
- (*(simix_global->context_factory->runall)) (processes);
+ simix_global->context_factory->runall();
}
/**
static XBT_INLINE smx_context_t SIMIX_context_self(void)
{
if (simix_global && simix_global->context_factory != NULL) {
- return (*(simix_global->context_factory->self))();
+ return simix_global->context_factory->self();
}
return NULL;
*/
static XBT_INLINE void* SIMIX_context_get_data(smx_context_t context)
{
- return (*(simix_global->context_factory->get_data))(context);
+ return simix_global->context_factory->get_data(context);
}
XBT_PUBLIC(int) SIMIX_process_get_maxpid(void);