package trace

  1. Overview
  2. Docs
A stub for tracing/observability, agnostic in how data is collected

Install

Dune Dependency

Authors

Maintainers

Sources

trace-0.3.tbz
sha256=2ababaa983bbb4a264b5346316b76638d3c77e3addf3522086c6fd9e61bd6505
sha512=63900b36513e67827744d9f656f2d2d3a707b0cea2ed67b571ddd30cedcaec2bf2e1791813add50ccaf846ee90f1195d9f86d3bddbefb2c30cefe2c81b57ed61

README.md.html

Trace

This small library provides basic types that can be used to instrument a library or application, either by hand or via a ppx.

Features

  • [x] spans

  • [x] messages

  • [x] counters

  • [ ] other metrics?

Usage

To instrument your code, you can simply add trace to your dune/opam files, and then write code like such:

let f x =
  Trace.with_span ~__FILE__ ~__LINE__ "inside-f" @@ fun _sp ->
  (* … code for f *)

let g x =
  Trace.with_span ~__FILE__ ~__LINE__ "inside-g" @@ fun _sp ->
  let y = f x in
  (* … code for f *)

let () =
  Some_trace_backend.setup () @@ fun () ->
  let result = g 42 in
  print_result result

The file test/t1.ml follows this pattern, using trace-tef as a simple backend that emits one JSON object per span/message:

let run () =
  Trace.set_process_name "main";
  Trace.set_thread_name "t1";

  let n = ref 0 in

  for _i = 1 to 50 do
    Trace.with_span ~__FILE__ ~__LINE__ "outer.loop" @@ fun _sp ->
    for _j = 2 to 5 do
      incr n;
      Trace.with_span ~__FILE__ ~__LINE__ "inner.loop" @@ fun _sp ->
      Trace.messagef (fun k -> k "hello %d %d" _i _j);
      Trace.message "world";
      Trace.counter_int "n" !n
    done
  done

let () =
  Trace_tef.with_setup ~out:(`File "trace.json") () @@ fun () ->
  run ()

After running this, the file "trace.json" will contain something like:

[{"pid":2,"name":"process_name","ph":"M","args": {"name":"main"}},
{"pid":2,"tid": 3,"name":"thread_name","ph":"M","args": {"name":"t1"}},
{"pid":2,"cat":"","tid": 3,"ts": 2.00,"name":"hello 1 2","ph":"I"},
{"pid":2,"cat":"","tid": 3,"ts": 3.00,"name":"world","ph":"I"},
{"pid":2,"tid":3,"ts":4.00,"name":"c","ph":"C","args": {"n":1}},
…

Opening it in https://ui.perfetto.dev we get something like this:

Backends

Concrete tracing or observability formats such as:

  • [ ] Fuchsia (see tracing)

  • Catapult

    • [x] light bindings here with trace-tef

    • [ ] richer bindings with ocaml-catapult, with multi-process backends, etc.

  • [x] Tracy (see ocaml-tracy, more specifically tracy-client.trace)

  • [x] Opentelemetry (see ocaml-opentelemetry, in opentelemetry.trace)

  • [ ] landmarks?

  • [ ] Logs (only for messages, obviously)

OCaml

Innovation. Community. Security.