Schedulability Analysis for Java Finalizers

Thomas Bøgholm, Rene Rydhof Hansen, Hans Søndergaard, Anders Peter Ravn, Bent Thomsen

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

2 Citationer (Scopus)

Abstrakt

Java finalizers perform clean-up and finalisation of objects at garbage collection time. In real-time Java profiles the use of finalizers is either discouraged (RTSJ, Ravenscar Java) or even disallowed (JSR-302), mainly because of the unpredictability of finalizers and in particular their impact on the schedulability analysis. In this paper we show that a controlled scoped memory model results in a structured and predictable execution of finalizers, more reminiscent of C++ destructors than Java finalizers. Furthermore, we incorporate finalizers into a (conservative) schedulability analysis for Predictable Java programs. Finally, we extend the SARTS tool for automated schedulability analysis of Java bytecode programs to handle finalizers in a fully automated way.
OriginalsprogEngelsk
TitelProceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems : ACM International Conference Proceeding Series
Antal sider7
ForlagAssociation for Computing Machinery
Publikationsdato2010
ISBN (Elektronisk)978-1-4503-0122-0
DOI
StatusUdgivet - 2010

Fingeraftryk Dyk ned i forskningsemnerne om 'Schedulability Analysis for Java Finalizers'. Sammen danner de et unikt fingeraftryk.

  • Citationsformater

    Bøgholm, T., Hansen, R. R., Søndergaard, H., Ravn, A. P., & Thomsen, B. (2010). Schedulability Analysis for Java Finalizers. I Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems: ACM International Conference Proceeding Series Association for Computing Machinery. https://doi.org/10.1145/1850771.1850772