A Type System for Safe Region-Based Memory Management in Real-Time Java

The Real-Time Specification for Java (RTSJ) allows a program to create real-time threads with hard real time constraints. Real-time threads use immortal memory and region-based memory management to avoid unbounded pauses caused by interference from the garbage collector. The RTSJ uses runtime checks...

Full description

Bibliographic Details
Main Authors: Salcianu, Alexandru, Boyapati, Chandrasekhar, Beebee, William S., Jr., Rinard, Martin
Published: 2023
Online Access:https://hdl.handle.net/1721.1/149965