Linux Applications Debugging Techniques/Race conditions

From Wikibooks, open books for an open world
Jump to: navigation, search

Valgrind Helgrind[edit]

  • [v 3.7] On amd64 platforms it does not survive for long because of the vex disassembler.

Valgrind Drd[edit]

  • Same.

ThreadSanitizer (tsan)[edit]

  • Usually better than Helgrind, as it does not depend on valgrind anymore.

Relacy[edit]

  • C++0x/11 synchronization modeler/unit tests tool.

Promela[edit]

References[edit]