实时嵌入式系统的竞态条件及其分析方法研究

摘要：

竞态条件使得多个任务对共享资源进行操作的先后顺序在不同的执行情况下发生改变,从而可能引起系统异常.为了分析实时嵌入式系统可能出现的竞态条件及其所带来的影响,根据目标系统的执行特征,建立系统的执行序列模型,对相关的竞态条件进行精确描述,并在此基础上提出一种竞态集来存储和分析系统的竞态条件,然后利用获取到的竞态集,构建系统的竞态条件图来预测系统潜在的竞态同步关系.实验分析表明该方法能够有效地分析和预测目标系统各种可能的竞态同步关系及其所带来的不同执行情况和结果.

关键词：实时嵌入式系统、执行序列、竞态条件、竞态集、竞态条件图

所属期刊栏目：47

分类号：TP316(计算技术、计算机技术)

资助基金：国家自然科学基金项目60753001;教育部新世纪人才计划基金

在线出版日期：2010-09-10（万方平台首次上网日期，不代表论文的发表时间）

页数：共10页

页码：1201-1210