线程分析器使用模型

下列步骤说明了使用线程分析器为多线程程序排除故障的过程。

1. 检测程序（如果进行数据争用检测）。

2. 创建数据争用检测实验或死锁检测实验。

3. 检查实验结果，并确定线程分析器所发现的多线程编程问题属于真实错误还是良性现象。

4. 修复真实的错误，并使用不同的因素（如不同的输入数据、不同的线程数、不同的循环调度，乃至不同的硬件）创建其他实验（上面的步骤 2）。这种重复有助于找出原因不确定的问题。

以下几节将介绍上述的步骤 1 到步骤 3。