Parametric prediction of heap memory requirements

International Symposium on Memory Management, ISMM

Volumn , Issue , 2008, Pages 141-150

  Braberman, Víctor ^a   Fernández, Federico ^a   Garbervetsky, Diego ^a   Yovine, Sergio ^b  

^a UNIVERSIDAD DE BUENOS AIRES   (Argentina)

^b VERIMAG   (France)

Author keywords

Heap consumption; Heap space analysis; Java; Memory regions

Indexed keywords

BERNSTEIN BASES; DYNAMIC MEMORIES; HEAP CONSUMPTION; HEAP SPACE ANALYSIS; IMPERATIVE PROGRAMS; INITIAL CONFIGURATIONS; JAVA; LIFE-TIMES; MEMORY CONSUMPTIONS; MEMORY MANAGEMENTS; MEMORY REGIONS; MEMORY REQUIREMENTS; OBJECT ALLOCATIONS; OUT OF MEMORIES; POLYHEDRAL DOMAINS; POLYNOMIAL OPTIMIZATION PROBLEMS;

POLYNOMIAL APPROXIMATION;

EID: 57349149456     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1375634.1375655     Document Type: Conference Paper

References (29)

1. P. Abdulla, B. Jonsson, M. Nilsson, M. Saksena. A survey of regular model checking. CONCUR '04, LNCS 3170, 2004.
2. E, Albert, P. Arenas, S. Genaim, G. Puebla, D. Zanardini. Cost analysis of Java bytecode. ESOP'07, LNCS 4421, 2007.
3. E. Albert, S. Genaim, M. Gómez-Zamalloa. Heap space analysis for Java bytecode. ISMM'07, ACM 2007.
4. D. Bacon, P. Cheng, D. Grove. Garbage collection for embedded systems. EMSOFT'04, ACM 2004.
5. G. Barthe, M. Pavlova, G. Schneider. Precise analysis of memory consumption using program logics. SEFM'05. IEEE 2005.
6. G. Bollella, J. Gosling. The Real-Time Specification for Java. Addison-Wesley Longman Publishing Co., Inc., 2000.
7. V. Braberman, D. Garbervetsky, S. Yovine. A static analysis for synthesizing parametric specifications of dynamic memory consumption. JOT 5(5):31-58, 2006.
8. B. Cahoon, K. S. McKinley. Data flow analysis for software prefetching linked data structures in lava. PACT'01, IEEE 2001.
9. S. Cherem, R. Rugina. Region analysis and transformation for Java programs. ISMM'04, ACM 2004.
10. W. Chin, S. Khoo, S. Qin, C. Popeea, H. Nguyen. Verifying safety policies with size properties and alias controls. ICSE'05, ACM 2005.
11. W. Chin, H. H. Nguyen, S. Qin. M. Rinard. Memory usage verification for oo programs. SAS'05, LNCS 3672, 2005.
12. W.N. Chin, H.H. Nguyen, C. Popeea, S. Qin Analysing memory resource bounds for low-level programs. In ISMM 08, 2008.
13. Ph. Clauss, I. Tchoupaeva. A symbolic approach to Bernstein expansion for program analysis and optimization. CC'04, 2004.
14. Ph. Clauss, F. Fernández, D. Garbervetsky, S. Verdoolaege. Symbolic polynomial maximization over convex sets and its application to memory requirement estimation. TR06-04, Univ. L. Pasteur, 2006.
15. D. Detlefs. A hard look at hard real-time garbage collection. ISORC'04, IEEE 2004.
16. M. D. Ernst, J. H. Perkins, P. J. Guo, S. McCamant, C. Pacheco, M. S. Tschantz, C. Xiao. The Daikon system for dynamic detection of likely invariants. Sci. Comput. Program. 69(1-3): 35-45, 2007.
17. D. Garbervetsky. Parametric specification of dymamic memory utilization. Ph.D Thesis, DC, FCEyN, UBA, November 2007.
18. D. Gay, A. Aiken.Language support for regions.PLDI'01,ACM 2001.
19. O. Gheorghioiu. Statically determining memory consumption of real-time Java threads. MEng, MIT, 2002.
20. M. Hofman, S. Jost. Static prediction of heap usage for first-order functional programs. POPL'03, ACM 2003.
21. M. Hofman, S. Jost. Type-based amortised heap-space analysis. In ESOP '06, 2006.
22. J. Hughes, L. Pareto. Recursion and dynamic data-structures in bounded space: towards embedded ML programming. ICFP'99, SIGPLAN Notices 34(9), ACM 1999.
23. J. Hughes, L. Pareto, A. Sabry. Proving the correctness of reactive systems using sized types. POPL'96, ACM 1996.
24. V. Sundaresan, P. Lam, E. Gagnon, R. Vallée-Rai, L. Hendren, P. Co. Soot: A java optimization framework. CASCON'99, IBM 1999.
25. G. Salagnac, Ch. Rippert, S. Yovine. Semi-automatic region-based memory management for real-time java embedded systems. RTCSA'07, IEEE 2007.
26. G. Salagnac, S. Yovine, D. Garbervetsky. Fast escape analysis for region-based memory management. ENTCS, 131:99-110, 2005.
27. A. Salcianu, M. Rinard. Pointer and escape analysis for multithreaded programs. PPoPP'01, SIGPLAN Notices 36(7), ACM 2001.
28. M. Tofte, J.P. Talpin. Region-based memory management. Inf. Comput. 132(2): 109-176, 1997.
29. L. Unnikrishnan, S.D. Stoller, Y.A. Liu. Optimized live heap bound analysis. VMCAI'03, LNCS 2575, 2003.