有哪些信誉好的足球投注网站- 1、有哪些信誉好的足球投注网站（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
- 2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
- 4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
- 5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传，每下载1次， 网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
一种基于依赖分析的并发程序潜在死锁检测算法
2007 5 5
Journal of hinese omputer Systems Vol.28 No.5 2007
卢 超, 卢炎生, 谢晓东, 赵小松
( , 430074)
E-mail: chaoloo@126. com
: 死锁是并发程序特有的一种运行时错误, 由于并发程序在执行时的不确定性, 死锁的检测和定位是非常 难的. 本文
提出了一种基于依赖分析的并发程序潜在死锁检测算法, 该算法是一种静态分析算法,能检测并发程序中是否存在潜在死锁,
并能定位死锁发生时各线程可能被挂起的语句节点. 本文给出了算法的形式化定义和时间复杂度分析, 实验测试结果表明算法
是正确且有效的.
: ;; ;
: 301: : 1000-1220( 2007)05-0841-04
T P A
Potential Deadlock Detection Algorithm for Concurrent Programs Based on Dependence Ana-
lysis
LU hao, LU Yan-sheng,XIE Xiao-dong,ZHAOXiao-song
(D ep ar tment of Comp uter S cie nce and Technology , H uaz hong Univ er sity of S cience and T echnology , W uhan 430074, China)
Abstract: Deadlock is a kind of runtime error in concurrent programs. Detection of deadlock is very difficult due to the indeter-
minism of the execution of the concurrent programs This paper proposed a potential deadlock detection algorithm for concur-.
rent programs, which is based on the dependence analysis technology. The formal definition of the algorithm is presented, and
the time cost is analyzed The results of the experiments show that the algorithm is correct and efficient. .
Key words: deadlock; concurrency; dependence analysis; softw are testing
[1]
1 . ,
,
, [2]
.
. ,
( ) , .
,
. ,.
, ,
, .
, .
文档评论（0）