Program resource usage amount automatic analysis method based on numerical abstraction

An automatic analysis and usage technology, applied in electrical digital data processing, instruments, calculations, etc., can solve problems such as resource usage upper bound, resource consumption, path explosion, etc., and achieve resource usage upper bound reliability, cycle processing capability strong effect

Active Publication Date: 2020-07-31
NAT UNIV OF DEFENSE TECH
View PDF11 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

The results obtained by the analysis are not reliable upper bounds on resource usage
[0009] 2. Only specific resource types are supported: Currently, the upper bound analysis method of program resources mainly considers heap memory, but many other types of resources are consumed in actual programs, such as file handles, network sockets, etc.
[0010] 3. Low analysis efficiency: Existing analysis techniques use path-sensitive symbolic execution methods, which need to use constraint solving techniques to calculate resource usage for each symbolic path
However, symbolic execution has a path explosion problem and the cost of constraint solving is high, so the analysis efficiency based on symbolic execution is low

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
  • Program resource usage amount automatic analysis method based on numerical abstraction
  • Program resource usage amount automatic analysis method based on numerical abstraction
  • Program resource usage amount automatic analysis method based on numerical abstraction

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0046] The present invention will be further described in detail below in conjunction with the accompanying drawings and specific embodiments.

[0047] In the process of setting out the present invention, the following terms in the art are included, which are defined as follows:

[0048] Resources: In a computer system, there are usually various hardware and software resources. In summary, resources can be divided into four categories: processors, memory, I / O devices, and information (data and programs). The resource concerned by the present invention is the abstraction of the resource provided by the operating system system call API to the application program, including heap memory, stack memory, file handle, process and so on.

[0049] Resource usage: the amount of a certain computer resource requested and used by the program from the computer system during the running process, such as the size of the heap memory occupied, the number of file handles opened at the same time,...

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 program resource usage amount automatic analysis method based on numerical abstraction. The method comprises the steps of S1, configuration of a resource operation API; S2, code automatic instrumentation; S3, resource reference variable pointing analysis, namely, obtaining a base address set pointed by each resource reference variable in the program and a corresponding resource size through pointing analysis, slicing the instrumented code by utilizing a numerical variable for modeling the resource usage amount and a dependency relationship of the numerical variable, and automatically rejecting codes irrelevant to resource operation to obtain a numerical program; S4, numerical program analysis based on numerical abstraction; S5, cycle index upper bound analysis; and S6, mapping from the numerical program analysis result to the resource usage amount, namely, mapping the numerical program analysis result obtained by analysis to the value range of the resource usage amount. The method has the advantages of simple principle, wide application range, high analysis efficiency, good analysis reliability and the like.

Description

technical field [0001] The invention mainly relates to the technical field of software credibility assurance in computer systems, in particular to an automatic analysis method for program resource usage based on numerical abstraction. Background technique [0002] In safety-critical embedded systems represented by aerospace, etc., the resources that programs can consume (such as heap memory, stack memory, handles, etc.) are often limited by factors such as the system environment and hardware resources. When the resources requested by the program exceed the free resources that the computer can allocate, the running efficiency of the program will be reduced, and it may even cause the exhaustion of computer resources and cause a system failure. Therefore, analyzing the program before running the program, conservatively estimating the maximum amount (peak value) of a certain resource that may be consumed during the running of the program, and assisting in the design of the margi...

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 Applications(China)
IPC IPC(8): G06F11/36
CPCG06F11/3608Y02D10/00
Inventor 陈立前范广生陈涛清王戟尹帮虎刘江潮董威毛晓光李姗姗
Owner NAT UNIV OF DEFENSE TECH
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