search

theseus-os / Theseus

Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between compiler and hardware by maximally leveraging the power of language safety and affine types. Theseus aims to shift OS responsibilities like resource management into the compiler.
https://www.theseus-os.com/
MIT License
2.92k stars 172 forks source link

Live Evolution Evaluation #1099

Open Godones opened 5 months ago

Godones commented 5 months ago

How can I reproduce the live evolution evaluation?

kevinaboos commented 5 months ago

Sorry for the delay (wrapped up in other projects right now), but I haven't tested live evolution functionality in quite a while -- I hope it still works on the current main branch, but things still may need some fixing up.

You can always recreate our original evaluation from our origin 2020 OSDI paper about Theseus by looking at the detailed instructions in the osdi20ae branch, which was used by the Artifact Evaluation peer reviewers to reproduce and verify our reported results.