Sadiq Jaffer

For the fast paths to be safe there's an assumption that the runtime lock is held. e.g https://github.com/ocaml/ocaml/blob/trunk/runtime/memory.c#L226 breaks horribly in a single-runtime multiple-thread situation. It's a good point though,...

Updated @fabbing !

I think being able to control the sleep is a good idea but could we go further and have a simple control loop that tunes it adaptively?

Yes. Another way to think about it is that we're aiming to sleep for some amount of time that means we expect to read N events when we do poll....

That looks like it could work. Have you tested it on a couple of examples?

Will come back with more on the other points in a few days. First, we should change the README. dscheck doesn't exhaustively explore all interleavings, only all interleavings that have...