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]

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

[aruslan]

И таки да -- не верилось, что буду жить во время ASAN/MSAN/UBSAN/TSAN и llvm-fuzz.

[kunaifusu]

Поискал что это такое, по первой ссылке: http://llvm.org/devmtg/2012-11/Serebryany-ASAN-TSAN-Poster.pdf увидел
Low Overhead
ASan: CPU: 2x; RAM: 2x­4x
TSan: CPU: 4x­8x; RAM: 5x
MSan: CPU: 3x; RAM: 3x

да, я еще не достаточно расслаблен для таких оверхедов =)

[tanuhr]

сластена...

[aruslan]

уррр!