Test.DejaFu.SCT.Internal.Weighted

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.

Weighted random scheduler

data RandSchedState g

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

Eq g => Eq (RandSchedState g)

Defined in Test.DejaFu.SCT.Internal.Weighted

Methods

(==) :: RandSchedState g -> RandSchedState g -> Bool

(/=) :: RandSchedState g -> RandSchedState g -> Bool

Show g => Show (RandSchedState g)

Defined in Test.DejaFu.SCT.Internal.Weighted

Methods

showsPrec :: Int -> RandSchedState g -> ShowS

show :: RandSchedState g -> String

showList :: [RandSchedState g] -> ShowS

Generic (RandSchedState g)

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

NFData g => NFData (RandSchedState g)

Defined in Test.DejaFu.SCT.Internal.Weighted

Methods

rnf :: RandSchedState g -> ()

type Rep (RandSchedState g)

Defined in Test.DejaFu.SCT.Internal.Weighted

type Rep (RandSchedState g) = D1 (MetaData "RandSchedState" "Test.DejaFu.SCT.Internal.Weighted" "dejafu-2.3.0.1-BzDXi8aNz9dB39Eb2xnbiy" 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

Initial weighted random scheduler state.

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

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