In this tutorial I will teach you how to use a tool called Nidhugg in order to unit test your multi-threaded C and C++ programs with the same guarantees and similar ease that you're used to testing single-threaded programs with.
I will give you a high level overview of what tools like Nidhugg are and how they work, and where the current state-of-the-art is. Through a series of examples, I will walk you through the process of adapting a test case for use with a tool like Nidhugg, and how to read it's output when it finds a problem. I will build you up to an example where we (re)discover and fix a bug in nontrivial real-world code, most likely from the Linux kernel.
URLs for An tutorial on exhaustively testing threaded C or C++ with Nidhugg
- Sunday Aug. 19 16:00 - 17:00 at Speakers Tent