module Profiler_units = Core_profiler_disabled.Profiler_units
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.
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 with type t = private int
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 with type t = private int
Probe records some integer value that is passed to
at along with a timestamp.
module Delta_probe : sig ... end
Delta_probe is an optimized two-probe group to track changes to some counter.
module Delta_timer : sig ... end
Delta_timer is an optimized two-probe group to track time differences between calls to