Copyright | (c) 2015--2018 Michael Walker |
---|---|
License | MIT |
Maintainer | Michael Walker <mike@barrucadu.co.uk> |
Stability | experimental |
Portability | portable |
Safe Haskell | None |
Language | Haskell2010 |
Internal types and functions for SCT via weighted random scheduling. This module is NOT considered to form part of the public interface of this library.
Synopsis
- data RandSchedState g = RandSchedState {
- schedWeights :: Map ThreadId Int
- schedGen :: g
- initialRandSchedState :: g -> RandSchedState g
- randSched :: RandomGen g => (g -> (Int, g)) -> Scheduler (RandSchedState g)
Weighted random scheduler
data RandSchedState g Source #
The scheduler state
RandSchedState | |
|
Instances
initialRandSchedState :: g -> RandSchedState g Source #
Initial weighted random scheduler state.