Parametric prediction of heap memory requirements

“Parametric prediction of heap memory requirements” by Víctor Braberman, Federico Fernández, Diego Garbervetsky, and Sergio Yovine. In ISMM 2008: International Symposium on Memory Management, (Tucson, AZ, USA), June 2008, pp. 141-150.

Abstract

This work presents a technique to compute symbolic polynomial approximations of the amount of dynamic memory required to safely execute a method without running out of memory, for Java-like imperative programs. We consider object allocations and deallocations made by the method and the methods it transitively calls. More precisely, given an initial configuration of the stack and the heap, the peak memory consumption is the maximum space occupied by newly created objects in all states along a run from it. We over-approximate the peak memory consumption using a scoped-memory management where objects are organized in regions associated with the lifetime of methods. We model the problem of computing the maximum memory occupied by any region configuration as a parametric polynomial optimization problem over a polyhedral domain and resort to Bernstein basis to solve it. We apply the developed tool to several benchmarks.

BibTeX entry:

@inproceedings{BrabermanFGY2008,
   author = {V{\'\i}ctor Braberman and Federico Fern{\'a}ndez and Diego
	Garbervetsky and Sergio Yovine},
   title = {Parametric prediction of heap memory requirements},
   booktitle = {ISMM 2008: International Symposium on Memory Management},
   pages = {141--150},
   address = {Tucson, AZ, USA},
   month = jun,
   year = {2008}
}

Back to Publications whose methodology uses invariant detection.