/* SimDag private functions */
-SD_link_t __SD_link_create(void *surf_link, void *data);
-void __SD_link_destroy(void *link);
+XBT_PUBLIC SD_link_t __SD_link_create(void *surf_link, void *data);
+XBT_PUBLIC void __SD_link_destroy(void *link);
-SD_workstation_t __SD_workstation_create(void *surf_workstation, void *data);
-void __SD_workstation_destroy(void *workstation);
-int __SD_workstation_is_busy(SD_workstation_t workstation);
+XBT_PUBLIC SD_workstation_t __SD_workstation_create(void *surf_workstation, void *data);
+XBT_PUBLIC void __SD_workstation_destroy(void *workstation);
+XBT_PUBLIC int __SD_workstation_is_busy(SD_workstation_t workstation);
-void __SD_task_set_state(SD_task_t task, e_SD_task_state_t new_state);
-void __SD_task_really_run(SD_task_t task);
-int __SD_task_try_to_run(SD_task_t task);
-void __SD_task_just_done(SD_task_t task);
+XBT_PUBLIC void __SD_task_set_state(SD_task_t task, e_SD_task_state_t new_state);
+XBT_PUBLIC void __SD_task_really_run(SD_task_t task);
+XBT_PUBLIC int __SD_task_try_to_run(SD_task_t task);
+XBT_PUBLIC void __SD_task_just_done(SD_task_t task);
/* Functions to test if the task is in a given state. */
/* Returns whether the given task is scheduled or ready. */
-static _XBT_INLINE int __SD_task_is_scheduled_or_ready(SD_task_t task) {
+static XBT_INLINE int __SD_task_is_scheduled_or_ready(SD_task_t task) {
return task->state_set == sd_global->scheduled_task_set ||
task->state_set == sd_global->ready_task_set;
}
/* Returns whether the state of the given task is SD_NOT_SCHEDULED. */
-static _XBT_INLINE int __SD_task_is_not_scheduled(SD_task_t task) {
+static XBT_INLINE int __SD_task_is_not_scheduled(SD_task_t task) {
return task->state_set == sd_global->not_scheduled_task_set;
}
/* Returns whether the state of the given task is SD_SCHEDULED. */
-static _XBT_INLINE int __SD_task_is_scheduled(SD_task_t task) {
+static XBT_INLINE int __SD_task_is_scheduled(SD_task_t task) {
return task->state_set == sd_global->scheduled_task_set;
}
/* Returns whether the state of the given task is SD_READY. */
-static _XBT_INLINE int __SD_task_is_ready(SD_task_t task) {
+static XBT_INLINE int __SD_task_is_ready(SD_task_t task) {
return task->state_set == sd_global->ready_task_set;
}
/* Returns whether the state of the given task is SD_IN_FIFO. */
-static _XBT_INLINE int __SD_task_is_in_fifo(SD_task_t task) {
+static XBT_INLINE int __SD_task_is_in_fifo(SD_task_t task) {
return task->state_set == sd_global->in_fifo_task_set;
}
/* Returns whether the state of the given task is SD_READY or SD_IN_FIFO. */
-static _XBT_INLINE int __SD_task_is_ready_or_in_fifo(SD_task_t task) {
+static XBT_INLINE int __SD_task_is_ready_or_in_fifo(SD_task_t task) {
return task->state_set == sd_global->ready_task_set ||
task->state_set == sd_global->in_fifo_task_set;
}
/* Returns whether the state of the given task is SD_RUNNING. */
-static _XBT_INLINE int __SD_task_is_running(SD_task_t task) {
+static XBT_INLINE int __SD_task_is_running(SD_task_t task) {
return task->state_set == sd_global->running_task_set;
}