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.