W.-N. Chin
Analysing Memory Resource Bounds for Low-Level Programs
Chin, W.-N.; Nguyen, H.H.; Popeea, C.; Qin, S.
Authors
H.H. Nguyen
C. Popeea
S. Qin
Abstract
Embedded systems are becoming more widely used but these systems are often resource constrained. Programming models for these systems should take into formal consideration resources such as stack and heap. In this paper, we show how memory resource bounds can be inferred for assembly-level programs. Our inference process captures the memory needs of each method in terms of the symbolic values of its parameters. For better precision, we infer path-sensitive information through a novel guarded expression format. Our current proposal relies on a Presburger solver to capture memory requirements symbolically, and to perform fixpoint analysis for loops and recursion. Apart from safety in memory adequacy, our proposal can provide estimate on memory costs for embedded devices and improve performance via fewer runtime checks against memory bound.
Presentation Conference Type | Conference Paper (Published) |
---|---|
Conference Name | 7th International Symposium on Memory Management |
Start Date | Jun 7, 2008 |
End Date | Jun 8, 2008 |
Publication Date | Jun 1, 2008 |
Deposit Date | Nov 23, 2009 |
Publisher | Association for Computing Machinery (ACM) |
Pages | 151-160 |
Book Title | 2008 International Symposium on Memory Management, ISMM’08, 7-8 June 2008, Tucson, AZ ; proceedings. |
DOI | https://doi.org/10.1145/1375634.1375656 |
Public URL | https://durham-repository.worktribe.com/output/1161355 |
You might also like
PTSC: probability, time and shared-variable concurrency
(2009)
Journal Article
Verifying BPEL-like Programs with Hoare Logic
(2008)
Journal Article
Timed Automata Patterns
(2008)
Journal Article
From statecharts to verilog : a formal approach to hardware/software co-specification
(2006)
Journal Article
An Algebraic Hardware/Software Partitioning Algorithm
(2002)
Journal Article
Downloadable Citations
About Durham Research Online (DRO)
Administrator e-mail: dro.admin@durham.ac.uk
This application uses the following open-source libraries:
SheetJS Community Edition
Apache License Version 2.0 (http://www.apache.org/licenses/)
PDF.js
Apache License Version 2.0 (http://www.apache.org/licenses/)
Font Awesome
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2024
Advanced Search