thread validator overview
Software Verification logo

Thread Validator CD Picture
Thread Validator

Eval Buy
Single user: $499

Thread Validator - Overview

Thread Validator was created to provide automated detection of thread synchronisation errors such as deadlock detection, potential deadlock detection and the detection of lock acquisition strategies that may work, but be potentially dangerous. Thread Validator can also provide complete stack traces for threads that have already deadlocked. This is in contrast to the same situation you will find in a debugger where the stack trace ends inside ntdll.dll. This allows you to use Thread Validator to perform deadlock postmortem analysis.

View the feature list for Thread Validator.

You can use Thread Validator in four ways:

Thread Validator does not require your program to be recompiled or relinked.

Thread Validator does not cause significant drops in performance. Thread Validator causes a target program to run marginally slower than normal.

Thread Validator   Go to Top ^^
About Us | Site Map | Legal | Contact Us | ©2002-2008: Software Verification Ltd : All rights reserved: Registered in England and Wales No. 3939098
Design by ITS GUI