Accelerating Data Dependence Profiling Through Abstract Interpretation of Loop Instructions

Mostafa Abbas*, Mostafa I. Soliman*, Sherif I. Rabia, Keiji Kimura, Ahmed El-Mahdy*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review


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 × speedup in time in comparison with related work, making it a promising approach.

Original languageEnglish
Pages (from-to)31626-31640
Number of pages15
JournalIEEE Access
Publication statusPublished - 2022


  • Abstract interpretation
  • bisector domain
  • congruent domain
  • data dependence profiling
  • dynamic binary analysis
  • interval domain

ASJC Scopus subject areas

  • Engineering(all)
  • Materials Science(all)
  • Computer Science(all)


Dive into the research topics of 'Accelerating Data Dependence Profiling Through Abstract Interpretation of Loop Instructions'. Together they form a unique fingerprint.

Cite this