On transforming Java-like programs into memory-predictable code
Diego Garbervetsky, Sergio Yovine, Victor A. Braberman, Martín Rouaux, Alejandro Taboada · 2009
The ScopedMemory class of the RTSJ enables the organization of objects into regions. This ensures time-predictable management of dynamic memory. Using scopes forces the programmer to reason in terms of locality, to comply with RTSJ restrictions. The programmer is also faced with the problem of providing upper-bounds for regions. Without appropriate compile-time support, scoped-memory management may lead to unexpected runtime errors.