1.4 线程分析器使用模型

以下步骤说明可以使用线程分析器解决多线程程序问题的过程。

1. 对程序进行校验。有关更多信息，请参见2.2.1 对源代码进行校验。

2. 进行试验，然后使用不同的因素重复试验，如不同的输入数据、不同数目的线程、不同的循环计划，甚至不同的硬件。此重复有助于找出根源不确定的问题。

3. 确定线程分析器揭示的多线程编程冲突是合法错误还是良性现象。

4. 修复合法错误并重复试验。

5. 如果线程分析器报告新的多线程编程冲突，请重复前面的两个步骤。