高层体系结构中时间管理算法研究及改进  

Research and Improvement of Time Management Algorithm in High Level Architecture

作　　者：王月[1] 李宏伟[2] 孙黎阳[3] 

机构地区：[1]中国人民解放军65635部队 [2]解放军理工大学工程兵工程学院 [3]中国电子科技集团公司第二十八研究所

出　　处：《计算机工程》2013年第1期279-282,共4页Computer Engineering

基　　金：国家国防重点实验室基金资助项目(9140C8301011001);中国电子科技集团公司基金资助项目(JJ0909)

摘　　要：不恰当的最大安全推进时间(GALT)计算方法会影响系统整体运行,严重情况下可能导致系统死锁,使整个系统仿真无法向前推进。为此,分析经典时间推进Frederick算法中可能出现死锁的情况,给出死锁出现的原因,并对死锁产生的原因进行论证,在此基础上,设计一种基于该算法的改进无死锁时间管理GALT计算算法。分析结果表明,改进算法可以有效解决GALT计算产生的死锁问题。An inappropriate Greatest Available Logical Time（GALT） algorithm may affect system＇s whole function and cause deadlock in extreme condition.The deadlock is harmful which prevents system advancing forward.This paper researches deadlock within calculating GLAT,explains reasons of deadlock and proves the reason.It introduces one non-deadlock time management GALT computation algorithm based on Frederick algorithm.In test section,it proves the time advance algorithm＇s undoubtedly correctness of non-deadlock.

关 键 词：高层体系结构 时间管理 死锁 最大可能逻辑时间 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论]