Hermit 将 linux x86_64 程序启动在一个特殊的、密封隔离的沙箱中,以控制它们的执行。Hermit 将正常的、非确定性的行为转换为确定性的行为。
Hermit 是一个可重现的 x86-64 Linux 程序容器。它在 Reverie ptrace 后端下运行未修改的客户机,并控制了非确定性的来源,包括线程调度、时间、随机数据、CPUID 结果和选定的文件元数据。Hermit 适用于可重复执行、受控并发性测试、记录/回放实验以及诊断对调度敏感的故障。
[!警告]
Rust-toolchain.toml
通过在命令前面加入 hermit run -- 来确定性地运行命令:
hermit run --
暂无开放 Issues,或尚未同步最近议题。
暂无评论,来聊聊你的看法吧