X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/8d0eaea75f444b5ac20edfca6d4ce04cee7307e7..9a10d9dc4c75ef2443ecf56b1ef7cb0720d061b9:/src/simdag/private.h

diff --git a/src/simdag/private.h b/src/simdag/private.h
index c86ff69b8d..e4025a39d3 100644
--- a/src/simdag/private.h
+++ b/src/simdag/private.h
@@ -1,37 +1,202 @@
+/* Copyright (c) 2006, 2007, 2008, 2009, 2010. 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 "xbt/dict.h"
+#include "xbt/dynar.h"
+#include "xbt/fifo.h"
 #include "simdag/simdag.h"
 #include "simdag/datatypes.h"
+#include "surf/surf.h"
+#include "xbt/swag.h"
+#include "xbt/mallocator.h"
+#include <stdbool.h>
 
 /* Global variables */
 
-typedef struct SG_global {
-  xbt_dict_t workstations; /* workstation list */
-  int workstation_count; /* number of workstations */
-} s_SG_global_t, *SG_global_t;
+typedef struct SD_global {
+  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 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;
+
+extern SD_global_t sd_global;
+
+/* Link */
+typedef struct SD_link {
+  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 *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_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);
+}
+
+/* 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 */
+  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;  /* 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 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 */
+  double *computation_amount;
+  double *communication_amount;
+  double rate;
+
+#ifdef HAVE_TRACING
+  char *category;               /* sd task category for instrumentation */
+#endif
+} s_SD_task_t;
+
+/* Task dependencies */
+typedef struct SD_dependency {
+  char *name;
+  void *data;
+  SD_task_t src;
+  SD_task_t dst;
+  /* src must be finished before dst can start */
+} 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);
+#define __SD_link_destroy xbt_free_f
+
+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_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);
+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 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->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;
+}
 
-extern SG_global_t sg_global;
+/* 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)
+{
+  return task->state_set == sd_global->not_scheduled_task_set;
+}
 
-/* Link private data */
-typedef struct SG_link_data {
-  void* surf_link; /* surf object */
+/* Returns whether the state of the given task is SD_SCHEDULED. */
+static XBT_INLINE int __SD_task_is_schedulable(SD_task_t task)
+{
+  return task->state_set == sd_global->schedulable_task_set;
+}
 
-} s_SG_link_data_t;
+/* 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;
+}
 
-/* Workstation private data */
-typedef struct SG_workstation_data {
-  void* surf_workstation; /* surf object */
-  /* TODO: route */
-} s_SG_workstation_data_t;
+/* 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;
+}
 
-/* Private functions */
+/* 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)
+{
+  return task->state_set == sd_global->in_fifo_task_set;
+}
 
-SG_link_t __SG_link_create(const char *name, void *surf_link, void *data);
-void __SG_link_destroy(SG_link_t link);
+/* 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;
+}
 
-SG_workstation_t __SG_workstation_create(const char *name, void *surf_workstation, void *data);
-void __SG_workstation_destroy(SG_workstation_t workstation);
+/* Returns whether the state of the given task is SD_RUNNING. */
+static XBT_INLINE int __SD_task_is_running(SD_task_t task)
+{
+  return task->state_set == sd_global->running_task_set;
+}
 
 #endif