paperbot · PL 论文追踪

全部论文 待读 收藏

P2 BVAP: Energy and Memory Efficient Automata Processing for Regular Expressions with Bounded Repetitions

BVAP:面向有界重复正则表达式的能量与内存高效自动机处理
ASPLOS Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22024匹配度 1/10 · 论文聚焦正则表达式有界重复的专用内存自动机处理器软硬件协同设计,属于体系结构与编译器方向,未涉及静态分析、LLM/Agent、浮点程序分析或贝叶斯程序分析,与研究画像核心方向基本无关。引用 9 inbox
Ziyuan Wen, Lingkun Kong, Alexis Le Glaunec, Konstantinos Mamouras, Kaiyuan Yang
crossref: 2026-09-12dblp: 2026-09-12

AI 速览

一句话:提出软硬件协同的内存位向量自动机处理器 BVAP,高效支持正则表达式有界重复。

正则模式匹配广泛用于文本处理、恶意软件检测、网络安全和生物信息学。现有内存自动机处理器在能效和内存效率上优于通用平台,但普遍缺乏对正则表达式中广泛使用的有界重复结构的有效支持。本文提出 BVAP,一种软硬件协同设计的内存位向量自动机处理器。其核心是新的理论模型——动作同质非确定位向量自动机(AH-NBVA),并配套高效硬件实现与将正则表达式转换为硬件配置的编译器。作者用周期精确模拟器在 28nm CMOS 工艺下评估,在多个真实基准上相比 CA、eAP 和 CAMA,能效提高 67-95%,面积减少 42-68%。

问题
现有专用内存自动机处理器能高效执行正则匹配,但缺乏对正则表达式中广泛使用的有界重复构造的高效支持。
方法
提出 BVAP 软硬件协同设计,包括新自动机模型 AH-NBVA、对应高效硬件实现,以及将正则表达式编译为硬件配置的编译器。
评估
使用 28nm CMOS 周期精确模拟器和真实基准,与 CA、eAP、CAMA 对比,报告能效提升 67-95%、面积降低 42-68%。
原文摘要(Abstract)

Regular pattern matching is pervasive in applications such as text processing, malware detection, network security, and bioinformatics. Recent studies have demonstrated specialized in-memory automata processors with superior energy and memory efficiencies than existing computing platforms. Yet, they lack efficient support for the construct of bounded repetition that is widely used in regular expressions (regexes). This paper presents BVAP, a software-hardware co-designed in-memory Bit Vector Automata Processor. It is enabled by a novel theoretical model called Action-Homogeneous Non-deterministic Bit Vector Automata (AH-NBVA), its efficient hardware implementation, and a compiler that translates regexes into hardware configurations. BVAP is evaluated with a cycle-accurate simulator in a 28nm CMOS process, achieving 67-95% higher energy efficiency and 42-68% lower area, compared to state-of-the-art automata processors (CA, eAP, and CAMA), across a set of real-world benchmarks.

链接与引用

DOI 原文 · DBLP

BibTeX
@inproceedings{WenKGM024,
  title = {BVAP: Energy and Memory Efficient Automata Processing for Regular Expressions with Bounded Repetitions},
  author = {Ziyuan Wen and Lingkun Kong and Alexis Le Glaunec and Konstantinos Mamouras and Kaiyuan Yang},
  booktitle = {ASPLOS},
  year = {2024},
  doi = {10.1145/3620665.3640412}
}