X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/3e96889c27396fab9cf26b4c22d282dfc962a1a5..9a10d9dc4c75ef2443ecf56b1ef7cb0720d061b9:/src/simdag/private.h diff --git a/src/simdag/private.h b/src/simdag/private.h index b00f35a381..e4025a39d3 100644 --- a/src/simdag/private.h +++ b/src/simdag/private.h @@ -1,64 +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" - -#define SD_CHECK_INIT_DONE() xbt_assert0(sd_global != NULL, "Call SD_init() first") +#include "xbt/swag.h" +#include "xbt/mallocator.h" +#include /* Global variables */ typedef struct SD_global { - xbt_dict_t workstations; /* workstation list */ - int workstation_count; /* number of workstations */ - xbt_dict_t links; /* link list */ + 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 private data */ -typedef struct SD_link_data { - void *surf_link; /* surf object */ -} s_SD_link_data_t; +/* 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; -/* Workstation private data */ -typedef struct SD_workstation_data { - void *surf_workstation; /* surf object */ -} s_SD_workstation_data_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; -/* Task private data */ -typedef struct SD_task_data { +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; - SD_task_state_t state; + 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 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; - void **workstation_list; /* surf workstations */ + SD_workstation_t *workstation_list; /* surf workstations */ double *computation_amount; double *communication_amount; double rate; -} s_SD_task_data_t; -/* Private functions */ +#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); -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_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; +} + +/* 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; +} + +/* 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; +} + +/* 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_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) +{ + return 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; +} -void __SD_task_run(SD_task_t task); -void __SD_task_destroy(SD_task_t task); -void __SD_task_destroy_scheduling_data(SD_task_t task); +/* 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