C++ Relacy Race Detector

[aruslan]

Верификатор алгоритмов синхронизации для relaxed моделей памяти (в особенности C++0x).

http://www.rsdn.ru/Forum/message/3068646.flat.aspx
http://groups.google.ru/group/relacy/

Очень вкусно.