###
DOI:
Journal of Software:1995.6(zk):182-186

并行程序的流程图分析法*
马军,马绍汉
(山东大学计算机系,济南250100)
THE STATIC ANALYSIS FOR CONCURRENT PROGRAMS BY FLOWCHART
Ma Jun,Ma Shaohan
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 2439   Download 3212
Received:April 14, 1994    Revised:August 08, 1994
> 中文摘要: 本文给出一种对Ada并行程序的流程图分析法.该方法不仅给出在并行程序中,并发多任务之间相互通信的一种可视化的表示,同时可检查出并行程序中存在的死锁,并能启发如何消除死锁.并行流程图在检查死锁的方便性、消除死锁的启发性、实际应用的可行性和对并行算法思想的描述性等方面明显优于已知的Petri网分析法。
Abstract:In this paper,a kind of flowchart is given for audio—visual analysis to 4do par-allel programs.the flowchart can not only give the audio—visual description for the com munications among tasks,but also find all deadlocks and help people delete deadlocks.As a static analysis methord for parallel programs,flowchart is better than Petri nets in the convenience of finding deadlocks,helping to delete deadlocks,practical feasibility in use and the description for the ideas of parallel algorithms.
文章编号:     中图分类号:    文献标志码:
基金项目:本课题受到山东省自然科学基金资助. 本课题受到山东省自然科学基金资助.
Foundation items:
Reference text:

马军,马绍汉.并行程序的流程图分析法*.软件学报,1995,6(zk):182-186

Ma Jun,Ma Shaohan.THE STATIC ANALYSIS FOR CONCURRENT PROGRAMS BY FLOWCHART.Journal of Software,1995,6(zk):182-186