Last modified on 23 March 2014, at 13:56

Linux Applications Debugging Techniques/Race conditions

Valgrind HelgrindEdit

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

Valgrind DrdEdit

  • Same.

ThreadSanitizer (tsan)Edit

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

RelacyEdit

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

PromelaEdit

ReferencesEdit