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.
Traits
Trait for callbacks that can be executed when some event happens, such as after a timeout.