Hardware Support for Safety-critical Java Scope Checks

Juan Ricardo Rios Rivas, Martin Schoeberl

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

    Abstract

    Memory management in Safety-Critical Java (SCJ) is based on time bounded, non garbage collected scoped memory regions used to store temporary objects. Scoped memory regions may have different life times during the execution of a program and hence, to avoid leaving dangling pointers, it is necessary to check that reference assignments are performed only from objects in shorter lived scopes to objects in longer lived scopes (or between objects in the same scoped memory area). SCJ offers, compared to the RTSJ, a simplified memory model where only the immortal and mission memory scoped areas are shared between threads and any other scoped region is thread private. In this paper we present how, due to this simplified model, a single scope nesting level can be used to check the legality of every reference assignment. We also show that with simple hardware extensions a processor can see some improvement in terms of execution time for applications where cross-scope references are frequent. Our proposal was implemented and tested on the Java Optimized Processor (JOP).
    Original languageEnglish
    Title of host publication2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC)
    PublisherIEEE
    Publication date2012
    Pages31-38
    ISBN (Print)978-1-4673-0499-3
    DOIs
    Publication statusPublished - 2012
    Event2012 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC - Guangdong, China
    Duration: 11 Apr 201213 Apr 2012

    Conference

    Conference2012 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC
    CountryChina
    CityGuangdong
    Period11/04/201213/04/2012

    Keywords

    • Certification
    • Safety-Critical Java
    • Reference Assignment Checks
    • Java Optimized Processor

    Cite this

    Rios Rivas, J. R., & Schoeberl, M. (2012). Hardware Support for Safety-critical Java Scope Checks. In 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC) (pp. 31-38 ). IEEE. https://doi.org/10.1109/ISORC.2012.13