计算机研究与发展
計算機研究與髮展
계산궤연구여발전
JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT
2010年
7期
1201-1210
,共10页
陈艳%徐晓峰%李晓潮%郭东辉
陳豔%徐曉峰%李曉潮%郭東輝
진염%서효봉%리효조%곽동휘
实时嵌入式系统%执行序列%竞态条件%竞态集%竞态条件图
實時嵌入式繫統%執行序列%競態條件%競態集%競態條件圖
실시감입식계통%집행서렬%경태조건%경태집%경태조건도
竞态条件使得多个任务对共享资源进行操作的先后顺序在不同的执行情况下发生改变,从而可能引起系统异常.为了分析实时嵌入式系统可能出现的竞态条件及其所带来的影响,根据目标系统的执行特征,建立系统的执行序列模型,对相关的竞态条件进行精确描述,并在此基础上提出一种竞态集来存储和分析系统的竞态条件,然后利用获取到的竞态集,构建系统的竞态条件图来预测系统潜在的竞态同步关系.实验分析表明该方法能够有效地分析和预测目标系统各种可能的竞态同步关系及其所带来的不同执行情况和结果.
競態條件使得多箇任務對共享資源進行操作的先後順序在不同的執行情況下髮生改變,從而可能引起繫統異常.為瞭分析實時嵌入式繫統可能齣現的競態條件及其所帶來的影響,根據目標繫統的執行特徵,建立繫統的執行序列模型,對相關的競態條件進行精確描述,併在此基礎上提齣一種競態集來存儲和分析繫統的競態條件,然後利用穫取到的競態集,構建繫統的競態條件圖來預測繫統潛在的競態同步關繫.實驗分析錶明該方法能夠有效地分析和預測目標繫統各種可能的競態同步關繫及其所帶來的不同執行情況和結果.
경태조건사득다개임무대공향자원진행조작적선후순서재불동적집행정황하발생개변,종이가능인기계통이상.위료분석실시감입식계통가능출현적경태조건급기소대래적영향,근거목표계통적집행특정,건립계통적집행서렬모형,대상관적경태조건진행정학묘술,병재차기출상제출일충경태집래존저화분석계통적경태조건,연후이용획취도적경태집,구건계통적경태조건도래예측계통잠재적경태동보관계.실험분석표명해방법능구유효지분석화예측목표계통각충가능적경태동보관계급기소대래적불동집행정황화결과.