Quantitative dynamic-memory analysis for Java
Space- and time-predictability are hard to achieve for object-oriented languages with automated dynamic-memory management. Although there has been significant work to design APIs, such as the Real-Time Specification for Java (RTSJ), and to implement garbage collectors to enable real-time performance...
Guardado en:
| Autor principal: | |
|---|---|
| Otros Autores: | , , , |
| Formato: | Capítulo de libro |
| Lenguaje: | Inglés |
| Publicado: |
2011
|
| Acceso en línea: | Registro en Scopus DOI Handle Registro en la Biblioteca Digital |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
| LEADER | 11788caa a22010817a 4500 | ||
|---|---|---|---|
| 001 | PAPER-10287 | ||
| 003 | AR-BaUEN | ||
| 005 | 20230518204019.0 | ||
| 008 | 190411s2011 xx ||||fo|||| 00| 0 eng|d | ||
| 024 | 7 | |2 scopus |a 2-s2.0-80052503017 | |
| 040 | |a Scopus |b spa |c AR-BaUEN |d AR-BaUEN | ||
| 030 | |a CCPEB | ||
| 100 | 1 | |a Garbervetsky, D. | |
| 245 | 1 | 0 | |a Quantitative dynamic-memory analysis for Java |
| 260 | |c 2011 | ||
| 270 | 1 | 0 | |m Garbervetsky, D.; Departamento de Computación, FCEyN, Ciudad Universitaria, (C1428EGA) Buenos Aires, Argentina; email: diegog@dc.uba.ar |
| 506 | |2 openaire |e Política editorial | ||
| 504 | |a Bacon, D.F., Cheng, P., Rajan, V.T., Controlling fragmentation and space consumption in the metronome, a real-time garbage collector for java (2003) LCTES '03: Proceedings of the 2003 ACM SIGPLAN Conference on Language, Compiler, and Tool for Embedded Systems, pp. 81-92. , ACM Press: New York, NY, U.S.A | ||
| 504 | |a Henriksson, R., (1998) Scheduling Garbage Collection in Embedded Systems, , PhD Thesis, Lund Institute of Technology | ||
| 504 | |a Siebert, F., Hard real-time garbage-collection in the jamaica virtual machine (1999) Proceedings of the Sixth International Conference on Real-Time Computing Systems and Applications, p. 96. , RTCSA, Hong Kong, China | ||
| 504 | |a Tofte, M., Talpin, J.-P., Region-Based Memory Management (1997) Information and Computation, 132 (2), pp. 109-176 | ||
| 504 | |a Gay, D., Aiken, A., (2001) Language Support for Regions, PLDI 01, pp. 70-80. , Utah, U.S.A | ||
| 504 | |a Gosling, J., Bollella, G., (2000) The Real-time Specification for Java, , Addison-Wesley: Reading, MA | ||
| 504 | |a Pizlo, F., Fox, J., Holmes, D., Vitek, J., Real-time Java scoped memory: Design patterns and semantics (2004) Proceedings of the IEEE International Symposium on Object-oriented Real-Time Distributed Computing (ISORC), , Vienna, Austria, May | ||
| 504 | |a Salcianu, A., Rinard, M., (2001) Pointer and Escape Analysis for Multithreaded Programs, 36, pp. 12-23. , PPoPP 01 Utah, U.S.A | ||
| 504 | |a Salagnac, G., Yovine, S., Garbervetsky, D., Fast escape analysis for region-based memory management (2005) Electronic Notes in Theoretical Computer Science, 131, pp. 99-110. , DOI 10.1016/j.entcs.2005.01.026, PII S1571066105002616, Proceedings of the First International Workshop on Abstract Interpretation of Object-oriented Languages (AIOOL 2005) | ||
| 504 | |a Ferrari, A., Garbervetsky, D., Braberman, V., Listingart, P., Yovine, S., Jscoper: Eclipse support for research on scoping and instrumentation for real time java applications (2005) Eclipse '05: Proceedings of the 2005 OOPSLA Workshop on Eclipse Technology EXchange, pp. 50-54. , ACM Press: New York, NY, U.S.A | ||
| 504 | |a Braberman, V., Garbervetsky, D., Yovine, S., A static analysis for synthesizing parametric specifications of dynamic memory consumption (2006) Journal of Object Technology, 5 (5), pp. 31-58. , http://www.jot.fm/issues/issue_2006_06/article2.pdf, ECOOP 2005 Workshop FTfJP | ||
| 504 | |a Braberman, V., Fernández, F., Garbervetsky, D., Yovine, S., Parametric prediction of heap memory requirements (2008) ISMM '08: Proceedings of the Seventh International Symposium on Memory Management, pp. 141-150. , ACM: New York | ||
| 504 | |a Kalibera, T., Hagelberg, J., Pizlo, F., Plsek, A., Titzer, B., Vitek, J., Cdx: A family of real-time java benchmarks (2009) JTRES '09: Proceedings of the Seventh International Workshop on Java Technologies for Real-Time and Embedded Systems, pp. 41-50. , ACM: New York, NY, U.S.A | ||
| 504 | |a Garbervetsky, D., Nakhli, C., Yovine, S., Zorgati, H., (2004) Program Instrumentation and Run-time Analysis of Scoped Memory in Java, , RV 04, ETAPS, ENTCS, Barcelona, Spain, April | ||
| 504 | |a Salagnac, G., Rippert, C., Yovine, S., Semi-automatic region-based memory management for real-time java embedded systems (2007) Proceedings of 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'07), , Daegu, Korea, August | ||
| 504 | |a Clauss, P., Counting solutions to linear and nonlinear constraints through ehrhart polynomials (1996) Applications to Analyze and Transform Scientific Programs, ICS'96, pp. 278-285. , Philadelphia, U.S.A | ||
| 504 | |a Nielson, F., Nielson, H.R., Hankin, C., (1999) Principles of Program Analysis, , Springer: Secaucus, NJ, U.S.A | ||
| 504 | |a Verdoolaege, S., Seghir, R., Beyls, K., Analytical computation of Ehrhart polynomials: Enabling more compiler analyses and optimizations (2004) CASES 2004: International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, pp. 248-258. , CASES 2004: International Conference on Compilers, Architecture, and Synthesis for Embedded Systems | ||
| 504 | |a Clauss, P., Tchoupaeva, I., A symbolic approach to bernstein expansion for program analysis and optimization (2004) 13th International Conference on Compiler Construction, CC 2004, pp. 120-133. , (Lecture Notes in Computer Science, 2985), Duesterwald E. (ed.). Springer: Berlin | ||
| 504 | |a Alpern, B., Augart, S., Blackburn, S.M., Butrico, M.A., Cocchi, A., Cheng, P., Dolby, J., Trapp, M., The Jikes research virtual machine project: Building an open-source research community (2005) IBM Systems Journal, 44 (2), pp. 399-418 | ||
| 504 | |a Deters, M., Cytron, R.K., Automated discovery of scoped memory regions for real-time java (2002) ISMM 02, pp. 25-35. , Berlin, Germany | ||
| 504 | |a Cherem, S., Rugina, R., Region analysis and transformation for Java programs (2004) ISMM'04, , Vancouver, Canada | ||
| 504 | |a Albert, E., Arenas, P., Genaim, S., Puebla, G., Zanardini, D., Cost analysis of Java bytecode (2007) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 4421, pp. 157-172. , Programming Languages and Systems - 16th European Symposium on Programming, ESOP 2007. Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Proceedings | ||
| 504 | |a Albert, E., Genaim, S., Gómez-Zamalloa, M., Live heap space analysis for languages with garbage collection (2009) ISMM, pp. 129-138. , Dublin, Ireland | ||
| 504 | |a Chin, W.N., Nguyen, H.H., Popeea, C., Qin, S., Analysing memory resource bounds for low-level programs (2008) Proceedings of the International Symposium on Memory Management (ISMM '08), pp. 151-160. , Tucson, Arizona, June | ||
| 504 | |a Gulwani, S., Jain, S., Koskinen, E., Control-flow refinement and progress invariants for bound analysis (2009) PLDI '09: Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 375-385. , ACM: New York, NY, U.S.A | ||
| 504 | |a Garbervetsky, D., (2007) Parametric Specification of Dymamic Memory Utilization, , PhD Thesis, DC, FCEyN, UBA, November | ||
| 504 | |a Chin, W., Nguyen, H.H., Qin, S., Rinard, M., Memory usage verification for oo programs (2005) SAS 05, , London, U.K | ||
| 504 | |a Gulwani, S., Mehra, K.K., Chilimbi, T., Speed: Precise and efficient static estimation of program computational complexity (2009) POPL '09: Proceedings of the 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 127-139. , ACM: New York, NY, U.S.A | ||
| 504 | |a Flanagan, C., Leino, K., Lillibridge, M., Nelson, C., Saxe, J., Stata, R., Extended static checking for Java (2002) PLDI 02, , Berlin, Germany | ||
| 504 | |a Rouaux, M., Garbervetsky, D., (2009) Predicción Paramétrica de Requerimientos de Memoria: Especificación Modular, , Master's Thesis, Departamento de Computación, FCEyN, UBA, August | ||
| 504 | |a Andreae, C., Coady, Y., Gibbs, C., Noble, J., Vitek, J., Zhao, T., Scoped types and aspects for real-time Java memory management (2007) Real-Time Systems, 37 (1), pp. 1-44. , DOI 10.1007/s11241-007-9024-3 | ||
| 504 | |a Boyapati, C., Salcianu, A., Beebee, Jr.W., Rinard, M., Ownership types for safe region-based memory management in real-time java (2003) PLDI '03: Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation, pp. 324-337. , ACM: New York, NY, U.S.A | ||
| 504 | |a Nilsen, K., Improving abstraction, encapsulation, and performance within mixed-mode real-time Java applications (2007) Proceedings of the 5th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2007, pp. 13-22. , DOI 10.1145/1288940.1288943, Proceedings of the 5th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2007 | ||
| 520 | 3 | |a Space- and time-predictability are hard to achieve for object-oriented languages with automated dynamic-memory management. Although there has been significant work to design APIs, such as the Real-Time Specification for Java (RTSJ), and to implement garbage collectors to enable real-time performance, quantitative space analysis is still in its infancy. This work presents the integration of a series of compile-time analysis techniques to help predicting quantitative memory usage. In particular, we focus on providing tool assistance for identifying RTSJ scoped-memory regions, their sizes, and overall memory usage. First, the tool-suite synthesizes a memory organization where regions are associated with methods. Second, it infers their sizes in parametric closed form in terms of relevant program variables. Third, it exhibits a parametric upper bound on the amount of available free memory required to execute a method. The experiments carried out with a RTSJ benchmark, a real-time aircraft collision detector, show that semi-automatic, tool-assisted generation of scoped-based code is both helpful and doable. © 2010 John Wiley & Sons, Ltd. |l eng | |
| 593 | |a Departamento de Computación, FCEyN, Ciudad Universitaria, (C1428EGA) Buenos Aires, Argentina | ||
| 690 | 1 | 0 | |a JAVA REAL-TIME |
| 690 | 1 | 0 | |a QUANTITATIVE MEMORY REQUIREMENTS |
| 690 | 1 | 0 | |a SCOPED-MEMORY |
| 690 | 1 | 0 | |a STATIC ANALYSIS |
| 690 | 1 | 0 | |a AIRCRAFT COLLISIONS |
| 690 | 1 | 0 | |a ANALYSIS TECHNIQUES |
| 690 | 1 | 0 | |a CLOSED FORM |
| 690 | 1 | 0 | |a COMPILE TIME |
| 690 | 1 | 0 | |a DYNAMIC MEMORY |
| 690 | 1 | 0 | |a FREE MEMORY |
| 690 | 1 | 0 | |a GARBAGE COLLECTORS |
| 690 | 1 | 0 | |a JAVA REAL-TIME |
| 690 | 1 | 0 | |a MEMORY ORGANIZATIONS |
| 690 | 1 | 0 | |a MEMORY REQUIREMENTS |
| 690 | 1 | 0 | |a MEMORY USAGE |
| 690 | 1 | 0 | |a OBJECT-ORIENTED LANGUAGES |
| 690 | 1 | 0 | |a PROGRAM VARIABLES |
| 690 | 1 | 0 | |a REAL TIME PERFORMANCE |
| 690 | 1 | 0 | |a REAL-TIME SPECIFICATION FOR JAVAS |
| 690 | 1 | 0 | |a SCOPED-MEMORY |
| 690 | 1 | 0 | |a SEMI-AUTOMATICS |
| 690 | 1 | 0 | |a SPACE ANALYSIS |
| 690 | 1 | 0 | |a UPPER BOUND |
| 690 | 1 | 0 | |a AIRCRAFT ACCIDENTS |
| 690 | 1 | 0 | |a AUTOMATIC PROGRAMMING |
| 690 | 1 | 0 | |a JAVA PROGRAMMING LANGUAGE |
| 690 | 1 | 0 | |a STATIC ANALYSIS |
| 690 | 1 | 0 | |a TIME SERIES ANALYSIS |
| 700 | 1 | |a Yovine, S. | |
| 700 | 1 | |a Braberman, V. | |
| 700 | 1 | |a Rouaux, M. | |
| 700 | 1 | |a Taboada, A. | |
| 773 | 0 | |d 2011 |g v. 23 |h pp. 1665-1678 |k n. 14 |p Concurrency Comput. Pract. Exper. |x 15320626 |t Concurrency Computation Practice and Experience | |
| 856 | 4 | 1 | |u https://www.scopus.com/inward/record.uri?eid=2-s2.0-80052503017&doi=10.1002%2fcpe.1656&partnerID=40&md5=f0b860108fee2135e64eef1ad9b3a1e6 |y Registro en Scopus |
| 856 | 4 | 0 | |u https://doi.org/10.1002/cpe.1656 |y DOI |
| 856 | 4 | 0 | |u https://hdl.handle.net/20.500.12110/paper_15320626_v23_n14_p1665_Garbervetsky |y Handle |
| 856 | 4 | 0 | |u https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_15320626_v23_n14_p1665_Garbervetsky |y Registro en la Biblioteca Digital |
| 961 | |a paper_15320626_v23_n14_p1665_Garbervetsky |b paper |c PE | ||
| 962 | |a info:eu-repo/semantics/article |a info:ar-repo/semantics/artículo |b info:eu-repo/semantics/publishedVersion | ||
| 999 | |c 71240 | ||