[trace] avoid Paje inconsistencies by forcing the generation of a time-ordered trace...

details:
- this might come with a performance penalty.
If so, set tracing/buffer to zero, and sort the trace afterward.

diff --git a/src/instr/instr_config.c b/src/instr/instr_config.c
index ce36bb4..c9de3a3 100644 (file)
--- a/src/instr/instr_config.c
+++ b/src/instr/instr_config.c
@@ -264,7 +264,7 @@ void TRACE_global_init(int *argc, char **argv)
                    NULL, NULL);
 
   /* tracing buffer */
                    NULL, NULL);
 
   /* tracing buffer */

-  int default_buffer = 0;
+  int default_buffer = 1;

   xbt_cfg_register(&_surf_cfg_set, OPT_TRACING_BUFFER,
                    "Buffer trace events to put them in temporal order.",
                    xbt_cfgelm_int, &default_buffer, 0, 1,
   xbt_cfg_register(&_surf_cfg_set, OPT_TRACING_BUFFER,
                    "Buffer trace events to put them in temporal order.",
                    xbt_cfgelm_int, &default_buffer, 0, 1,