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...
Main Authors: | Salcianu, Alexandru, Boyapati, Chandrasekhar, Beebee, William S., Jr., Rinard, Martin |
---|---|
Published: |
2023
|
Online Access: | https://hdl.handle.net/1721.1/149965 |
Similar Items
-
Region-based memory management for real-time Java
by: Beebee, William S. (William Scripps), 1977-
Published: (2014) -
SafeJava : a unified type system for safe programming
by: Boyapati, Chandrasekhar, 1973-
Published: (2006) -
Safe Runtime Downcasts With Ownership Types
by: Boyapati, Chandrasekhar, et al.
Published: (2023) -
A Combined Pointer and Purity Analysis for Java Programs
by: Salcianu, Alexandru, et al.
Published: (2005) -
A Type System for Preventing Data Races and Deadlocks in Java Programs
by: Boyapati, Chandrasekhar, et al.
Published: (2023)