declaration of configuration options for tracing

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@8109 48e7efb5-ca39-0410-a469-dd3cf9ba447f

diff --git a/buildtools/Cmake/DefinePackages.cmake b/buildtools/Cmake/DefinePackages.cmake
index a75cfa9..4bc1faa 100755 (executable)
--- a/buildtools/Cmake/DefinePackages.cmake
+++ b/buildtools/Cmake/DefinePackages.cmake
@@ -324,6 +324,7 @@ set(LUA_SRC
 )
 
 set(TRACING_SRC
 )
 
 set(TRACING_SRC

+       src/instr/instr_config.c

        src/instr/interface.c
        src/instr/general.c
        src/instr/paje.c
        src/instr/interface.c
        src/instr/general.c
        src/instr/paje.c

diff --git a/src/instr/instr_config.c b/src/instr/instr_config.c
new file mode 100644 (file)
index 0000000..57a9ee9
--- /dev/null
+++ b/src/instr/instr_config.c
@@ -0,0 +1,94 @@
+/* Copyright (c) 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. */
+
+
+#include "instr/private.h"
+
+#ifdef HAVE_TRACING
+
+#define OPT_TRACING_SMPI          "tracing/smpi"
+#define OPT_TRACING_PLATFORM      "tracing/platform"
+#define OPT_TRACING_MSG_TASK      "tracing/msg/task"
+#define OPT_TRACING_MSG_PROCESS   "tracing/msg/process"
+#define OPT_TRACING_MSG_VOLUME    "tracing/msg/volume"
+#define OPT_TRACING_FILENAME      "tracing/filename"
+
+int _TRACE_smpi_enabled (void)
+{
+  return xbt_cfg_get_int(_surf_cfg_set, OPT_TRACING_SMPI);
+}
+
+int _TRACE_platform_enabled (void)
+{
+  return xbt_cfg_get_int(_surf_cfg_set, OPT_TRACING_PLATFORM);
+}
+
+int _TRACE_msg_task_enabled (void)
+{
+  return xbt_cfg_get_int(_surf_cfg_set, OPT_TRACING_MSG_TASK);
+}
+
+int _TRACE_msg_process_enabled (void)
+{
+  return xbt_cfg_get_int(_surf_cfg_set, OPT_TRACING_MSG_PROCESS);
+}
+
+int _TRACE_msg_volume_enabled (void)
+{
+  return xbt_cfg_get_int(_surf_cfg_set, OPT_TRACING_MSG_VOLUME);
+}
+
+char *_TRACE_filename (void)
+{
+  return xbt_cfg_get_string (_surf_cfg_set, OPT_TRACING_FILENAME);
+}
+
+void TRACE_global_init(int *argc, char **argv)
+{
+  /* name of the tracefile */
+  char *default_tracing_filename = xbt_strdup("simgrid.trace");
+  xbt_cfg_register(&_surf_cfg_set, OPT_TRACING_FILENAME,
+                    "Trace file created by the instrumented SimGrid.",
+                    xbt_cfgelm_string, &default_tracing_filename, 1, 1,
+                    NULL, NULL);
+
+  /* smpi */
+  int default_tracing_smpi = 0;
+  xbt_cfg_register(&_surf_cfg_set, OPT_TRACING_SMPI,
+                   "Tracing of the SMPI interface.",
+                   xbt_cfgelm_int, &default_tracing_smpi, 0, 1,
+                   NULL, NULL);
+
+  /* platform */
+  int default_tracing_platform = 0;
+  xbt_cfg_register(&_surf_cfg_set, OPT_TRACING_PLATFORM,
+                   "Tracing of categorized platform (host and link) utilization.",
+                   xbt_cfgelm_int, &default_tracing_platform, 0, 1,
+                   NULL, NULL);
+
+  /* msg task */
+  int default_tracing_msg_task = 0;
+  xbt_cfg_register(&_surf_cfg_set, OPT_TRACING_MSG_TASK,
+                   "Tracing of MSG task behavior.",
+                   xbt_cfgelm_int, &default_tracing_msg_task, 0, 1,
+                   NULL, NULL);
+
+  /* msg process */
+  int default_tracing_msg_process = 0;
+  xbt_cfg_register(&_surf_cfg_set, OPT_TRACING_MSG_PROCESS,
+                   "Tracing of MSG process behavior.",
+                   xbt_cfgelm_int, &default_tracing_msg_process, 0, 1,
+                   NULL, NULL);
+
+  /* msg volume (experimental) */
+  int default_tracing_msg_volume = 0;
+  xbt_cfg_register(&_surf_cfg_set, OPT_TRACING_MSG_VOLUME,
+                   "Tracing of MSG communication volume (experimental).",
+                   xbt_cfgelm_int, &default_tracing_msg_volume, 0, 1,
+                   NULL, NULL);
+}
+
+#endif

diff --git a/src/instr/private.h b/src/instr/private.h
index 52ec5bc..e3455ac 100644 (file)
--- a/src/instr/private.h
+++ b/src/instr/private.h
@@ -129,6 +129,16 @@ int TRACE_surf_gtnets_get_src (void *action);
 int TRACE_surf_gtnets_get_dst (void *action);
 void TRACE_surf_gtnets_destroy (void *action);
 
 int TRACE_surf_gtnets_get_dst (void *action);
 void TRACE_surf_gtnets_destroy (void *action);
 

+/* from instr_config.c */
+int _TRACE_smpi_enabled (void);
+int _TRACE_platform_enabled (void);
+int _TRACE_msg_task_enabled (void);
+int _TRACE_msg_process_enabled (void);
+int _TRACE_msg_volume_enabled (void);
+char *_TRACE_filename (void);
+void TRACE_global_init(int *argc, char **argv);
+
+

 #endif
 
 #endif /* PRIVATE_H_ */
 #endif
 
 #endif /* PRIVATE_H_ */