io-sim

io-sim copied to clipboard

Minimize redundancy in IOSimPOR logs

4

**Is your feature request related to a problem? Please describe.** Recently I had to debug a IOSimPOR test failure (See #154) and although IOSimPOR is complicated, analysing the logs adds...

bolt12

` IORef`s for io-sim and io-sim-por

1

First stab at #112

jorisdral

coot

**Describe the bug** The following counterexample is found: ``` propExploration: FAIL (61.59s) *** Failed! Falsified (after 47 tests and 64 shrinks): AreNotEqual Shrink2 {getShrink2 = Tasks [Task [WhenSet 0 0,ThrowTo...

coot

Refactor package structure

3

Put `si-timers`, `strict-stm` and `strict-mvar` as public libraries of `io-classes`. `strict-mvar:test` is left in `test-strict-mvar` as it introduces a cycle between `io-sim` and `io-classes` which cabal cannot resolve.

coot

* [ ] `TMVarDefault` * [ ] `TQueueDefault` * [ ] `TBQueueDefault` * [ ] `TArrayDefault` * [ ] `TSemDefault` * [ ] `TChanDefault` A bonus point for designing tests...

coot

bolt12

Make it possible to generate schedules

5

I understand that running `IOSim s` computations is purely deterministic: Every run will trigger the exact same scheduling of threads. This is great as it provides fast execution, but unless...

ghost

* [ ] [`Chan`](https://hackage.haskell.org/package/base-4.19.0.0/docs/Control-Concurrent-Chan.html#t:Chan) * [ ] [`QSem`](https://hackage.haskell.org/package/base-4.19.0.0/docs/Control-Concurrent-QSem.html#t:QSem) * [ ] [`QSemN`](https://hackage.haskell.org/package/base-4.19.0.0/docs/Control-Concurrent-QSemN.html#t:QSemN)

coot

jorisdral