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
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
Method used
Image
Examples
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...
PUM
Abstract
Description
Claims
Application Information
- R&D Engineer
- R&D Manager
- IP Professional
- Industry Leading Data Capabilities
- Powerful AI technology
- Patent DNA Extraction
Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.
© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com