Open bdonlan opened 3 years ago
this is extremely cool!
wow this looks cool : )
random thought along this line: a "non-determinism checker" option that just executes each iteration twice with the same seed and reports if the traces diverge
:wave: hi @bdonlan, sorry this went so long without a review --- are you still interested in working on this? i'd love to give this branch a review if you're able to update it with the latest master
branch!
This change adds a new tracing facility that helps track down the source of nondeterministic execution. It records, for each branch point, the original (user) source code position leading to this branch, the operation being performed, and the reference that is involved in the branch. If this does not match on a later execution, we dump the mismatched operation, as well as a trace of recent operations, let the current execution run to completion, then panic.
A typical trace looks a bit like this: