void SD_workstation_set_data(SD_workstation_t workstation, void *data);
void* SD_workstation_get_data(SD_workstation_t workstation);
const char* SD_workstation_get_name(SD_workstation_t workstation);
-SD_link_t* SD_workstation_route_get_list(SD_workstation_t src, SD_workstation_t dst);
-int SD_workstation_route_get_size(SD_workstation_t src, SD_workstation_t dst);
+SD_link_t* SD_route_get_list(SD_workstation_t src, SD_workstation_t dst);
+int SD_route_get_size(SD_workstation_t src, SD_workstation_t dst);
double SD_workstation_get_power(SD_workstation_t workstation);
double SD_workstation_get_available_power(SD_workstation_t workstation);
+
+double SD_workstation_get_computation_time(SD_workstation_t workstation, double computation_amount);
+double SD_route_get_current_latency(SD_workstation_t src, SD_workstation_t dst);
+double SD_route_get_current_bandwidth(SD_workstation_t src, SD_workstation_t dst);
+double SD_route_get_communication_time(SD_workstation_t src, SD_workstation_t dst,
+ double communication_amount);
+
/** @} */
/************************** Task handling ************************************/
void SD_task_set_data(SD_task_t task, void *data);
e_SD_task_state_t SD_task_get_state(SD_task_t task);
const char* SD_task_get_name(SD_task_t task);
-double SD_task_get_amount(SD_task_t task);
-double SD_task_get_remaining_amount(SD_task_t task);
void SD_task_watch(SD_task_t task, e_SD_task_state_t state);
void SD_task_unwatch(SD_task_t task, e_SD_task_state_t state);
+double SD_task_get_amount(SD_task_t task);
+double SD_task_get_remaining_amount(SD_task_t task);
+double SD_task_get_execution_time(SD_task_t task, int workstation_nb,
+ const SD_workstation_t *workstation_list,
+ const double *computation_amount, const double *communication_amount,
+ double rate);
void SD_task_schedule(SD_task_t task, int workstation_nb,
const SD_workstation_t *workstation_list, const double *computation_amount,
const double *communication_amount, double rate);
void SD_task_unschedule(SD_task_t task);
+double SD_task_get_start_time(SD_task_t task);
+double SD_task_get_finish_time(SD_task_t task);
void SD_task_destroy(SD_task_t task);
/** @} */
void SD_init(int *argc, char **argv);
void SD_create_environment(const char *platform_file);
SD_task_t* SD_simulate(double how_long);
+double SD_get_clock(void);
void SD_exit(void);
/** @} */