验证 + 论文

把系统变成论文:功能验证、性能量化、Rust vs C 对比、成文。这是答辩的直接弹药。

• 功能测试:隔离矩阵(每个 VM 对每个非授权区域的访问都被拦截)、调度公平性(各 VM 实际获得的时间片)
• 性能基准:HVC 往返延迟、上下文切换开销、虚拟中断注入延迟——用 PMU cycle counter,报告分布而不只是均值
• Rust vs C 对比:unsafe 代码占比与集中度、代码量、同工况性能;诚实呈现 Rust 的成本与收益
• 论文章节:目标平台硬件描述、混合虚拟化设计论证、实现、评估、相关工作

• example/Benchmarks —— 基准测试参考
• tests/Isolation —— 隔离测试参考

benchmark 要固定时钟/缓存状态并写清方法学,否则数据站不住。Rust/C 对比避免"吹 Rust"——答辩老师更认可诚实的 trade-off 分析。

可答辩:硬件上验证通过,数据与对比成文。

暂无记录。