Skip to main content

Module time

Module time 

Source

Structs§

DetTime
A determinstic notion of time, measuring progress of one thread.
GlobalTime
Deterministic global time, combining local times.
LogicalTime
Represents an absolute point in time in nanoseconds. Parts of this API are largely inspired by std::time::Duration. This could go to 128 bits if we need more than ~585 years of nanosecond precision.
RcbTimeMultiplier
A positive Q32 multiplier for converting RCB progress into virtual time.

Constants§

NANOS_PER_NONDET_INSTR
Virtual nanoseconds elapsed per nondeterministic instruction other than system calls.
NANOS_PER_RCB
Virtual nanoseconds elapsed per Retired Conditional Branch.
NANOS_PER_SCHED
Virtual nanoseconds elapsed per step of the scheduler.
NANOS_PER_SYSCALL
Default virtual nanoseconds elapsed for callers that do not provide a syscall-specific cost.

Type Aliases§

LogicalDuration
Microseconds
The same basic type alias as nanoseconds. Just for clarity/readability.