DMCA
On transforming Java-like programs into memory-predictable code
| Citations: | 3 - 0 self |
BibTeX
@MISC{Garbervetsky_ontransforming,
author = {Diego Garbervetsky and Sergio Yovine and Víctor Braberman and Martín Rouaux and Alejandro Taboada},
title = {On transforming Java-like programs into memory-predictable code},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
The ScopedMemory class of the RTSJ enables the organization of objects into regions. This ensures time-predictable management of dynamic memory. Using scopes forces the programmer to reason in terms of locality, to comply with RTSJ restrictions. The programmer is also faced with the problem of providing upper-bounds for regions. Without appropriate compile-time support, scoped-memory management may lead to unexpected runtime errors. This work presents the integration of a series of compiletime analysis techniques to help identifying memory regions, their sizes, and overall memory usage. First, the tool synthesizes a scoped-based memory organization where regions are associated with methods. Second, it infers their sizes in parametric forms in terms of relevant program variables. Third, it exhibits a parametric upper-bound on the total amount of memory required to run a method. We present some preliminary results showing that semi-automatic, toolassisted generation of scoped-based code is both helpful and doable. 1.
Keyphrases
memory-predictable code java-like program scoped-based code toolassisted generation scoped-based memory organization preliminary result memory region relevant program variable dynamic memory parametric upper-bound scoped-memory management compiletime analysis technique unexpected runtime error scopedmemory class total amount rtsj restriction appropriate compile-time support time-predictable management overall memory usage scope force parametric form
