Module Logs

Reporting levels

typelevel`` =


| App


| Error


| Warning


| Info


| Debug

vallevel : ``unit-> level option

valset_level : ``?all:bool-> leveloption``-> unit

valpp_level :Stdlib.Format.formatter -> level -> unit

vallevel_to_string :leveloption``-> string

vallevel_of_string : ``string-> ``(leveloption``, ``[ ```Msg of string ``` ]) [result`](../../ocaml/Stdlib/#type-result)

Log sources

type src

valdefault :src

module Src:sig...end

Log functions

module Tag:sig...end

type``('a, 'b) msgf`` = ``(``?header:string-> ``?tags:Tag.set -> ``('a, Stdlib.Format.formatter, unit, 'b)`` format4 -> 'a)`` -> 'b

type ``'a log`` = ``('a, unit)`` msgf -> unit

val msg : ``?src:src -> level -> 'a log

val app : ``?src:src -> 'a log

val err : ``?src:src -> 'a log

val warn : ``?src:src -> 'a log

val info : ``?src:src -> 'a log

val debug : ``?src:src -> 'a log

valkmsg : ``(``unit-> 'b)`` -> ``?src:src -> level -> ``('a, 'b)`` msgf -> 'b

Logging result value Errors

val on_error : ``?src:src -> ``?level:level ->``?header:string-> ``?tags:Tag.set -> ``pp:``(Stdlib.Format.formatter -> 'b ->unit)``-> ``use:``('b -> 'a)`` -> ``('a, 'b)`` result -> 'a

val on_error_msg : ``?src:src -> ``?level:level ->``?header:string-> ``?tags:Tag.set ->``use:``(``unit-> 'a)`` -> ``('a, ``[ ``` Msg of string ``` ]) [result](../../ocaml/Stdlib/#type-result) `-> 'a\

Source specific log functions

module type LOG=sig...end

valsrc_log :src -> ``(module LOG)

Reporters

type reporter`` = ``{


report : 'a 'b. src -> level ->``over:``(``unit->unit)``->``(``unit-> 'b)`` -> ``('a, 'b)`` msgf -> 'b;}

valnop_reporter :reporter

val format_reporter : ``?pp_header:``(Stdlib.Format.formatter -> ``(level* ``string option``)``->unit)``-> ``?app:Stdlib.Format.formatter -> ``?dst:Stdlib.Format.formatter ->``unit-> reporter

valreporter : ``unit-> reporter

valset_reporter :reporter -> unit

valset_reporter_mutex : ``lock:``(``unit->unit)``->``unlock:``(``unit->unit)``-> unit

valpp_header :Stdlib.Format.formatter -> ``(level* ``string option``)``-> unit

Logs monitoring

valerr_count : ``unit-> int

valwarn_count : ``unit-> int

Basics

Logging

In order to minimize the overhead whenever a log message is not reported, message formatting only occurs on actual message report via the message formatting function you provide to log functions. This leads to the following logging structure:

let k, v = ... in
Logs.err (fun m -> m "invalid kv (%a,%a)" pp_key k pp_val v);
Logs.err (fun m -> m "NO CARRIER");

The pattern is quite simple: it is as if you were formatting with a printf-like function except you get this function in the m argument of the function you give to the logging function.

If you want to abstract a repeated log report it is better to keep the message formatting function structure for the arguments of the messages. Here's how the above examples can be abstracted and invoked:

let err_invalid_kv args =
  Logs.err @@ fun m ->
  args (fun k v -> m "invalid kv (%a,%a)" pp_key k pp_val v)

let err_no_carrier args =
  Logs.err @@ fun m -> args (m "NO CARRIER")

let () =
  err_invalid_kv (fun args -> args "key" "value");
  err_no_carrier (fun () -> ());
  ()

Note that log messages are formatted and hit the reporter only if they have not been filtered out by the current reporting level of the source you log on. See also the log source and reporting level usage conventions.

Reporter setup

If you are writing an application you must remember to set the reporter before any logging operation takes place otherwise no messages will be reported. For example if you are using the formatter reporter, logging can be setup as follows:

let main () =
  Logs.set_reporter (Logs_fmt.reporter ());
  ...
  exit (if Logs.err_count () > 0 then 1 else 0);
  ()

If you have logging code that is performed in the toplevel initialization code of modules (not a good idea) or you depend on (bad) libraries that do so, you must call and link the reporter install code before these initialization bits are being executed otherwise you will miss these messages.

In multi-threaded programs you likely want to ensure mutual exclusion on reporter access. This can be done by invoking Logs.set_reporter_mutex with suitable mutual exclusion primitives. If you use OCaml Threads simply calling Logs_threaded.enable with handle that for you.

If you need to use multiple reporters in your program see this sample code.

The documentation of Logs_cli module has a full setup example that includes command line options to control color and log reporting level.

If you are writing a library you should neither install reporters, nor set the reporting level of sources, nor log on the default source or at the App level; follow the the usage conventions. A library should simply log on another existing source or define its own source like in the example below:

let src = Logs.Src.create "mylib.network" ~doc:"logs mylib's network events"
module Log = (val Logs.src_log src : Logs.LOG)

The Log module defines logging functions that are specific to the source src.

Usage conventions

A library should never log on the default source or at the App level these are reserved for use by the application. It should either create a source for itself or log on the source defined by one of its dependencies. It should also never set the reporting level of the sources it deals with or install reporters since control over this must be left to the application.

The semantics of reporting levels should be understood as follows:

• App, this level can be used for the standard output or console of an application. It should never be used by libraries.
• Error, error condition that prevent the program from running normally.
• Warning, suspicious condition that does not prevent the program from running normally but may eventually lead to an error condition.
• Info, condition that allows the program user to get a better understanding of what the program is doing.
• Debug, condition that allows the program developer to get a better undersanding of what the program is doing.

Note on synchronous logging

In synchronous logging, a client call to a log function proceeds only once the reporter has finished the report operation. In Logs this depends both on the reporter and the log functions that the client uses.

Whenever the client uses a log function that results in a report, it gives the reporter a continuation that defines the result type of the log function and a callback to be called whenever the log operation is over from the reporter's perspective (see reporter). The typical use of the callback is to unblock the continuation given to the reporter. This is used by Logs_lwt's log functions to make sure that the threads they return proceed only once the report is over. In the functions of Logs however the callback does nothing as there is no way to block the polymorphic continuation.

Now considering reporters, at the extreme we have:

• A completely asynchronous reporter. This reporter formats the message in memory and immediately invoke the callback followed by the continuation. This provides no guarantee of persistency in case a crash occurs. All log functions behave asynchronously and return as soon as possible.
• A completely synchronous reporter. This reporter formats the message, persist it, invoke the client callback followed by the continuation. All log functions behave synchronously. An example of such a reporter is reporter with formatters baked by channels: when formatting returns the message has been written on the channel.

However a purely synchronous reporter like reporter acting on channels does not play well with Lwt's cooperative runtime system. It is possible to reuse reporter to define a cooperative reporter, see this example. However while this reporter makes Logs_lwt's log functions synchronous, those of Logs behave asynchronously. For now it seems it that this is unfortunately the best we can do if we want to preserve the ability to use Logs with or without cooperative concurency.

Example with custom reporter and tags

This example uses a tag to attach Mtime time spans in log messages. The custom reporter uses these time spans to format relative timings for runs of a given function. Note that as done below the timings do include logging time.

let stamp_tag : Mtime.span Logs.Tag.def =
  Logs.Tag.def "stamp" ~doc:"Relative monotonic time stamp" Mtime.Span.pp

let stamp c = Logs.Tag.(empty |> add stamp_tag (Mtime_clock.count c))

let run () =
  let rec wait n = if n = 0 then () else wait (n - 1) in
  let c = Mtime_clock.counter () in
  Logs.info (fun m -> m "Starting run");
  let delay1, delay2, delay3 = 10_000, 20_000, 40_000 in
  Logs.info (fun m -> m "Start action 1 (%d)." delay1 ~tags:(stamp c));
  wait delay1;
  Logs.info (fun m -> m "Start action 2 (%d)." delay2 ~tags:(stamp c));
  wait delay2;
  Logs.info (fun m -> m "Start action 3 (%d)." delay3 ~tags:(stamp c));
  wait delay3;
  Logs.info (fun m -> m "Done." ?header:None ~tags:(stamp c));
  ()

let reporter ppf =
  let report src level ~over k msgf =
    let k _ = over (); k () in
    let with_stamp h tags k ppf fmt =
      let stamp = match tags with
      | None -> None
      | Some tags -> Logs.Tag.find stamp_tag tags
      in
      let dt = match stamp with None -> 0. | Some s -> Mtime.Span.to_us s in
      Format.kfprintf k ppf ("%a[%0+04.0fus] @[" ^^ fmt ^^ "@]@.")
        Logs.pp_header (level, h) dt
    in
    msgf @@ fun ?header ?tags fmt -> with_stamp header tags k ppf fmt
  in
  { Logs.report = report }

let main () =
  Logs.set_reporter (reporter (Format.std_formatter));
  Logs.set_level (Some Logs.Info);
  run ();
  run ();
  ()

let () = main ()

Here is the standard output of a sample run of the program:

[INFO][+000us] Starting run
[INFO][+168us] Start action 1 (10000).
[INFO][+206us] Start action 2 (20000).
[INFO][+243us] Start action 3 (40000).
[INFO][+303us] Done.
[INFO][+000us] Starting run
[INFO][+012us] Start action 1 (10000).
[INFO][+038us] Start action 2 (20000).
[INFO][+074us] Start action 3 (40000).
[INFO][+133us] Done.

Logging to multiple reporters

Logging to multiple reporters can be achieved by defining a new reporter that simply forwards to them. The following example combines two reporters:

let combine r1 r2 =
  let report = fun src level ~over k msgf ->
    let v = r1.Logs.report src level ~over:(fun () -> ()) k msgf in
    r2.Logs.report src level ~over (fun () -> v) msgf
  in
  { Logs.report }

let () =
  let r1 = Logs.format_reporter () in
  let r2 = Logs_fmt.reporter () in
  Fmt_tty.setup_std_outputs ();
  Logs.set_reporter (combine r1 r2);
  Logs.err (fun m -> m "HEY HO!");
  ()