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 (in Offline
) 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 to at
along with a
timestamp.
module Delta_timer : sig ... end