Data race false positive reduction method based on control flow

A technology of data competition and control flow, applied in software testing/debugging, multi-programming devices, etc., can solve the problems of increasing the cost of analyzing the correctness of C source programs, covering up data competition, etc., and achieve the goal of simple implementation and reduction of data competition False positives, highly scalable effects

Active Publication Date: 2015-07-08
BEIJING INST OF CONTROL ENG
View PDF2 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0006] Therefore, a large number of reports of such harmless data races will greatly increase the cost of analyzing the correctness of C source programs, and even cover up harmful data races

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 more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Data race false positive reduction method based on control flow
  • Data race false positive reduction method based on control flow
  • Data race false positive reduction method based on control flow

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0024] By analyzing the grammar of the C program, the interrupt context of the C program is constructed and shared variables are identified. Through induction and summary, if a shared variable meets the following conditions at the same time, it is considered that the data competition related to the shared variable is harmless.

[0025] 1. The frequency of interrupt occurrence is lower than the frequency of main program cycle execution, that is, the interrupt occurs at most once in each cycle;

[0026] 2. The value of shared variable in the main program and interrupt is two-state (for example, TRUE and FALSE);

[0027] 3. There is only one write operation to the variable in the interrupt service program, and the variable is assigned to one of the states (for example, TRUE);

[0028] 4. There is one read operation and one write operation to the variable in the main program;

[0029] 5. The read operation of the variable in the main program is the condition of if statement or loop stateme...

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

No PUM Login to view more

Abstract

A data race false positive reduction method based on control flow is an improved method for spaceflight embedded C routine data race detection, and aims to reduce false positives and improve analysis accuracy. It is generally recognized that when a main routine and an interrupt service routine have shared variables, if at least one of the main routine and the interrupt service routine conducts write operation on the shared variables, data races can probably occur in the variables. Based on a grammatical analysis technology, by the combination of field characteristics, harmless data races are recognized, and the false positive rate of data race detection is reduced. According to the check method, the false positive rate of data race detection is reduced, and truly harmful data races can be easily found.

Description

Technical field [0001] The invention relates to a method for data competition detection of an aerospace embedded C program, which is used to identify harmless data competition during program operation and reduce the false alarm rate of data competition detection. Background technique [0002] Aerospace embedded C programs generally adopt the main program-interrupt architecture. The main program is called regularly by the control cycle. During the execution of the main program, if an interrupt signal occurs, the main program 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 program corresponding to the low-priority interrupt is executed, if a high-priority interrupt signal occurs, the current interrupt service program is suspended and transferred to the interrupt service program corresponding to the high...

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
no application Login to view more
Patent Type & Authority Patents(China)
IPC IPC(8): G06F11/36G06F9/46
Inventor 顾斌王政董晓刚綦艳霞陈尧赵雷陈睿
Owner BEIJING INST OF CONTROL ENG
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products