This tutorial demonstrates how to use Thread Validator to identify a potential deadlock involving an infinite wait. Thread Validator cannot make this judgement itself as the decision that a potential deadlock can occur is a matter of judgement for the software engineer debugging this issue.
Note that for your executing nativeExample your critical section addresses, thread Ids and sequence numbers will all be different. We have used the values that we experienced to write this tutorial. Substitute your own values where appropriate.