An Implementation of Scoped Memory for Real-Time Java

Authors:
William S. Beebee;Martin C. Rinard
Affiliations:
-;-
Venue:
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Year:
2001

Citing 5
Cited 19

Region-based memory management

Information and Computation
Memory management with explicit regions

PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation
Language support for regions

Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation
Pointer and escape analysis for multithreaded programs

PPoPP '01 Proceedings of the eighth ACM SIGPLAN symposium on Principles and practices of parallel programming
The Real-Time Specification for Java

Computer

Automated discovery of scoped memory regions for real-time Java

Proceedings of the 3rd international symposium on Memory management
Reconsidering custom memory allocation

OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Efficient memory-reference checks for real-time java

Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems
Ownership types for safe region-based memory management in real-time Java

PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
Region inference for an object-oriented language

Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation
Minimizing memory requirement of real-time systems with concurrent garbage collector

ACM SIGPLAN Notices
Scoped types and aspects for real-time Java memory management

Real-Time Systems
Design and implementation of a comprehensive real-time java virtual machine

EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
A real-time Java virtual machine with applications in avionics

ACM Transactions on Embedded Computing Systems (TECS)
Flexible task graphs: a unified restricted thread programming model for java

Proceedings of the 2008 ACM SIGPLAN-SIGBED conference on Languages, compilers, and tools for embedded systems
High-Performance Transactional Event Processing

COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages
Program Instrumentation and Run-Time Analysis of Scoped Memory in Java

Electronic Notes in Theoretical Computer Science (ENTCS)
Towards an analysis of race carrier conditions in real-time java

IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Region-Based RTSJ Memory Management: State of the art

Science of Computer Programming
Scoped types and aspects for real-time java

ECOOP'06 Proceedings of the 20th European conference on Object-Oriented Programming
Tailor-made JVMs for statically configured embedded systems

Concurrency and Computation: Practice & Experience
About 15 years of real-time Java

Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems
A bloat-aware design for big data applications

Proceedings of the 2013 international symposium on memory management
OOPSLA 2002: Reconsidering custom memory allocation

ACM SIGPLAN Notices - Supplemental issue

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents our experience implementing the memory management extensions in the Real-Time Specification for Java. These extensions are designed to given real-time programmers the control they need to obtain predictable memory system behavior while preserving Java's safe memory model.We describe our implementation of certain dynamic checks required by the Real-Time Java extensions. In particular, we describe how to perform these checks in a way that avoids harmful interactions between the garbage collector and the memory management system. We also found that extensive debugging support was necessary during the development of Real-Time Java programs. We therefore used a static analysis and a dynamic debugging package during the development of our benchmark applications.