Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Parmap: process the whole dynar, don't force workers to fetch work
[simgrid.git] / src / xbt / log.c
1 /* log - a generic logging facility in the spirit of log4j                  */
2
3 /* Copyright (c) 2004-2011. The SimGrid Team.
4  * All rights reserved.                                                     */
5
6 /* This program is free software; you can redistribute it and/or modify it
7  * under the terms of the license (GNU LGPL) which comes with this package. */
8
9
10 #include <stdarg.h>
11 #include <ctype.h>
12 #include <stdio.h>              /* snprintf */
13 #include <stdlib.h>             /* snprintf */
14
15 #include "portable.h"           /* to get a working stdarg.h */
16
17 #include "xbt_modinter.h"
18
19 #include "xbt/misc.h"
20 #include "xbt/ex.h"
21 #include "xbt/str.h"
22 #include "xbt/sysdep.h"
23 #include "xbt/log_private.h"
24 #include "xbt/dynar.h"
25 #include "xbt/xbt_os_thread.h"
26
27 XBT_PUBLIC_DATA(int) (*xbt_pid) ();
28 int xbt_log_no_loc = 0;         /* if set to true (with --log=no_loc), file localization will be omitted (for tesh tests) */
29 static xbt_os_rmutex_t log_cat_init_mutex = NULL;
30
31 /** \addtogroup XBT_log
32  *
33  *  This section describes the API to the log functions used
34  *  everywhere in this project.
35
36 \section XBT_log_toc Table of contents
37
38  - \ref log_overview
39    - \ref log_cat
40    - \ref log_pri
41    - \ref log_app
42    - \ref log_hist
43  - \ref log_API
44    - \ref log_API_cat
45    - \ref log_API_pri
46    - \ref log_API_isenabled
47    - \ref log_API_subcat
48    - \ref log_API_easy
49    - \ref log_API_example
50  - \ref log_user
51    - \ref log_use_conf
52      - \ref log_use_conf_thres
53      - \ref log_use_conf_multi
54      - \ref log_use_conf_fmt
55      - \ref log_use_conf_app
56      - \ref log_use_conf_add
57    - \ref log_use_misc
58  - \ref log_internals
59    - \ref log_in_perf
60    - \ref log_in_app
61  - \ref XBT_log_cats
62
63 \section log_overview 1. Introduction
64
65 This module is in charge of handling the log messages of every SimGrid
66 program. The main design goal are:
67
68   - <b>configurability</b>: the user can choose <i>at runtime</i> what messages to show and
69     what to hide, as well as how messages get displayed.
70   - <b>ease of use</b>: both to the programmer (using preprocessor macros black magic)
71     and to the user (with command line options)
72   - <b>performances</b>: logging shouldn't slow down the program when turned off, for example
73   - deal with <b>distributed settings</b>: SimGrid programs are [often] distributed ones,
74     and the logging mechanism allows to syndicate each and every log source into the same place.
75     At least, its design would allow to, once we write the last missing pieces
76
77 There is three main concepts in SimGrid's logging mechanism: <i>category</i>,
78 <i>priority</i> and <i>appender</i>. These three concepts work together to
79 enable developers to log messages according to message type and priority, and
80 to control at runtime how these messages are formatted and where they are
81 reported.
82
83 \subsection log_cat 1.1 Category hierarchy
84
85 The first and foremost advantage of any logging API over plain printf()
86 resides in its ability to disable certain log statements while allowing
87 others to print unhindered. This capability assumes that the logging space,
88 that is, the space of all possible logging statements, is categorized
89 according to some developer-chosen criteria.
90
91 This observation led to choosing category as the central concept of the
92 system. In a certain sense, they can be considered as logging topics or
93 channels.
94
95 \subsection log_pri 1.2 Logging priorities
96
97 The user can naturally declare interest into this or that logging category, but
98 he also can specify the desired level of details for each of them. This is
99 controlled by the <i>priority</i> concept (which should maybe be renamed to
100 <i>severity</i>).
101
102 Empirically, the user can specify that he wants to see every debugging message
103 of GRAS while only being interested into the messages at level "error" or
104 higher about the XBT internals.
105
106 \subsection log_app 1.3 Message appenders
107
108 The message appenders are the elements in charge of actually displaying the
109 message to the user. For now, only two appenders exist: the default one prints
110 stuff on stderr while it is possible to create appenders printing to a specific
111 file.
112
113 Other are planed (such as the one sending everything to a remote server,
114 or the one using only a fixed amount of lines in a file, and rotating content on
115 need). One day, for sure ;)
116
117 \subsection log_lay 1.4 Message layouts
118
119 The message layouts are the elements in charge of choosing how each message
120 will look like. Their result is a string which is then passed to the appender
121 attached to the category to be displayed.
122
123 For now, there is two layouts: The simple one, which is good for most cases,
124 and another one allowing users to specify the format they want.
125 \ref log_use_conf provides more info on this.
126
127 \subsection log_hist 1.5 History of this module
128
129 Historically, this module is an adaptation of the log4c project, which is dead
130 upstream, and which I was given the permission to fork under the LGPL licence
131 by the log4c's authors. The log4c project itself was loosely based on the
132 Apache project's Log4J, which also inspired Log4CC, Log4py and so on. Our work
133 differs somehow from these projects anyway, because the C programming language
134 is not object oriented.
135
136 \section log_API 2. Programmer interface
137
138 \subsection log_API_cat 2.1 Constructing the category hierarchy
139
140 Every category is declared by providing a name and an optional
141 parent. If no parent is explicitly named, the root category, LOG_ROOT_CAT is
142 the category's parent.
143
144 A category is created by a macro call at the top level of a file.  A
145 category can be created with any one of the following macros:
146
147  - \ref XBT_LOG_NEW_CATEGORY(MyCat,desc); Create a new root
148  - \ref XBT_LOG_NEW_SUBCATEGORY(MyCat, ParentCat,desc);
149     Create a new category being child of the category ParentCat
150  - \ref XBT_LOG_NEW_DEFAULT_CATEGORY(MyCat,desc);
151     Like XBT_LOG_NEW_CATEGORY, but the new category is the default one
152       in this file
153  -  \ref XBT_LOG_NEW_DEFAULT_SUBCATEGORY(MyCat, ParentCat,desc);
154     Like XBT_LOG_NEW_SUBCATEGORY, but the new category is the default one
155       in this file
156
157 The parent cat can be defined in the same file or in another file (in
158 which case you want to use the \ref XBT_LOG_EXTERNAL_CATEGORY macro to make
159 it visible in the current file), but each category may have only one
160 definition. Likewise, you can use a category defined in another file as 
161 default one using \ref XBT_LOG_EXTERNAL_DEFAULT_CATEGORY
162
163 Typically, there will be a Category for each module and sub-module, so you
164 can independently control logging for each module.
165
166 For a list of all existing categories, please refer to the \ref XBT_log_cats
167 section. This file is generated automatically from the SimGrid source code, so
168 it should be complete and accurate.
169
170 \section log_API_pri 2.2 Declaring message priority
171
172 A category may be assigned a threshold priority. The set of priorities are
173 defined by the \ref e_xbt_log_priority_t enum. All logging request under
174 this priority will be discarded.
175
176 If a given category is not assigned a threshold priority, then it inherits
177 one from its closest ancestor with an assigned threshold. To ensure that all
178 categories can eventually inherit a threshold, the root category always has
179 an assigned threshold priority.
180
181 Logging requests are made by invoking a logging macro on a category.  All of
182 the macros have a printf-style format string followed by arguments. If you
183 compile with the -Wall option, gcc will warn you for unmatched arguments, ie
184 when you pass a pointer to a string where an integer was specified by the
185 format. This is usually a good idea.
186
187 Here is an example of the most basic type of macro. This is a logging
188 request with priority <i>warning</i>.
189
190 <code>XBT_CLOG(MyCat, gras_log_priority_warning, "Values are: %d and '%s'", 5,
191 "oops");</code>
192
193 A logging request is said to be enabled if its priority is higher than or
194 equal to the threshold priority of its category. Otherwise, the request is
195 said to be disabled. A category without an assigned priority will inherit
196 one from the hierarchy.
197
198 It is possible to use any non-negative integer as a priority. If, as in the
199 example, one of the standard priorities is used, then there is a convenience
200 macro that is typically used instead. For example, the above example is
201 equivalent to the shorter:
202
203 <code>XBT_CWARN(MyCat, "Values are: %d and '%s'", 5, "oops");</code>
204
205 \section log_API_isenabled 2.3 Checking if a particular category/priority is enabled
206
207 It is sometimes useful to check whether a particular category is
208 enabled at a particular priority. One example is when you want to do
209 some extra computation to prepare a nice debugging message. There is
210 no use of doing so if the message won't be used afterward because
211 debugging is turned off.
212
213 Doing so is extremely easy, thanks to the XBT_LOG_ISENABLED(category, priority).
214
215 \section log_API_subcat 2.4 Using a default category (the easy interface)
216
217 If \ref XBT_LOG_NEW_DEFAULT_SUBCATEGORY(MyCat, Parent) or
218 \ref XBT_LOG_NEW_DEFAULT_CATEGORY(MyCat) is used to create the
219 category, then the even shorter form can be used:
220
221 <code>XBT_WARN("Values are: %s and '%d'", 5, "oops");</code>
222
223 Only one default category can be created per file, though multiple
224 non-defaults can be created and used.
225
226 \section log_API_easy 2.5 Putting all together: the easy interface
227
228 First of all, each module should register its own category into the categories
229 tree using \ref XBT_LOG_NEW_DEFAULT_SUBCATEGORY.
230
231 Then, logging should be done with the #XBT_DEBUG, #XBT_VERB, #XBT_INFO,
232 #XBT_WARN, #XBT_ERROR and #XBT_CRITICAL macros.
233
234 Under GCC, these macro check there arguments the same way than printf does. So,
235 if you compile with -Wall, the following code will issue a warning:
236 <code>XBT_DEBUG("Found %s (id %d)", some_string, a_double)</code>
237
238 If you want to specify the category to log onto (for example because you
239 have more than one category per file, add a C before the name of the log
240 producing macro (ie, use #XBT_CDEBUG, #XBT_CVERB, #XBT_CINFO, #XBT_CWARN,
241 #XBT_CERROR and #XBT_CCRITICAL and friends), and pass the category name as
242 first argument.
243
244 The TRACE priority is not used the same way than the other. You should use
245 the #XBT_IN, #XBT_OUT and #XBT_HERE macros instead.
246
247 \section log_API_example 2.6 Example of use
248
249 Here is a more complete example:
250
251 \verbatim
252 #include "xbt/log.h"
253
254 / * create a category and a default subcategory * /
255 XBT_LOG_NEW_CATEGORY(VSS);
256 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(SA, VSS);
257
258 int main() {
259        / * Now set the parent's priority.  (the string would typcially be a runtime option) * /
260        xbt_log_control_set("SA.thresh:3");
261
262        / * This request is enabled, because WARNING >= INFO. * /
263        XBT_CWARN(VSS, "Low fuel level.");
264
265        / * This request is disabled, because DEBUG < INFO. * /
266        XBT_CDEBUG(VSS, "Starting search for nearest gas station.");
267
268        / * The default category SA inherits its priority from VSS. Thus,
269           the following request is enabled because INFO >= INFO.  * /
270        XBT_INFO("Located nearest gas station.");
271
272        / * This request is disabled, because DEBUG < INFO. * /
273        XBT_DEBUG("Exiting gas station search");
274 }
275 \endverbatim
276
277 Another example can be found in the relevant part of the GRAS tutorial:
278 \ref GRAS_tut_tour_logs.
279
280 \section log_user 3. User interface
281
282 \section log_use_conf 3.1 Configuration
283
284 Although rarely done, it is possible to configure the logs during
285 program initialization by invoking the xbt_log_control_set() method
286 manually. A more conventional way is to use the --log command line
287 argument. xbt_init() (called by MSG_init(), gras_init() and friends)
288 checks and deals properly with such arguments.
289
290 The following command line arguments exist, but are deprecated and
291 may disappear in the future: --xbt-log, --gras-log, --msg-log and
292 --surf-log.
293
294 \subsection log_use_conf_thres 3.1.1 Threshold configuration
295
296 The most common setting is to control which logging event will get
297 displayed by setting a threshold to each category through the
298 <tt>thres</tt> keyword.
299
300 For example, \verbatim --log=root.thres:debug\endverbatim will make
301 SimGrid <b>extremely</b> verbose while \verbatim
302 --log=root.thres:critical\endverbatim should shut it almost
303 completely off. The full list of recognized thresholds is the following:
304
305  - trace: enter and return of some functions
306  - debug: crufty output
307  - verbose: verbose output for the user wanting more
308  - info: output about the regular functionning
309  - warning: minor issue encountered
310  - error: issue encountered
311  - critical: major issue encountered 
312
313 \subsection log_use_conf_multi 3.1.2 Passing several settings
314
315 You can provide several of those arguments to change the setting of several
316 categories, they will be applied from left to right. So,
317 \verbatim --log="root.thres:debug root.thres:critical"\endverbatim should
318 disable almost any logging.
319
320 Note that the quotes on above line are mandatory because there is a space in
321 the argument, so we are protecting ourselves from the shell, not from SimGrid.
322 We could also reach the same effect with this:
323 \verbatim --log=root.thres:debug --log=root.thres:critical\endverbatim
324
325 \subsection log_use_conf_fmt 3.1.3 Format configuration
326
327 As with SimGrid 3.3, it is possible to control the format of log
328 messages. This is done through the <tt>fmt</tt> keyword. For example,
329 \verbatim --log=root.fmt:%m\endverbatim reduces the output to the
330 user-message only, removing any decoration such as the date, or the
331 process ID, everything.
332
333 Here are the existing format directives:
334
335  - %%: the % char
336  - %%n: platform-dependent line separator (LOG4J compatible)
337  - %%e: plain old space (SimGrid extension)
338
339  - %%m: user-provided message
340
341  - %%c: Category name (LOG4J compatible)
342  - %%p: Priority name (LOG4J compatible)
343
344  - %%h: Hostname (SimGrid extension)
345  - %%P: Process name (SimGrid extension)
346  - %%t: Thread "name" (LOG4J compatible -- actually the address of the thread in memory)
347  - %%i: Process PID (SimGrid extension -- this is a 'i' as in 'i'dea)
348
349  - %%F: file name where the log event was raised (LOG4J compatible)
350  - %%l: location where the log event was raised (LOG4J compatible, like '%%F:%%L' -- this is a l as in 'l'etter)
351  - %%L: line number where the log event was raised (LOG4J compatible)
352  - %%M: function name (LOG4J compatible -- called method name here of course).
353    Defined only when using gcc because there is no __FUNCTION__ elsewhere.
354
355  - %%b: full backtrace (Called %%throwable in LOG4J).
356    Defined only under windows or when using the GNU libc because backtrace() is not defined
357    elsewhere, and we only have a fallback for windows boxes, not mac ones for example.
358  - %%B: short backtrace (only the first line of the %%b).
359    Called %%throwable{short} in LOG4J; defined where %%b is.
360
361  - %%d: date (UNIX-like epoch)
362  - %%r: application age (time elapsed since the beginning of the application)
363
364
365 If you want to mimic the simple layout with the format one, you would use this
366 format: '[%%h:%%i:(%%i) %%r] %%l: [%%c/%%p] %%m%%n'. This is not completely correct
367 because the simple layout do not display the message location for messages at
368 priority INFO (thus, the fmt is '[%%h:%%i:(%%i) %%r] [%%c/%%p] %%m%%n' in this
369 case). Moreover, if there is no process name (ie, messages coming from the
370 library itself, or test programs doing strange things) do not display the
371 process identity (thus, fmt is '[%%r] %%l: [%%c/%%p] %%m%%n' in that case, and '[%%r]
372 [%%c/%%p] %%m%%n' if they are at priority INFO).
373
374 For now, there is only two format modifiers: the precision and the
375 width fields. You can for example specify %.4r to get the application
376 age with 4 numbers after the radix, or %15p to get the process name
377 on 15 columns. Finally, you can specify %10.6r to get the time on at
378 most 10 columns, with 6 numbers after the radix. 
379
380 Note that when specifying the width, it is filled with spaces. That
381 is to say that for example %5r in your format is converted to "% 5f"
382 for printf (note the extra space); there is no way to fill the empty
383 columns with 0 (ie, pass "%05f" to printf). Another limitation is
384 that you cannot set specific layouts to the several priorities.
385
386 \subsection log_use_conf_app 3.1.4 Category appender
387
388 As with SimGrid 3.3, it is possible to control the appender of log
389 messages. This is done through the <tt>app</tt> keyword. For example,
390 \verbatim --log=root.app:file:mylogfile\endverbatim redirects the output
391 to the file mylogfile.
392
393 Any appender setup this way have its own layout format (simple one by default),
394 so you may have to change it too afterward. Moreover, the additivity of the log category
395 is also set to false to prevent log event displayed by this appender to "leak" to any other
396 appender higher in the hierarchy. If it is not what you wanted, you can naturally change it
397 manually.
398
399 \subsection log_use_conf_add 3.1.5 Category additivity
400
401 The <tt>add</tt> keyword allows to specify the additivity of a
402 category (see \ref log_in_app). '0', '1', 'no', 'yes', 'on'
403 and 'off' are all valid values, with 'yes' as default.
404
405 The following example resets the additivity of the xbt category to true (which is its default value).
406 \verbatim --log=xbt.add:yes\endverbatim
407
408 \section log_use_misc 3.2 Misc and Caveats
409
410   - Do not use any of the macros that start with '_'.
411   - Log4J has a 'rolling file appender' which you can select with a run-time
412     option and specify the max file size. This would be a nice default for
413     non-kernel applications.
414   - Careful, category names are global variables.
415
416 \section log_internals 4. Internal considerations
417
418 This module is a mess of macro black magic, and when it goes wrong,
419 SimGrid studently loose its ability to explain its problems. When
420 messing around this module, I often find useful to define
421 XBT_LOG_MAYDAY (which turns it back to good old printf) for the time
422 of finding what's going wrong. But things are quite verbose when
423 everything is enabled...
424
425 \section log_in_perf 4.1 Performance
426
427 Except for the first invocation of a given category, a disabled logging request
428 requires an a single comparison of a static variable to a constant.
429
430 There is also compile time constant, \ref XBT_LOG_STATIC_THRESHOLD, which
431 causes all logging requests with a lower priority to be optimized to 0 cost
432 by the compiler. By setting it to gras_log_priority_infinite, all logging
433 requests are statically disabled at compile time and cost nothing. Released executables
434 <i>might</i>  be compiled with (note that it will prevent users to debug their problems)
435 \verbatim-DXBT_LOG_STATIC_THRESHOLD=gras_log_priority_infinite\endverbatim
436
437 Compiling with the \verbatim-DNLOG\endverbatim option disables all logging
438 requests at compilation time while the \verbatim-DNDEBUG\endverbatim disables
439 the requests of priority below INFO.
440
441 \todo Logging performance *may* be improved further by improving the message
442 propagation from appender to appender in the category tree.
443
444 \section log_in_app 4.2 Appenders
445
446 Each category has an optional appender. An appender is a pointer to a
447 structure which starts with a pointer to a do_append() function. do_append()
448 prints a message to a log.
449
450 When a category is passed a message by one of the logging macros, the
451 category performs the following actions:
452
453   - if the category has an appender, the message is passed to the
454     appender's do_append() function,
455   - if additivity is true for the category, the message is passed to
456     the category's parent. Additivity is true by default, and can be
457     controlled by xbt_log_additivity_set() or something like --log=root.add:1 (see \ref log_use_conf_add).
458     Also, when you add an appender to a category, its additivity is automatically turned to off.
459     Turn it back on afterward if it is not what you wanted.
460
461 By default, only the root category have an appender, and any other category has
462 its additivity set to true. This causes all messages to be logged by the root
463 category's appender.
464
465 The default appender function currently prints to stderr, and the only other
466 existing one writes to the specified file. More would be needed, like the one
467 able to send the logs to a remote dedicated server.
468 This is on our TODO list for quite a while now, but your help would be
469 welcome here, too. */
470
471 xbt_log_appender_t xbt_log_default_appender = NULL;     /* set in log_init */
472 xbt_log_layout_t xbt_log_default_layout = NULL; /* set in log_init */
473
474 typedef struct {
475   char *catname;
476   char *fmt;
477   e_xbt_log_priority_t thresh;
478   int additivity;
479   xbt_log_appender_t appender;
480 } s_xbt_log_setting_t, *xbt_log_setting_t;
481
482 static xbt_dynar_t xbt_log_settings = NULL;
483
484 static void _free_setting(void *s)
485 {
486   xbt_log_setting_t set = *(xbt_log_setting_t *) s;
487   if (set) {
488     free(set->catname);
489     free(set->fmt);
490     free(set);
491   }
492 }
493
494 static void _xbt_log_cat_apply_set(xbt_log_category_t category,
495                                    xbt_log_setting_t setting);
496
497 const char *xbt_log_priority_names[8] = {
498   "NONE",
499   "TRACE",
500   "DEBUG",
501   "VERBOSE",
502   "INFO",
503   "WARNING",
504   "ERROR",
505   "CRITICAL"
506 };
507
508 s_xbt_log_category_t _XBT_LOGV(XBT_LOG_ROOT_CAT) = {
509   NULL /*parent */ , NULL /* firstChild */ , NULL /* nextSibling */ ,
510       "root", xbt_log_priority_uninitialized /* threshold */ ,
511       0 /* isThreshInherited */ ,
512       NULL /* appender */ , NULL /* layout */ ,
513       0                         /* additivity */
514 };
515
516 XBT_LOG_NEW_CATEGORY(xbt, "All XBT categories (simgrid toolbox)");
517 XBT_LOG_NEW_CATEGORY(surf, "All SURF categories");
518 XBT_LOG_NEW_CATEGORY(msg, "All MSG categories");
519 XBT_LOG_NEW_CATEGORY(simix, "All SIMIX categories");
520 XBT_LOG_NEW_CATEGORY(mc, "All MC categories");
521 XBT_LOG_NEW_CATEGORY(bindings, "All bindings categories");
522
523 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(log, xbt,
524                                 "Loggings from the logging mechanism itself");
525
526 /* create the default appender and install it in the root category,
527    which were already created (damnit. Too slow little beetle) */
528 void xbt_log_preinit(void)
529 {
530   xbt_log_default_appender = xbt_log_appender_file_new(NULL);
531   xbt_log_default_layout = xbt_log_layout_simple_new(NULL);
532   _XBT_LOGV(XBT_LOG_ROOT_CAT).appender = xbt_log_default_appender;
533   _XBT_LOGV(XBT_LOG_ROOT_CAT).layout = xbt_log_default_layout;
534   log_cat_init_mutex = xbt_os_rmutex_init();
535 }
536
537 /** @brief Get all logging settings from the command line
538  *
539  * xbt_log_control_set() is called on each string we got from cmd line
540  */
541 void xbt_log_init(int *argc, char **argv)
542 {
543   int i, j;
544   char *opt;
545
546   //    _XBT_LOGV(log).threshold = xbt_log_priority_debug; /* uncomment to set the LOG category to debug directly */
547
548   /* Set logs and init log submodule */
549   for (i = 1; i < *argc; i++) {
550     if (!strncmp(argv[i], "--log=", strlen("--log=")) ||
551         !strncmp(argv[i], "--gras-log=", strlen("--gras-log=")) ||
552         !strncmp(argv[i], "--surf-log=", strlen("--surf-log=")) ||
553         !strncmp(argv[i], "--msg-log=", strlen("--msg-log=")) ||
554         !strncmp(argv[i], "--simix-log=", strlen("--simix-log=")) ||
555         !strncmp(argv[i], "--xbt-log=", strlen("--xbt-log="))) {
556
557       if (strncmp(argv[i], "--log=", strlen("--log=")))
558         XBT_WARN
559             ("Option %.*s is deprecated and will disapear in the future. Use --log instead.",
560              (int) (strchr(argv[i], '=') - argv[i]), argv[i]);
561
562       opt = strchr(argv[i], '=');
563       opt++;
564       xbt_log_control_set(opt);
565       XBT_DEBUG("Did apply '%s' as log setting", opt);
566       /*remove this from argv */
567
568       for (j = i + 1; j < *argc; j++) {
569         argv[j - 1] = argv[j];
570       }
571
572       argv[j - 1] = NULL;
573       (*argc)--;
574       i--;                      /* compensate effect of next loop incrementation */
575     }
576   }
577 }
578
579 static void log_cat_exit(xbt_log_category_t cat)
580 {
581   xbt_log_category_t child;
582
583   if (cat->appender) {
584     if (cat->appender->free_)
585       cat->appender->free_(cat->appender);
586     free(cat->appender);
587   }
588   if (cat->layout) {
589     if (cat->layout->free_)
590       cat->layout->free_(cat->layout);
591     free(cat->layout);
592   }
593
594   for (child = cat->firstChild; child != NULL; child = child->nextSibling)
595     log_cat_exit(child);
596 }
597
598 void xbt_log_postexit(void)
599 {
600   XBT_VERB("Exiting log");
601   xbt_os_rmutex_destroy(log_cat_init_mutex);
602   xbt_dynar_free(&xbt_log_settings);
603   log_cat_exit(&_XBT_LOGV(XBT_LOG_ROOT_CAT));
604 }
605
606  /* Size of the static string in which we  build the log string */
607 #define XBT_LOG_STATIC_BUFFER_SIZE 2048
608 /* Minimum size of the dynamic string in which we build the log string
609    (should be greater than XBT_LOG_STATIC_BUFFER_SIZE) */
610 #define XBT_LOG_DYNAMIC_BUFFER_SIZE 4096
611
612 void _xbt_log_event_log(xbt_log_event_t ev, const char *fmt, ...)
613 {
614   xbt_log_category_t cat = ev->cat;
615
616   xbt_assert(ev->priority >= 0,
617              "Negative logging priority naturally forbidden");
618   xbt_assert(ev->priority < sizeof(xbt_log_priority_names),
619              "Priority %d is greater than the biggest allowed value",
620              ev->priority);
621
622   do {
623     xbt_log_appender_t appender = cat->appender;
624
625     if (!appender)
626       continue;                 /* No appender, try next */
627
628     xbt_assert(cat->layout,
629                "No valid layout for the appender of category %s", cat->name);
630
631     /* First, try with a static buffer */
632     if (XBT_LOG_STATIC_BUFFER_SIZE) {
633       char buff[XBT_LOG_STATIC_BUFFER_SIZE];
634       int done;
635       ev->buffer = buff;
636       ev->buffer_size = sizeof buff;
637       va_start(ev->ap, fmt);
638       done = cat->layout->do_layout(cat->layout, ev, fmt);
639       va_end(ev->ap);
640       if (done) {
641         appender->do_append(appender, buff);
642         continue;               /* Ok, that worked: go next */
643       }
644     }
645
646     /* The static buffer was too small, use a dynamically expanded one */
647     ev->buffer_size = XBT_LOG_DYNAMIC_BUFFER_SIZE;
648     ev->buffer = xbt_malloc(ev->buffer_size);
649     while (1) {
650       int done;
651       va_start(ev->ap, fmt);
652       done = cat->layout->do_layout(cat->layout, ev, fmt);
653       va_end(ev->ap);
654       if (done)
655         break;                  /* Got it */
656       ev->buffer_size *= 2;
657       ev->buffer = xbt_realloc(ev->buffer, ev->buffer_size);
658     }
659     appender->do_append(appender, ev->buffer);
660     xbt_free(ev->buffer);
661
662   } while (cat->additivity && (cat = cat->parent, 1));
663 }
664
665 #undef XBT_LOG_DYNAMIC_BUFFER_SIZE
666 #undef XBT_LOG_STATIC_BUFFER_SIZE
667
668 /* NOTE:
669  *
670  * The standard logging macros use _XBT_LOG_ISENABLED, which calls
671  * _xbt_log_cat_init().  Thus, if we want to avoid an infinite
672  * recursion, we can not use the standard logging macros in
673  * _xbt_log_cat_init(), and in all functions called from it.
674  *
675  * To circumvent the problem, we define the macro_xbt_log_init() as
676  * (0) for the length of the affected functions, and we do not forget
677  * to undefine it at the end!
678  */
679
680 static void _xbt_log_cat_apply_set(xbt_log_category_t category,
681                                    xbt_log_setting_t setting)
682 {
683 #define _xbt_log_cat_init(a, b) (0)
684
685   if (setting->thresh != xbt_log_priority_uninitialized) {
686     xbt_log_threshold_set(category, setting->thresh);
687
688     XBT_DEBUG("Apply settings for category '%s': set threshold to %s (=%d)",
689            category->name, xbt_log_priority_names[category->threshold],
690            category->threshold);
691   }
692
693   if (setting->fmt) {
694     xbt_log_layout_set(category, xbt_log_layout_format_new(setting->fmt));
695
696     XBT_DEBUG("Apply settings for category '%s': set format to %s",
697            category->name, setting->fmt);
698   }
699
700   if (setting->additivity != -1) {
701     xbt_log_additivity_set(category, setting->additivity);
702
703     XBT_DEBUG("Apply settings for category '%s': set additivity to %s",
704            category->name, (setting->additivity ? "on" : "off"));
705   }
706   if (setting->appender) {
707     xbt_log_appender_set(category, setting->appender);
708     if (!category->layout)
709       xbt_log_layout_set(category, xbt_log_layout_simple_new(NULL));
710     category->additivity = 0;
711     XBT_DEBUG("Set %p as appender of category '%s'",
712            setting->appender, category->name);
713   }
714 #undef _xbt_log_cat_init
715 }
716
717 /*
718  * This gets called the first time a category is referenced and performs the
719  * initialization.
720  * Also resets threshold to inherited!
721  */
722 int _xbt_log_cat_init(xbt_log_category_t category,
723                       e_xbt_log_priority_t priority)
724 {
725 #define _xbt_log_cat_init(a, b) (0)
726
727   if (log_cat_init_mutex != NULL) {
728     xbt_os_rmutex_acquire(log_cat_init_mutex);
729   }
730
731   if (category->threshold != xbt_log_priority_uninitialized) {
732     if (log_cat_init_mutex != NULL) {
733       xbt_os_rmutex_release(log_cat_init_mutex);
734     }
735     return priority >= category->threshold;
736   }
737
738   unsigned int cursor;
739   xbt_log_setting_t setting = NULL;
740   int found = 0;
741
742   XBT_DEBUG("Initializing category '%s' (firstChild=%s, nextSibling=%s)",
743          category->name,
744          (category->firstChild ? category->firstChild->name : "none"),
745          (category->nextSibling ? category->nextSibling->name : "none"));
746
747   if (category == &_XBT_LOGV(XBT_LOG_ROOT_CAT)) {
748     category->threshold = xbt_log_priority_info;
749     /* xbt_log_priority_debug */ ;
750     category->appender = xbt_log_default_appender;
751     category->layout = xbt_log_default_layout;
752   } else {
753
754     if (!category->parent)
755       category->parent = &_XBT_LOGV(XBT_LOG_ROOT_CAT);
756
757     XBT_DEBUG("Set %s (%s) as father of %s ",
758            category->parent->name,
759            (category->parent->threshold == xbt_log_priority_uninitialized ?
760             "uninited" : xbt_log_priority_names[category->
761                                                 parent->threshold]),
762            category->name);
763     xbt_log_parent_set(category, category->parent);
764
765     if (XBT_LOG_ISENABLED(log, xbt_log_priority_debug)) {
766       char *buf, *res = NULL;
767       xbt_log_category_t cpp = category->parent->firstChild;
768       while (cpp) {
769         if (res) {
770           buf = bprintf("%s %s", res, cpp->name);
771           free(res);
772           res = buf;
773         } else {
774           res = xbt_strdup(cpp->name);
775         }
776         cpp = cpp->nextSibling;
777       }
778
779       XBT_DEBUG("Childs of %s: %s; nextSibling: %s",
780              category->parent->name, res,
781              (category->parent->nextSibling ?
782               category->parent->nextSibling->name : "none"));
783
784       free(res);
785     }
786
787   }
788
789   /* Apply the control */
790   if (!xbt_log_settings) {
791     if (log_cat_init_mutex != NULL) {
792       xbt_os_rmutex_release(log_cat_init_mutex);
793     }
794     return priority >= category->threshold;
795   }
796
797   xbt_assert(category, "NULL category");
798   xbt_assert(category->name);
799
800   xbt_dynar_foreach(xbt_log_settings, cursor, setting) {
801     xbt_assert(setting, "Damnit, NULL cat in the list");
802     xbt_assert(setting->catname, "NULL setting(=%p)->catname",
803                 (void *) setting);
804
805     if (!strcmp(setting->catname, category->name)) {
806
807       found = 1;
808
809       _xbt_log_cat_apply_set(category, setting);
810
811       xbt_dynar_cursor_rm(xbt_log_settings, &cursor);
812     }
813   }
814
815   if (!found)
816     XBT_DEBUG("Category '%s': inherited threshold = %s (=%d)",
817            category->name, xbt_log_priority_names[category->threshold],
818            category->threshold);
819
820   if (log_cat_init_mutex != NULL) {
821     xbt_os_rmutex_release(log_cat_init_mutex);
822   }
823   return priority >= category->threshold;
824
825 #undef _xbt_log_cat_init
826 }
827
828 void xbt_log_parent_set(xbt_log_category_t cat, xbt_log_category_t parent)
829 {
830   xbt_assert(cat, "NULL category to be given a parent");
831   xbt_assert(parent, "The parent category of %s is NULL", cat->name);
832
833   /*
834    * if the threshold is initialized
835    * unlink from current parent
836    */
837   if (cat->threshold != xbt_log_priority_uninitialized) {
838
839     xbt_log_category_t *cpp = &parent->firstChild;
840
841     while (*cpp != cat && *cpp != NULL) {
842       cpp = &(*cpp)->nextSibling;
843     }
844
845     xbt_assert(*cpp == cat);
846     *cpp = cat->nextSibling;
847   }
848
849   cat->parent = parent;
850   cat->nextSibling = parent->firstChild;
851
852   parent->firstChild = cat;
853
854   if (parent->threshold == xbt_log_priority_uninitialized) {
855
856     _xbt_log_cat_init(parent,
857                       xbt_log_priority_uninitialized /* ignored */ );
858   }
859
860   cat->threshold = parent->threshold;
861
862   cat->isThreshInherited = 1;
863 }
864
865 static void _set_inherited_thresholds(xbt_log_category_t cat)
866 {
867
868   xbt_log_category_t child = cat->firstChild;
869
870   for (; child != NULL; child = child->nextSibling) {
871     if (child->isThreshInherited) {
872       if (cat != &_XBT_LOGV(log))
873         XBT_VERB("Set category threshold of %s to %s (=%d)",
874               child->name, xbt_log_priority_names[cat->threshold],
875               cat->threshold);
876       child->threshold = cat->threshold;
877       _set_inherited_thresholds(child);
878     }
879   }
880
881
882 }
883
884 void xbt_log_threshold_set(xbt_log_category_t cat,
885                            e_xbt_log_priority_t threshold)
886 {
887   cat->threshold = threshold;
888   cat->isThreshInherited = 0;
889
890   _set_inherited_thresholds(cat);
891
892 }
893
894 static xbt_log_setting_t _xbt_log_parse_setting(const char *control_string)
895 {
896
897   xbt_log_setting_t set = xbt_new(s_xbt_log_setting_t, 1);
898   const char *name, *dot, *eq;
899
900   set->catname = NULL;
901   set->thresh = xbt_log_priority_uninitialized;
902   set->fmt = NULL;
903   set->additivity = -1;
904   set->appender = NULL;
905
906   if (!*control_string)
907     return set;
908   XBT_DEBUG("Parse log setting '%s'", control_string);
909
910   control_string += strspn(control_string, " ");
911   name = control_string;
912   control_string += strcspn(control_string, ".= ");
913   dot = control_string;
914   control_string += strcspn(control_string, ":= ");
915   eq = control_string;
916   control_string += strcspn(control_string, " ");
917
918   xbt_assert(*dot == '.' && (*eq == '=' || *eq == ':'),
919               "Invalid control string '%s'", control_string);
920
921   if (!strncmp(dot + 1, "thresh", (size_t) (eq - dot - 1))) {
922     int i;
923     char *neweq = xbt_strdup(eq + 1);
924     char *p = neweq - 1;
925
926     while (*(++p) != '\0') {
927       if (*p >= 'a' && *p <= 'z') {
928         *p -= 'a' - 'A';
929       }
930     }
931
932     XBT_DEBUG("New priority name = %s", neweq);
933     for (i = 0; i < xbt_log_priority_infinite; i++) {
934       if (!strncmp(xbt_log_priority_names[i], neweq, p - eq)) {
935         XBT_DEBUG("This is priority %d", i);
936         break;
937       }
938     }
939     if (i < xbt_log_priority_infinite) {
940       set->thresh = (e_xbt_log_priority_t) i;
941     } else {
942       THROWF(arg_error, 0,
943              "Unknown priority name: %s (must be one of: trace,debug,verbose,info,warning,error,critical)",
944              eq + 1);
945     }
946     free(neweq);
947   } else if (!strncmp(dot + 1, "add", (size_t) (eq - dot - 1)) ||
948              !strncmp(dot + 1, "additivity", (size_t) (eq - dot - 1))) {
949
950     char *neweq = xbt_strdup(eq + 1);
951     char *p = neweq - 1;
952
953     while (*(++p) != '\0') {
954       if (*p >= 'a' && *p <= 'z') {
955         *p -= 'a' - 'A';
956       }
957     }
958     if (!strcmp(neweq, "ON") || !strcmp(neweq, "YES")
959         || !strcmp(neweq, "1")) {
960       set->additivity = 1;
961     } else {
962       set->additivity = 0;
963     }
964     free(neweq);
965   } else if (!strncmp(dot + 1, "app", (size_t) (eq - dot - 1)) ||
966              !strncmp(dot + 1, "appender", (size_t) (eq - dot - 1))) {
967
968     char *neweq = xbt_strdup(eq + 1);
969
970     if (!strncmp(neweq, "file:", 5)) {
971       set->appender = xbt_log_appender_file_new(neweq + 5);
972     } else {
973       THROWF(arg_error, 0, "Unknown appender log type: '%s'", neweq);
974     }
975     free(neweq);
976   } else if (!strncmp(dot + 1, "fmt", (size_t) (eq - dot - 1))) {
977     set->fmt = xbt_strdup(eq + 1);
978   } else {
979     char buff[512];
980     snprintf(buff, min(512, eq - dot), "%s", dot + 1);
981     THROWF(arg_error, 0, "Unknown setting of the log category: '%s'",
982            buff);
983   }
984   set->catname = (char *) xbt_malloc(dot - name + 1);
985
986   memcpy(set->catname, name, dot - name);
987   set->catname[dot - name] = '\0';      /* Just in case */
988   XBT_DEBUG("This is for cat '%s'", set->catname);
989
990   return set;
991 }
992
993 static xbt_log_category_t _xbt_log_cat_searchsub(xbt_log_category_t cat,
994                                                  char *name)
995 {
996   xbt_log_category_t child, res;
997
998   XBT_DEBUG("Search '%s' into '%s' (firstChild='%s'; nextSibling='%s')", name,
999          cat->name, (cat->firstChild ? cat->firstChild->name : "none"),
1000          (cat->nextSibling ? cat->nextSibling->name : "none"));
1001   if (!strcmp(cat->name, name))
1002     return cat;
1003
1004   for (child = cat->firstChild; child != NULL; child = child->nextSibling) {
1005     XBT_DEBUG("Dig into %s", child->name);
1006     res = _xbt_log_cat_searchsub(child, name);
1007     if (res)
1008       return res;
1009   }
1010
1011   return NULL;
1012 }
1013
1014 /**
1015  * \ingroup XBT_log
1016  * \param control_string What to parse
1017  *
1018  * Typically passed a command-line argument. The string has the syntax:
1019  *
1020  *      ( [category] "." [keyword] ":" value (" ")... )...
1021  *
1022  * where [category] is one the category names (see \ref XBT_log_cats for
1023  * a complete list of the ones defined in the SimGrid library)
1024  * and keyword is one of the following:
1025  *
1026  *    - thres: category's threshold priority. Possible values:
1027  *             TRACE,DEBUG,VERBOSE,INFO,WARNING,ERROR,CRITICAL
1028  *    - add or additivity: whether the logging actions must be passed to
1029  *      the parent category.
1030  *      Possible values: 0, 1, no, yes, on, off.
1031  *      Default value: yes.
1032  *    - fmt: the format to use. See \ref log_use_conf_fmt for more information.
1033  *    - app or appender: the appender to use. See \ref log_use_conf_app for more
1034  *      information.
1035  *
1036  */
1037 void xbt_log_control_set(const char *control_string)
1038 {
1039   xbt_log_setting_t set;
1040
1041   /* To split the string in commands, and the cursors */
1042   xbt_dynar_t set_strings;
1043   char *str;
1044   unsigned int cpt;
1045
1046   if (!control_string)
1047     return;
1048   XBT_DEBUG("Parse log settings '%s'", control_string);
1049
1050   /* Special handling of no_loc request, which asks for any file localization to be omitted (for tesh runs) */
1051   if (!strcmp(control_string, "no_loc")) {
1052     xbt_log_no_loc = 1;
1053     return;
1054   }
1055   /* some initialization if this is the first time that this get called */
1056   if (xbt_log_settings == NULL)
1057     xbt_log_settings = xbt_dynar_new(sizeof(xbt_log_setting_t),
1058                                      _free_setting);
1059
1060   /* split the string, and remove empty entries */
1061   set_strings = xbt_str_split_quoted(control_string);
1062
1063   if (xbt_dynar_is_empty(set_strings)) {     /* vicious user! */
1064     xbt_dynar_free(&set_strings);
1065     return;
1066   }
1067
1068   /* Parse each entry and either use it right now (if the category was already
1069      created), or store it for further use */
1070   xbt_dynar_foreach(set_strings, cpt, str) {
1071     xbt_log_category_t cat = NULL;
1072
1073     set = _xbt_log_parse_setting(str);
1074     cat =
1075         _xbt_log_cat_searchsub(&_XBT_LOGV(XBT_LOG_ROOT_CAT), set->catname);
1076
1077     if (cat) {
1078       XBT_DEBUG("Apply directly");
1079       _xbt_log_cat_apply_set(cat, set);
1080       _free_setting((void *) &set);
1081     } else {
1082
1083       XBT_DEBUG("Store for further application");
1084       XBT_DEBUG("push %p to the settings", (void *) set);
1085       xbt_dynar_push(xbt_log_settings, &set);
1086     }
1087   }
1088   xbt_dynar_free(&set_strings);
1089 }
1090
1091 void xbt_log_appender_set(xbt_log_category_t cat, xbt_log_appender_t app)
1092 {
1093   if (cat->appender) {
1094     if (cat->appender->free_)
1095       cat->appender->free_(cat->appender);
1096     free(cat->appender);
1097   }
1098   cat->appender = app;
1099 }
1100
1101 void xbt_log_layout_set(xbt_log_category_t cat, xbt_log_layout_t lay)
1102 {
1103 #define _xbt_log_cat_init(a, b) (0)
1104   if (!cat->appender) {
1105     XBT_VERB
1106         ("No appender to category %s. Setting the file appender as default",
1107          cat->name);
1108     xbt_log_appender_set(cat, xbt_log_appender_file_new(NULL));
1109   }
1110   if (cat->layout) {
1111     if (cat->layout->free_) {
1112       cat->layout->free_(cat->layout);
1113     }
1114     free(cat->layout);
1115   }
1116   cat->layout = lay;
1117   xbt_log_additivity_set(cat, 0);
1118 #undef _xbt_log_cat_init
1119 }
1120
1121 void xbt_log_additivity_set(xbt_log_category_t cat, int additivity)
1122 {
1123   cat->additivity = additivity;
1124 }