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

作     者：张晶 潘有顺 ZHANG Jing;PAN You-shun

作者机构：昆明理工大学云南省计算机技术应用重点实验室昆明650500 昆明理工大学信息工程与自动化学院昆明650500 

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

出 版 物：《计算机科学》 (Computer Science)

年 卷 期：2014年第41卷第2期

页      码：141-144页

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

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

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3969/j.issn.1002-137X.2014.02.031

馆 藏 号：203107349...