paperbot · PL 论文追踪

全部论文 待读 收藏

P2 SUIT: Secure Undervolting with Instruction Traps

SUIT:利用指令陷阱实现安全降压
ASPLOS Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22024匹配度 1/10 · 该论文研究的是CPU降压安全与软硬件协同DVFS/指令陷阱机制,属于体系结构与硬件安全方向;与用户关注的PL→AI/静态分析、LLM/Agent、浮点程序分析或贝叶斯程序分析均无直接关联。引用 4 inbox
Jonas Juffinger, Stepan Kalinin, Daniel Gruss, Frank Mueller
crossref: 2026-09-12dblp: 2026-09-12

AI 速览

一句话:提出软硬件协同的 SUIT,用指令陷阱与双 DVFS 曲线在几乎不损失安全性的前提下降低降压安全裕量。

现代 CPU 为能效动态调压调频,但电压过低会引发安全关键错误,厂商只能保留较大安全裕量,带来能耗开销。论文观察到不同指令对降压故障敏感度不同,且多数可故障指令实际很少执行。SUIT 采用双 DVFS 曲线:对频繁可故障指令在硬件上静态放松关键路径,使其在高效曲线上不再故障但增加该指令性能开销;对不频繁可故障指令引入陷阱,阻止其在高效曲线上执行,临时切换到保守曲线,并在一定时间内未执行可故障指令后切回。作者在真实硬件和模拟上评估各组件,SPEC CPU2017 上性能开销 3.79%,CPU 能效平均提升 20.8%。

问题
现代 CPU 通过降压提效,但电压过低会导致安全关键错误;厂商依靠保守安全裕量避免错误,却牺牲了能效。
方法
SUIT 采用软硬件协同设计:对频繁可故障指令静态放松关键路径,对不频繁可故障指令加入陷阱,并按需在高效与保守 DVFS 曲线间切换。
评估
作者在真实硬件与模拟上评估 SUIT 各组件,并在 SPEC CPU2017 上测量性能与能效,显示 3.79% 性能开销和平均 20.8% 的 CPU 能效提升。
原文摘要(Abstract)

Modern CPUs dynamically scale voltage and frequency for efficiency. However, too low voltages can result in security-critical errors. Hence, vendors use a generous safety margin to avoid errors at the cost of higher energy overheads. In this work, we present SUIT, a novel hardware-software co-design to reduce the safety margin substantially without compromising reliability or security. We observe that not all instructions are equally affected by undervolting faults and that most faultable instructions are infrequent in practice. Hence, SUIT addresses infrequent faultable instructions via two separate DVFS curves, a conservative and an efficient one. For frequent faultable instructions, SUIT statically relaxes the critical path in hardware. Consequently, the instruction is not faultable anymore on the efficient DVFS curve at the cost of performance overheads for this specific instruction. For infrequent faultable instructions, SUIT introduces a trap mechanism preventing execution on the efficient curve. With this trap mechanism, SUIT temporarily switches to the conservative DVFS curve and switches back if no faultable instruction was executed within a certain time frame. We evaluate all building blocks of SUIT, using both measurements on real hardware and simulations, showing a performance overhead of 3.79%, and a CPU efficiency gain of 20.8% on average on SPEC CPU2017.

链接与引用

DOI 原文 · PDF(开放获取) · DBLP

BibTeX
@inproceedings{JuffingerKGM24,
  title = {SUIT: Secure Undervolting with Instruction Traps},
  author = {Jonas Juffinger and Stepan Kalinin and Daniel Gruss and Frank Mueller},
  booktitle = {ASPLOS},
  year = {2024},
  doi = {10.1145/3620665.3640373}
}