Module Core_profiler_disabled__Std
module Profiler_units = Core_profiler_disabled.Profiler_units
Core_profiler_disabled
is the library in the base projection that exposes the same profiling interface asCore_profiler
.
include Core_profiler_disabled.Disabled
include Core_profiler_disabled.Intf.Profiler_intf with type Timer.t = private unit and type Probe.t = private unit and type Delta_timer.t = private unit and type Delta_probe.t = private unit
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 unit
A
Timer
contains only a time stamp and no extra information; however, it is useful because (inOffline
) 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 unit
A
Probe
records some integer value that is passed toat
along with a timestamp.
module Delta_probe : sig ... end with type t = private unit
Delta_probe
is an optimized two-probe group to track changes to some counter.
module Delta_timer : sig ... end with type t = private unit
Delta_timer
is an optimized two-probe group to track time differences between calls tostart
andstop
.