Towards Compiling Region Types Into RTSJ-Compliant Java Code

摘要

In the last decade, multiple Real-Time Specification for Java (RTSJ) compliant Java Virtual Machines have been developed and used in safety critical applications. Region-based memory management is a core feature of RTSJ. In this paper, we provide an automatic generation of RTSJ region-based memory management code. We start from a Java program annotated with region types and we apply three type-based analyses. The region types are provided either by our previous region type inference or by the programmers and verified by our previous region type checker. The first two analyses simplify the region type annotations, while the last analysis generates the code according to the RTSJ API.