Relacy Race Detector

Meticulous synchronization algorithm verifier for relaxed memory models

• http://www.1024cores.net/home/relacy-race-detector
• http://www.1024cores.net/home/relacy-race-detector/rrd-introduction

Compilers known to work

At a minimum, a C++11 compiler is assumed. The below compilers have been recently (Aug 2024) tested and confirmed to work

• Linux x86_64 (GCC-11 and Clang-18)
• Mac x86_64 (Clang-15)