jasonwhite

11 ms·

1.
by jasonwhite 4y ago
There shouldn't be! We don't do any sort of binary rewriting, which is the typical problem with JITed code.
2.
by jasonwhite 4y ago
I'm the primary author of Reverie[1], the syscall interception framework that Hermit sits on top of. We don't currently use ptrace's SYSEMU, but that's something I'm interested in looking into. Any way we can speed
3.
by jasonwhite 4y ago
Oops, yes, you are correct and it's not too hard to get around that by adding the user to a group that has access. Still, nested virtualization isn't always enabled, which I think limits the number of places we can run.
4.
by jasonwhite 4y ago
We certainly looked into gVisor and Firecracker when we started this project a few years ago. These systems use KVM and gVisor in particular uses the Model Specific Registers (MSRs) to intercept system calls before forwarding them to the ho
5.
by jasonwhite 4y ago
Once we have complete control over the determinism of a test, we can start to play with tweaking the non-deterministic inputs in a controlled way. For example, we can tweak the RNG seed used for thread scheduling to explore schedules that w
6.
by jasonwhite 4y ago
We're working on it! Should be fixed soon.
7.
by jasonwhite 4y ago
- We've taken a lot of inspiration from RR and it is very good at what it does (record/replay + randomizing thread schedules). This project diverges a bit from RR in that we focus more on the concurrency testing application of det
8.
by jasonwhite 4y ago
Since CPU is a "compressible" resource, system load doesn't affect the determinism. It'll make it slower of course. Since memory is a non-compressible resource, things can start getting killed by the OOM-killer and there
9.
Deterministic Linux for Controlled Testing and Software Bug-Finding(developers.facebook.com)
3 points by jasonwhite 4y ago|1 comments
10.
by jasonwhite 4y ago
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 interleavin