摘要
本文给出一种对Ａｄａ并行程序的流程图分析法，该方法不仅给出在并行程序中，并发多任务之间相互通信的一种可视化的表示，同时可检查出地程序中存在的死锁，并能启发如何消除死锁。并行流程图在检查死锁的方便性，消除死锁的启发性，实际应用的可行性和对并行算法思想的描述性等方面明显优于已知的Ｐｅｔｒｉ网分析法。
出处
《软件学报》
EI
CSCD
北大核心
1995年第A01期182-186,共5页
Journal of Software
同被引文献24
-
1徐乃贤,吴桑.解放牌CA141型汽车电气系统的疑难故障[J].汽车技术,1989(9):58-61. 被引量：1
-
2朱世荣.搭铁线引发的怪故障[J].汽车维修技师,2007(1):59-59. 被引量：1
-
3老聃,庄周.老子·庄子[M].北京:中国文史出版社,2003.
-
4GB/T 3187-94,可靠性、维修性术语[S].
-
5Software R.可靠性实用指南[M].陈晓彤,译.北京:北京航天航空大学出版社,2005.
-
6MURATA T,SHENKER B,SHATS S M.Detection of adastatic deadlocks using petri net invariants[J].IEEE Trans.Softw,1989,15(3):314-326.
-
7SOL M S,SHENGRU T,TADAO M,et al.An application ofpetri net reduction for ada tasking deadlock analysis[J].IEEE Transactions on Parallel and Distributed Systems,1996(10):1307-1322.
-
8Shatz S M,CHENG W K.A petri net framework for automa-ted static analysis of ada tasking behavior[J].Systems andSoftware,1988(8):343-359.
-
9CORBETT J C,DWYER M B,HATCLIFF J,et al.Bandera:extracting finite-state models from java source code[C].Hongkong:Proc of the 22nd Int'l Conf on Software Engineer-ing,2000:439-448.
-
10HAVELUND K,PRESSBURGER T.Model checking java pro-grams using java pathfinder[J].International Journal on Soft-ware Tools for Technology Transfer,2000,2(4):366-381.
