Ruby Thread Validator Tutorial
This document is intended to augment the information in the Ruby Thread Validator Help file. If you have not read the help file we encourage you to do so. Ruby Thread Validator is a powerful and complex product, reading the help manual will help you use Ruby Thread Validator more efficiently.
Example Application
The example application is rtvExample.rb in the rtvExample 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 Ruby Thread Validator displays.
- Analysing an application.
- Good Lock Strategy.
- Deadlock using 2 threads.
Feedback
If you would like a tutorial on how to use Ruby 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.