Armando Santos

After chatting with @rjmh this might be a symptom of our implementation of MVars in terms of STM might be too deterministic and hides races. Here's a direct quote: >...

Hasn't Genesis been integrated yet?

From my small understanding of IOSimPOR internals this should be doable without _much_ complexity. IIRC there's a function that deals with the race reversal logic and that would be the...

Why do you say that? If you don't call `exploreRaces` IOSimPOR won't find races right?

Yes and that's okay, if the thread blocks we can't run it anyway, it would be a problem if this combinator would cause deadlocks.

Does IOSimPOr only chooses to delay a racy thread, or does that happen for non-racy ones? I think if main will run until it blocks/terminates if it doesn't fork any...

I know, I am just saying it is easy to change that

For tracing yes, but this issue is not about logging but rather about too much granularity on the observable events. @jasagredo wants to have more control on the granularity of...

> Hmm. I wonder whether we really want to tell IOSimPOR that there are some effects we don't care about. For example, if logging updates a TVar then the order...

cc @njd42 @coot what about this PR, should it be closed?