http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png

Artifact for 'Modeling Synchronization and Consistency for Data Race Detection in Remote Memory Access Programs' = Artefakt zu 'Modellierung von Synchronisation und Konsistenz zur Erkennung von Data Races in Remote-Memory-Access-Programmen'

Schwitanski, Simon^RWTH*

2025

The data is licensed under multiple licenses. The licenses can either be found in the file itself or in the file REUSE.toml. The licensing in this artifact is REUSE-compliant (https://reuse.software).

Online
DOI: 10.18154/RWTH-2024-11181
URL: https://publications.rwth-aachen.de/record/998168/files/artifact.zip

Einrichtungen

1. Lehrstuhl für Hochleistungsrechnen (Informatik 12) (123010)
2. Fachgruppe Informatik (120000)
3. Fakultät für Mathematik, Informatik und Naturwissenschaften (100000)
4. IT Center (022000)

Inhaltliche Beschreibung (Schlagwörter)
HPC (frei) ; Data Races (frei) ; Memory Consistency (frei) ; Synchronziation (frei) ; RMA (frei) ; Correctness (frei)

Kurzfassung
Dies ist das Artefakt der Dissertation 'Modellierung von Synchronisation und Konsistenz zur Erkennung von Data Races in Remote-Memory-Access-Programmen'. In der Dissertation wird ein Werkzeug zur generalisierten Erkennung von Data Races in Remote-Memory-Access-Programmen, genannt RMASanitizer, entwickelt. RMASanitizer wird in Hinblick auf Klassifikationsqualität und Overhead analysiert, indem es auf einfachen Testfällen sowie Proxy-Applikationen unter Verwendung verschiedener Programmiermodelle (MPI RMA, OpenSHMEM, GASPI) evaluiert wird. Das Artefakt enthält den Quellcode von RMASanitizer sowie alle Ergebnisse (Overheaduntersuchung der Vektoruhr auf SPEC MPI, RMARaceBench Evaluation, Overheaduntersuchung auf RMA-Proxy-Applikationen), die in der Dissertation präsentiert werden. Außerdem enthält es die vollständige Infrastruktur für die Reproduktion dieser Ergebnisse. Weitere Informationen und Anleitungen zur Reproduzierbarkeit sind im Artefakt selbst enthalten.

This is the artifact of the dissertation 'Modeling Synchronization and Consistency for Data Race Detection in Remote Memory Access Programs'. In the dissertation, a generalized data race detector for Remote Memory Access Programs, named RMASanitizer, is developed. RMASanitizer is evaluated in terms of classification quality and overhead by applying it to small test cases and proxy applications using different programming models (MPI RMA, OpenSHMEM, GASPI). The artifact contains the source code of RMASanitizer and all results (SPEC MPI vector clock overhead study, RMARaceBench evaluation, overhead study on RMA proxy applications) presented in the disstertation. Moreover, it includes the complete infrastructure to reproduce those results. Further information and instructions on reproducibility are provided in the artifact itself.

OpenAccess:
ZIP
(additional files)

Dokumenttyp
Dataset

Format
online

Sprache
English

Interne Identnummern
RWTH-2024-11181
Datensatz-ID: 998168

Beteiligte Länder
Germany