.png){kind=icon}
返回
Accelerating Data Dependence Profiling Through Abstract Interpretation of Loop Instructions
.png){kind=icon}
OA
AI
DOI：10.1109/ACCESS.2022.3160729.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Data dependence analysis is a must-do operation for parallelisation since it reveals the safe parallelisable regions of serial codes. Generally, it relies on dynamic analysis, which incurs substantial execution time and memory space overheads. As a result, there have been many efforts in the literature to strike a balance between accuracy and runtime overhead. The approaches generally rely on random instruction sampling, parallelising analysis, as well as filtering statically determined dependencies and independencies. This paper considers an alternate approach of conducting static analysis at runtime, exploiting available states just before executing loops, potentially improving precision. In particular, the paper adopts abstract interpretation using interval, congruent, and bisector domains for detecting memory data dependencies in binary programs at runtime. Abstract interpretation has the advantage of being associated with the execution semantics, making it more natural to model binary instruction execution. The profiler is implemented on top of the Pin framework and evaluated using the Polyhedral, NPB, and SPEC 2006 benchmarks suites. Results show a mean accuracy of 90.4% with an average 16.3 x speedup in time in comparison with related work, making it a promising approach.
Keyword:
Abstract interpretation
data dependence profiling
dynamic binary analysis
interval domain
congruent domain
bisector domain
期刊
IF:
3.6
论文数:
9.8W
被引数:
29.4W
机构
引用论文
.png){kind=icon}
Maintaining cytosolic aspartate levels is a major function of the TCA cycle in proliferating cells
OAAI
OAAI分享收藏
查看更多内容