《表1 Petri网与本文方法建模时间开销对比》

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

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

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

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

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

为了验证本文建模方法的有效性，对几个具有代表性的并发程序进行了测试，这些测试用例使用POSIX线程库实现并发操作。通过建模时间开销与文献[7]中使用Petri网方法进行了对比，对比结果如表1所示。