期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

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

Analysis and Reasoning of Race Condition in Embedded System Synchronization Process
下载PDF
导出
摘要 针对嵌入式系统同步进程的竞态条件问题,提出了一个竞态条件分析与推理模型,包括竞态依赖集、竞态协作图和竞态条件数组三要素。其中,模型分析并推理嵌入式系统中具有竞态关系的进程,生成竞态依赖集,定义竞态协作图来描述同步进程竞态条件关系,设计竞态条件数组来存储进程竞态逻辑推理关系以便进一步学习分析。该分析与推理学习方法提高了分析效率,具有一定的实用价值。 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.
作者 张晶 潘有顺
机构地区 昆明理工大学云南省计算机技术应用重点实验室 昆明理工大学信息工程与自动化学院
出处 《计算机科学》 CSCD 北大核心 2014年第2期141-144,共4页 Computer Science
基金 国家自然科学基金项目(61263017) 云南省自然科学基金项目(2012FB137 2011 FZ060)资助
关键词 嵌入式系统 竞态条件分析与推理模型 竞态依赖集 竞态协作图 竞态条件数组 Embedded system, Race condition analysis and reasoning model, Race dependency set, Race cooperation graph, Race condition array
分类号 TP316.2 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献13

  • 1Engler D,Ashcraft K. RacerX:Effective static detection of race conditions and dadlocks[A].New York:ACM,2003.237-252.
  • 2Blanc N,Kroewng D. Race analysis for SystemC using model checking[A].New York:ACM,2008.356-363.
  • 3Yu Y,Rodeheffer T,Chen W. Racetrack:Efficient detection of data race conditions via adaptive tracking[A].New York:ACM,2005.221-234.
  • 4Klein P N,Lu H I,Netzer R H B. Detecting race conditions in parallel programs that use semaphores[J].Algorithmic,2003,(4):321-345.
  • 5Pozniansky E,Schuster A. Efficient on-thc-fly data race detection in multithreaded C+ + programs[A].New York:ACM,2003.179-190.
  • 6Tai K C. Race analysis of traces of asynchronous message-passing programs[A].Piscataway,NJ:IEEE,1997.261-268.
  • 7Lamport L. Time,clocks,and the ordering of events in a distributed system[J].{H}Communications of the ACM,1978,(7):558-565.
  • 8Park M Y,Hai N C T,Jun Y K. Visualization of message races in MPI parallel programs[A].Piscataway,NJ:IEEE,2007.316-321.
  • 9H wang G H,Chang S J,Chu H D. Technology for testing nondeterministic client/server database applications[J].{H}IEEE Transactions on Software Engineering,2004,(1):59-77.
  • 10Schaeli B,Gerlach S,Hersch R D. Decomposing partial order execution graphs to improve message race detection[A].Piscataway,NJ:IEEE,2007.1-8.

二级参考文献19

  • 1Netzer R H B,Miller B P.What are race conditions? Some issues and formalizations[J].ACM Letters on Programming Languages and Systems,1992,1(1):74-88.
  • 2Keralapura R,Chuah C N.Race conditions in coexisting overlay networks[J].IEEE/ACM Trans on Networking,2008,16(1):1-14.
  • 3Engler D,Ashcraft K.RacerX:Effective,static detection of race conditions and deadlocks[C] //Proc of the 19th ACM Symp on Operating Systems Principles (SOSP).New York:ACM,2003:237-252.
  • 4Boyapati C,Lee R,Rinard M.Ownership types for safe programming:preventing data races and deadlocks[C] //Proc of the 17th ACM OOPSLA02.New York:ACM,2002:211-230.
  • 5Blanc N,Kroening D.Race analysis for SystemC using model checking[C] //Proc of IEEE/ACM Int Conf on Computer-Aided Design.New York:ACM,2008:356-363.
  • 6Yu Y,Rodeheffer T,Chen W.RaceTrack:Efficient detection of data race conditions via adaptive tracking[C] //Proc of the 12th ACM Symp on Operating Systems Principles.New York:ACM,2005:221-234.
  • 7Klein P N,Lu H I,Netzer R H B.Detecting race conditions in parallel programs that use semaphores[J].Algorithmic,2003,35(4):321-345.
  • 8Pozniansky E,Schuster A.Efficient on-the-fly data race detection in multithreaded C+ + programs[C] //Proc of PPoPP03.New York:ACM,2003:179-190.
  • 9Park M Y,Chung S H.Detection of first races for debugging message-passing programs[C] //Proc of the 8th IEEE Int Conf on Computer and Information Technology.Piscataway,NJ:IEEE,2008:261-266.
  • 10Tai K C.Race analysis of traces of asynchronous message-passing programs[C] //Proc of ICDCS97.Piscataway,NJ:IEEE,1997:261-268.

共引文献3

同被引文献2

引证文献1

计算机科学
2014年 第2期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部