module Stats:Utilities for maintaining timing statisticssig
..end
type
timerModeEnum =
| |
Disabled |
(* | Do not collect timing information | *) |
| |
SoftwareTimer |
(* | Use OCaml's Unix.time for timing information | *) |
| |
HardwareTimer |
(* | Use the Pentium's cycle counter to time code | *) |
| |
HardwareIfAvail |
(* | Use the hardware cycle counter if availible; otherwise use SoftwareTimer | *) |
val reset : timerModeEnum -> unit
You will get an exception if you pass HardwareTimer to reset and the
hardware counters are not available
exception NoPerfCount
val countCalls : bool ref
Stats.repeattime
or Stats.time
for each label.
(default: false)val has_performance_counters : unit -> bool
val sample_pentium_perfcount_20 : unit -> int
val sample_pentium_perfcount_10 : unit -> int
val time : string -> ('a -> 'b) -> 'a -> 'b
val repeattime : float -> string -> ('a -> 'b) -> 'a -> 'b
val print : out_channel -> string -> unit
val lookupTime : string -> float
val timethis : ('a -> 'b) -> 'a -> 'b
val lastTime : float ref