HMTRace: Hardware-Assisted Memory-Tagging based Dynamic Data Race Detection
arxiv(2024)
摘要
Data race, a category of insidious software concurrency bugs, is often
challenging and resource-intensive to detect and debug. Existing dynamic race
detection tools incur significant execution time and memory overhead while
exhibiting high false positives. This paper proposes HMTRace, a novel Armv8.5-A
memory tag extension (MTE) based dynamic data race detection framework,
emphasizing low compute and memory requirements while maintaining high accuracy
and precision. HMTRace supports race detection in userspace OpenMP- and
Pthread-based multi-threaded C applications. HMTRace showcases a combined
f1-score of 0.86 while incurring a mean execution time overhead of 4.01
peak memory (RSS) overhead of 54.31
positives, asserting all reported races.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要