Module Core_profiler.Offline

In Offline, a Delta_probe differs from a two point Group in that for each start/stop pair, only one message is written to the buffer. This means that only the delta in the probe is available, as opposed to deltas in both probe and time.

include Core_profiler_disabled.Intf.Profiler_intf with type Timer.t = private int and type Probe.t = private int and type Delta_timer.state = private Core.Time_ns.t and type Delta_probe.state = private int
module Profiler : sig ... end
module Timer : Core_profiler_disabled.Intf.Probe with type a create_args := a Core_profiler_disabled.Intf.timer_create_args and type a record_args := a Core_profiler_disabled.Intf.timer_record_args and type t = private int

A Timer contains only a time stamp and no extra information; however, it is useful because (in Offline) the current time is recorded when measurements are made.

module Probe : Core_profiler_disabled.Intf.Probe with type a create_args := a Core_profiler_disabled.Intf.probe_create_args and type a record_args := a Core_profiler_disabled.Intf.probe_record_args and type t = private int

A Probe records some integer value that is passed to at along with a timestamp.

module Delta_probe : sig ... end with type state = private int

A Delta is an optimized two-probe group (See Offline.Delta).

module Delta_timer : sig ... end with type state = private Core.Time_ns.t