Sun 14 Jun 2015 14:25 - 14:50 at C123 - Managed Languages Chair(s): Zheng Zhang

Java uses automatic memory management, usually implemented as a garbage collected heap. That lifts the burden of manually allocating and deallocating memory, but it can incur significant runtime overhead and increase the memory footprint of applications. We propose a hybrid memory management scheme that utilizes region-based memory management to deallocate objects automatically on region exits. Static program analysis detects allocation sites that are safe for region allocation, i.e., the static analysis proves that the objects allocated at such a site are not reachable after the region exit. A regular garbage collected heap is used for objects that are not region allocatable.

The region allocation exploits the temporal locality of object allocation. Our analysis uses coarse-grain source code annotations to disambiguate objects with non-overlapping lifetimes, and maps them to different memory scopes. Region allocated memory does not require garbage collection as the regions are simply deallocated when they go out of scope. The region allocation technique is backed by a garbage collector that manages memory that is not region allocated.

We provide a detailed description of the analysis, provide experimental results showing that as much as 78% of the memory is region allocatable and discuss how our hybrid memory management system can be implemented efficiently with respect to both space and time.

Sun 14 Jun

ismm-2015-papers
14:00 - 15:40: Research Papers - Managed Languages at C123
Chair(s): Zheng ZhangRutgers University
ismm-2015-papers143428320000014:00 - 14:25
Talk
Yi LinAustralian National University, Kunshan WangAustralian National University, Steve BlackburnAustralian National University , Tony HoskingPurdue University, Michael NorrishNICTA
Link to publication
ismm-2015-papers143428470000014:25 - 14:50
Talk
Codrut StancuUniversity of California, Irvine & Oracle Labs, Christian WimmerOracle Labs, Stefan BrunthalerUniversity of California, Irvine, Per LarsenUniversity of California, Irvine, Michael FranzUniversity of California, Irvine
Link to publication
ismm-2015-papers143428620000014:50 - 15:15
Talk
Eliot MirandaCadence Design Systems, Clément BéraRMOD - INRIA Lille Nord Europe
Link to publication
ismm-2015-papers143428770000015:15 - 15:40
Talk
Link to publication