嵌入式系统同步进程的竞态条件分析与推理学习方法

摘要：

针对嵌入式系统同步进程的竞态条件问题,提出了一个竞态条件分析与推理模型,包括竞态依赖集、竞态协作图和竞态条件数组三要素.其中,模型分析并推理嵌入式系统中具有竞态关系的进程,生成竞态依赖集,定义竞态协作图来描述同步进程竞态条件关系,设计竞态条件数组来存储进程竞态逻辑推理关系以便进一步学习分析.该分析与推理学习方法提高了分析效率,具有一定的实用价值.

关键词：嵌入式系统、竞态条件分析与推理模型、竞态依赖集、竞态协作图、竞态条件数组

所属期刊栏目：41

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

资助基金：国家自然科学基金项目61263017;云南省自然科学基金项目2012FB137,2011FZ060

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

页数：共4页

页码：141-144