计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2010年
21期
69-71,96
,共4页
最坏情况执行时间%冲突检测%实时软件
最壞情況執行時間%遲突檢測%實時軟件
최배정황집행시간%충돌검측%실시연건
给出一种带有路径冲突检测的程序最坏情况执行时间估计方法,这种方法首先检测程序中存在的分支约束,然后将程序中存在的分支约束信息转化为程序流程控制图(CFG图)中结点之间的语义冲突,并按照结点对的形式保存在相应的冲突数组里,在接下来的WCET计算阶段通过边搜索程序执行路径边检测冲突数组里保存的已有的冲突关系以便在搜索路径的同时排除非可行执行路径,最终在可行执行路径集中选择具有最大执行时间的执行路径.与以往的方法相比,在保持估计精度的前提下,本文的方法避免了穷举所有执行路径带来的复杂度,提高了搜索的效率.实验结果表明本文方法对于语句间语义依赖关系比较强的实时程序能够快速且有效地给出估计结果.
給齣一種帶有路徑遲突檢測的程序最壞情況執行時間估計方法,這種方法首先檢測程序中存在的分支約束,然後將程序中存在的分支約束信息轉化為程序流程控製圖(CFG圖)中結點之間的語義遲突,併按照結點對的形式保存在相應的遲突數組裏,在接下來的WCET計算階段通過邊搜索程序執行路徑邊檢測遲突數組裏保存的已有的遲突關繫以便在搜索路徑的同時排除非可行執行路徑,最終在可行執行路徑集中選擇具有最大執行時間的執行路徑.與以往的方法相比,在保持估計精度的前提下,本文的方法避免瞭窮舉所有執行路徑帶來的複雜度,提高瞭搜索的效率.實驗結果錶明本文方法對于語句間語義依賴關繫比較彊的實時程序能夠快速且有效地給齣估計結果.
급출일충대유로경충돌검측적정서최배정황집행시간고계방법,저충방법수선검측정서중존재적분지약속,연후장정서중존재적분지약속신식전화위정서류정공제도(CFG도)중결점지간적어의충돌,병안조결점대적형식보존재상응적충돌수조리,재접하래적WCET계산계단통과변수색정서집행로경변검측충돌수조리보존적이유적충돌관계이편재수색로경적동시배제비가행집행로경,최종재가행집행로경집중선택구유최대집행시간적집행로경.여이왕적방법상비,재보지고계정도적전제하,본문적방법피면료궁거소유집행로경대래적복잡도,제고료수색적효솔.실험결과표명본문방법대우어구간어의의뢰관계비교강적실시정서능구쾌속차유효지급출고계결과.
