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, low complexity effects
CN103678136AActive Publication Date: 2014-03-26BEIJING INST OF CONTROL ENG
2 Cites 2 Cited by

Patent Information

Authority / Receiving Office
CN ยท China
Patent Type
Applications(China)
Current Assignee / Owner
BEIJING INST OF CONTROL ENG
Publication Date
2014-03-26

Smart Images

  • Figure 1
    Figure 1
  • Figure 2
    Figure 2
  • Figure 3
    Figure 3
Patent Text Reader

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.
Need to check novelty before this filing date? Find Prior Art

Description

technical field

[0001] The invention relates to a data competition detection method for an aerospace embedded C program, which is used for identifying harmless data competition during program operation and reducing the false alarm rate of data competition detection. Background technique

[0002] The aerospace embedded C program generally adopts the main program-interrupt structure. 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 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...

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