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

计算机科学 ›› 2014, Vol. 41 ›› Issue (2): 141-144.

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

张晶,潘有顺

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

出版日期:2018-11-14 发布日期:2018-11-14
基金资助:
本文受国家自然科学基金项目(61263017),云南省自然科学基金项目(2012FB137,2011FZ060)资助

Analysis and Reasoning of Race Condition in Embedded System Synchronization Process

ZHANG Jing and PAN You-shun

Online:2018-11-14 Published:2018-11-14

摘要/Abstract

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

关键词: 嵌入式系统,竞态条件分析与推理模型,竞态依赖集,竞态协作图,竞态条件数组中图法分类号TP316.2文献标识码A

Abstract: 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．

Key words: Embedded system,Race condition analysis and reasoning model,Race dependency set,Race cooperation graph,Race condition array

张晶,潘有顺. 嵌入式系统同步进程的竞态条件分析与推理学习方法[J]. 计算机科学, 2014, 41(2): 141-144. https://doi.org/

ZHANG Jing and PAN You-shun. Analysis and Reasoning of Race Condition in Embedded System Synchronization Process[J]. Computer Science, 2014, 41(2): 141-144. https://doi.org/

参考文献

[1] Engler D,Ashcraft K．RacerX:Effective static detection of race conditions and deadlocks [C]∥Proceeding of the 19th ACM Symp on Operating Systems Principles(SOSP).New York:ACM,2003:237-252
[2] Blanc N,Kroening D．Race analysis for SystemC using model checking [C]∥Proceeding of IEEE/ACM Int Conf on Computer Aided Design．New York:ACM,2008:356-363
[3] Yu Y,Rodeheffer T,Chen W．Racetrack:Efficient detection ofdata race conditions via adaptive tracking [C]∥Proceeding of the 12th ACM Symp on Operating Systems Principles．New York:ACM,2005:221-234
[4] Klein P N,Lu H I,Netzer R H B．Detecting race conditions in parallel programs that use semaphores [J].Algorithmic,2003,5(4):321-345
[5] Pozniansky E,Schuster A．Efficient on-the-fly data race detec-tion in multithreaded C++ programs [C]∥Proceeding of PPoPP’ 03．New York:ACM,2003:179-190
[6] Tai K C．Race analysis of traces of asynchronous message-pas-sing programs [C]∥Proceeding of ICDCS’97.Piscataway,NJ:IEEE,1997:261-268
[7] Lamport L．Time,clocks,and the ordering of events in a distributed system[J]．Communications of the ACM,1978,1(7):558-565
[8] Park M Y,Hai N C T,Jun Y K,et al．Visualization of messageraces in MPI parallel programs [C]∥Proceeding of the 7th IEEE Int Conf on Computer and Information Technology．Piscataway,NJ:IEEE,2007:316-321
[9] H wang G H,Chang S J,Chu H D．Technology for testing nondeterministic client/server database applications [J]．IEEE Trans on Software Engineering,2004,30(1):59-77
[10] Schaeli B,Gerlach S,Hersch R D．Decomposing partial order execution graphs to improve message race detection [C]∥Proceeding of IEEE Int Parallel and Distributed Processing Symp．Piscataway,NJ:IEEE,2007:1-8
[11] Mitchell B．Resolving race conditions in asynchronous partial order scenarios[J]．IEEE Trans on Software Engineering,2005,31(9):767-784
[12] 汤小丹,梁红兵,哲凤屏,等．计算机操作系统(第三版)[M]．西安:电子科技大学出版社,2007:59-61
[13] 陈艳,徐晓峰,李晓潮,等．实时嵌入式系统的竞态条件及其分析方法研究[J]．计算机研究与发展,2010,47(7):1201-1210

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed