| 基于动态滑模的无死锁时间管理算法 |
| |
| 引用本文： | 周晓滨,方洋旺,许勇,王亚飞. 基于动态滑模的无死锁时间管理算法[J]. 计算机工程, 2008, 34(5): 14-16,1 |
| |
| 作者姓名： | 周晓滨 方洋旺 许勇 王亚飞 |
| |
| 作者单位： | 空军工程大学工程学院,西安,710038 |
| |
| 基金项目： | 国家高技术研究发展计划(863计划) , 国家自然科学基金 , 国家部委资助项目 |
| |
| 摘 要： | 基于新一代仿真体系结构HLA的IEEE1516新标准中的最大有效逻辑时间关键值，讨论最大有效逻辑时间在HLA时间管理中的重要意义，分析其在常规时间推进算法中的实现及死锁的产生，研究并证明HLA时间推进中的4个产生死锁的充分条件，即互斥条件、请求保持条件、不剥夺条件和环路等待条件，提出动态滑模的概念，设计了基于动态滑模的无死锁时间管理算法，对Lookahead的合理设置进行了分析。
|
| 关 键 词： | 时间管理 死锁 动态滑模 最大有效逻辑时间 |
| 文章编号： | 1000-3428（2008）05-0014-03 |
| 收稿时间： | 2007-03-12 |
| 修稿时间： | 2007-03-12 |
Non-deadlock Time Management Algorithm Based on Dynamic Slide Model |
| |
| 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 |
| |
| Authors: | ZHOU Xiao-bin FANG Yang-wang XU Yong WANG Ya-fei |
| |
| Affiliation: | (Engineering College, Air Force Engineering University, Xi’an 710038) |
| |
| Abstract: | 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. |
| |
| Keywords: | time management deadlock dynamic slide model Greatest Available Logical Time(GALT) |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程》浏览原始摘要信息 |
|
点击此处可从《计算机工程》下载免费的PDF全文 |
|
