411 REFERENCE · Wikibooks
Linux Applications Debugging Techniques/Race conditions
Reference material by Wikibooks contributors. This retains its source identity and is not 411 news reporting.
Valgrind Helgrind
[v 3.7] On amd64 platforms it does not survive for long because of the vex disassembler.
Valgrind Drd
Same.
ThreadSanitizer (tsan)
Usually better than Helgrind, as it does not depend on valgrind anymore.
Relacy
C++0x/11 synchronization modeler/unit tests tool.
Promela
References
gdb & lib debugging support
Lockless Algorithms