一种无死锁的时间管理算法

摘要：

高层体系结构HLA(high level architecture)是美国国防部提出的建模和仿真的标准,时间管理服务是其重要的组成部分,而GALT(greatest available logical time)的计算是RTI(runtime infrastructure)时间管理服务实现的核心技术.GALT算法容易导致死锁,继而导致整个仿真无法推进.在Frederick Kuhl算法的基础上探讨了死锁产生时系统所特有的一些规律,得出了一些重要结论:如果系统处于死锁状态,则所有盟员的GALT和输出时间一定分别相等,并且GALT一定等于输出时间;所有Lookahead大于0的盟员一定处于NMR/NMRA推进状态而不会处于其他推进状态(TAR/TARA/FQR).最后提出了基于"身高测量法"的无死锁的GALT算法,"身高测量法"为RTI中时间管理模块的实现提供了可靠保证.

关键词：高层体系结构、时间管理、GALT、死锁、身高测量法

所属期刊栏目：14

分类号：TP338(计算技术、计算机技术)

资助基金：国家高技术研究发展计划863计划2001AA115127;国家重点基础研究发展计划973计划G1999032703

在线出版日期：2003-10-31（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：1515-1522