ghc-events

Safe HaskellSafe-Infered

GHC.RTS.Events.Analysis.Capability

Synopsis

Documentation

capabilityThreadPoolMachine :: Machine (Map ThreadId Int) CapEvent

This state machine tracks threads residing on capabilities. Each thread can only reside on one capability, but can be migrated between them.

capabilityThreadRunMachine :: Machine (Map Int ThreadId) CapEvent

This state machine tracks threads running on capabilities, only one thread may run on a capability at a time.