Artifact for 'Modeling Synchronization and Consistency for Data Race Detection in Remote Memory Access Programs'

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.