C++11メモリモデルに基づく競合検出ツール。BSD-likeライセンス。 Relacy Race DetectorRelacy Race Detector is a tool for efficient execution of unit-tests for synchronization algorithms written in C++0x. Every user thread is represented as a f…