Permalink
Switch branches/tags
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
166 lines (126 sloc) 6.8 KB
(** High-performance timing.
This module provides the fast function [now ()] which is our best effort
high-performance cycle counter for a given platform. For x86 systems this retrieves
the CPU's internal time stamp counter using the RDTSC instruction. For systems that
do not have a RDTSC instruction, we fallback to using
[clock_gettime(CLOCK_MONOTONIC)].
Here is a benchmark of execution time in nanos and allocations in words:
{v
Name Time/Run mWd/Run
---------------------------- ---------- ---------
Time.now 27.99ns 2.00w
Time_ns.now 25.21ns
TSC.Calibrator.calibrate 68.61ns
TSC.now 6.87ns
TSC.to_time 4.30ns 2.00w
TSC.to_time (TSC.now ()) 8.75ns 2.00w
TSC.to_time_ns 4.70ns
TSC.to_time_ns(TSC.now ()) 9.56ns
id 2.86ns
TSC.Span.of_ns 11.66ns
TSC.Span.to_ns 3.84ns
v}
Type [t] is an [Int63.t] and consequently has no allocation overhead (on 64-bit
machines), unlike [Time.now ()] which returns a boxed float.
Functions are also provided to estimate the relationship of CPU time-stamp-counter
frequency to real time, thereby allowing one to convert from [t] to [Time.t]. There
are some caveats to this that are worth noting:
- The conversion to [Time.t] depends on an estimate of the time-stamp-counter
frequency. This frequency may be volatile on some systems, thereby reducing the
utility of this conversion. See the [Calibrator] module below for details.
- The captured [t] can only be converted to a [Time.t] if one also has a
recently calibrated [Calibrator.t] from the same machine.
- Put another way, it would not make sense to send a sexp of [t] from one box to
another and then convert it to a [Time.t], because [t] counts the number of cycles
since reset. So the measure only makes sense in the context of a single machine.
- Note that a cursory search for information about time stamp counter usage may give a
false impression of its unreliability. Early processor implementations of TSC could
be skewed by clock frequency changes (C-states) and by small differences between the
startup time of each processor on a multi-processor machine. Modern hardware can
usually be assumed to have an "invariant" tsc, and Linux has support to synchronize
the initial counters at boot time when multiple processors are present.
See also: {:http://en.wikipedia.org/wiki/Time_Stamp_Counter}
*)
[%%import "config.h"]
open! Import
type t = private Int63.t [@@deriving bin_io, compare, sexp]
include Comparisons.S with type t := t
(** A calibrator contains a snapshot of machine-specific information that is used to
convert between TSC values and clock time. This information needs to be calibrated
periodically such that it stays updated w.r.t. changes in the CPU's time-stamp-counter
frequency, which can vary depending on load, heat, etc. (Also see the comment in the
[.ml] file.)
Calibration at the rate of 0.1, 1 or 2 secs produces errors (measured as the
difference between [Time.now] and the reported time here) on the order of 1-2us.
Given the precision of 52-bit float mantissa values, this is very close to the least
error one can have on these values. Calibration once per 10sec produces errors that
are +/-4us. Calibration once per minute produces errors that are +/-15us and
calibration once in 3mins produces errors +/-30us. (It is worth remarking that the
error has a positive bias of 1us -- i.e., the error dances around the 1us mark, rather
than around 0. It is unclear where this bias is introduced, though it probably does
not matter for most applications.)
This module maintains an instance of [t] internal to the module. The internal
instance of [t] can be updated via calls to [calibrate ()], i.e., without specifying
the [t] parameter. In all the functions below that take an optional [Calibrator.t]
argument, the internal instance is used when no calibrator is explicitly specified.
*)
module Calibrator : sig
type tsc
type t [@@deriving bin_io, sexp]
(** [create ()] creates an uninitialized calibrator instance. Creating a calibrator
takes about 3ms. One needs a recently calibrated [Calibrator.t] and the TSC value
from the same machine to meaningfully convert the TSC value to a [Time.t]. *)
val create : unit -> t
(** [calibrate ~t] updates [t] by measuring the current value of the TSC and
[Time.now]. *)
val calibrate : ?t:t -> unit -> unit
(** Returns the estimated MHz of the CPU's time-stamp-counter based on the TSC and
[Time.now ()]. This function is undefined on 32-bit machines. *)
val cpu_mhz : (?t:t -> unit -> float) Or_error.t
(**/**)
(*_ See the Jane Street Style Guide for an explanation of [Private] submodules:
https://opensource.janestreet.com/standards/#private-submodules *)
module Private : sig
val calibrate_using : t -> tsc:tsc -> time:float -> am_initializing:bool -> unit
val initialize : t -> (tsc * float) list -> unit
val nanos_per_cycle : t -> float
end
end with type tsc := t
(** [Span] indicates some integer number of cycles. *)
module Span : sig
type t = private Int63.t [@@deriving bin_io, sexp]
include Comparable with type t := t
include Intable with type t := t
val ( + ) : t -> t -> t
val ( - ) : t -> t -> t
val to_time_span : ?calibrator:Calibrator.t -> t -> Time.Span.t
val to_ns : ?calibrator:Calibrator.t -> t -> Int63.t
val of_ns : ?calibrator:Calibrator.t -> Int63.t -> t
(**/**)
(*_ See the Jane Street Style Guide for an explanation of [Private] submodules:
https://opensource.janestreet.com/standards/#private-submodules *)
module Private : sig
val of_int63 : Int63.t -> t
val to_int63 : t -> Int63.t
end
end
[%%ifdef JSC_ARCH_SIXTYFOUR]
external now : unit -> t = "tsc_get" [@@noalloc]
[%%else]
external now : unit -> t = "tsc_get"
[%%endif]
val diff : t -> t -> Span.t
val add : t -> Span.t -> t
val to_int63 : t -> Int63.t
(** It is guaranteed that repeated calls will return nondecreasing [Time.t] values. *)
val to_time : ?calibrator:Calibrator.t -> t -> Time.t
val to_time_ns : ?calibrator:Calibrator.t -> t -> Time_ns.t
(**/**)
(*_ See the Jane Street Style Guide for an explanation of [Private] submodules:
https://opensource.janestreet.com/standards/#private-submodules *)
module Private : sig
val ewma : alpha:float -> old:float -> add:float -> float
val of_int63 : Int63.t -> t
val max_percent_change_from_real_slope : float
val to_nanos_since_epoch : calibrator:Calibrator.t -> t -> t
end