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.

• schedGen :: g

  The random number generator.

Instances

Eq g => Eq (RandSchedState g)

Methods

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

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

Show g => Show (RandSchedState g)

Methods

showsPrec :: Int -> RandSchedState g -> ShowS

show :: RandSchedState g -> String

showList :: [RandSchedState g] -> ShowS

Generic (RandSchedState g)

Associated Types

type Rep (RandSchedState g) :: * -> *

Methods

from :: RandSchedState g -> Rep (RandSchedState g) x

to :: Rep (RandSchedState g) x -> RandSchedState g

NFData g => NFData (RandSchedState g)

Methods

rnf :: RandSchedState g -> ()

type Rep (RandSchedState g)

type Rep (RandSchedState g) = D1 * (MetaData "RandSchedState" "Test.DejaFu.SCT.Internal.Weighted" "dejafu-1.4.0.0-AFpoiFtiimYFdg7zahVYCS" False) (C1 * (MetaCons "RandSchedState" PrefixI True) ((:*:) * (S1 * (MetaSel (Just Symbol "schedWeights") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Map ThreadId Int))) (S1 * (MetaSel (Just Symbol "schedGen") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * g))))

initialRandSchedState :: Maybe (Map ThreadId Int) -> 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.