利用硬件辅助虚拟化在商品多核处理器上进行确定性重放
确定性重放提供了向后移动并重构多处理器系统过去的执行流程的能力,它具有许多杰出的应用程序。 该领域的现有研究可以分为两类:纯硬件方案和纯软件方案。 尽管纯硬件方案可提供高性能,但它们需要对现有硬件进行重大修改。 相比之下,仅软件方案可在商用硬件上运行,但会遭受过多的性能开销和大量日志。 在本文中,我们介绍了新型系统Samsara的设计和实现,该系统使用硬件辅助虚拟化(HAV)扩展来实现高效的确定性重放,而无需进行任何硬件修改。 与现有的跟踪每个内存访问以记录交织的软件方案不同,Samsara利用商品处理器上的HAV来跟踪读取集和写入集,以在软件中实现基于块的记录方案。 这样,我们避免了所有内存访问检测,这是先前工作的主要开销来源。 评估结果表明,与先前的纯软件方案相比,Samsara显着地将日志文件大小平均减少到1/70,并将记录开销从最新作品报道的大约10倍减少到了2:平均1倍。
暂无评论