dejafu
A library for unit-testing concurrent programs.
https://github.com/barrucadu/dejafu
Version on this page: | 1.11.0.4 |
LTS Haskell 22.36: | 2.4.0.5 |
Stackage Nightly 2024-10-05: | 2.4.0.5 |
Latest on Hackage: | 2.4.0.5 |
dejafu-1.11.0.4@sha256:977f5b6a893db4de0dda38895544206e594ece0cb71c419db9d054c9d465282d,2843
Module documentation for 1.11.0.4
dejafu
[Déjà Fu is] A martial art in which the user’s limbs move in time as well as space, […] It is best described as “the feeling that you have been kicked in the head this way before”
– Terry Pratchett, Thief of Time
- Installation
- Quick start guide
- Why Déjà Fu?
- Contributing
- Release notes
- Questions, feedback, discussion
- Bibliography
- The website!
Déjà Fu is a unit-testing library for concurrent Haskell programs. Tests are deterministic and expressive, making it easy and convenient to test your threaded code. Available on GitHub, Hackage, and Stackage.
Installation
Install from Hackage globally:
$ cabal install dejafu
Or add it to your cabal file:
build-depends: ...
, dejafu
Or to your package.yaml:
dependencies:
...
- dejafu
Quick start guide
Déjà Fu supports unit testing, and comes with a helper function called
autocheck
to look for some common issues. Let’s see it in action:
import Control.Concurrent.Classy
myFunction :: MonadConc m => m String
myFunction = do
var <- newEmptyMVar
fork (putMVar var "hello")
fork (putMVar var "world")
readMVar var
That MonadConc
is a typeclass abstraction over concurrency, but
we’ll get onto that shortly. First, the result of testing:
> autocheck myFunction
[pass] Never Deadlocks
[pass] No Exceptions
[fail] Consistent Result
"hello" S0----S1--S0--
"world" S0----S2--S0--
False
There are no deadlocks or uncaught exceptions, which is good; but the program is (as you probably spotted) nondeterministic!
Along with each result, Déjà Fu gives us a representative execution
trace in an abbreviated form. Sn
means that thread n
started
executing, and Pn
means that thread n
pre-empted the previously
running thread.
Why Déjà Fu?
Testing concurrent programs is difficult, because in general they are nondeterministic. This leads to people using work-arounds like running their testsuite many thousands of times; or running their testsuite while putting their machine under heavy load.
These approaches are inadequate for a few reasons:
- How many runs is enough? When you are just hopping to spot a bug by coincidence, how do you know to stop?
- How do you know if you’ve fixed a bug you saw previously? Because the scheduler is a black box, you don’t know if the previously buggy schedule has been re-run.
- You won’t get that much scheduling variety! Operating systems and language runtimes like to run threads for long periods of time, which reduces the variety you get (and so drives up the number of runs you need).
Déjà Fu addresses these points by offering complete testing. You can run a test case and be guaranteed to find all results with some bounds. These bounds can be configured, or even disabled! The underlying approach used is smarter than merely trying all possible executions, and will in general explore the state-space quickly.
If your test case is just too big for complete testing, there is also
a random scheduling mode, which is necessarily incomplete. However,
Déjà Fu will tend to produce much more schedule variety than just
running your test case in IO
the same number of times, and so bugs
will tend to crop up sooner. Furthermore, as you get execution traces
out, you can be certain that a bug has been fixed by simply following
the trace by eye.
Contributing
Bug reports, pull requests, and comments are very welcome!
Feel free to contact me on GitHub, through IRC (#haskell on freenode), or email ([email protected]).
Changes
=============
This project is versioned according to the PVP_, the *de facto*
standard Haskell versioning scheme.
.. _PVP: https://pvp.haskell.org/
1.11.0.4 (2018-12-02)
---------------------
* Git: :tag:`dejafu-1.11.0.4`
* Hackage: :hackage:`dejafu-1.11.0.4`
**Contributors:** :u:`pepeiborra` (:pull:`290`).
Miscellaneous
~~~~~~~~~~~~~
* (:pull:`290`) The upper bound on :hackage:`containers` is <0.7.
* (:pull:`290`) The upper bound on :hackage:`leancheck` is <0.9.
1.11.0.3 (2018-07-15)
---------------------
* Git: :tag:`dejafu-1.11.0.3`
* Hackage: :hackage:`dejafu-1.11.0.3`
Fixed
~~~~~
* (:issue:`275`) In trace simplification, only remove a commit if
there are no other buffered writes for that same `IORef`.
1.11.0.2 (2018-07-08)
---------------------
* Git: :tag:`dejafu-1.11.0.2`
* Hackage: :hackage:`dejafu-1.11.0.2`
Miscellaneous
~~~~~~~~~~~~~
* The upper bound on :hackage:`profunctors` is <6.
1.11.0.1 (2018-07-02)
---------------------
* Git: :tag:`dejafu-1.11.0.1`
* Hackage: :hackage:`dejafu-1.11.0.1`
Miscellaneous
~~~~~~~~~~~~~
* The upper bound on :hackage:`contravariant` is <1.6.
1.11.0.0 - IORefs (2018-07-01)
------------------------------
* Git: :tag:`dejafu-1.11.0.0`
* Hackage: :hackage:`dejafu-1.11.0.0`
Changed
~~~~~~~
* (:issue:`274`) ``CRef`` is now ``IORef``: all functions, data
constructors, and types have been renamed.
* The lower bound on :hackage:`concurrency` is 1.6.
1.10.1.0 (2018-06-17)
---------------------
* Git: :tag:`dejafu-1.10.1.0`
* Hackage: :hackage:`dejafu-1.10.1.0`
Added
~~~~~
* (:issue:`224`) The ``Test.DejaFu.Settings.lsafeIO`` option, for when
all lifted IO is thread-safe (such as exclusively managing
thread-local state).
1.10.0.0 (2018-06-17)
---------------------
* Git: :tag:`dejafu-1.10.0.0`
* Hackage: :hackage:`dejafu-1.10.0.0`
Added
~~~~~
* The ``Test.DejaFu.notAlwaysSameOn`` and ``notAlwaysSameBy``
predicates, generalising ``notAlwaysSame``.
Changed
~~~~~~~
* ``Test.DejaFu.autocheck`` and related functions use the
``successful`` predicate, rather than looking specifically for
deadlocks and uncaught exceptions.
* (:issue:`259`) The ``Test.DejaFu.alwaysSame``, ``alwaysSameOn``,
``alwaysSameBy``, and ``notAlwaysSame`` predicates fail if the
computation under test fails.
1.9.1.0 (2018-06-10)
--------------------
* Git: :tag:`dejafu-1.9.1.0`
* Hackage: :hackage:`dejafu-1.9.1.0`
Added
~~~~~
* A ``Test.DejaFu.successful`` predicate, to check that a computation
never fails.
1.9.0.0 (2018-06-10)
--------------------
* Git: :tag:`dejafu-1.9.0.0`
* Hackage: :hackage:`dejafu-1.9.0.0`
Changed
~~~~~~~
* (:issue:`190`) ``Test.DejaFu.Types.Throw`` and ``ThrowTo`` have a
``Bool`` parameter, which is ``True`` if the exception kills the
thread.
1.8.0.0 (2018-06-03)
--------------------
* Git: :tag:`dejafu-1.8.0.0`
* Hackage: :hackage:`dejafu-1.8.0.0`
Changed
~~~~~~~
* (:issue:`258`) Length bounding is disabled by default. This is not
a breaking API change, but it is a breaking semantics change.
1.7.0.0 (2018-06-03)
--------------------
* Git: :tag:`dejafu-1.7.0.0`
* Hackage: :hackage:`dejafu-1.7.0.0`
Changed
~~~~~~~
* (:issue:`237`) ``Test.DejaFu.SCT.sctWeightedRandom`` and
``sctWeightedRandomDiscard`` no longer take the number of executions
to use the same weights for as a parameter.
Removed
~~~~~~~
* (:issue:`237`) The deprecated function
``Test.DejaFu.Settings.swarmy``.
1.6.0.0 (2018-05-11)
--------------------
* Git: :tag:`dejafu-1.6.0.0`
* Hackage: :hackage:`dejafu-1.6.0.0`
Removed
~~~~~~~
* The deprecated module ``Test.DejaFu.Defaults``.
1.5.1.0 (2018-03-29)
--------------------
* Git: :tag:`dejafu-1.5.1.0`
* Hackage: :hackage:`dejafu-1.5.1.0`
Added
~~~~~
- (:issue:`210`) ``Test.DejaFu.Types.Weaken`` and ``Strengthen``
newtype wrappers around discard functions, with ``Semigroup``,
``Monoid``, ``Contravariant``, and ``Divisible`` instances
corresponding to ``weakenDiscard`` and ``strengthenDiscard``.
1.5.0.0 - No More 7.10 (2018-03-28)
-----------------------------------
* Git: :tag:`dejafu-1.5.0.0`
* Hackage: :hackage:`dejafu-1.5.0.0`
Miscellaneous
~~~~~~~~~~~~~
* GHC 7.10 support is dropped. Dependency lower bounds are:
* :hackage:`base`: 4.9
* :hackage:`concurrency`: 1.5
* :hackage:`transformers`: 0.5
* The upper bound on :hackage:`concurrency` is 1.6.
1.4.0.0 (2018-03-17)
--------------------
* Git: :tag:`dejafu-1.4.0.0`
* Hackage: :hackage:`dejafu-1.4.0.0`
Changed
~~~~~~~
- (:issue:`201`) ``Test.DejaFu.Conc.ConcT r n a`` drops its ``r``
parameter, becoming ``ConcT n a``.
- (:issue:`201`) All functions drop the ``MonadConc`` constraint.
Removed
~~~~~~~
- (:issue:`201`) The ``MonadRef`` and ``MonadAtomicRef`` instances for
``Test.DejaFu.Conc.ConcT``.
- (:issue:`198`) The ``Test.DejaFu.Types.Killed`` thread action, which
was unused.
Fixed
~~~~~
- (:issue:`250`) Add missing dependency for ``throwTo`` actions.
1.3.2.0 (2018-03-12)
--------------------
* Git: :tag:`dejafu-1.3.2.0`
* Hackage: :hackage:`dejafu-1.3.2.0`
Added
~~~~~
* (:issue:`183`) SCT settings for trace simplification:
* ``Test.DejaFu.Settings.lequality``
* ``Test.DejaFu.Settings.lsimplify``
* (:pull:`248`) ``Test.DejaFu.Utils.toTIdTrace`` to extract thread IDs
from a trace.
* (:pull:`248`) SCT setting to make some recoverable errors fatal:
``Test.DejaFu.Settings.ldebugFatal``
Performance
~~~~~~~~~~~
* (:pull:`248`) Prune some unnecessary interleavings of ``CRef``
actions in systematic testing when using sequential consistency.
1.3.1.0 (2018-03-11)
--------------------
* Git: :tag:`dejafu-1.3.1.0`
* Hackage: :hackage:`dejafu-1.3.1.0`
Added
~~~~~
* (:pull:`246`) ``Generic`` instances for:
* ``Test.DejaFu.Types.ThreadId``
* ``Test.DejaFu.Types.CRefId``
* ``Test.DejaFu.Types.MVarId``
* ``Test.DejaFu.Types.TVarId``
* ``Test.DejaFu.Types.Id``
* ``Test.DejaFu.Types.ThreadAction``
* ``Test.DejaFu.Types.Lookahead``
* ``Test.DejaFu.Types.TAction``
* ``Test.DejaFu.Types.Decision``
* ``Test.DejaFu.Types.Failure``
* ``Test.DejaFu.Types.Bounds``
* ``Test.DejaFu.Types.PreemptionBound``
* ``Test.DejaFu.Types.FairBound``
* ``Test.DejaFu.Types.LengthBound``
* ``Test.DejaFu.Types.Discard``
* ``Test.DejaFu.Types.MemType``
* ``Test.DejaFu.Types.MonadFailException``
* (:pull:`246`) ``NFData`` instance for
``Test.DejaFu.Types.MonadFailException``
Fixed
~~~~~
* (:issue:`199`) Missing cases in the ``NFData`` instances for
``Test.DejaFu.Types.ThreadAction`` and ``TAction``
1.3.0.3 (2018-03-11)
--------------------
* Git: :tag:`dejafu-1.3.0.3`
* Hackage: :hackage:`dejafu-1.3.0.3`
Miscellaneous
~~~~~~~~~~~~~
* (:pull:`245`) The upper bound on :hackage:`exceptions` is <0.11.
1.3.0.2 (2018-03-11)
--------------------
* Git: :tag:`dejafu-1.3.0.2`
* Hackage: :hackage:`dejafu-1.3.0.2`
Fixed
~~~~~
* (:pull:`244`) Add missing dependency for ``setNumCapabilities``
actions.
1.3.0.1 (2018-03-08)
--------------------
* Git: :tag:`dejafu-1.3.0.1`
* Hackage: :hackage:`dejafu-1.3.0.1`
Fixed
~~~~~
* (:pull:`242`) A compilation error when building with
:hackage:`exceptions-0.9.0`.
1.3.0.0 (2018-03-06)
--------------------
* Git: :tag:`dejafu-1.3.0.0`
* Hackage: :hackage:`dejafu-1.3.0.0`
Deprecated
~~~~~~~~~~
* (:pull:`240`) ``Test.DejaFu.Settings.swarmy``
1.2.0.0 - The Settings Release (2018-03-06)
-------------------------------------------
* Git: :tag:`dejafu-1.2.0.0`
* Hackage: :hackage:`dejafu-1.2.0.0`
**Contributors:** :u:`qrilka` (:pull:`236`).
Added
~~~~~
* (:pull:`238`) A record-based approach to SCT configuration:
* ``Test.DejaFu.Settings``
(re-exported from ``Test.Dejafu`` and ``Test.DejaFu.SCT``)
* ``Test.DejaFu.Settings.Settings``
* ``Test.DejaFu.Settings.defaultSettings``
* ``Test.DejaFu.Settings.fromWayAndMemType``
* Lenses:
* ``Test.DejaFu.Settings.lway``
* ``Test.DejaFu.Settings.lmemtype``
* ``Test.DejaFu.Settings.ldiscard``
* ``Test.DejaFu.Settings.learlyExit``
* ``Test.DejaFu.Settings.ldebugShow``
* ``Test.DejaFu.Settings.ldebugPrint``
* Lens helpers:
* ``Test.DejaFu.Settings.get``
* ``Test.DejaFu.Settings.set``
* Runners:
* ``Test.DejaFu.SCT.runSCTWithSettings``
* ``Test.DejaFu.SCT.runSCTWithSettings'``
* ``Test.DejaFu.SCT.resultsSetWithSettings``
* ``Test.DejaFu.SCT.resultsSetWithSettings'``
* (:pull:`238`) Settings-based test functions:
* ``Test.DejaFu.autocheckWithSettings``
* ``Test.DejaFu.dejafuWithSettings``
* ``Test.DejaFu.dejafusWithSettings``
* ``Test.DejaFu.runTestWithSettings``
Deprecated
~~~~~~~~~~
* (:pull:`238`) SCT function variants:
* ``Test.DejaFu.SCT.runSCTDiscard``
* ``Test.DejaFu.SCT.resultSetDiscard``
* ``Test.DejaFu.SCT.runSCTDiscard'``
* ``Test.DejaFu.SCT.resultSetDiscard'``
* ``Test.DejaFu.SCT.sctBound``
* ``Test.DejaFu.SCT.sctBoundDiscard``
* ``Test.DejaFu.SCT.sctUniformRandom``
* ``Test.DejaFu.SCT.sctUniformRandomDiscard``
* ``Test.DejaFu.SCT.sctWeightedRandom``
* ``Test.DejaFu.SCT.sctWeightedRandomDiscard``
* (:pull:`238`) The ``Test.DejaFu.Defaults`` module. Import
``Test.DejaFu.Settings`` instead.
* (:pull:`238`) ``Test.DejaFu.dejafuDiscard``.
Removed
~~~~~~~
* (:pull:`238`) ``Test.DejaFu.Defaults.defaultDiscarder``, as the
discard function is optional.
1.1.0.2 (2018-03-01)
--------------------
* Git: :tag:`dejafu-1.1.0.2`
* Hackage: :hackage:`dejafu-1.1.0.2`
Miscellaneous
~~~~~~~~~~~~~
* (:pull:`235`) The documentation for ``Test.DejaFu.Conc.dontCheck``
and ``subconcurrency`` clarify that an illegal use does not
necessarily cause a failing test.
1.1.0.1 (2018-02-26)
--------------------
* Git: :tag:`dejafu-1.1.0.1`
* Hackage: :hackage:`dejafu-1.1.0.1`
**Contributors:** :u:`qrilka` (:pull:`229`).
Miscellaneous
~~~~~~~~~~~~~
* The upper bound on :hackage:`exceptions` is <0.10.
1.1.0.0 (2018-02-22)
--------------------
* Git: :tag:`dejafu-1.1.0.0`
* Hackage: :hackage:`dejafu-1.1.0.0`
**Contributors:** :u:`qrilka` (:pull:`228`).
Added
~~~~~
* (:pull:`219`) The testing-only ``Test.DejaFu.Conc.dontCheck``
function, and associated definitions:
* ``Test.DejaFu.Types.DontCheck``
* ``Test.DejaFu.Types.WillDontCheck``
* ``Test.DejaFu.Types.IllegalDontCheck``
* ``Test.DejaFu.Types.isIllegalDontCheck``
* (:pull:`219`) A snapshotting approach based on
``Test.DejaFu.Conc.dontCheck``:
* ``Test.DejaFu.Conc.runForDCSnapshot``
* ``Test.DejaFu.Conc.runWithDCSnapshot``
* ``Test.DejaFu.Conc.canDCSnapshot``
* ``Test.DejaFu.Conc.threadsFromDCSnapshot``
Changed
~~~~~~~
* (:pull:`219`) SCT functions automatically use the snapshotting
mechanism when possible.
1.0.0.2 (2018-02-18)
--------------------
* Git: :tag:`dejafu-1.0.0.2`
* Hackage: :hackage:`dejafu-1.0.0.2`
**Contributors:** :u:`qrilka` (:pull:`214`).
Changed
~~~~~~~
* (:issue:`193`) Deterministically assign commit thread IDs.
Fixed
~~~~~
* (:issue:`189`) Remove an incorrect optimisation in systematic
testing for ``getNumCapabilities`` and ``setNumCapabilities``.
* (:issue:`204`) Fix missed interleavings in systematic testing with
some uses of STM.
* (:issue:`205`) Fix ``forkOS`` being recorded in an execution trace
as if it were a ``fork``.
Miscellaneous
~~~~~~~~~~~~~
* (:pull:`180`) Doctest Haddock examples in ``Test.DejaFu`` and
``Test.DejaFu.Refinement``.
* (:pull:`185`, :pull:`215`) Check some more internal invariants and
throw on error.
* (:pull:`214`) Remove unnecessary use of ``head``.
1.0.0.1 (2018-01-19)
--------------------
* Git: :tag:`dejafu-1.0.0.1`
* Hackage: :hackage:`dejafu-1.0.0.1`
Miscellaneous
~~~~~~~~~~~~~
* The upper bound on :hackage:`concurrency` is <1.5.
1.0.0.0 - The API Friendliness Release (2017-12-23)
---------------------------------------------------
* Git: :tag:`dejafu-1.0.0.0`
* Hackage: :hackage:`dejafu-1.0.0.0`
Added
~~~~~
* ``Test.DejaFu.alwaysSameOn`` and ``alwaysSameBy`` predicate helpers.
* ``Test.DejaFu.SCT.strengthenDiscard`` and ``weakenDiscard``
functions to combine discard functions.
* (:issue:`124`) The ``Test.DejaFu.ProPredicate`` type, which contains
both an old-style ``Predicate`` and a discard function. It is also
a ``Profunctor``, parameterised by the input and output types.
* (:issue:`124`) ``Test.DejaFu.alwaysNothing`` and
``somewhereNothing`` predicate helpers, like ``alwaysTrue`` and
``somewhereTrue``, to lift regular functions into a
``ProPredicate``.
* (:issue:`137`) The ``Test.DejaFu.Types.Id`` type.
* (:pull:`145`) Thread action and lookahead values for bound threads:
* ``Test.DejaFu.Types.ForkOS``
* ``Test.DejaFu.Types.IsCurrentThreadBound``
* ``Test.DejaFu.Types.WillForkOS``
* ``Test.DejaFu.Types.WillIsCurrentThreadBound``
* (:issue:`155`) ``Test.DejaFu.Types`` and ``Test.DejaFu.Utils``
modules, each containing some of what was in ``Test.DejaFu.Common``.
Changed
~~~~~~~
* All testing functions require ``MonadConc``, ``MonadRef``, and
``MonadIO`` constraints. Testing with ``ST`` is no longer possible.
* The ``Test.DejaFu.alwaysSame`` predicate helper gives the simplest
trace leading to each distinct result.
* The ``MonadIO Test.DejaFu.Conc.ConcIO`` instance is now the more
general ``MonadIO n => MonadIO (ConcT r n)``.
* (:issue:`121`) The chosen thread is no longer redundantly included
in trace lookahead.
* (:issue:`123`) All testing functions in ``Test.DejaFu`` take the
action to run as the final parameter.
* (:issue:`124`) All testing functions in ``Test.DejaFu`` have been
generalised to take a ``ProPredicate`` instead of a ``Predicate``.
* (:issue:`124`) The ``Test.DejaFu.Predicate`` type is an alias for
``ProPredicate a a``.
* (:issue:`124`) The ``Test.DejaFu.Result`` type no longer includes a
number of cases checked.
* (:issue:`137`) The ``Test.DejaFu.Types.ThreadId``, ``CRefId``,
``MVarId``, and ``TVarId`` types are now wrappers for an ``Id``.
* (:pull:`145`) If built with the threaded runtime, the main thread in
a test is executed as a bound thread.
* (:issue:`155`) The ``Test.DejaFu.SCT.Discard`` type is defined in
``Test.DejaFu.Types``, and re-exported from ``Test.DejaFu.SCT``.
* (:issue:`155`) The ``Test.DejaFu.Schedule.tidOf`` and ``decisionOf``
functions are defined in ``Test.DejaFu.Utils``, but not re-exported
from ``Test.DejaFu.Schedule``.
Removed
~~~~~~~
* The ``IO`` specific testing functions:
* ``Test.DejaFu.autocheckIO``
* ``Test.DejaFu.dejafuIO``
* ``Test.DejaFu.dejafusIO``
* ``Test.DejaFu.autocheckWayIO``
* ``Test.DejaFu.dejafuWayIO``
* ``Test.DejaFu.dejafusWayIO``
* ``Test.DejaFu.dejafuDiscardIO``
* ``Test.DejaFu.runTestM``
* ``Test.DejaFu.runTestWayM``
* The ``Test.DejaFu.Conc.ConcST`` type alias.
* The ``MonadBaseControl IO Test.DejaFu.Conc.ConcIO`` typeclass instance.
* The ``Test.DejaFu.alwaysTrue2`` function, which had confusing
behaviour.
* The ``Test.DejaFu.Common.TTrace`` type synonym for ``[TAction]``.
* The ``Test.DejaFu.Common.preEmpCount`` function.
* Re-exports of ``Decision`` and ``NonEmpty`` from
``Test.DejaFu.Schedule``.
* (:issue:`155`) The ``Test.DejaFu.Common`` and ``Test.DejaFu.STM``
modules.
Fixed
~~~~~
* In refinement property testing, a blocking interference function is
not reported as a deadlocking execution.
Performance
~~~~~~~~~~~
* (:issue:`124`) Passing tests should use substantially less memory.
* (:issue:`168`) Prune some unnecessary interleavings of ``MVar``
actions in systematic testing.
Miscellaneous
~~~~~~~~~~~~~
* The lower bound on :hackage:`concurrency` is >=1.3.
0.9.1.2 (2017-12-12)
--------------------
* Git: :tag:`dejafu-0.9.1.2`
* Hackage: :hackage:`dejafu-0.9.1.2`
Miscellaneous
~~~~~~~~~~~~~
* The upper bound on :hackage:`leancheck` is <0.8.
0.9.1.1 (2017-12-08)
--------------------
* Git: :tag:`dejafu-0.9.1.1`
* Hackage: :hackage:`dejafu-0.9.1.1`
Fixed
~~~~~
* (:issue:`160`) Fix an off-by-one issue with nested masks during
systematic testing.
0.9.1.0 (2017-11-26)
--------------------
* Git: :tag:`dejafu-0.9.1.0`
* Hackage: :hackage:`dejafu-0.9.1.0`
Added
~~~~~
* ``MonadFail`` instance for ``Test.DejaFu.Conc.ConcT``.
* ``MonadFail`` instance for ``Test.DejaFu.STM.STMLike``.
Changed
~~~~~~~
* Pretty-printed traces display a pre-emption following a yield with a
little "p".
Fixed
~~~~~
* Some incorrect Haddock ``@since`` comments.
0.9.0.3 (2017-11-06)
--------------------
* Git: :tag:`dejafu-0.9.0.3`
* Hackage: :hackage:`dejafu-0.9.0.3`
Fixed
~~~~~
* (:issue:`138`) Fix missed interleavings in systematic testing with
some relaxed memory programs.
0.9.0.2 (2017-11-02)
--------------------
* Git: :tag:`dejafu-0.9.0.2`
* Hackage: :hackage:`dejafu-0.9.0.2`
Changed
~~~~~~~
* A fair bound of 0 prevents yielding or delaying.
Performance
~~~~~~~~~~~
* Prune some unnecessary interleavings of STM transactions in
systematic testing.
0.9.0.1 (2017-10-28)
--------------------
* Git: :tag:`dejafu-0.9.0.1`
* Hackage: :hackage:`dejafu-0.9.0.1`
Fixed
~~~~~
* (:issue:`139`) Fix double pop of exception handler stack.
0.9.0.0 (2017-10-11)
--------------------
* Git: :tag:`dejafu-0.9.0.0`
* Hackage: :hackage:`dejafu-0.9.0.0`
Added
~~~~~
* Failure predicates (also exported from ``Test.DejaFu``):
* ``Test.DejaFu.Common.isAbort``
* ``Test.DejaFu.Common.isDeadlock``
* ``Test.DejaFu.Common.isIllegalSubconcurrency``
* ``Test.DejaFu.Common.isInternalError``
* ``Test.DejaFu.Common.isUncaughtException``
* Thread action and lookahead values for ``threadDelay``:
* ``Test.DejaFu.Common.ThreadDelay``
* ``Test.DejaFu.Common.WillThreadDelay``
Changed
~~~~~~~
* The ``UncaughtException`` constructor for
``Test.DejaFu.Common.Failure`` now includes the exception value.
* Uses of ``threadDelay`` are no longer reported in the trace as a use
of ``yield``.
Removed
~~~~~~~
* The ``Bounded``, ``Enum``, and ``Read`` instances for
``Test.DejaFu.Common.Failure``.
0.8.0.0 (2017-09-26)
--------------------
* Git: :tag:`dejafu-0.8.0.0`
* Hackage: :hackage:`dejafu-0.8.0.0`
Changed
~~~~~~~
* (:issue:`80`) STM traces now include the ID of a newly-created
``TVar``.
* (:issue:`106`) Schedulers are not given the execution trace so far.
* (:issue:`120`) Traces only include a single action of lookahead.
* (:issue:`122`) The ``Test.DejaFu.Scheduler.Scheduler`` type is now a
newtype, rather than a type synonym.
0.7.3.0 (2017-09-26)
--------------------
* Git: :tag:`dejafu-0.7.3.0`
* Hackage: :hackage:`dejafu-0.7.3.0`
Added
~~~~~
* The ``Test.DejaFu.Common.threadNames`` function.
Fixed
~~~~~
* (:issue:`101`) Named threads which are only started by a pre-emption
are shown in the pretty-printed trace key.
* (:issue:`118`) Escaping a mask by raising an exception correctly
restores the masking state (#118).
0.7.2.0 (2017-09-16)
--------------------
* Git: :tag:`dejafu-0.7.2.0`
* Hackage: :hackage:`dejafu-0.7.2.0`
Added
~~~~~
* ``Alternative`` and ``MonadPlus`` instances for
``Test.DejaFu.STM.STM``.
Fixed
~~~~~
* The ``Eq`` and ``Ord`` instances for
``Test.DejaFu.Common.ThreadId``, ``CRefId``, ``MVarId``, and
``TVarId`` are consistent.
Miscellaneous
~~~~~~~~~~~~~
* The upper bound on :hackage:`concurrency` is <1.2.
0.7.1.3 (2017-09-08)
--------------------
* Git: :tag:`dejafu-0.7.1.3`
* Hackage: :hackage:`dejafu-0.7.1.3`
Fixed
~~~~~
* (:issue:`111`) Aborted STM transactions are correctly rolled back.
Performance
~~~~~~~~~~~
* (:issue:`105`) Use a more efficient approach for an internal
component of the systematic testing.
0.7.1.2 (2017-08-21)
--------------------
* Git: :tag:`dejafu-0.7.1.2`
* Hackage: :hackage:`dejafu-0.7.1.2`
Fixed
~~~~~
* (:issue:`110`) Errors thrown with ``Control.Monad.fail`` are
correctly treated as asynchronous exceptions.
0.7.1.1 (2017-08-16)
--------------------
* Git: :tag:`dejafu-0.7.1.1`
* Hackage: :hackage:`dejafu-0.7.1.1`
Performance
~~~~~~~~~~~
* (:issue:`64`) Greatly reduce memory usage in systematic testing when
discarding traces by using an alternative data structure.
* Old: ``O(max trace length * number of executions)``
* New: ``O(max trace length * number of traces kept)``
0.7.1.0 - The Discard Release (2017-08-10)
------------------------------------------
* Git: :tag:`dejafu-0.7.1.0`
* Hackage: :hackage:`dejafu-0.7.1.0`
Added
~~~~~
* (:issue:`90`) A way to selectively discard results or traces:
* Type: ``Test.DejaFu.SCT.Discard``
* Functions: ``Test.DejaFu.SCT.runSCTDiscard``,
``resultsSetDiscard``, ``sctBoundDiscard``,
``sctUniformRandomDiscard``, and ``sctWeightedRandomDiscard``.
* (:issue:`90`) Discarding variants of the testing functions:
* ``Test.DejaFu.dejafuDiscard``
* ``Test.DejaFu.dejafuDiscardIO``
* (:issue:`90`) ``Test.DejaFu.Defaults.defaultDiscarder``.
Performance
~~~~~~~~~~~
* (:issue:`90`) The ``Test.DejaFu.SCT.resultsSet`` and ``resultsSet'``
functions discard traces as they are produced, rather than all at
the end.
0.7.0.2 (2017-06-12)
--------------------
* Git: :tag:`dejafu-0.7.0.2`
* Hackage: :hackage:`dejafu-0.7.0.2`
Changed
~~~~~~~
* Remove unnecessary typeclass constraints from
``Test.DejaFu.Refinement.check``, ``check'``, ``checkFor``, and
``counterExamples``.
Miscellaneous
~~~~~~~~~~~~~
* Remove an unnecessary dependency on :hackage:`monad-loops`.
0.7.0.1 (2017-06-09)
--------------------
* Git: :tag:`dejafu-0.7.0.1`
* Hackage: :hackage:`dejafu-0.7.0.1`
Performance
~~~~~~~~~~~
* The ``Test.DejaFu.Refinement.check``, ``check'``, and ``checkFor``
functions no longer need to compute all counterexamples before
showing only one.
* The above and ``counterExamples`` are now faster even if there is
only a single counterexample in some cases.
0.7.0.0 - The Refinement Release (2017-06-07)
---------------------------------------------
* Git: :tag:`dejafu-0.7.0.0`
* Hackage: :hackage:`dejafu-0.7.0.0`
Added
~~~~~
* The ``Test.DejaFu.Refinement`` module, re-exported from
``Test.DejaFu``.
* The ``Test.DejaFu.SCT.sctUniformRandom`` function for SCT via random
scheduling.
* Smart constructors for ``Test.DejaFu.SCT.Way`` (also re-exported
from ``Test.DejaFu``):
* ``Test.DejaFu.SCT.systematically``, like the old
``Systematically``.
* ``Test.DejaFu.SCT.randomly``, like the old ``Randomly``.
* ``Test.DejaFu.SCT.uniformly``, a new uniform (as opposed to
weighted) random scheduler.
* ``Test.DejaFu.SCT.swarmy``, like the old ``Randomly`` but which
can use the same weights for multiple executions.
Changed
~~~~~~~
* The ``default*`` values are defined in ``Test.DejaFu.Defaults`` and
re-exported from ``Test.DejaFu``.
* The ``Test.DejaFu.SCT.sctRandom`` function is now called
``sctWeightedRandom`` and can re-use the same weights for multiple
executions.
Removed
~~~~~~~
* The ``Test.DejaFu.SCT.Way`` type is now abstract, so its
constructors are no longer exported:
* ``Test.DejaFu.SCT.Systematically``
* ``Test.DejaFu.SCT.Randomly``
* The ``Test.DejaFu.SCT.sctPreBound``, ``sctFairBound``, and
``sctLengthBound`` functions.
Fixed
~~~~~
* (:issue:`81`) ``Test.DejaFu.Conc.subconcurrency`` no longer re-uses
IDs.
0.6.0.0 (2017-04-08)
--------------------
* Git: :tag:`dejafu-0.6.0.0`
* Hackage: :hackage:`dejafu-0.6.0.0`
Changed
~~~~~~~
* The ``Test.DejaFu.Conc.Conc n r a`` type is ``ConcT r n a``, and has
a ``MonadTrans`` instance.
* The ``Test.DejaFu.SCT.Way`` type is a GADT, and does not expose the
type parameter of the random generator.
Removed
~~~~~~~
* The ``NFData`` instance for ``Test.DejaFu.SCT.Way``.
Miscellaneous
~~~~~~~~~~~~~
* ``Test.DejaFu.Common`` forms part of the public API.
* Every definition, class, and instance now has a Haddock ``@since``
annotation.
0.5.1.3 (2017-04-05)
--------------------
* Git: :tag:`dejafu-0.5.1.3`
* Hackage: :hackage:`dejafu-0.5.1.3`
Miscellaneous
~~~~~~~~~~~~~
* The version bounds on :hackage:`concurrency` are 1.1.*.
0.5.1.2 (2017-03-04)
--------------------
* Git: :tag:`dejafu-0.5.1.2`
* Hackage: :hackage:`dejafu-0.5.1.2`
**Note:** this version was misnumbered! It should have caused a minor
version bump!
Added
~~~~~
* ``MonadRef`` and ``MonadAtomicRef`` instances for
``Test.DejaFu.Conc.Conc`` using ``CRef``.
Fixed
~~~~~
* A long-standing bug where if the main thread is killed with a
``throwTo``, the throwing neither appears in the trace nor correctly
terminates the execution.
Miscellaneous
~~~~~~~~~~~~~
* The upper bound on :hackage:`concurrency` is <1.1.1.
0.5.1.1 (2017-02-25)
--------------------
* Git: :tag:`dejafu-0.5.1.1`
* Hackage: :hackage:`dejafu-0.5.1.1`
Fixed
~~~~~
* Fix using incorrect correct scheduler state after a `subconcurrency`
action.
* Fix infinite loop in SCT of subconcurrency.
0.5.1.0 (2017-02-25)
--------------------
* Git: :tag:`dejafu-0.5.1.0`
* Hackage: :hackage:`dejafu-0.5.1.0`
Added
~~~~~
* ``NFData`` instances for:
* ``Test.DejaFu.Result``
* ``Test.DejaFu.Common.ThreadId``
* ``Test.DejaFu.Common.CRefId``
* ``Test.DejaFu.Common.MVarId``
* ``Test.DejaFu.Common.TVarId``
* ``Test.DejaFu.Common.IdSource``
* ``Test.DejaFu.Common.ThreadAction``
* ``Test.DejaFu.Common.Lookahead``
* ``Test.DejaFu.Common.ActionType``
* ``Test.DejaFu.Common.TAction``
* ``Test.DejaFu.Common.Decision``
* ``Test.DejaFu.Common.Failure``
* ``Test.DejaFu.Common.MemType``
* ``Test.DejaFu.SCT.Bounds``
* ``Test.DejaFu.SCT.PreemptionBound``
* ``Test.DejaFu.SCT.FairBound``
* ``Test.DejaFu.SCT.LengthBound``
* ``Test.DejaFu.SCT.Way``
* ``Test.DejaFu.STM.Result``
* ``Eq``, ``Ord``, and ``Show`` instances for
``Test.DejaFu.Common.IdSource``.
* Strict variants of ``Test.DejaFu.SCT.runSCT`` and ``resultsSet``:
``runSCT'`` and ``resultsSet'``.
0.5.0.2 (2017-02-22)
--------------------
* Git: :tag:`dejafu-0.5.0.2`
* Hackage: :hackage:`dejafu-0.5.0.2`
**Note:** this version was misnumbered! It should have caused a major
version bump!
Added
~~~~~
* ``StopSubconcurrency`` constructor for
``Test.DejaFu.Common.ThreadAction``.
Changed
~~~~~~~
* A ``Test.DejaFu.Common.StopConcurrency`` action appears in the
execution trace immediately after the end of a
``Test.DejaFu.Conc.subconcurrency`` action.
Fixed
~~~~~
* A ``Test.DejaFu.Conc.subconcurrency`` action inherits the number of
capabilities from the outer computation.
Miscellaneous
~~~~~~~~~~~~~
- ``Test.DejaFu.SCT`` compiles with ``MonoLocalBinds`` enabled
(implied by ``GADTs`` and ``TypeFamilies``), which may be relevant
to hackers.
0.5.0.1 (2017-02-21)
--------------------
* Git: :tag:`dejafu-0.5.0.1`
* Hackage: :hackage:`ps!**`
Fixed
~~~~~
* ``readMVar`` is considered a "release action" for the purposes of
fair-bounding.
0.5.0.0 - The Way Release (2017-02-21)
--------------------------------------
* Git: :tag:`dejafu-0.5.0.0`
* Hackage: :hackage:`dejafu-0.5.0.0`
Added
~~~~~
* ``Eq`` instances for ``Test.DejaFu.Common.ThreadAction`` and
``Lookahead``.
* Thread action and lookahead values for ``tryReadMVar``:
* ``Test.DejaFu.Common.TryReadMVar``
* ``Test.DejaFu.Common.WillTryReadMVar``
* The testing-only ``Test.DejaFu.Conc.subconcurrency`` function.
* SCT through weighted random scheduling:
``Test.DejaFu.SCT.sctRandom``.
* The ``Test.DejaFu.SCT.Way`` type, used by the new functions
``runSCT`` and ``resultsSet``.
Changed
~~~~~~~
* All the functions which took a ``Test.DejaFu.SCT.Bounds`` now take a
``Way`` instead.
Fixed
~~~~~
* Some previously-missed ``CRef`` action dependencies are no longer
missed.
Miscellaneous
~~~~~~~~~~~~~
* The version bounds on :hackage:`concurrency` are 1.1.0.*.
* A bunch of things were called "Var" or "Ref", these are now
consistently "MVar" and "CRef".
* Significant performance improvements in both time and space.
* The :hackage:`dpor` package has been merged back into this, as it
turned out not to be very generally useful.
0.4.0.0 - The Packaging Release (2016-09-10)
--------------------------------------------
* Git: :tag:`dejafu-0.4.0.0`
* Hackage: :hackage:`dejafu-0.4.0.0`
Added
~~~~~
* The ``Test.DejaFu.runTestM`` and ``runTestM'`` functions.
* The ``Test.DejaFu.Conc.runConcurrent`` function.
* The ``Test.DejaFu.STM.runTransaction`` function.
* The ``Test.DejaFu.Common`` module.
Changed
~~~~~~~
* The ``Control.*`` modules have all been split out into a separate
:hackage:`concurrency` package.
* The ``Test.DejaFu.Deterministic`` module has been renamed to
``Test.DejaFu.Conc``.
* Many definitions from other modules have been moved to the
``Test.DejaFu.Common`` module.
* The ``Test.DejaFu.autocheck'`` function takes the schedule bounds as
a parameter.
* The ``Test.DejaFu.Conc.Conc`` type no longer has the STM type as a
parameter.
* The ``ST`` specific functions in ``Test.DejaFu.SCT`` are polymorphic
in the monad.
* The termination of the main thread in execution traces appears as a
single ``Stop``, rather than the previous ``Lift, Stop``.
* Execution traces printed by the helpful functions in ``Test.DejaFu``
include a key of thread names.
Removed
~~~~~~~
* The ``Test.DejaFu.runTestIO`` and ``runTestIO'`` functions: use
``runTestM`` and ``runTestM'`` instead.
* The ``Test.DejaFu.Conc.runConcST`` and ``runConcIO`` functions: use
``runConcurrent`` instead.
* The ``Test.DejaFu.STM.runTransactionST`` and ``runTransactionIO``
functions: use ``runTransaction`` instead.
* The ``IO`` specific functions in ``Test.DejaFu.SCT``.
0.3.2.1 (2016-07-21)
--------------------
* Git: :tag:`dejafu-0.3.2.1`
* Hackage: :hackage:`dejafu-0.3.2.1`
Fixed
~~~~~
* (:issue:`55`) Fix incorrect detection of deadlocks with some nested
STM transactions.
0.3.2.0 (2016-06-06)
--------------------
* Git: :tag:`dejafu-0.3.2.0`
* Hackage: :hackage:`dejafu-0.3.2.0`
Fixed
~~~~~
* (:issue:`40`) Fix missing executions with daemon threads with
uninteresting first actions. This is significantly faster with
:hackage:`dpor-0.2.0.0`.
Performance
~~~~~~~~~~~
* When using :hackage:`dpor-0.2.0.0`, greatly improve dependency
inference of exceptions during systematic testing.
* Improve dependency inference of STM transactions during systematic
testing.
0.3.1.1 (2016-05-26)
--------------------
* Git: :tag:`dejafu-0.3.1.1`
* Hackage: :hackage:`dejafu-0.3.1.1`
Miscellaneous
~~~~~~~~~~~~~
* Now supports GHC 8.
0.3.1.0 (2016-05-02)
--------------------
* Git: :tag:`dejafu-0.3.1.0`
* Hackage: :hackage:`dejafu-0.3.1.0`
Fixed
~~~~~
* Fix inaccurate counting of pre-emptions in an execution trace when
relaxed memory commit actions are present.
0.3.0.0 (2016-04-03)
--------------------
* Git: :tag:`dejafu-0.3.0.0`
* Hackage: :hackage:`dejafu-0.3.0.0`
**The minimum supported version of GHC is now 7.10.**
I didn't write proper release notes, and this is so far back I don't
really care to dig through the logs.
0.2.0.0 (2015-12-01)
--------------------
* Git: :tag:`0.2.0.0`
* Hackage: :hackage:`dejafu-0.2.0.0`
I didn't write proper release notes, and this is so far back I don't
really care to dig through the logs.
0.1.0.0 - The Initial Release (2015-08-27)
------------------------------------------
* Git: :tag:`0.1.0.0`
* Hackage: :hackage:`dejafu-0.1.0.0`
Added
~~~~~
* Everything.