arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~

重新审视MemGuard的开销:一份复现报告

Revisiting MemGuard Overhead: A Reproduction Report

Weifan Chen, Heechul Yun, Renato Mancuso

arXiv 2609.04547首次发表:更新:

发表机构

Boston University; University of Kansas(波士顿大学; 堪萨斯大学)

机构由 AI 辅助整理,请以论文原文为准。

AI 中文总结

本报告复现实验后发现,旧版本MemGuard因配置不当导致开销被高估,采用现代去中心化实现的MemGuard后,其开销与MemPol相当,为内存带宽调节器评估提供了新视角。

AI 中文摘要

随着越来越多嵌入式平台集成多个处理单元,共享资源竞争引发的不可预测执行时间对实时系统设计构成挑战。内存带宽调节是常用缓解方法,MemGuard是该领域的典型示例。近期MemPol提出一种新的带宽调节机制,并将其与MemGuard对比,报告称MemGuard存在显著开销,最高可达1.79倍的减速,以此凸显MemPol的相对优势。本报告旨在澄清并补充该前期工作中实验的必要细节。具体而言,我们表明前期评估中呈现的MemGuard开销被无意放大,原因是使用了旧版本MemGuard的次优配置,其中被测基准程序被直接绑定到负责处理全局定时器中断的主核心上。通过使用现代、去中心化实现的MemGuard忠实复现这些特定实验,我们证明在相同条件下实际执行开销显著降低。因此,当使用配置恰当的最新版本评估时,MemGuard的开销与MemPol的开销高度相当。通过重新审视这些基线指标,本报告为内存带宽调节器的未来评估提供了更新且全面的视角。

英文摘要

As an increasing number of embedded platforms incorporate multiple processing units, shared resource contention induced unpredictable execution time poses a challenge for real-time system design. Memory bandwidth regulation is a popular mitigation approach, and MemGuard is the canonical example. Recently, MemPol introduced a new bandwidth regulation mechanism, which was compared with MemGuard. Specifically, they reported significant overheads for MemGuard, citing up to a 1.79x slowdown, to contextualize MemPol's comparative benefits. This report is meant to clarify and add the necessary nuance to the experiments carried out in that prior work. Specifically, we show that the MemGuard overheads presented in these prior evaluations were unintentionally amplified as the result of using a suboptimal configuration with an older version of MemGuard, wherein the benchmark under test was pinned directly to the master core responsible for handling global timer interrupts. By faithfully reproducing these specific experiments using a modern, decentralized implementation of MemGuard, we demonstrate that the actual execution overhead drops significantly under identical conditions. Consequently, when evaluated with a properly configured recent version, MemGuard exhibits an overhead that is highly comparable to MemPol's overhead. By revisiting these baseline metrics, this report provides an updated and comprehensive perspective required for future evaluations of memory bandwidth regulators.

论文原文

arXiv 摘要页 · PDF 原文 · HTML 原文

↑