Community
cancel
Showing results for 
Search instead for 
Did you mean: 
mpoleg
Beginner
114 Views

RacerX

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.

0 Kudos
3 Replies
Aaron_T_Intel
Employee
114 Views

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
Black Belt
114 Views


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

Jim Dempsey
Dmitry_Vyukov
Valued Contributor I
114 Views

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.

Reply