*/
void SD_init(int *argc, char **argv)
{
-#ifdef HAVE_TRACING
TRACE_global_init(argc, argv);
-#endif
s_SD_task_t task;
xbt_cfg_setdefault_string(_sg_cfg_set, "workstation/model",
"ptask_L07");
-#ifdef HAVE_TRACING
- TRACE_start ();
-#endif
-
#ifdef HAVE_JEDULE
jedule_sd_init();
#endif
*/
void SD_exit(void)
{
-#ifdef HAVE_TRACING
TRACE_surf_resource_utilization_release();
-#endif
xbt_mallocator_free(sd_global->task_mallocator);
xbt_swag_free(sd_global->failed_task_set);
xbt_swag_free(sd_global->return_set);
-#ifdef HAVE_TRACING
TRACE_end();
-#endif
xbt_free(sd_global);
sd_global = NULL;