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