Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, nondeterministic behavior, into deterministic, repeatable behavior. This can be used for various applications, including replay-debugging, reproducible artifacts, chaos mode concurrency testing and bug analysis.
[x] Linux kernel version (uname -a): Linux salmon-linux-desktop 6.7.6-200.fc39.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Feb 23 18:27:29 UTC 2024 x86_64 GNU/Linux
[x] CPU version (/proce/cpuinfo): 13th Gen Intel(R) Core(TM) i9-13900K
[x] Linux distro flavor (/etc/issue, /etc/redhat-release): Fedora Linux 39 (Workstation Edition)
Additional context
Attach the logs to this issue as a text file generated by hermit --log=trace --log-file=FOO run.
2024-03-06T02:39:22.708980Z INFO detcore::scheduler::runqueue: DETLOG SCHEDRAND: seeding scheduler runqueue with seed 0
2024-03-06T02:39:22.710124Z INFO detcore::scheduler: [scheduler] daemon task starting up, waiting for guest thread start..
2024-03-06T02:39:22.710282Z TRACE detcore: [tid 3] detcore init new thread state
2024-03-06T02:39:22.710320Z INFO detcore::tool_local: DETLOG USER RAND: seeding PRNG for root thread with seed 0
2024-03-06T02:39:22.710356Z INFO detcore::tool_local: DETLOG CHAOSRAND: seeding chaos scheduler with seed 0
Describe the bug Running
hermit run -- ls
panics on an Intel 13900k (Raptor lake)Indicate any of these common scenarios that apply:
To Reproduce
./target/debug/hermit run -- ls
Expected behavior No panic.
Environment
uname -a
):Linux salmon-linux-desktop 6.7.6-200.fc39.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Feb 23 18:27:29 UTC 2024 x86_64 GNU/Linux
/proce/cpuinfo
):13th Gen Intel(R) Core(TM) i9-13900K
/etc/issue
,/etc/redhat-release
):Fedora Linux 39 (Workstation Edition)
Additional context Attach the logs to this issue as a text file generated by
hermit --log=trace --log-file=FOO run
.