3.3.3 检查实验结果

可以使用 tha 命令、analyzer 命令或 er_print 实用程序检查死锁检测实验。当 er_print 使用命令行界面时，线程分析器和分析器均代表 GUI 界面。

有关详细信息，请参见 tha.1、analyzer.1 和 er_print.1。

3.3.3.1 线程分析器界面

线程分析器包含菜单栏、工具栏和包含各种选项卡的拆分窗格（不同选项卡对应不同的显示）。在左窗格上，缺省情况下显示以下三个选项卡：

• “死锁”选项卡

  此选项卡显示线程分析器在程序中检测到的潜在死锁和实际死锁列表。缺省情况下此选项卡处于选中状态。显示每个死锁涉及的线程。这些线程构成了一个循环链，其中每个线程都占用一个锁，并请求使用链中下一个线程占用的另一个锁。

• “双重数据源”选项卡

  在循环链中选择线程，并单击“双重数据源”选项卡。“双重数据源”选项卡显示线程占用锁的源位置，以及同一线程请求锁的源位置。突出显示线程占用锁和请求锁的源代码行。

• “实验”选项卡

  此选项卡显示实验中的装入对象，并列出错误和警告消息。在线程分析器显示屏的右窗格上，显示以下两个选项卡：

  • “摘要”选项卡显示在“死锁”选项卡中选择的死锁的摘要信息。

  • “死锁详细信息”选项卡显示“死锁”选项卡中选择的线程上下文的详细信息。

3.3.3.2 er_print 界面

与左窗格相对应，右窗格包含了“死锁详细信息”选项卡，该选项卡中显示了“死锁”选项卡中选择的死锁的详细信息。使用 er_print 检查死锁的最有用的子命令如下：

• -deadlocks

  此选项报告在实验中检测到的任意潜在死锁和实际死锁。

• -ddetail deadlock_id

  此选项返回具有指定 deadlock_id 的死锁的详细信息。如果指定值 all 作为 deadlock_id，则 er_print 将显示所有死锁的详细信息。

• -header

  此选项显示有关实验的描述性信息，并报告所有错误或警告。

有关更多信息，请参见 er_print.1。