摘要： 基于新一代仿真体系结构HLA的IEEE1516新标准中的最大有效逻辑时间关键值，讨论最大有效逻辑时间在HLA时间管理中的重要意义，分析其在常规时间推进算法中的实现及死锁的产生，研究并证明HLA时间推进中的4个产生死锁的充分条件，即互斥条件、请求保持条件、不剥夺条件和环路等待条件，提出动态滑模的概念，设计了基于动态滑模的无死锁时间管理算法，对Lookahead的合理设置进行了分析。
关键词:
时间管理,
死锁,
动态滑模,
最大有效逻辑时间
Abstract: Based on key value GALT for the new standard IEEE1516 of HLA, the important significance of GALT in time management for HLA is discussed. The realization of GALT in the general time advancing algorithm and the reason for deadlock are analyzed, four sufficiency conditions for deadlock in the HLA time advancing, such as mutex condition, request holding condition, non-deprive condition and loop waiting condition, are researched and proved. The conception of dynamic slide model is put forward, and a non-deadlock time management algorithm based on dynamic slide model is designed. Finally, the new arithmetic for setting the reasonable value of Lookahead reasonably is analyzed.
Key words:
time management,
deadlock,
dynamic slide model,
Greatest Available Logical Time(GALT)
中图分类号:
周晓滨;方洋旺;许 勇;王亚飞. 基于动态滑模的无死锁时间管理算法[J]. 计算机工程, 2008, 34(5): 14-16,1.
ZHOU Xiao-bin; FANG Yang-wang; XU Yong; WANG Ya-fei. Non-deadlock Time Management Algorithm Based on Dynamic Slide Model[J]. Computer Engineering, 2008, 34(5): 14-16,1.