Up
Module
Std_offline
Signature
module
Profiler_units
=
Core_profiler_disabled.Profiler_units
Open this Std for offline use of probes.
include
Offline
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.Std.Time_ns.t
and
type
Delta_probe.state
=
private
int
module
Profiler
: sig .. end
module
Timer
:
Intf.Probe
with
type
'a
create_args
:= 'a
Intf.timer_create_args
and
type
'a
record_args
:= 'a
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
:
Intf.Probe
with
type
'a
create_args
:= 'a
Intf.probe_create_args
and
type
'a
record_args
:= 'a
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
A
Delta
is an optimized two-probe group (See
Offline.Delta
).
module
Delta_timer
: sig .. end