Thread Validator Tutorial
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 Thread Validator more efficiently.
Example Application
The example application is tvExample.exe in the tvExample folder in the installation folder.
The following tutorials are available. More tutorials will be made available in response to customer feedback.
- Getting started.
- User Interface Mode.
- How to interpret the thread validator displays.
- Analysing an application.
- Good Lock Strategy.
- Deadlock using 2 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.
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.