RacerX

[mpoleg]

Hi everybody

Can anybody tell where I can download an executable file, library or source code for
RacerX - a static analysis tool used for detecting races and deadlocks?

I can find the article describing the algorithm and other people's reviews only
but there is neither an exe file nor source code to download.
May be it is embedded into some another thread checking tool?

P.S. Hints on other static analysis toolsfor detecting multithreading bugs are very appriciated.

[AaronTersteeg]

Quoting - mpoleg

Hi everybody

Can anybody tell where I can download an executable file, library or source code for
RacerX - a static analysis tool used for detecting races and deadlocks?

I can find the article describing the algorithm and other people's reviews only
but there is neither an exe file nor source code to download.
May be it is embedded into some another thread checking tool?

P.S. Hints on other static analysis toolsfor detecting multithreading bugs are very appriciated.

I've been doing some checking within Intel and found that
"The papers all come from Stanford.We don't know if they have made it available for download or not.
By the way Our Thread Checker analysis engine is based on the "happens before" algorithm and it is dynamic not static."
I'll ping a few other folks to see if we can get a soild answer.

[jimdempseyatthecove]

Post a note to Dmitriy (usually on TBB forum). He has something call Relacy Racer (sp).

Jim Dempsey

[Dmitry_Vyukov]

Quoting - jimdempseyatthecove

Post a note to Dmitriy (usually on TBB forum). He has something call Relacy Racer (sp).

Relacy Race Detector is a dynamic verifier of multi-threaded code for relaxed memory models:
http://groups.google.ru/group/relacy

There is a number of multi-threading verification tools out there: Relacy Race Detector, Intel Thread Checker, VivaMP, Chord, Zing, Promela, RacerX, Coverity Thread Analyzer, Valgrind DRD, CHESS, KISS, PreFast, Prefix, FxCop, etc. They differ by type of verification: static/dynamic, types of detectable errors (most tools are only able to verify "mutex based" code), target language (C/C++, Java, .NET, lang independent), target technology (for example VivaMP is targeted at OpenMP technology), presence of false negatives and positives, supported memory model (sequential consistency or relaxed), ability to verify large code bases (whole real projects), etc.

I've read about RacerX, but didn't see executable/source code too. But AFAIK there is a number of very similar tools.