基于会合关系的Ada程序并发复杂性度量  

作　　者：王振宇[1] 陈利[2] 王志江[2] 

机构地区：[1]武汉数字工程研究所,武汉430074 [2]华中师范大学计算机系,武汉430070

出　　处：《自然科学进展（国家重点实验室通讯）》1996年第4期477-483,共7页

基　　金：国家自然科学基金

摘　　要：多任务程序的并发性表现为任务之间的通讯和同步行为。对Ada程序而言就是任务之间的会合。理解并发程序的难度也就在理解其中的会合和会合之间的关系。研究了会合接续和嵌套关系,为接续关系引入接续图,为嵌套关系引入嵌套树,建议Ada程序P的并发复杂性CC(P)是接续复杂性SC(P)和嵌套复杂性NC(P)的加权和;SC(P)是可从Ada程序正文静态识别的会合关系构成的诸会合接续图的边数之和,NC(P)是诸嵌套树的加权节点数之和。

关 键 词：ADA程序 并发程序 会合关系 程序复杂性 

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