ThreadId

mmtk::scheduler::worker

Type Alias ThreadId 

Source 
pub type ThreadId = usize;
Expand description

Represents the ID of a GC worker thread.