hermit
stabilizer
| hermit | stabilizer | |
|---|---|---|
| 9 | 1 | |
| 1,222 | 16 | |
| 2.0% | - | |
| 7.3 | 10.0 | |
| 10 days ago | over 10 years ago | |
| Rust | Perl | |
| GNU General Public License v3.0 or later | - |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
hermit
-
Debugging in the Multiverse
https://github.com/facebookexperimental/hermit but it hasn't worked for me and is now unmaintained.
-
Hermit is a hermetic and reproducible sandbox for running programs
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...
-
So you think you want to write a deterministic hypervisor?
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...
-
Is Something Bugging You?
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.
-
Deterministic Linux for Controlled Testing and Software Bug-Finding
> 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"?
-
Deterministic Linux for Controlled Testing and Software Bug-finding
Here is the GitHub repository: https://github.com/facebookexperimental/hermit
stabilizer
-
Deterministic Linux for Controlled Testing and Software Bug-finding
This seems like it could be combined with https://github.com/plasma-umass/stabilizer (currently unmaintained and out of date) to control for most of the unwanted variables in profiling.
What are some alternatives?
sapling - A Scalable, User-Friendly Source Control System.
reverie - An ergonomic and safe syscall interception framework for Linux.
rr - Record and Replay Framework
devtools - Replay.io DevTools
radical-vscode - A dark theme for radical hacking inspired by retro futuristic design.
sysfetch - A super tiny system information fetch script written in BASH
ough-hugo - lovely hugo theme that uses a fabform.io contact form
Protocol-Examples - Example apps demonstrating how to use the Replay Protocol API
sled - the champagne of beta embedded databases
dettrace - A determinizing tracer using Ptrace
mm0 - Metamath Zero specification language