A method and device for concurrent analysis

A node and stack top technology, applied in the field of program analysis, can solve problems such as low efficiency of concurrent analysis, and achieve the effect of solving low analysis efficiency

Inactive Publication Date: 2017-08-29
HUAWEI TECH CO LTD +1
View PDF3 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0005] The embodiment of the present invention provides a method and device for concurrent analysis, which simplifies the process and solves the problem of low efficiency of concurrent analysis in the process of concurrent analysis between different nodes on the PEG

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
  • A method and device for concurrent analysis
  • A method and device for concurrent analysis
  • A method and device for concurrent analysis

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0048]The following will clearly and completely describe the technical solutions in the embodiments of the present invention with reference to the accompanying drawings in the embodiments of the present invention. Obviously, the described embodiments are only some, not all, embodiments of the present invention. Based on the embodiments of the present invention, all other embodiments obtained by persons of ordinary skill in the art without creative efforts fall within the protection scope of the present invention.

[0049] An embodiment of the present invention provides a method for concurrent analysis, such as figure 1 As shown, the method includes:

[0050] 101. Acquire a pending sequence composed of nodes in the PEG.

[0051] Among them, the sequence to be processed is a strict topological sequence that can reduce the number of node repetitions, which can be called a strict topological sequence.

[0052] It is worth noting that the original concurrent analysis method has r...

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

Disclosed in the present invention are a parallel analysis method and apparatus, relating to the technical field of program analysis and can simplify the processing procedures and improve the efficiency in parallel analysis in the process of parallel analysis among different nodes on PEG. The specific embodiment of the present invention comprises: obtaining a root node in the PEG, pushing the root node as well as 0-indegree nodes in the PEG onto a preset stack, obtaining nodes on the top of the preset stack to form a to-be-processed sequence and then determining the position of a current processing node in the to-be-processed sequence, and searching for nodes included in a working set behind the position in the to-be-processed sequence, so as to reduce the iterations in parallel analysis. The embodiment of the present invention is mainly applied to a parallel analysis procedure.

Description

technical field [0001] The present invention relates to the technical field of program analysis, in particular to a method and device for concurrent analysis. Background technique [0002] Possible concurrency analysis is used to judge whether two statements in a given concurrent program may be executed concurrently at runtime, and the results can serve other types of program analysis techniques such as pointer analysis, and can also serve in the compilation optimization of concurrent programs. At the same time, it can also serve for the detection of concurrency errors. For example, if it is known in advance which parts of a concurrent program are likely to be concurrent, it can significantly reduce false positives such as data races. So possible concurrency analysis is an important program analysis method in the field of concurrent program analysis. [0003] The prior art performs possible concurrency analysis based on iterative data flow method. In this analysis method, c...

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): G06F9/44G06F17/30
CPCG06F8/45
Inventor 陈聪明霍玮李丰冯晓兵
Owner HUAWEI TECH CO LTD
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

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap