%0 Journal Article
%T A Non-Deadlock Time Management Algorithm<br>一种无死锁的时间管理算法
%A LIU Bu-Quan
%A WANG Huai-Min
%A YAO Yi-Ping
%A <br>刘步权
%A 王怀民
%A 姚益平
%J 软件学报
%D 2003
%I 
%X 高层体系结构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中时间管理模块的实现提供了可靠保证.
%K high level architecture
%K time management
%K GALT
%K deadlock
%K stature-measuring<br>高层体系结构
%K 时间管理
%K GALT
%K 死锁
%K 身高测量法
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=71A1751DC9B7C8A9&yid=D43C4A19B2EE3C0A&vid=F3583C8E78166B9E&iid=9CF7A0430CBB2DFD&sid=6F185A924223F19E&eid=8424755CAF377B4D&journal_id=1000-9825&journal_name=软件学报&referenced_num=14&reference_num=8