precise time
1.0.0Precise time measurements
About Precise-Time
This is a small library hooking into the operating system to give more precise timing information than implementations usually provide via get-universal-time
or get-internal-real-time
.
How To
The usage is straightforward:
get-precise-time
returns the precise system time as two values:
A universal-time timestamp
Sub-seconds in
PRECISE-TIME-UNITS-PER-SECOND
get-monotonic-time
returns a precise monotonic clock as two values:
Seconds since an arbitrary epoch
Sub-seconds in
MONOTONIC-TIME-UNITS-PER-SECOND
And that's all!
System Information
Definition Index
-
ORG.SHIRAKUMO.PRECISE-TIME
No documentation provided.-
EXTERNAL SYMBOL-MACRO MONOTONIC-TIME-UNITS-PER-SECOND
This is the number of units per second of the secondary return value of GET-MONOTONIC-TIME. See GET-MONOTONIC-TIME
-
EXTERNAL SYMBOL-MACRO PRECISE-TIME-UNITS-PER-SECOND
This is the number of units per second of the secondary return value of GET-PRECISE-TIME. See GET-PRECISE-TIME
-
EXTERNAL CONDITION QUERY-FAILED
Error signalled if a timer couldn't be fetched.
-
EXTERNAL FUNCTION GET-MONOTONIC-TIME
Gets a monotonically increasing time with as much precision as possible. Returns two values: - A number of seconds since an arbitrary, but fixed epoch - The number of sub-seconds in units of MONOTONIC-TIME-UNITS-PER-SECOND The time returned does not jump forwards or backwards regardless of system clock and will always remain monotonically increasing. Signals an error of type QUERY-FAILED if the time could not be fetched for whatever reason. See MONOTONIC-TIME-UNITS-PER-SECOND See QUERY-FAILED
-
EXTERNAL FUNCTION GET-PRECISE-TIME
Gets the current time with as much precision as possible. Returns two values: - A universal-time timestamp - The number of sub-seconds in units of PRECISE-TIME-UNITS-PER-SECOND The time returned *may* jump forwards or backwards if the system clock is adjusted. Signals an error of type QUERY-FAILED if the time could not be fetched for whatever reason. See PRECISE-TIME-UNITS-PER-SECOND See QUERY-FAILED
-