Schedulability Analysis for Java Finalizers

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

    Publikation: Konferencebidrag uden forlag/tidsskriftPaper/skriftligt oplægForskning

    Abstract

    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
    Publikationsdatoaug. 2010
    Antal sider7
    StatusUdgivet - aug. 2010
    BegivenhedThe 8th International Workshop on Java Technologies for Real-time and Embedded Systems - Prag, Tjekkiet
    Varighed: 19 aug. 201021 aug. 2010
    Konferencens nummer: 8

    Konference

    KonferenceThe 8th International Workshop on Java Technologies for Real-time and Embedded Systems
    Nummer8
    LandTjekkiet
    ByPrag
    Periode19/08/1021/08/10

    Emneord

    • it

    Citationsformater