-XBT_LOG_NEW_CATEGORY(sd,"Logging specific to SimDag");
-XBT_LOG_NEW_DEFAULT_SUBCATEGORY(sd_kernel,sd,
- "Logging specific to SimDag (kernel)");
-
-SD_global_t sd_global = NULL;
-
-/* $Id$ */
-
-/* Copyright (c) 2007 Arnaud Legrand.
- 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. */
-
-static int _sd_init_status = 0; /* 0: beginning of time;
- 1: pre-inited (cfg_set created);
- 2: inited (running) */
-static xbt_cfg_t _sd_cfg_set = NULL;
-
-/* callback of the workstation_model variable */
-static void _sd_cfg_cb__workstation_model(const char *name, int pos)
-{
- char *val;
-
- xbt_assert0(_sd_init_status < 2,
- "Cannot change the model after the initialization");
-
- val = xbt_cfg_get_string(_sd_cfg_set, name);
- find_model_description(surf_workstation_model_description,
- surf_workstation_model_description_size,
- val);
-}
-
-/* callback of the cpu_model variable */
-static void _sd_cfg_cb__cpu_model(const char *name, int pos)
-{
- char *val;
-
- xbt_assert0(_sd_init_status < 2,
- "Cannot change the model after the initialization");
-
- val = xbt_cfg_get_string(_sd_cfg_set, name);
- find_model_description(surf_cpu_model_description,
- surf_cpu_model_description_size, val);
-}
-
-/* callback of the workstation_model variable */
-static void _sd_cfg_cb__network_model(const char *name, int pos)
-{
- char *val;
-
- xbt_assert0(_sd_init_status < 2,
- "Cannot change the model after the initialization");
-
- val = xbt_cfg_get_string(_sd_cfg_set, name);
- find_model_description(surf_network_model_description,
- surf_network_model_description_size, val);
-}
-
-XBT_LOG_EXTERNAL_CATEGORY(sd_kernel);
-XBT_LOG_EXTERNAL_CATEGORY(sd_task);
-XBT_LOG_EXTERNAL_CATEGORY(sd_workstation);
-
-/* create the config set and register what should be */
-static void sd_config_init(void)
-{
-
- if (_sd_init_status)
- return; /* Already inited, nothing to do */
-
- /* Connect our log channels: that must be done manually under windows */
- XBT_LOG_CONNECT(sd_kernel, sd);
- XBT_LOG_CONNECT(sd_task, sd);
- XBT_LOG_CONNECT(sd_workstation, sd);
-
- _sd_init_status = 1;
- _sd_cfg_set = xbt_cfg_new();
-
- xbt_cfg_register(_sd_cfg_set,
- "workstation_model", xbt_cfgelm_string, 1, 1,
- &_sd_cfg_cb__workstation_model, NULL);
-
- xbt_cfg_register(_sd_cfg_set,
- "cpu_model", xbt_cfgelm_string, 1, 1,
- &_sd_cfg_cb__cpu_model, NULL);
- xbt_cfg_register(_sd_cfg_set,
- "network_model", xbt_cfgelm_string, 1, 1,
- &_sd_cfg_cb__network_model, NULL);
-
- xbt_cfg_set_string(_sd_cfg_set, "workstation_model", "ptask_L07");
-}
-
-static void sd_config_finalize(void)
-{
-
- if (!_sd_init_status)
- return; /* Not initialized yet. Nothing to do */
-
- xbt_cfg_free(&_sd_cfg_set);
- _sd_init_status = 0;
-}
-
-static void sd_config(const char *name, va_list pa)
-{
- if (!_sd_init_status) {
- sd_config_init();
- }
- xbt_cfg_set_vargs(_sd_cfg_set, name, pa);
-}
-
-
-static void __sd_config_helper(const char *name, ...)
-{
- va_list pa;
- va_start(pa, name);
-
- sd_config(name, pa);