Memory management is a source of unpredictability in the execution time of Java programs. This is because garbage collection introduces possibly unbounded blocking pauses to threads, which is unacceptable in real-time systems. To cope with this problem, the Real-Time Specification for Java (RTSJ) adopts a region-based approach which relies on memory scopes that are automatically freed upon termination of their lifetime. This allows the turning off of garbage collection during the execution of critical tasks, thus ensuring real-time guarantees. This chapter explains the RTSJ memory model and proposes improvements to its suggested implementation. It also discusses a static analysis-based approach to ensure that memory scopes are correctly use and dimensioned at compile time. © 2012 Springer Science+Business Media, LLC. All rights reserved.
Documento: | Parte de libro |
Título: | Region-based memory management: An evaluation of its support in RTSJ |
Autor: | Higuera-Toledano, M.T.; Yovine, S.; Garbervetsky, D. |
Filiación: | Universidad Complutense de Madrid, Ciudad Universitaria, Madrid, Spain CONICET, Departamento de Computación, Universidad de Buenos Aires, Buenos Aires, Argentina Departamento de Computación, FCEN, Universidad de Buenos Aires, Buenos Aires, Argentina |
Palabras clave: | Computer software; Java programming language; Refuse collection; Static analysis; Analysis-based approaches; Garbage collection; Memory management; Memory modeling; Real time guarantees; Real-time specification for javas; Region based approach; Region-based memory management; Real time systems |
Año: | 2012 |
Volumen: | 9781441981585 |
Página de inicio: | 101 |
Página de fin: | 127 |
DOI: | http://dx.doi.org/10.1007/978-1-4419-8158-5_5 |
Título revista: | Distributed, Embedded and Real-time Java Systems |
Título revista abreviado: | Distrib., Embedded and Real-time Java Syst. |
Registro: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_97814419_v9781441981585_n_p101_HigueraToledano |