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

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

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

Active Publication Date: 2016-08-17
NAT UNIV OF DEFENSE TECH
View PDF2 Cites 0 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 program data access conflict detection method based on abstract interpretation
  • Multi-interrupt program 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] like 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 1. Abstraction of influence between tasks: each interrupt-driven program is regarded as a task and described using an abstract interpretation framework, and each modification of the target shared variable by other tasks in each task and the modification conditions of each modification are abstracted As a piece of interference information, all interference information on 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 int...

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 program data access conflict detection method based on abstract interpretation. The steps are as follows: 1) The interrupt-driven program is described using an abstract interpretation framework, and other tasks in each task modify the target shared variable and the modification conditions Abstracted as a piece of interference information, all interference information in each task constitutes an interference information set, and a stable interference information set is output through iterative calculation; 2) The interference information collection of all tasks is collected to form a global interference information set, and a stable interference information set is obtained through iterative calculation 3) Use the stable global interference information set to traverse each task. If there is interference information in the global interference information set that satisfies the modification condition of the target shared variable, it is determined that there is a data access conflict. The invention has the advantages of simple implementation method, low complexity, high accuracy and reliability, and is suitable for detection of aerospace 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
Patent Type & Authority Patents(China)
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