Navegar

Colección

Datos Estadísticas

Conferencia

Garbervetsky, D.; Yovine, S.; Braberman, V.; Rouaux, M.; Taboada, A. "On transforming Java-like programs into memory-predictable code" (2009) 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2009:140-149
Estamos trabajando para incorporar este artículo al repositorio
Consulte el artículo en la página del editor

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 compile-time 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, tool-assisted generation of scoped-based code is both helpful and doable. Copyright 2009 ACM.

Registro:

Documento: Conferencia
Título:On transforming Java-like programs into memory-predictable code
Autor:Garbervetsky, D.; Yovine, S.; Braberman, V.; Rouaux, M.; Taboada, A.
Ciudad:Madrid
Filiación:Departamento de Computación, FCEyN, UBA, Argentina
Palabras clave:Compile time; Dynamic memory; Java-like programs; Memory management; Memory organizations; Memory region; Memory usage; Parametric forms; Program variables; Run-time errors; Semi-automatics; Automatic programming; Computer software; Embedded systems; Java programming language; Time series analysis; Real time systems
Año:2009
Página de inicio:140
Página de fin:149
DOI: http://dx.doi.org/10.1145/1620405.1620426
Título revista:7th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2009
Título revista abreviado:ACM Int. Conf. Proc. Ser.
Registro:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_97816055_v_n_p140_Garbervetsky

Referencias:

  • Albert, E., Arenas, P., Genaim, S., Puebla, G., Zanardini, D., Cost analysis of java bytecode. ESOP (2007) LNCS, 4421, pp. 157-172. , of, Springer
  • Albert, E., Genaim, S., Gómez-Zamalloa, M., Live heap space analysis for languages with garbage collection (2009) ISMM, pp. 129-138
  • Alpern, B., Augart, S., Blackburn, S.M., Butrico, M., Cocchi, A., Cheng, P., Dolby, J., Hind, M., The Jikes research virtual machine project: Building an open-source research community (2005) IBM Systems Journal, 44 (2), pp. 399-417
  • Bacon, D., Cheng, P., Rajan, V.T., Controlling fragmentation and space consumption in the metronome, a real-time garbage collector for java LCTES '03, pp. 81-92
  • Braberman, V., Fernández, F., Garbervetsky, D., Yovine, S., Parametric prediction of heap memory requirements ISMM '08, pp. 141-150
  • 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
  • Cahoon, B., McKinley, K.S., Data ow analysis for software prefetching linked data structures in java controller (2001) PACT 2001, pp. 280-291
  • Cherem, S., Rugina, R., Region analysis and transformation for Java programs (2004) ISMM'04
  • Chin, W., Nguyen, H.H., Qin, S., Rinard, M., Memory usage verification for oo programs (2005) SAS 05
  • Chin, W.N., Nguyen, H.H., Popeea, C., Qin, S., Analysing Memory Resource Bounds for Low-Level Programs ISMM '08), pp. 151-160
  • Clauss, P., Counting solutions to linear and nonlinear constraints through ehrhart polynomials: Applications to analyze and transform scientific programs (1996) ICS'96, pp. 278-285
  • Clauss, P., Tchoupaeva, I., A symbolic approach to bernstein expansion for program analysis and optimization LNCS, pp. 120-133. , CC 04
  • Deters, M., Cytron, R.K., Automated discovery of scoped memory regions for real-time java (2002) ISMM 02, pp. 25-35
  • Ernst, M., Perkins, J., Guo, P., McCamant, S., Pacheco, C., Tschantz, M., Xiao, C., The Daikon system for dynamic detection of likely invariants (2007) Science of Computer Programming
  • Ferrari, A., Garbervetsky, D., Braberman, V., Listingart, P., Yovine, S., Jscoper: Eclipse support for research on scoping and instrumentation for real time java applications eTx '05, pp. 50-54
  • Garbervetsky, D., (2007) Parametric specification of dymamic memory utilization, , PhD thesis, DC, FCEyN, UBA, November
  • Garbervetsky, D., Nakhli, C., Yovine, S., Zorgati, H., Program instrumentation and run-time analysis of scoped memory in Java RV 04, , ENTCS, Spain
  • Gay, D., Aiken, A., Language support for regions (2001) PLDI 01, pp. 70-80
  • Gosling, J., Bollella, G., (2000) The Real-Time Specification for Java, , Addison-Wesley Longman Publishing Co, Inc
  • Henriksson, R., (1998) Scheduling garbage collection in embedded systems, , PhD. Thesis, Lund Institute of Technology
  • Nielson, F., Nielson, H., Hankin, C., (1999) Principles of Program Analysis, , Springer-Verlag New York, Inc, Secaucus, NJ, USA
  • Nilsen, K., Improving abstraction, encapsulation, and performance within mixed-mode real-time Java applications JTRES 2007, pp. 13-22
  • Pizlo, F., Fox, J., Holmes, D., Vitek, J., Real-time Java scoped memory: Design patterns and semantics ISORC '04, , Austria
  • Salagnac, G., Rippert, C., Yovine, S., Semi-automatic region-based memory management for real-time java embedded systems (2007) RTCSA'07
  • Salagnac, G., Yovine, S., Garbervetsky, D., Fast escape analysis for region-based memory management (2005) ENTCS, 131, pp. 99-110
  • Salcianu, A., Rinard, M., Pointer and escape analysis for multithreaded programs (2001) PPoPP 01, 36, pp. 12-23
  • Siebert, F., Hard real-time garbage-collection in the jamaica virtual machine (1999) rtcsa, , 00:96
  • Tofte, M., Talpin, J.P., Region-based memory management (1997) Information and Computation
  • R. Vallée-Rai, L. Hendren, V. Sundaresan, P. Lam, E. Gagnon, and P. Co. Soot - A java optimization framework. In CASCON'99, pages 125-135, 1999A4 - Universidad Complutense de Madrid; Sun Microsystems, Inc.; aicas GmbH; ACM Int. Conference Proc. Series. ACM Press

Citas:

---------- APA ----------
Garbervetsky, D., Yovine, S., Braberman, V., Rouaux, M. & Taboada, A. (2009) . On transforming Java-like programs into memory-predictable code. 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2009, 140-149.
http://dx.doi.org/10.1145/1620405.1620426
---------- CHICAGO ----------
Garbervetsky, D., Yovine, S., Braberman, V., Rouaux, M., Taboada, A. "On transforming Java-like programs into memory-predictable code" . 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2009 (2009) : 140-149.
http://dx.doi.org/10.1145/1620405.1620426
---------- MLA ----------
Garbervetsky, D., Yovine, S., Braberman, V., Rouaux, M., Taboada, A. "On transforming Java-like programs into memory-predictable code" . 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2009, 2009, pp. 140-149.
http://dx.doi.org/10.1145/1620405.1620426
---------- VANCOUVER ----------
Garbervetsky, D., Yovine, S., Braberman, V., Rouaux, M., Taboada, A. On transforming Java-like programs into memory-predictable code. ACM Int. Conf. Proc. Ser. 2009:140-149.
http://dx.doi.org/10.1145/1620405.1620426