Test.HUnit.DejaFu

This module allows using Deja Fu predicates with HUnit to test the behaviour of concurrent systems.

Unit testing

This is supported by the Assertable and Testable instances for ConcST and ConcIO. These instances try all executions, reporting as failures the cases which throw an HUnitFailure exception.

instance Testable (ConcST t ()) instance Assertable (ConcST t ()) instance Testable (ConcIO ()) instance Assertable (ConcIO ())

These instances use the default memory model and schedule bounds.

Property testing

testAuto

Arguments

:: (Eq a, Show a)

=> (forall t. ConcST t a)

The computation to test

-> Test

Automatically test a computation. In particular, look for deadlocks, uncaught exceptions, and multiple return values.

This uses the Conc monad for testing, which is an instance of MonadConc. If you need to test something which also uses MonadIO, use testAutoIO.

testDejafu

Arguments

:: Show a

=> (forall t. ConcST t a)

The computation to test

-> String

The name of the test.

-> Predicate a

The predicate to check

-> Test

Check that a predicate holds.

testDejafus

Arguments

:: Show a

=> (forall t. ConcST t a)

The computation to test

-> [(String, Predicate a)]

The list of predicates (with names) to check

-> Test

Variant of testDejafu which takes a collection of predicates to test. This will share work between the predicates, rather than running the concurrent computation many times for each predicate.

testAuto'

Arguments

:: (Eq a, Show a)

=> MemType

The memory model to use for non-synchronised CRef operations.

-> (forall t. ConcST t a)

The computation to test

-> Test

Variant of testAuto which tests a computation under a given memory model.

testDejafu'

Arguments

:: Show a

=> MemType

The memory model to use for non-synchronised CRef operations.

-> Bounds

The schedule bound.

-> (forall t. ConcST t a)

The computation to test

-> String

The name of the test.

-> Predicate a

The predicate to check

-> Test

Variant of testDejafu which takes a memory model and schedule bounds.

testDejafus'

Arguments

:: Show a

=> MemType

The memory model to use for non-synchronised CRef operations.

-> Bounds

The schedule bounds

-> (forall t. ConcST t a)

The computation to test

-> [(String, Predicate a)]

The list of predicates (with names) to check

-> Test

Variant of testDejafus which takes a memory model and schedule bounds.

IO

testAutoIO :: (Eq a, Show a) => ConcIO a -> Test

Variant of testAuto for computations which do IO.

testDejafuIO :: Show a => ConcIO a -> String -> Predicate a -> Test

Variant of testDejafu for computations which do IO.

testDejafusIO :: Show a => ConcIO a -> [(String, Predicate a)] -> Test

Variant of testDejafus for computations which do IO.

testAutoIO' :: (Eq a, Show a) => MemType -> ConcIO a -> Test

Variant of testAuto' for computations which do IO.

testDejafuIO' :: Show a => MemType -> Bounds -> ConcIO a -> String -> Predicate a -> Test

Variant of testDejafu' for computations which do IO.

testDejafusIO' :: Show a => MemType -> Bounds -> ConcIO a -> [(String, Predicate a)] -> Test

Variant of dejafus' for computations which do IO.

Re-exports

data Bounds :: *

Constructors

Bounds

Fields

boundPreemp :: Maybe PreemptionBound

boundFair :: Maybe FairBound

boundLength :: Maybe LengthBound

data MemType :: *

The memory model to use for non-synchronised CRef operations.

Constructors

SequentialConsistency

The most intuitive model: a program behaves as a simple interleaving of the actions in different threads. When a CRef is written to, that write is immediately visible to all threads.

TotalStoreOrder

Each thread has a write buffer. A thread sees its writes immediately, but other threads will only see writes when they are committed, which may happen later. Writes are committed in the same order that they are created.

PartialStoreOrder

Each CRef has a write buffer. A thread sees its writes immediately, but other threads will only see writes when they are committed, which may happen later. Writes to different CRefs are not necessarily committed in the same order that they are created.

Instances

Bounded MemType

Enum MemType

Eq MemType

Ord MemType

Read MemType

Show MemType

NFData MemType