嵌入式系统的数据竞态条件研究

Simulation and Research on the Data Race Conditions of Multithreading Programs in Embedded Systems

针对嵌入式系统中多线程的数据竞态条件问题,提出了一种基于图形的数据竞态条件分析方法,包括数据竞态条件分析算法、图形表示方法、线程竞争集、数据竞态图和二维数组五个部分。其中,数据竞态算法分析嵌入式系统中具有数据竞态关系的线程及其竞态关系构成线程竞争集,数据竞态图描述系统中同步多线程数据竞态条件关系,二维数组存储线程数据竞态逻辑,利用获得的数据竞态图推理系统中可能的其他线程数据竞态关系。

Aiming at the problem about the race conditions of multithreading applications in embedded systems,a diagram method for the analysis and reasoning of race conditions was proposed in this paper.It consists of five parts:the data race condition analysis algorithm,graphical presentation,thread competitive set,data race condition diagram and two dimensional array.Among these,the data race condition analysis algorithm was used to find the threads with data race condition relationship to form the thread competitive set.The data race condition diagram was used to describe the simultaneous multithreading data race conditions,the two dimensional array was used to store the logic of thread data race conditions,and finally the data race condition diagram was used to analyze other probable thread data race conditions in the systems.