Memory Management for Safety-Critical Java

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    507 Downloads (Pure)

    Abstract

    Safety-Critical Java (SCJ) is based on the Real-Time Specification for Java. To simplify the certification of Java programs, SCJ supports only a restricted scoped memory model. Individual threads share only immortal memory and the newly introduced mission memory. All other scoped memories are thread private. Furthermore, the notation of a maximum backing store requirement enables implementation of the scoped memories without fragmentation issues. In this paper we explore the implications of this new scoped memory model and possible simplifications in the implementation. It is possible to unify the three memory area types and provide a single class to represent all three memory areas of SCJ. The knowledge of the maximum storage requirements allows using nested backing stores in the implementation of the memory area representation. The proposed design of an SCJ compliant scope implementation is evaluated on an embedded Java processor.
    Original languageEnglish
    Title of host publicationProceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES 2011)
    PublisherACM
    Publication date2011
    ISBN (Print)978-1-4503-0731-4
    DOIs
    Publication statusPublished - 2011
    Event9th International Workshop on Java Technologies for Real-Time and Embedded Systems - York, United Kingdom
    Duration: 26 Sep 201128 Sep 2011
    Conference number: 9
    http://www.informatik.uni-trier.de/~ley/db/conf/jtres/jtres2011.html

    Workshop

    Workshop9th International Workshop on Java Technologies for Real-Time and Embedded Systems
    Number9
    CountryUnited Kingdom
    CityYork
    Period26/09/201128/09/2011
    Internet address

    Bibliographical note

    © ACM, 2011. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in JTRES '11, http://doi.acm.org/10.1145/2043910.2043919

    Keywords

    • Scoped memory
    • Safety-critical Java

    Cite this

    Schoeberl, M. (2011). Memory Management for Safety-Critical Java. In Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES 2011) ACM. https://doi.org/10.1145/2043910.2043919