- Authors:
-
-
Schoeberl, Martin
Close
0000-0003-2366-382X
Department of Informatics and Mathematical Modeling, Technical University of Denmark
-
Schoeberl, Martin
- DOI:
- 10.1145/2043910.2043919
- 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.
- ISBN:
- 9781450307314
- Type:
- Conference paper
- Language:
- English
- Published in:
- Proceedings of the 9th International Workshop on Java Technologies for Real-time and Embedded Systems (jtres 2011), 2011
- Keywords:
- Scoped memory; Safety-critical Java
- Main Research Area:
- Science/technology
- Publication Status:
- Published
- Review type:
- Peer Review
- Conference:
- 9th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2011
- Publisher:
- ACM
- Submission year:
- 2011
- Scientific Level:
- Scientific
- ID:
- 233921825
Checking for on-site access...
