C++ Relacy Race Detector

[aruslan]

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

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

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

Comments

[kunaifusu.livejournal.com]

Расслабленая память? Чует мое сердце будет раскол, на расслабленых и напряженных.