Ada会合接续关系及会合接续复杂性度量——Ada会合关系并发复杂性度量研究之二 |
| |
引用本文: | 王振宇,陈利.Ada会合接续关系及会合接续复杂性度量——Ada会合关系并发复杂性度量研究之二[J].计算机与数字工程,1994(5). |
| |
作者姓名: | 王振宇 陈利 |
| |
作者单位: | 武汉数字工程研究所,华中师范大学计算机系 武汉 430074,武汉 430072 |
| |
摘 要: | 影响并发程序复杂性的最重要因素是任务之间的通讯和同步行为。我们认为这些行为表现为Ada程序中的会合和会合之间的关系。在这项系列研究里,我们要考察Ada程序中的会合、会合之间的关系和关系的分类,深入研究会合接续和嵌套关系,为接续关系引入接续图,为嵌套关系引入嵌套树,并给出构造这些图和树的方法和它们的一些性质。最后,我们建议AdaP程序P的并发复杂性CC(P)是接续复杂性SC(P)和嵌套复杂性NC(P)的加权和;SC(P)是可从Ada程序正文静态识别的会合关系构成的诸会合接续图的边数之和,NC(P)是诸嵌套树的加权节点数之和。文中还给出若干可静态断言程序死锁的充分条件。本文第二部分讨论Ada会合接续关系和程序的会合接续复杂性度量。
|
关 键 词: | Ada程序复杂性 并发程序 会合 接续关系 嵌套关系 |
本文献已被 CNKI 等数据库收录! |
|