hermit

This is what hermit does, although it's no longer actively developed. https://github.com/facebookexperimental/hermit

> It is very strange definition. To me it is tautological, as computers are deterministic and if you have same build environment you will get same results by necessity. There is a lot of randomness in a typical build system: randomly ordered lists, race conditions in multithreaded coded, timestamps in the filesystem, etc, The worse kind of build systems can even include fetching files the internet. So, no, for all practical purposes actual computers are not deterministic and this is not tautological at all. You can try to emulate determinism using some kind of virtual machine and run your build there (for example, see Hermit[1]), but it will never be perfect determinism and there are many practical downsides. [1]: https://github.com/facebookexperimental/hermit

https://github.com/facebookexperimental/hermit but it hasn't worked for me and is now unmaintained.

That's been my experience as well. It lacks support for certain clone(2) flags like CLONE_VFORK[1], which limits the set of non-trivial programs it can run, and since running non-trivial programs is most of the point, I haven't revisited it since it was first announced. [1] https://github.com/facebookexperimental/hermit/blob/bd3153b4...

It's a really interesting project but it hasn't worked for non-trivial programs for me. I tried to use it on my Raft implementation. Hermit crashed with obscure (to me) error messages. Others have commented on here before, it admittedly doesn't seem to be actively maintained. > Just to let you know we’re not actively working on Hermit in the team https://github.com/facebookexperimental/hermit/issues/34#iss...

A Meta developer responded to an issue of mine on Hermit, and said: "Just to let you know we're not actively working on Hermit in the team..." https://github.com/facebookexperimental/hermit/issues/34#iss...

Hermit [1] is another cool effort at determinism/reproducibility. [1] https://github.com/facebookexperimental/hermit

I really like antithesis' approach: it's non-intrusive as all the changes are on a VM so one can run deterministic simulation without changing their code. It's also technically challenging, as making a VM suitable for deterministic simulation is not an easy feat. On a side, I was wondering how this approach compares to Meta's Hermit(https://github.com/facebookexperimental/hermit), which is a deterministic Linux instead of a VM.

> AMA! Eager to try it but encountering the build error here - https://github.com/facebookexperimental/hermit/issues/11 Do you have a reference build log / environment you can share? Last known good commit sha and/or output from "rustup show"?

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