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 hermetically 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/replay, reproducible builds, automatic diagnosis of concurrency bugs, and more.I've been on the team working on this project over the past ~2 years. AMA!Here is the GitHub repository: https://github.com/facebookexperimental/hermit