MDAT: Multithreading Debugging And Testing

Contributed by This page authored by Eric Larson, Seattle University. MDAT was created by Eric Larson and Rochelle Palting, Seattle University. (elarson@seattleu.edu)

MDAT is a multithreaded testing and debugging infrastructure designed for students learning to program with multiple threads. MDAT automatically generates random schedules to allow students to more thoroughly test their programs. The design of MDAT takes full control over the scheduling allowing a failing run to be reproduced. To assist debugging, MDAT includes an output trace that shows the status of all threads, locks, and semaphores in the program and has an interactive mode that allows students to try out their own schedules.

PPP Characteristics

Languages Supported: C++, C
OS Compatibility: Linux

Context of Use

MDAT is designed for students learning how to write multithreaded and concurrent programs. It is especially geared toward classical synchronization problems commonly found in OS course.

Materials

Resources



Comment? Start the discussion about MDAT: Multithreading Debugging And Testing