Module miri::concurrency::thread
source · Expand description
Implements threads.
Structs
A thread.
A thread identifier.
A set of threads.
Callbacks are used to implement timeouts. For example, waiting on a
conditional variable with a timeout creates a callback that is called after
the specified time and unblocks the thread. If another thread signals on the
conditional variable, the signal handler deletes the callback.
Enums
The join status of a thread.
The state of a thread.
A specific moment in time.
Constants
The main thread. When it terminates, the whole application terminates.
Traits
Type Definitions
Timeout callbacks can be created by synchronization primitives to tell the
scheduler that they should be called once some period of time passes.