Method for accurately estimating stack demand in embedded system

An embedded system, accurate estimation technology, applied in the direction of memory system, calculation, program control design, etc., can solve problems such as system instability, achieve accurate calculation results, and ensure the effect of safety and reliability

Inactive Publication Date: 2010-11-03
INST OF ACOUSTICS CHINESE ACAD OF SCI
View PDF1 Cites 17 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0004] The purpose of the present invention is to overcome the system instability problem caused by inaccurate estimation of stack requirements used in embedded systems, thereby proposing a method for accurately estimating stack requirements in embedded systems

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
  • Method for accurately estimating stack demand in embedded system
  • Method for accurately estimating stack demand in embedded system

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

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

[0022] The present invention will be further described below in conjunction with the accompanying drawings and specific embodiments. The specific working steps of this method are as follows: figure 1 Shown:

[0023] 1. Disassemble the binary file to get the assembly file. Different hardware platforms require different disassembly tools;

[0024] 2. Perform control flow analysis on the assembly file to obtain the function call relationship diagram. The function call diagram here may not clearly reflect the function relationship due to the existence of indirect calls, so further flow analysis is required;

[0025] 3. Perform value analysis on the assembly file to obtain a complete function call relationship diagram. Value analysis adopts abstract interpretation algorithm. User comments are required for function calls that cannot be analyze...

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 provides a method for accurately estimating stack demand in an embedded system, which comprises the following steps of: performing stack demand analysis on the stack demand of a runtime library and a standard library of a local function and each call tree by using a complete function call relational graph, and summing; determining the maximum stack demand of each interrupt program in each priority level, summing, and adding the additional stack demand increased by saving the processor state; and summing the results to obtain the maximum stack demand of a single thread, wherein the complete function call relational graph is obtained by the following steps of: performing control flow analysis on a complete function relational graph to obtain a primary function relational graph, further analyzing by using a value analysis method of an abstract interpretation algorithm aiming at an indirect call function and a recursive call function, and noting function calls which cannot be analyzed by users. Aiming at multi-thread, a single thread step is repeated, a sum is calculated, and finally the sum plus the stack demand of the operation system is the total stack demand of the system.

Description

technical field [0001] The invention relates to a method for analyzing stack use in an embedded system, in particular, the invention relates to a method for accurately estimating the stack requirement in an embedded system. Background technique [0002] Stack memory is allocated statically by the program developer. If the usage of the stack is underestimated, the program will run incorrectly; if the usage of the stack is overestimated, the system memory resources will be wasted. The stack analyzer can not only reduce the difficulty for programmers to develop programs, but also reduce many hidden errors. [0003] The present invention comprehensively analyzes the progress of related research in this field, for example, patent application number 200810061578.2 designs a method of stack usage analysis. In this patent, the executable file is used as input, disassembly is performed, the stack analysis of the basic block, the stack analysis in the function, and the stack usage i...

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): G06F9/50G06F9/45
Inventor 王东辉王红梅时磊张铁军
Owner INST OF ACOUSTICS CHINESE ACAD OF SCI
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