Thread Validator Tutorials
The Tutorials
Getting Started
User Interface Mode
How to interpret the thread validator displays
Analysing an Application
Good Lock Strategy
Deadlock using two threads
Potential deadlock caused by incorrect locking strategy.
Potential deadlock caused by an infinite wait.
Leaving an unlocked critical section.
Deleting a locked critical section.
Leaving a critical section in the wrong order.
Identifying deadlock objects when not collecting callstacks.
Analysing an existing deadlocked application.
Getting information about a threading error.
Detecting deadlocks in a child process
Detecting deadlocks in a service
Detecting deadlocks in a service child process
Detecting deadlocks in an IIS ISAPI DLL
Command Line Deadlock Detection in a Child Process
Thread Validator Tutorials
This document is intended to augment the information in the Thread Validator Help file. If you have not read the help file we encourage you to do so. Thread Validator is a powerful and complex product, reading the help manual will help you use it more efficiently.
Example Application
The example application is nativeExample.exe in the nativeExample folder in the installation folder.
The following tutorials are available. More tutorials will be made available in response to customer feedback.
Feedback
If you would like a tutorial on how to use Thread Validator to perform a given task, we will be happy to provide a tutorial, just let us know what topics you need the tutorial to cover. Send your suggestions to support@softwareverify.com.