Deterministic Linux for controlled testing and software bug-finding
TL;DR: This is a Rust project that forces deterministic execution of arbitrary programs and acts like a reproducible container. That is, it <i>hermetically</i> isolates the program from sources of non-determinism such as time, thread interleavings, random number generation, etc. Guaranteed determinism is a powerful tool and it serves as a basis for a number of applications, including concurrency stress testing, record&#x2F;replay, reproducible builds, automatic diagnosis of concurrency bugs, and more.<p>I&#x27;ve been on the team working on this project over the past ~2 years. AMA!<p>Here is the GitHub repository: <a href="https:&#x2F;&#x2F;github.com&#x2F;facebookexperimental&#x2F;hermit" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;facebookexperimental&#x2F;hermit</a>