Looking for breakthrough ideas for innovation challenges? Try Patsnap Eureka!

Multi-interrupt routine data access conflict detection method based on abstract interpretation

A technology of access conflicts and abstract interpretation, applied in software testing/debugging, etc., can solve problems such as lacking, and achieve the effect of improving correctness, improving efficiency and accuracy, and reducing complexity

Active Publication Date: 2014-05-07
NAT UNIV OF DEFENSE TECH
View PDF2 Cites 12 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

At present, there are many methods for abstract modeling of programs, but there is still a lack of effective abstract modeling methods for special concurrent software, such as multi-interrupt-driven programs, and corresponding data conflict detection methods

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
  • Multi-interrupt routine data access conflict detection method based on abstract interpretation
  • Multi-interrupt routine data access conflict detection method based on abstract interpretation

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0027] The present invention will be further described below in conjunction with the accompanying drawings and specific preferred embodiments, but the protection scope of the present invention is not limited thereby.

[0028] Such as figure 1 As shown, the present embodiment is based on the multi-interrupt program data access conflict detection method of abstract interpretation, and the steps are:

[0029] step one, Abstraction of inter-task influence: each interrupt-driven program is regarded as a task and described by an abstract interpretation framework, and each modification of the target shared variable by other tasks in each task and the modification condition of each modification are abstracted as an interference Information, all the interference information of the target shared variable in each task constitutes an interference information set; the interference information set of each task is independently iteratively calculated until all tasks obtain a stable interfe...

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

The invention discloses a multi-interrupt routine data access conflict detection method based on abstract interpretation. The multi-interrupt routine data access conflict detection method comprises the following steps: (1) describing interrupt-driven type routines by using an abstract interpretation framework, wherein modification on target-shared variation by other missions in each mission and modification conditions are abstracted to be one piece of interrupt information, all pieces of the interrupt information in each mission form an interrupt information set, and the stable interrupt information set is output through iterative computation; (2) collecting the interrupt information sets of all the missions to form an overall interrupt information set and obtaining the stable overall interrupt information set through the iterative computation; (3) traversing each mission by using the stable overall interrupt information set, and if the interrupt information which simultaneously satisfies the target-shared variation and the modification conditions exists in the overall interrupt information set, judging that a data access conflict exists. The multi-interrupt routine data access conflict detection method based on the abstract interpretation has the advantages of simple method, low complexity, accuracy and high reliability, and is applicable to detection of spaceflight embedded software.

Description

technical field [0001] The invention relates to the technical field of data access conflict detection, in particular to a multi-interrupt program data access conflict detection method based on abstract interpretation. Background technique [0002] With the development of our country's space industry, the space embedded software becomes more and more complicated, and various software problems arise accordingly, and the data access conflict problem of the space embedded program is one of them. The problem of data access conflicts arises from the complex data interaction between different components of the spacecraft and between multiple concurrently running software. Therefore, if the synchronization and mutual exclusion mechanisms are improperly arranged, it is easy to cause data access conflicts such as data competition and atomic destruction, which will lead to software problems or system failures. However, because data access conflicts involve complex overlapping and timi...

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
IPC IPC(8): G06F11/36
Inventor 文艳军王戟吴学光毛晓光董威陈立前
Owner NAT UNIV OF DEFENSE TECH
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Patsnap Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More
PatSnap group products

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