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.
Other
1.17k
stars
31
forks
source link
thread 'main' panicked at 'prehook: Missed expected preemption!..' #20
thread 'main' panicked at 'prehook: Missed expected preemption! Clock_value: 29407230. Stepped forward 27577123 RCBs, but should have trapped at 17690825'
[ ] a program hangs under hermit
[x] hermit panics internally
[ ] hermit runs the program but divergence (nondeterminism) occurs
To Reproduce
Cannot share binary unfortunately. However it is linked against a basis library with quite some changes to standard glibc (lots of hooks). A simple program works. So I suspect that library to be the problem.
Expected behavior
Program executes successfully.
Environment
[x] Linux kernel version (uname -a): Linux ld6216 4.12.14-197.45-default #1 SMP Thu Jun 4 11:06:04 UTC 2020 (2b6c749) x86_64 x86_64 x86_64 GNU/Linux
[x] CPU version (/proce/cpuinfo): Intel(R) Xeon(R) Silver 4116 CPU @ 2.10GHz
Describe the bug
thread 'main' panicked at 'prehook: Missed expected preemption! Clock_value: 29407230. Stepped forward 27577123 RCBs, but should have trapped at 17690825'
To Reproduce Cannot share binary unfortunately. However it is linked against a basis library with quite some changes to standard glibc (lots of hooks). A simple program works. So I suspect that library to be the problem.
Expected behavior Program executes successfully.
Environment
uname -a
):Linux ld6216 4.12.14-197.45-default #1 SMP Thu Jun 4 11:06:04 UTC 2020 (2b6c749) x86_64 x86_64 x86_64 GNU/Linux
/proce/cpuinfo
):Intel(R) Xeon(R) Silver 4116 CPU @ 2.10GHz
/etc/issue
,/etc/redhat-release
):Additional context Logs attached. hermit.log