Linux Applications Debugging Techniques/Race conditions

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

Valgrind Helgrind

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

Valgrind Drd

[edit | edit source]
  • Same.

ThreadSanitizer (tsan)

[edit | edit source]
  • Usually better than Helgrind, as it does not depend on valgrind anymore.

Relacy

[edit | edit source]
  • C++0x/11 synchronization modeler/unit tests tool.

Promela

[edit | edit source]

References

[edit | edit source]
Retrieved from "https://en.wikibooks.org/w/index.php?title=Linux_Applications_Debugging_Techniques/Race_conditions&oldid=4277958"