《表2 死锁检测正确率对比》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

《基于CSP的多线程自动建模及死锁检测研究》

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

由表1可以看出，本文方法在建模效率上要远远高于文献[7]中采用Petri网的建模方法。这是由于本文方法直接采用语义映射实现源程序转换为CSP模型，而文献[7]采用Petri网建模需要分析源代码逻辑并建立状态，在建图过程中花费了大量时间。接下来从死锁检测准确率分析本文方法对于源程序建立模型更具有优势。对50个采用POSIX线程库编写的开源多线程程序进行建模，并通过PAT对其进行死锁检测。与文献[7]中方法对比结果如表2所示。