Answers are grounded in this paper and cite their sources.
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.
No takes yet. Share an insight, caveat, or question.
Garbervetsky et al. (2009) studied this question.
Synapse has enriched 6 closely related papers on similar clinical questions. Consider them for comparative context: