Module type Core_profiler_disabled__Intf.Profiler_intf
All three profilers -- the disabled one, the online one and the offline one -- implement Profiler_intf
.
module Profiler : sig ... end
module Timer : Probe with type 'a create_args := 'a timer_create_args and type 'a record_args := 'a timer_record_args
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 : Probe with type 'a create_args := 'a probe_create_args and type 'a record_args := 'a probe_record_args
A
Probe
records some integer value that is passed toat
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 tostart
andstop
.