Commit Graph

529 Commits

Author SHA1 Message Date
Michael Walker
4e5e52f92a Move 'gives' into Test.DejaFu 2015-10-27 15:18:12 +00:00
Michael Walker
275bd30a44 FIx dejafu test suite for new PF bounding 2015-10-27 15:11:05 +00:00
Michael Walker
ec0d1e8fcc Don't export type-specified functions for Conc and ConcIO 2015-10-26 23:22:48 +00:00
Michael Walker
b9f94d6cfa Merge branch 'pb-fb'. Closes #21. 2015-10-26 23:12:28 +00:00
Michael Walker
3d1d287787 Use PF bounding in {hunit,tasty}-dejafu 2015-10-26 23:11:30 +00:00
Michael Walker
eb183fd461 Change the default scheduler in dejafu to PB/Fair 2015-10-26 23:11:29 +00:00
Michael Walker
e8b16063a2 Implement fair bounding and pre-emption / fair bounding 2015-10-26 23:11:26 +00:00
Michael Walker
87fd1fde8f Merge branch 'yield'. Closes #16. 2015-10-26 21:11:46 +00:00
Michael Walker
b0c9e090ea Use 'yield' in the Alternative instance for Concurrently 2015-10-26 21:04:12 +00:00
Michael Walker
e2e04851e0 Consider yields in SCT 2015-10-26 20:41:24 +00:00
Michael Walker
cf08c9d53e Implement 'yield' in Deterministic 2015-10-26 19:54:14 +00:00
Michael Walker
bc6ac08c69 Add a 'yield' operation to MonadConc 2015-10-26 19:49:37 +00:00
Michael Walker
ac6b5c5240 Widen 'base' bounds for async-dejafu 2015-10-25 23:04:12 +00:00
Michael Walker
fd35e9c1b4 Add async-dejafu tests 2015-10-25 22:53:54 +00:00
Michael Walker
447013c68d Remove some extra wrapping with SomeException causing fromException to fail in dejafu 2015-10-25 22:28:16 +00:00
Michael Walker
53e738b066 Remove some needless Eq constraints 2015-10-25 17:05:40 +00:00
Michael Walker
59102efd59 Initial version of async-dejafu 2015-10-25 16:17:41 +00:00
Michael Walker
019d4995a3 Add source-repository head sections to {tasty,hunit}-dejafu cabal files 2015-10-25 13:40:23 +00:00
Michael Walker
7d2ec26a58 Minor hlint fixes 2015-10-23 13:17:04 +01:00
Michael Walker
eeacd85fb3 Fix some warnings 2015-10-15 08:53:22 +01:00
Michael Walker
1790ad2648 Give sctBoundedM the bound function and limit separately 2015-10-15 08:53:18 +01:00
Michael Walker
fa1a1bf350 Keep track of CRef write buffers for backtracking around reads 2015-10-13 15:23:22 +01:00
Michael Walker
04e259d3b3 Distinguish synchronised operations which impose a full barrier 2015-10-13 14:30:46 +01:00
Michael Walker
b634253430 Prune redundant commit actions 2015-10-12 21:48:36 +01:00
Michael Walker
87334b5441 Expose internal modules 2015-10-12 19:00:41 +01:00
Michael Walker
c3b88be909 Simplify dependent/dependent' 2015-10-12 18:55:48 +01:00
Michael Walker
3d5733c756 Add a simpler view of what a thread is doing 2015-10-12 18:55:38 +01:00
Michael Walker
d31ff3bea7 Impose memory barriers around synchronised operations 2015-10-12 18:55:10 +01:00
Michael Walker
783a0af7aa Add DeriveDataTypeable to tasty-dejafu for GHC<7.10 2015-10-08 21:59:08 +01:00
Michael Walker
a337b872ab Add Tasty integration 2015-10-08 21:50:52 +01:00
Michael Walker
a4b4b25b71 Drop needless GADTs 2015-10-08 21:47:28 +01:00
Michael Walker
9144ea4cbf Drop ConcTest/ConcIOTest entirely 2015-10-08 21:15:46 +01:00
Michael Walker
3bb640010a Don't expose ConcTest/ConcIOTest types 2015-10-08 21:09:48 +01:00
Michael Walker
b899253b04 Add dejafu'/dejafuIO' functions 2015-10-08 15:45:05 +01:00
Michael Walker
6ebff392c3 Share traces for ConcTest 2015-10-08 15:28:02 +01:00
Michael Walker
6c6e0eed01 Hide the type parameter inside ConcTest/ConcIOTest 2015-10-08 15:19:43 +01:00
Michael Walker
1c42618ba7 Include names with HUnit tests,a nd generate TestLists where possible 2015-10-08 15:15:13 +01:00
Michael Walker
a8ce666dc9 Fix build failure in GHC <7.10 2015-10-08 12:33:19 +01:00
Michael Walker
3c9a3f2ec7 Initial implementation of HUnit integration.
Note: this BREAKS `cabal/stack test` for dejafu!

See dejafu/README.markdown for the work-around.
2015-10-08 12:05:59 +01:00
Michael Walker
121a59b59d Stick everything in a dejafu subdirectory 2015-10-05 16:44:14 +01:00
Michael Walker
3e3385d0be Improve POR for relaxed memory
- Refine notion of dependent actions tot ake the memory model into
  account.

- Don't consider context switches for commits as viable candidates
  for conservative backtracking points.
2015-10-05 16:17:03 +01:00
Michael Walker
4cc5f5c921 Tidy up stepWrite/stepCommit 2015-10-05 16:16:43 +01:00
Michael Walker
0c94c16d16 Move dejafus{,IO}' into different documentation section 2015-10-02 11:27:15 +01:00
Michael Walker
9ce7f51b92 Document default memory model 2015-10-01 16:40:31 +01:00
Michael Walker
a272a0199b Update documentation 2015-10-01 15:46:50 +01:00
Michael Walker
eb7c663993 Bit of refactoring in Test.DejaFu.Deterministic 2015-10-01 15:11:49 +01:00
Michael Walker
415e238f20 Nicely display commits in traces to users 2015-10-01 15:10:48 +01:00
Michael Walker
615535b49b Remove _concNoTest
It's not clear how it can be safely implemented with the possibility
for relaxed memory effects to occur.
2015-10-01 14:32:36 +01:00
Michael Walker
10a8c5f559 Remove old TODO 2015-10-01 14:23:11 +01:00
Michael Walker
842460daf8 Fix phantom thread numbering at 0 2015-10-01 12:11:33 +01:00