guest ::
| 001 | 998168 | ||
| 005 | 20250930080625.0 | ||
| 024 | 7 | _ | |2 datacite_doi |a 10.18154/RWTH-2024-11181 |
| 037 | _ | _ | |a RWTH-2024-11181 |
| 041 | _ | _ | |a English |
| 100 | 1 | _ | |0 P:(DE-82)IDM05431 |a Schwitanski, Simon |b 0 |u rwth |
| 245 | _ | _ | |a Artifact for 'Modeling Synchronization and Consistency for Data Race Detection in Remote Memory Access Programs' |h online |
| 246 | _ | 3 | |a Artefakt zu 'Modellierung von Synchronisation und Konsistenz zur Erkennung von Data Races in Remote-Memory-Access-Programmen' |y German |
| 260 | _ | _ | |c 2025 |
| 336 | 7 | _ | |2 BibTeX |a MISC |
| 336 | 7 | _ | |0 PUB:(DE-HGF)32 |2 PUB:(DE-HGF) |a Dataset |b dataset |m dataset |s 1745569381_3721243 |
| 336 | 7 | _ | |0 26 |2 EndNote |a Chart or Table |
| 336 | 7 | _ | |2 DataCite |a Dataset |
| 336 | 7 | _ | |2 ORCID |a DATA_SET |
| 336 | 7 | _ | |2 DINI |a ResearchData |
| 500 | _ | _ | |a 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). |
| 520 | 3 | _ | |a 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. |
| 520 | _ | _ | |a 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. |
| 591 | _ | _ | |a Germany |
| 653 | _ | 7 | |a HPC |
| 653 | _ | 7 | |a Data Races |
| 653 | _ | 7 | |a Memory Consistency |
| 653 | _ | 7 | |a Synchronziation |
| 653 | _ | 7 | |a RMA |
| 653 | _ | 7 | |a Correctness |
| 787 | 0 | _ | |0 RWTH-2024-11180 |a Schwitanski, Simon et.al. |d Aachen : RWTH Aachen University, 2025 |i RelatedTo |t Modeling synchronization and consistency for data race detection in remote memory access programs |
| 856 | 4 | _ | |u https://publications.rwth-aachen.de/record/998168/files/Rechteeinraeumung_998168.pdf |
| 856 | 4 | _ | |u https://publications.rwth-aachen.de/record/998168/files/artifact.zip |y OpenAccess |
| 909 | C | O | |o oai:publications.rwth-aachen.de:998168 |p openaire |p open_access |p VDB |p driver |
| 910 | 1 | _ | |0 I:(DE-588b)36225-6 |6 P:(DE-82)IDM05431 |a RWTH Aachen |b 0 |k RWTH |
| 914 | 1 | _ | |y 2025 |
| 915 | _ | _ | |0 StatID:(DE-HGF)0510 |2 StatID |a OpenAccess |
| 915 | _ | _ | |0 LIC:(DE-HGF)CCBY4 |2 HGFVOC |a Creative Commons Attribution CC BY 4.0 |
| 920 | 1 | _ | |0 I:(DE-82)123010_20140620 |k 123010 |l Lehrstuhl für Hochleistungsrechnen (Informatik 12) |x 0 |
| 920 | 1 | _ | |0 I:(DE-82)120000_20140620 |k 120000 |l Fachgruppe Informatik |x 1 |
| 920 | 1 | _ | |0 I:(DE-82)100000_20140620 |k 100000 |l Fakultät für Mathematik, Informatik und Naturwissenschaften |x 2 |
| 920 | 1 | _ | |0 I:(DE-82)022000_20140101 |k 022000 |l IT Center |x 3 |
| 980 | 1 | _ | |a FullTexts |
| 980 | _ | _ | |a dataset |
| 980 | _ | _ | |a VDB |
| 980 | _ | _ | |a UNRESTRICTED |
| 980 | _ | _ | |a I:(DE-82)123010_20140620 |
| 980 | _ | _ | |a I:(DE-82)120000_20140620 |
| 980 | _ | _ | |a I:(DE-82)100000_20140620 |
| 980 | _ | _ | |a I:(DE-82)022000_20140101 |
| Library | Collection | CLSMajor | CLSMinor | Language | Author |
|---|