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

Analysis and Reasoning of Race Condition in Embedded System Synchronization Process

作　　者：张晶[1] 潘有顺 

机构地区：[1]昆明理工大学云南省计算机技术应用重点实验室,昆明650500 [2]昆明理工大学信息工程与自动化学院,昆明650500

出　　处：《计算机科学》2014年第2期141-144,共4页Computer Science

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

摘　　要：针对嵌入式系统同步进程的竞态条件问题,提出了一个竞态条件分析与推理模型,包括竞态依赖集、竞态协作图和竞态条件数组三要素。其中,模型分析并推理嵌入式系统中具有竞态关系的进程,生成竞态依赖集,定义竞态协作图来描述同步进程竞态条件关系,设计竞态条件数组来存储进程竞态逻辑推理关系以便进一步学习分析。该分析与推理学习方法提高了分析效率,具有一定的实用价值。Because race condition in embedded system synchronization process may arise conflict,this paper proposed a race condition analysis and reasoning model including race dependency set, race cooperation graph and race condition array. Race condition model analyzes synchronization processes with race relation in embedded systems, reasons race condition among processes, and generates race dependency set. Race cooperation graph describes synchronization processes and their race condition reasoning relationship. Race condition array is designed to save process race condition reasoning relationship for further study. The method proposed in this paper improves analysis efficiency and has practical value.

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

分 类 号：TP316.2[自动化与计算机技术—计算机软件与理论]