| 摘要: |
| 本文给出一种对Ada并行程序的流程图分析法．该方法不仅给出在并行程序中，并发多任务之间相互通信的一种可视化的表示，同时可检查出并行程序中存在的死锁，并能启发如何消除死锁．并行流程图在检查死锁的方便性、消除死锁的启发性、实际应用的可行性和对并行算法思想的描述性等方面明显优于已知的Petri网分析法。 |
| 关键词: 词程序正确性验正，并行程序设计，并行程序静态分析． |
| DOI： |
| 分类号: |
| 基金项目:本课题受到山东省自然科学基金资助. |
|
| THE STATIC ANALYSIS FOR CONCURRENT PROGRAMS BY FLOWCHART |
|
Ma Jun,Ma Shaohan
|
| 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． |
| Key words: Program correctness examination．parallel programming,static analysis of concurrent programs． |
