Skip to Main content Skip to Navigation
Journal articles

IR-Level Dynamic Data Dependence Using Abstract Interpretation Towards Speculative Parallelization

Abstract : Recently, with the wide usage of multicore architectures, automatic parallelization has become a pressing issue. Speculative parallelization, one of the most popular automatic parallelization techniques, depends on estimating probably-parallelized code parts. This in turn motivates the employment of data dependence detection techniques for these code parts to report whether they contain dependence or not in order to be parallelized. In this paper, we propose a runtime data-dependence detection technique that is based on abstract interpretation at the intermediate representation (IR) level. We apply our proposed approach on the most frequently visited blocks of the code, hot loops. Unlike most existing approaches in which data analysis occurs at compile time, our proposed method conducts the analysis immediately while interpreting the code, which in turn saves the analysis time for potentially parallelized loops. Specifically, the proposed technique depends on the concept of abstract interpretation to analyze the hot loops at runtime. This process is done by firstly computing the abstract domain for each hot loop program points. Each abstract domain is incrementally computed, till a fixpoint is achieved for all program points, and correspondingly the analysis terminates in order to consecutively detect the existence of data dependence. Once the analysis result reports a parallelization possibility for the finished hot loop, the interpreter invokes the compiler to resume the execution in a parallel fashion as recommended by our proposed approach. The proposed technique is implemented on LLVM compiler, then used to test the dependence detection for a set of kernels on the Polybench framework, and the data dependence analysis required for each kernel is studied in terms of the computation overhead.
Document type :
Journal articles
Complete list of metadata

Cited literature [33 references]  Display  Hide  Download

https://hal.inria.fr/hal-02913838
Contributor : Erven Rohou <>
Submitted on : Monday, August 10, 2020 - 4:24:27 PM
Last modification on : Monday, August 31, 2020 - 3:04:44 PM
Long-term archiving on: : Monday, November 30, 2020 - 5:20:15 PM

File

Omar-2020-IEEEACCESS.pdf
Files produced by the author(s)

Identifiers

Citation

Rasha Omar, Ahmed El-Mahdy, Erven Rohou. IR-Level Dynamic Data Dependence Using Abstract Interpretation Towards Speculative Parallelization. IEEE Access, IEEE, 2020, 8, pp.99910-99921. ⟨10.1109/ACCESS.2020.2997715⟩. ⟨hal-02913838⟩

Share

Metrics

Record views

72

Files downloads

251