Analysis And Research On The Competitive State Of Embedded Multithreaded Program Data

With the rapid development of computer technology and embedded technology, nowadays the embedded systems have applications in a wide range of fields. The Chip Multi-processors (CMP) have begun to occupy the market and become a mainstream trend in the embedded hardware industry. The multi-threaded programming technology has gradually become the focus of attention in the field of embedded systems. Although the multi-threaded programming technology in embedded systems can bring people convenience and good user experience, at the same time, it also brings some problems. For example, the development and debugging of embedded multi-threaded programs are still very difficult; the multi-threaded programming itself is complex and concurrent, so in the embedded systems the multi-threaded programs also have uncertainties and synchronous faults. The problem of the uncertainty and synchronization in the multi-threaded programs often leads to race conditions, especially makes the fault of data race conditions happen. Currently there are mainly three types of tools for the detection and analysis of data race condition, such as the static analysis, the dynamic analysis and the combination of dynamic and static analysis. These tools are developed on the common PC platform, and they still need to be improved in the detection and analysis performance for data race conditions. Meanwhile, there are only few specific tools for the detection and analysis of embedded multi-threaded programs.Based on the above studies, the analysis and research on the data race conditions in embedded multi-threaded applications are implemented. The combination of dynamic tracing and static analysis is introduced to design an analysis system for data race conditions in embedded multi-threaded programs. In this paper, the following is the main research content and innovations.1.The execution path tracking method of embedded multi-threaded program. Acco rding to the circumstances of limited hardware and software resources and program diff icult debugging of embedded systems, this paper proposed the design and implement of a dynamic path tracing original plug-in unit tools ’Pathtracing’ which is combined wit h dynamic binary inserted pile platform valgrind plug-in technology and wmbedded vir tual simulation. It is used to dynamically trace the execution path of embedded multi-th readed program.2.Embedded multi-threaded program analysis and detection method of data race c ondition. According to the circumstances of the current commonly used data race condi tion analysis and detection method is not suitable for embedded software, this paper pr oposed the data race condition detection method for embedded multi-threaded program based on SMT.3.Embedded multi-threaded program data race condition analysis system. Based on the above researches, this paper proposed embedded multi-threaded program data ra ce condition analysis system which combined with the execution path tracking method of embedded multi-threaded program and embedded multi-threaded program analysis a nd detection method of data race condition. And fully verified the feasibility and validit y by experiments.