+/* Copyright (c) 2006-2013. The SimGrid Team.
+ * All rights reserved. */
+
+/* This program is free software; you can redistribute it and/or modify it
+ * under the terms of the license (GNU LGPL) which comes with this package. */
+
#ifndef SIMDAG_PRIVATE_H
#define SIMDAG_PRIVATE_H
#include "simdag/simdag.h"
#include "simdag/datatypes.h"
#include "surf/surf.h"
-
-#define SD_INITIALISED() (sd_global != NULL)
-#define SD_CHECK_INIT_DONE() xbt_assert0(SD_INITIALISED(), "Call SD_init() first");
+#include "xbt/swag.h"
+#include "xbt/mallocator.h"
+#include <stdbool.h>
/* Global variables */
typedef struct SD_global {
- xbt_dict_t workstations; /* workstation dictionary */
- int workstation_count; /* number of workstations */
- SD_workstation_t *workstation_list; /* array of workstations, created only if
- necessary in SD_workstation_get_list */
-
- xbt_dict_t links; /* links */
- int link_count; /* number of links */
- SD_link_t *link_list; /* array of links, created only if
- necessary in SD_link_get_list */
- SD_link_t *recyclable_route; /* array returned by SD_route_get_list
- and mallocated only once */
-
- int watch_point_reached; /* has a task just reached a watch point? */
-
+ SD_workstation_t *workstation_list; /* array of workstations, created only if
+ necessary in SD_workstation_get_list */
+ SD_link_t *link_list; /* array of links, created only if
+ necessary in SD_link_get_list */
+ SD_link_t *recyclable_route; /* array returned by SD_route_get_list
+ and mallocated only once */
+
+ xbt_mallocator_t task_mallocator; /* to not remalloc new tasks */
+
+ int watch_point_reached; /* has a task just reached a watch point? */
+
/* task state sets */
xbt_swag_t not_scheduled_task_set;
+ xbt_swag_t schedulable_task_set;
xbt_swag_t scheduled_task_set;
- xbt_swag_t ready_task_set;
+ xbt_swag_t runnable_task_set;
xbt_swag_t in_fifo_task_set;
xbt_swag_t running_task_set;
xbt_swag_t done_task_set;
xbt_swag_t failed_task_set;
+ xbt_swag_t return_set;
int task_number;
} s_SD_global_t, *SD_global_t;
/* Link */
typedef struct SD_link {
- void *surf_link; /* surf object */
- void *data; /* user data */
- e_SD_link_sharing_policy_t sharing_policy;
+ void *surf_link; /* surf object */
+ void *data; /* user data */
+ e_SD_link_sharing_policy_t sharing_policy;
} s_SD_link_t;
/* Workstation */
+typedef s_xbt_dictelm_t s_SD_workstation_t;
typedef struct SD_workstation {
- void *surf_workstation; /* surf object */
- void *data; /* user data */
+ void *data; /* user data */
e_SD_workstation_access_mode_t access_mode;
- xbt_fifo_t task_fifo; /* only used in sequential mode */
- SD_task_t current_task; /* only used in sequential mode */
-} s_SD_workstation_t;
+ xbt_fifo_t task_fifo; /* only used in sequential mode */
+ SD_task_t current_task; /* only used in sequential mode */
+} s_SD_workstation_priv_t, *SD_workstation_priv_t;
+
+static inline SD_workstation_priv_t SD_workstation_priv(SD_workstation_t host){
+ return xbt_lib_get_level(host, SD_HOST_LEVEL);
+}
+
+/* Storage */
+typedef s_xbt_dictelm_t s_SD_storage_t;
+typedef struct SD_storage {
+ void *data; /* user data */
+} s_SD_storage_priv_t, *SD_storage_priv_t;
+
/* Task */
typedef struct SD_task {
s_xbt_swag_hookup_t state_hookup;
+ s_xbt_swag_hookup_t return_hookup;
xbt_swag_t state_set;
e_SD_task_state_t state;
- void *data; /* user data */
+ void *data; /* user data */
char *name;
+ int kind;
double amount;
+ double alpha; /* used by typed parallel tasks */
double remains;
double start_time;
double finish_time;
surf_action_t surf_action;
- unsigned short watch_points;
+ unsigned short watch_points; /* bit field xor()ed with masks */
- int fifo_checked; /* used by SD_task_just_done to make sure we evaluate
- the task only once */
+ int fifo_checked; /* used by SD_task_just_done to make sure we evaluate
+ the task only once */
+ int marked; /* used to check if the task DAG has some cycle*/
/* dependencies */
xbt_dynar_t tasks_before;
xbt_dynar_t tasks_after;
+ int unsatisfied_dependencies;
+ unsigned int is_not_ready;
/* scheduling parameters (only exist in state SD_SCHEDULED) */
int workstation_nb;
- SD_workstation_t *workstation_list; /* surf workstations */
+ SD_workstation_t *workstation_list; /* surf workstations */
double *computation_amount;
double *communication_amount;
double rate;
+
+#ifdef HAVE_TRACING
+ long long int counter; /* task unique identifier for instrumentation */
+ char *category; /* sd task category for instrumentation */
+#endif
} s_SD_task_t;
/* Task dependencies */
} s_SD_dependency_t, *SD_dependency_t;
/* SimDag private functions */
+XBT_PUBLIC(xbt_swag_t) SD_simulate_swag(double how_long); /* could be public, but you need to see the internals of the SD_task_t to use it */
+
SD_link_t __SD_link_create(void *surf_link, void *data);
-void __SD_link_destroy(void *link);
+#define __SD_link_destroy xbt_free_f
-SD_workstation_t __SD_workstation_create(void *surf_workstation, void *data);
+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);
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);
+bool acyclic_graph_detail(xbt_dynar_t dag);
+
+/* Task mallocator functions */
+void* SD_task_new_f(void);
+void SD_task_recycle_f(void *t);
+void SD_task_free_f(void *t);
/* 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) {
+/* Returns whether the given task is scheduled or runnable. */
+static XBT_INLINE int __SD_task_is_scheduled_or_runnable(SD_task_t task)
+{
return task->state_set == sd_global->scheduled_task_set ||
- task->state_set == sd_global->ready_task_set;
+ task->state_set == sd_global->runnable_task_set;
+}
+
+/* Returns whether the given task is scheduled or runnable. */
+static XBT_INLINE int __SD_task_is_schedulable_or_done(SD_task_t task)
+{
+ return task->state_set == sd_global->schedulable_task_set ||
+ task->state_set == sd_global->done_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_schedulable(SD_task_t task)
+{
+ return task->state_set == sd_global->schedulable_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)
+{
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) {
- return task->state_set == sd_global->ready_task_set;
+/* Returns whether the state of the given task is SD_RUNNABLE. */
+static XBT_INLINE int __SD_task_is_runnable(SD_task_t task)
+{
+ return task->state_set == sd_global->runnable_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) {
- 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_RUNNABLE or SD_IN_FIFO. */
+static XBT_INLINE int __SD_task_is_runnable_or_in_fifo(SD_task_t task)
+{
+ return task->state_set == sd_global->runnable_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;
}
+/********** Storage **********/
+SD_storage_t __SD_storage_create(void *surf_storage, void *data);
+void __SD_storage_destroy(void *storage);
+
+/********** Tracing **********/
+/* declaration of instrumentation functions from sd_task_instr.c */
+void TRACE_sd_task_create(SD_task_t task);
+void TRACE_sd_task_execute_start(SD_task_t task);
+void TRACE_sd_task_execute_end(SD_task_t task);
+void TRACE_sd_task_destroy(SD_task_t task);
+
+
#endif
