论文部分内容阅读
GALT(GreatestAvailableLogicalTime,最大可能逻辑时间)算法是HLA(HighLevelArchitecture,高层体系结构)接口规范中时间管理服务能否实现的关键技术。不合理的GALT算法会导致死锁或破坏HLA时间管理的原则,从而导致整个仿真无法向前推进,或产生过去时刻的消息。分析了Frederick算法和身高测量法的死锁问题,给出了Frederick算法造成死锁的一个充分条件,重点讨论了它们遵守时间管理原则的情况。一个好的GALT算法,必须在确保不违反时间管理原则的