Module miri::concurrency::thread

Implements threads.

Structs

• Thread
  A thread.
• ThreadId
  A thread identifier.
• ThreadManager
  A set of threads.

Enums

• BlockReason
  Keeps track of what the thread is blocked on.
• SchedulingAction 🔒
• ThreadJoinStatus 🔒
  The join status of a thread.
• ThreadState 🔒
  The state of a thread.
• Timeout 🔒
  The moment in time when a blocked thread should be woken up.
• TimeoutAnchor
  Whether the timeout is relative or absolute.
• TimeoutClock
  The clock to use for the timeout you are asking for.
• TlsAllocAction
  What to do with TLS allocations from terminated threads

Traits

• EvalContextExt
• EvalContextPrivExt 🔒
• UnblockCallback
  Trait for callbacks that are executed when a thread gets unblocked.

Type Aliases

• DynUnblockCallback 🔒
• StackEmptyCallback