静态检测Ada任务死锁的Petri网方法  

STATIC DETECTION OF ADA TASK DEADLOCK WITH PETRI NET

作　　者：陈曦[1] 高仲仪[1] 

机构地区：[1]北京航空航天大学软件工程研究所

出　　处：《计算机研究与发展》1997年第S1期145-149,共5页Journal of Computer Research and Development

摘　　要：文中提出了一种利用Ｐｅｔｒｉ网对Ａｄａ任务静态检测其死锁的方法．在检测时，首先建立Ａｄａ程序各单元的Ａｄａ网，再根据程序中各单元的关系将Ａｄａ网组装成完整的Ａｄａ网，然后对其作可达性分析来检测死锁．本文介绍了Ａｄａ网的建立和组装方法，对Ａｄａ网的特点作了理论上的分析。A method to detect Ada task deadlock is proposed. The APN(Ada Petri Net) of every program unit is created and installed into an integral APN. And then the reachability of the integral APN is analyzed to detect deadlock. After introducing how to create and install APN, the characteristics of APN are analyzed theoretically. The definition of non deadlock APN and the algorithm of reachability analysis are given.

关 键 词：ADA语言 任务 死锁 PETRI网 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]