Data for 'Evaluating Static Analysis Techniques to Accelerate Data Race Detection for MPI RMA'

Oraji, Yussur Mustafa; Schwitanski, Simon

doi:10.18154/RWTH-2023-02710

Data for 'Evaluating Static Analysis Techniques to Accelerate Data Race Detection for MPI RMA' = Daten für 'Evaluation statischer Analysemethoden zur Performanceoptimierung von Data-Race-Erkennung für MPI RMA'

Oraji, Yussur Mustafa ; Schwitanski, Simon^RWTH*

2023

This dataset is licensed under the GNU General Public License v3 or later. Explicitly excluded from this is the data in the folders LLVMPass\llvm-newpass and LLVMPass\MUST. The data in the folder LLVMPass\llvm-newpass is licensed under the Apache License v2.0 with LLVM Exceptions. The data in the folder LLVMPass\MUST is licensed under the MUST license. Details about these licenses are included in the respective folders.

Online
DOI: 10.18154/RWTH-2023-02710
URL: https://publications.rwth-aachen.de/record/953805/files/thesis_data.7z

Einrichtungen

Inhaltliche Beschreibung (Schlagwörter)
HPC (frei) ; MPI (frei) ; MPI RMA (frei) ; data races (frei)

Kurzfassung
This is the Dataset corresponding to "Evaluating Static Analysis Techniques to Accelerate Data Race Detection for MPI RMA" (RWTH-2023-05106). Most notably, this includes the source code for the optimization methods presented in the thesis, as well as the Docker container script required to reproduce the correctness results.

While the contained scripts are also capable of reproducing the performance results, they are expected to be run on the RWTH CLAIX-18 cluster. The reproduction steps are included in the thesis' appendix. Please note that the data is intended to be used on Linux systems only.

OpenAccess:
7Z
(additional files)