?

Log in

No account? Create an account
C++ Relacy Race Detector - Valse oubliée [entries|archive|friends|userinfo]
aruslan

[ userinfo | livejournal userinfo ]
[ archive | journal archive ]
[ delicious | aruslan's delicious ]

Links
[Links:| Tags Profile Friends FG1 PP gamedev XNA FF Entries Comments Memories ]

C++ Relacy Race Detector [Aug. 20th, 2008|08:11 pm]
aruslan
[Tags|, ]

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

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

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

Comments:
[User Picture]From: kunaifusu
2008-08-21 10:26 am (UTC)
Расслабленая память? Чует мое сердце будет раскол, на расслабленых и напряженных.
(Reply) (Thread)
[User Picture]From: aruslan
2015-09-15 09:36 pm (UTC)
И таки да -- не верилось, что буду жить во время ASAN/MSAN/UBSAN/TSAN и llvm-fuzz.
(Reply) (Parent) (Thread)
[User Picture]From: kunaifusu
2015-09-16 03:55 am (UTC)
Поискал что это такое, по первой ссылке: 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

да, я еще не достаточно расслаблен для таких оверхедов =)
(Reply) (Parent) (Thread)
[User Picture]From: tanuhr
2008-08-21 07:38 pm (UTC)
сластена...
(Reply) (Thread)
[User Picture]From: aruslan
2008-08-28 03:26 am (UTC)
уррр!

Edited at 2008-08-28 03:26 am (UTC)
(Reply) (Parent) (Thread)