基于动态滑模的无死锁时间管理算法  

Non-deadlock Time Management Algorithm Based on Dynamic Slide Model

作　　者：周晓滨[1] 方洋旺[1] 许勇[1] 王亚飞[1] 

机构地区：[1]空军工程大学工程学院,西安710038

出　　处：《计算机工程》2008年第5期14-16,19,共4页Computer Engineering

基　　金：国家"863"计划基金资助项目(2006AA701307);国家自然科学基金资助项目(60674031);国家部委基金资助重点项目

摘　　要：基于新一代仿真体系结构HLA的IEEE1516新标准中的最大有效逻辑时间关键值,讨论最大有效逻辑时间在HLA时间管理中的重要意义,分析其在常规时间推进算法中的实现及死锁的产生,研究并证明HLA时间推进中的4个产生死锁的充分条件,即互斥条件、请求保持条件、不剥夺条件和环路等待条件,提出动态滑模的概念,设计了基于动态滑模的无死锁时间管理算法,对Lookahead的合理设置进行了分析。Based on key value G ALT 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 tine 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.

关 键 词：时间管理 死锁 动态滑模 最大有效逻辑时间 

分 类 号：TJ391.1[兵器科学与技术—火炮、自动武器与弹药工程]