Safe Haskell | Safe-Inferred |
---|
- capabilityThreadPoolMachine :: Machine (Map ThreadId Int) CapEvent
- capabilityThreadRunMachine :: Machine (Map Int ThreadId) CapEvent
- capabilityThreadIndexer :: Map Int ThreadId -> CapEvent -> Maybe ThreadId
Documentation
capabilityThreadPoolMachine :: Machine (Map ThreadId Int) CapEventSource
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) CapEventSource
This state machine tracks threads running on capabilities, only one thread may run on a capability at a time.
capabilityThreadIndexer :: Map Int ThreadId -> CapEvent -> Maybe ThreadIdSource