On transforming Java-like programs into memory-predictable code
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 provi...
Guardado en:
| Autor principal: | |
|---|---|
| Otros Autores: | , , , |
| Formato: | Acta de conferencia Capítulo de libro |
| Lenguaje: | Inglés |
| Publicado: |
2009
|
| Acceso en línea: | Registro en Scopus DOI Handle Registro en la Biblioteca Digital |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
| LEADER | 07934caa a22008897a 4500 | ||
|---|---|---|---|
| 001 | PAPER-8350 | ||
| 003 | AR-BaUEN | ||
| 005 | 20230518203809.0 | ||
| 008 | 190411s2009 xx ||||fo|||| 10| 0 eng|d | ||
| 024 | 7 | |2 scopus |a 2-s2.0-70350644848 | |
| 040 | |a Scopus |b spa |c AR-BaUEN |d AR-BaUEN | ||
| 100 | 1 | |a Garbervetsky, D. | |
| 245 | 1 | 3 | |a On transforming Java-like programs into memory-predictable code |
| 260 | |c 2009 | ||
| 270 | 1 | 0 | |m Garbervetsky, D.; Departamento de Computación, FCEyN, UBAArgentina; email: diegog@dc.uba.ar |
| 506 | |2 openaire |e Política editorial | ||
| 504 | |a Albert, E., Arenas, P., Genaim, S., Puebla, G., Zanardini, D., Cost analysis of java bytecode. ESOP (2007) LNCS, 4421, pp. 157-172. , of, Springer | ||
| 504 | |a Albert, E., Genaim, S., Gómez-Zamalloa, M., Live heap space analysis for languages with garbage collection (2009) ISMM, pp. 129-138 | ||
| 504 | |a 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 | ||
| 504 | |a 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 | ||
| 504 | |a Braberman, V., Fernández, F., Garbervetsky, D., Yovine, S., Parametric prediction of heap memory requirements ISMM '08, pp. 141-150 | ||
| 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 | ||
| 504 | |a Cahoon, B., McKinley, K.S., Data ow analysis for software prefetching linked data structures in java controller (2001) PACT 2001, pp. 280-291 | ||
| 504 | |a Cherem, S., Rugina, R., Region analysis and transformation for Java programs (2004) ISMM'04 | ||
| 504 | |a Chin, W., Nguyen, H.H., Qin, S., Rinard, M., Memory usage verification for oo programs (2005) SAS 05 | ||
| 504 | |a Chin, W.N., Nguyen, H.H., Popeea, C., Qin, S., Analysing Memory Resource Bounds for Low-Level Programs ISMM '08), pp. 151-160 | ||
| 504 | |a 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 | ||
| 504 | |a Clauss, P., Tchoupaeva, I., A symbolic approach to bernstein expansion for program analysis and optimization LNCS, pp. 120-133. , CC 04 | ||
| 504 | |a Deters, M., Cytron, R.K., Automated discovery of scoped memory regions for real-time java (2002) ISMM 02, pp. 25-35 | ||
| 504 | |a 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 | ||
| 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 eTx '05, pp. 50-54 | ||
| 504 | |a Garbervetsky, D., (2007) Parametric specification of dymamic memory utilization, , PhD thesis, DC, FCEyN, UBA, November | ||
| 504 | |a Garbervetsky, D., Nakhli, C., Yovine, S., Zorgati, H., Program instrumentation and run-time analysis of scoped memory in Java RV 04, , ENTCS, Spain | ||
| 504 | |a Gay, D., Aiken, A., Language support for regions (2001) PLDI 01, pp. 70-80 | ||
| 504 | |a Gosling, J., Bollella, G., (2000) The Real-Time Specification for Java, , Addison-Wesley Longman Publishing Co, Inc | ||
| 504 | |a Henriksson, R., (1998) Scheduling garbage collection in embedded systems, , PhD. Thesis, Lund Institute of Technology | ||
| 504 | |a Nielson, F., Nielson, H., Hankin, C., (1999) Principles of Program Analysis, , Springer-Verlag New York, Inc, Secaucus, NJ, USA | ||
| 504 | |a Nilsen, K., Improving abstraction, encapsulation, and performance within mixed-mode real-time Java applications JTRES 2007, pp. 13-22 | ||
| 504 | |a Pizlo, F., Fox, J., Holmes, D., Vitek, J., Real-time Java scoped memory: Design patterns and semantics ISORC '04, , Austria | ||
| 504 | |a Salagnac, G., Rippert, C., Yovine, S., Semi-automatic region-based memory management for real-time java embedded systems (2007) RTCSA'07 | ||
| 504 | |a Salagnac, G., Yovine, S., Garbervetsky, D., Fast escape analysis for region-based memory management (2005) ENTCS, 131, pp. 99-110 | ||
| 504 | |a Salcianu, A., Rinard, M., Pointer and escape analysis for multithreaded programs (2001) PPoPP 01, 36, pp. 12-23 | ||
| 504 | |a Siebert, F., Hard real-time garbage-collection in the jamaica virtual machine (1999) rtcsa, , 00:96 | ||
| 504 | |a Tofte, M., Talpin, J.P., Region-based memory management (1997) Information and Computation | ||
| 504 | |a 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 | ||
| 520 | 3 | |a 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. |l eng | |
| 593 | |a Departamento de Computación, FCEyN, UBA, Argentina | ||
| 690 | 1 | 0 | |a COMPILE TIME |
| 690 | 1 | 0 | |a DYNAMIC MEMORY |
| 690 | 1 | 0 | |a JAVA-LIKE PROGRAMS |
| 690 | 1 | 0 | |a MEMORY MANAGEMENT |
| 690 | 1 | 0 | |a MEMORY ORGANIZATIONS |
| 690 | 1 | 0 | |a MEMORY REGION |
| 690 | 1 | 0 | |a MEMORY USAGE |
| 690 | 1 | 0 | |a PARAMETRIC FORMS |
| 690 | 1 | 0 | |a PROGRAM VARIABLES |
| 690 | 1 | 0 | |a RUN-TIME ERRORS |
| 690 | 1 | 0 | |a SEMI-AUTOMATICS |
| 690 | 1 | 0 | |a AUTOMATIC PROGRAMMING |
| 690 | 1 | 0 | |a COMPUTER SOFTWARE |
| 690 | 1 | 0 | |a EMBEDDED SYSTEMS |
| 690 | 1 | 0 | |a JAVA PROGRAMMING LANGUAGE |
| 690 | 1 | 0 | |a TIME SERIES ANALYSIS |
| 690 | 1 | 0 | |a REAL TIME SYSTEMS |
| 700 | 1 | |a Yovine, S. | |
| 700 | 1 | |a Braberman, V. | |
| 700 | 1 | |a Rouaux, M. | |
| 700 | 1 | |a Taboada, A. | |
| 711 | 2 | |c Madrid |d 23 September 2009 through 25 September 2009 |g Código de la conferencia: 78259 | |
| 773 | 0 | |d 2009 |h pp. 140-149 |p ACM Int. Conf. Proc. Ser. |n ACM International Conference Proceeding Series |z 9781605587325 |t 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2009 | |
| 856 | 4 | 1 | |u https://www.scopus.com/inward/record.uri?eid=2-s2.0-70350644848&doi=10.1145%2f1620405.1620426&partnerID=40&md5=02b1f233a715804bcc54fe0f236fbc4e |y Registro en Scopus |
| 856 | 4 | 0 | |u https://doi.org/10.1145/1620405.1620426 |y DOI |
| 856 | 4 | 0 | |u https://hdl.handle.net/20.500.12110/paper_97816055_v_n_p140_Garbervetsky |y Handle |
| 856 | 4 | 0 | |u https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_97816055_v_n_p140_Garbervetsky |y Registro en la Biblioteca Digital |
| 961 | |a paper_97816055_v_n_p140_Garbervetsky |b paper |c PE | ||
| 962 | |a info:eu-repo/semantics/conferenceObject |a info:ar-repo/semantics/documento de conferencia |b info:eu-repo/semantics/publishedVersion | ||
| 999 | |c 69303 | ||