首页 | 本学科首页   官方微博 | 高级检索  
     

一种无死锁的时间管理算法
引用本文:刘步权,王怀民,姚益平.一种无死锁的时间管理算法[J].软件学报,2003,14(9):1515-1522.
作者姓名:刘步权  王怀民  姚益平
作者单位:国防科学技术大学,计算机学院,湖南,长沙,410073
基金项目:Supported by the National High-Tech Research and Development Plan of China under Grant No.2001AA115127 (国家高技术研究发展计划(863)); the National Grand Fundamental Research 973 Program of China under Grant No.G1999032703 (国家重点基础研究发展规划(973))
摘    要:高层体系结构HLA(high level architecture)是美国国防部提出的建模和仿真的标准,时间管理服务是其重要的组成部分,而GALT(greatest available logical time)的计算是RTI(runtime infrastructure)时间管理服务实现的核心技术.GALT算法容易导致死锁,继而导致整个仿真无法推进.在Frederick Kuhl算法的基础上探讨了死锁产生时系统所特有的一些规律,得出了一些重要结论:如果系统处于死锁状态,则所有盟员的GALT和输出时间一定分别相等,并且GALT一定等于输出时间;所有Lookahead大于0的盟员一定处于NMR/NMRA推进状态而不会处于其他推进状态(TAR/TARA/FQR).最后提出了基于"身高测量法"的无死锁的GALT算法,"身高测量法"为RTI中时间管理模块的实现提供了可靠保证.

关 键 词:高层体系结构  时间管理  GALT  死锁  身高测量法
文章编号:1000-9825/2003/14(09)1515
收稿时间:2002/7/19 0:00:00
修稿时间:2002年7月19日

A Non-Deadlock Time Management Algorithm
LIU Bu-Quan,WANG Huai-Min and YAO Yi-Ping.A Non-Deadlock Time Management Algorithm[J].Journal of Software,2003,14(9):1515-1522.
Authors:LIU Bu-Quan  WANG Huai-Min and YAO Yi-Ping
Abstract:
Keywords:high level architecture  time management  GALT  deadlock  stature-measuring
本文献已被 CNKI 维普 万方数据 等数据库收录!
点击此处可从《软件学报》浏览原始摘要信息
点击此处可从《软件学报》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号