Module clock 

Re-exports

use std::cell::Cell; 🔒

use std::time::Duration; 🔒

use std::time::Instant as StdInstant; 🔒

use std::time::SystemTime; 🔒

use crate::MiriMachine; 🔒

Structs

Instant

An instant (a fixed moment in time) in Miri’s monotone clock.

MonotonicClock

A monotone clock used for Instant simulation.

Enums

Deadline

A deadline for some event to occur.

InstantKind 🔒

MonotonicClockKind 🔒

TimeoutClock

The clock to use for the timeout you are asking for.

TimeoutStyle

Whether the timeout is relative or absolute.

Constants

NANOSECONDS_PER_BASIC_BLOCK 🔒

When using a virtual clock, this defines how many nanoseconds we pretend are passing for each basic block. This number is pretty random, but it has been shown to approximately cause some sample programs to run within an order of magnitude of real time on desktop CPUs. (See tests/pass/shims/time-with-isolation*.rs.)