摘要
GALT(GreatestAvailableLogicalTime,最大可能逻辑时间)算法是HLA(HighLevelArchitecture,高层体系结构)接口规范中时间管理服务能否实现的关键技术。不合理的GALT算法会导致死锁或破坏HLA时间管理的原则,从而导致整个仿真无法向前推进,或产生过去时刻的消息。分析了Frederick算法和身高测量法的死锁问题,给出了Frederick算法造成死锁的一个充分条件,重点讨论了它们遵守时间管理原则的情况。一个好的GALT算法,必须在确保不违反时间管理原则的基础上,才能最终解决死锁问题。
GALT (Greatest Available Logical Time) algorithm is the key technology which decides whether time management service in the interface specification of HLA (High Level Architecture) can be realized. Unreasonable GALT algorithm will result in deadlock or destroy the rules of time management of HLA, which will make the whole federation unable to advance, or generate messages that should occur before. The deadlock problem of the Frederick algorithm and the stature measurement algorithm is analyzed, and a sufficient condition of deadlock made by the Frederick algorithm is given. The condition that they obey the time management rules are discussed especially. A suitable GALT algorithm can solve the deadlock problem ultimately until it guarantees that it obeys the rules of time management.
出处
《系统仿真学报》
EI
CAS
CSCD
北大核心
2005年第5期1111-1114,共4页
Journal of System Simulation
基金
国防预研基金资助项目
