| Name : ghc-dejafu
| |
| Version : 0.4.0.0
| Vendor : obs://build_opensuse_org/devel:languages:haskell
|
| Release : 2.23
| Date : 2018-03-09 20:01:12
|
| Group : Development/Languages/Other
| Source RPM : ghc-dejafu-0.4.0.0-2.23.src.rpm
|
| Size : 0.86 MB
| |
| Packager : (none)
| |
| Summary : Systematic testing for Haskell concurrency
|
Description :
/[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
Concurrency is nice, deadlocks and race conditions not so much. The \'Par\' monad
family, as defined in
< https://hackage.haskell.org/package/abstract-par/docs/Control-Monad-Par-Class.html
abstract-par> provides deterministic parallelism, but sometimes we can tolerate
a bit of nondeterminism.
This package builds on the < https://hackage.haskell.org/package/concurrency
concurrency> package by enabling you to systematically and deterministically
test your concurrent programs.
== Déjà Fu with \'IO\':
The core assumption underlying Déjà Fu is that any apparent nondeterminism
arises purely from the scheduling behaviour. To put it another way, a given
computation, parametrised with a fixed set of scheduling decisions, is
deterministic.
Whilst this assumption may not hold in general when \'IO\' is involved, you
should strive to produce test cases where it does.
== Memory Model
The testing functionality supports a few different memory models, for
computations which use non-synchronised `CRef` operations. The supported models
are:
* __Sequential Consistency:__ 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.
* __Total Store Order (TSO):__ 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.
* __Partial Store Order (PSO):__ 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.
If a testing function does not take the memory model as a parameter, it uses
TSO.
See the < https://github.com/barrucadu/dejafu README> for more details.
|
RPM found in directory: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/devel:/languages:/haskell:/lts:/7/SLE_12_SP2_Backports/x86_64 |
Hmm ... It's impossible ;-) This RPM doesn't exist on any FTP server
Provides :
ghc-dejafu
ghc-dejafu(x86-64)
libHSdejafu-0.4.0.0-Hfg8wduY2T4FdvL8WrWqGI-ghc8.0.1.so()(64bit)
Requires :
