Copyright	(c) 2015--2019 Michael Walker
License	MIT
Maintainer	Michael Walker <mike@barrucadu.co.uk>
Stability	experimental
Portability	DeriveAnyClass, DeriveGeneric
Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.DejaFu.SCT.Internal.Weighted

Contents

Weighted random scheduler

Description

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
- schedLengthBound :: Maybe LengthBound
- schedGen :: g
}
initialRandSchedState :: Maybe LengthBound -> g -> RandSchedState g
randSched :: RandomGen g => (g -> (Int, g)) -> Scheduler (RandSchedState g)

Weighted random scheduler

data RandSchedState g Source #

The scheduler state

Constructors

RandSchedState
Fields schedWeights :: Map ThreadId Int The thread weights: used in determining which to run. schedLengthBound :: Maybe LengthBound The optional length bound. schedGen :: g The random number generator.

Instances

Instances details

Generic (RandSchedState g) Source #
Instance details Defined in Test.DejaFu.SCT.Internal.Weighted Associated Types type Rep (RandSchedState g) :: Type -> Type # Methods from :: RandSchedState g -> Rep (RandSchedState g) x # to :: Rep (RandSchedState g) x -> RandSchedState g #
Show g => Show (RandSchedState g) Source #
Instance details Defined in Test.DejaFu.SCT.Internal.Weighted Methods showsPrec :: Int -> RandSchedState g -> ShowS # show :: RandSchedState g -> String # showList :: [RandSchedState g] -> ShowS #
NFData g => NFData (RandSchedState g) Source #
Instance details Defined in Test.DejaFu.SCT.Internal.Weighted Methods rnf :: RandSchedState g -> () #
Eq g => Eq (RandSchedState g) Source #
Instance details Defined in Test.DejaFu.SCT.Internal.Weighted Methods (==) :: RandSchedState g -> RandSchedState g -> Bool # (/=) :: RandSchedState g -> RandSchedState g -> Bool #
type Rep (RandSchedState g) Source #
Instance details Defined in Test.DejaFu.SCT.Internal.Weighted type Rep (RandSchedState g) = D1 ('MetaData "RandSchedState" "Test.DejaFu.SCT.Internal.Weighted" "dejafu-2.4.0.6-2Exh5SnWzcKIwmIryqnn01" 'False) (C1 ('MetaCons "RandSchedState" 'PrefixI 'True) (S1 ('MetaSel ('Just "schedWeights") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map ThreadId Int)) :: (S1 ('MetaSel ('Just "schedLengthBound") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe LengthBound)) :: S1 ('MetaSel ('Just "schedGen") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 g))))

initialRandSchedState :: Maybe LengthBound -> g -> RandSchedState g Source #

Initial weighted random scheduler state.

randSched :: RandomGen g => (g -> (Int, g)) -> Scheduler (RandSchedState g) Source #

Weighted random scheduler: assigns to each new thread a weight, and makes a weighted random choice out of the runnable threads at every step.