Struct ThreadMgr

pub struct ThreadMgr {
    all: HashMap<ObjID, Arc<ManagedThreadInner>>,
    cleaner: OnceLock<ThreadCleaner>,
    next_id: u32,
    id_stack: Vec<u32>,
}

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.

Fields

all: HashMap<ObjID, Arc<ManagedThreadInner>>

cleaner: OnceLock<ThreadCleaner>

next_id: u32

id_stack: Vec<u32>

Implementations

impl ThreadMgr

pub(super) fn set_cleaner(&mut self, cleaner: ThreadCleaner)

fn next_super_tid(&mut self) -> IdDropper<'_>

fn release_super_tid(&mut self, id: u32)

fn do_remove(&mut self, thread: &Arc<ManagedThreadInner>)

pub fn stat(&self) -> ThreadMgrStats

unsafe fn spawn_thread( start: usize, super_stack_start: usize, super_thread_pointer: usize, arg: usize, ) -> Result<ObjID, TwzError>

fn do_spawn( &mut self, monitor_dynlink_comp: &mut Compartment, start: unsafe extern "C" fn(usize) -> !, arg: usize, main_thread_comp: Option<ObjID>, ) -> Result<Arc<ManagedThreadInner>, TwzError>

pub fn start_thread( &mut self, monitor_dynlink_comp: &mut Compartment, main: Box<dyn FnOnce()>, main_thread_comp: Option<ObjID>, ) -> Result<Arc<ManagedThreadInner>, TwzError>

Start a thread, running the provided Box’d closure. The thread will be running in monitor-mode, and will have no connection to any compartment.

Trait Implementations

impl Default for ThreadMgr

fn default() -> Self

Returns the “default value” for a type.