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.

---

Speakers for An tutorial on exhaustively testing threaded C or C++ with Nidhugg:

---

Metadata for An tutorial on exhaustively testing threaded C or C++ with Nidhugg

To be recorded: Yes

---

URLs for An tutorial on exhaustively testing threaded C or C++ with Nidhugg

Github: https://github.com/nidhugg/nidhugg

Recording: https://www.youtube.com/watch?v=O0WNjzAhyQk

---

Schedule for An tutorial on exhaustively testing threaded C or C++ with Nidhugg

• Sunday, Aug 19th, 2018, 16:00 (CEST) - Sunday, Aug 19th, 2018, 17:00 (CEST) at Speakers Tent