Memory Management for Safety-Critical Java

Martin Schoeberl

doi:10.1145/2043910.2043919

Memory Management for Safety-Critical Java

Martin Schoeberl

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

853 Downloads (Orbit)

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 language	English
Title of host publication	Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES 2011)
Publisher	ACM
Publication date	2011
ISBN (Print)	978-1-4503-0731-4
DOIs	https://doi.org/10.1145/2043910.2043919
Publication status	Published - 2011
Event	9th International Workshop on Java Technologies for Real-Time and Embedded Systems - York, United Kingdom Duration: 26 Sept 2011 → 28 Sept 2011 Conference number: 9 http://www.informatik.uni-trier.de/~ley/db/conf/jtres/jtres2011.html

Workshop

Workshop	9th International Workshop on Java Technologies for Real-Time and Embedded Systems
Number	9
Country/Territory	United Kingdom
City	York
Period	26/09/2011 → 28/09/2011
Internet address	http://www.informatik.uni-trier.de/~ley/db/conf/jtres/jtres2011.html

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

Access to Document

10.1145/2043910.2043919

Scjscopes

http://www.artist-embedded.org/artist/JTRES-2011

OpenUrl availability

Check availability in DTU Findit

Cite this

@inproceedings{a4f921b29a014e10953672209d35c845,

title = "Memory Management for Safety-Critical Java",

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.",

keywords = "Scoped memory, Safety-critical Java",

author = "Martin Schoeberl",

note = "{\textcopyright} 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; 9th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2011 ; Conference date: 26-09-2011 Through 28-09-2011",

year = "2011",

doi = "10.1145/2043910.2043919",

language = "English",

isbn = "978-1-4503-0731-4",

booktitle = "Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES 2011)",

publisher = "ACM",

url = "http://www.informatik.uni-trier.de/\textasciitilde{}ley/db/conf/jtres/jtres2011.html",

}

TY - GEN

T1 - Memory Management for Safety-Critical Java

AU - Schoeberl, Martin

N1 - Conference code: 9

PY - 2011

Y1 - 2011

N2 - 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.

AB - 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.

KW - Scoped memory

KW - Safety-critical Java

U2 - 10.1145/2043910.2043919

DO - 10.1145/2043910.2043919

M3 - Article in proceedings

SN - 978-1-4503-0731-4

BT - Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES 2011)

PB - ACM

T2 - 9th International Workshop on Java Technologies for Real-Time and Embedded Systems

Y2 - 26 September 2011 through 28 September 2011

ER -

Memory Management for Safety-Critical Java

Abstract

Workshop

Bibliographical note

Keywords

Access to Document

OpenUrl availability

Fingerprint

Cite this