Absolute address convergence based data access conflict detection method
An absolute address and data access technology, applied in the field of data competition detection, can solve the problem of not considering absolute address correlation, etc., to achieve comprehensive detection results, reduce false negatives, and reduce false negatives.
Active Publication Date: 2014-04-02
BEIJING INST OF CONTROL ENG
View PDF3 Cites 3 Cited by
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
These methods often simply treat absolute addresses as a special form of shared variables, without considering the correlation between absolute addresses
Method used
the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View moreImage
Smart Image Click on the blue labels to locate them in the text.
Smart ImageViewing Examples
Examples
Experimental program
Comparison scheme
Effect test
Embodiment Construction
[0019] One of the characteristics of aerospace embedded C programs is to interact with external devices through absolute address access. A write operation to an absolute address may cause changes in the results of read operations to other external addresses. Therefore, a write operation to such an absolute address can be regarded as a write operation to multiple absolute addresses at the same time.
[0020] In order to identify this particular write operation, this type of absolute address should be listed, along with the remaining absolute addresses affected by this type of absolute address write operation.
[0021] Let the set of absolute addresses accessible by C programs be A, then this effect can be expressed by mapping R: R:A 2 A , the domain of the mapping R belongs to the set of absolute addresses accessible to C programs, and the value domain belongs to the power set formed by the set of absolute addresses. By mapping R, other absolute address sets that are affect...
the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More PUM
Login to View More Abstract
The invention relates to an absolute address convergence based data access conflict detection method, in particular to an improved method for aerospace embedded type C-program data race detection. Based on syntactic analysis technology and by combining domain knowledge, data races are identified more accurately, and rate of missing report of data race detection is lowered. The method includes that a C-source program is subjected to syntactic analysis, an absolute address set used in the source program is constructed, and an indirect influence relation is constructed by utilizing the absolute address set; according to an interrupt response function in the C-source program, all interrupt contexts included in the C-source grogram are searched; according to the indirect influence relation among absolute addresses, all the interrupt contexts are judged whether trigger data access conflict or not. Compared with an existing data access conflict detection method, the method is capable of lowering the rate of missing report and improving analysis accuracy.
Description
technical field [0001] The invention relates to a method for detecting data competition in an aerospace embedded C program. Background technique [0002] The aerospace embedded C program generally adopts the task-interrupt structure. Tasks are called periodically by the control cycle. During task execution, if an interrupt signal occurs, the task is suspended and transferred to the corresponding interrupt service routine. Generally speaking, aerospace embedded C programs have multiple interrupts, and these interrupts have different priorities. When the interrupt service routine corresponding to the low-priority interrupt is executed, if a high-priority interrupt signal occurs, the current interrupt service routine is suspended and transferred to the interrupt service routine corresponding to the high-priority interrupt. [0003] There are shared data between tasks and interrupt service routines, and between different interrupt service routines. If there is a write operat...
Claims
the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More Application Information
Patent Timeline
Login to View More Patent Type & Authority Applications(China)
IPC IPC(8): G06F9/44
Inventor 王政綦艳霞顾斌董晓刚陈睿陈尧赵雷郭向英
Owner BEIJING INST OF CONTROL ENG