Module thread

Source

Modules§

cleaner 🔒

Structs§

IdDropper 🔒
ManagedThreadInner
Internal managed thread data.
ManagedThreadRepr 🔒
An owned handle to a thread’s repr object.
ThreadMgr
Manages all threads owned by the monitor. Typically, this is all threads. Threads are spawned here and tracked in the background by a cleaner::ThreadCleaner. The thread cleaner detects when a thread has exited and performs any final thread cleanup logic.

Constants§

DEFAULT_STACK_SIZE
Default stack size for the user stack.
STACK_SIZE_MIN_ALIGN
Stack minimium alignment.
SUPER_UPCALL_STACK_SIZE
Stack size for the supervisor upcall stack.

Type Aliases§

ManagedThread
A thread managed by the monitor.