A Flow-Sensitive Region Inference for CLI

Authors:
Alexandru Stefan;Florin Craciun;Wei-Ngan Chin
Affiliations:
Department of Computer Science, National University of Singapore,;Department of Computer Science, Durham University, UK;Department of Computer Science, National University of Singapore,
Venue:
APLAS '08 Proceedings of the 6th Asian Symposium on Programming Languages and Systems
Year:
2008

Citing 14
Cited 2

Higher order escape analysis: optimizing stack allocation in functional program implementations

Proceedings of the third European symposium on programming on ESOP '90
Escape analysis on lists

PLDI '92 Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation
Implementation of the typed call-by-value λ-calculus using a stack of regions

POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Software caching and computation migration in Olden

PPOPP '95 Proceedings of the fifth ACM SIGPLAN symposium on Principles and practice of parallel programming
Escape analysis for Java

Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Removing unnecessary synchronization in Java

Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Compositional pointer and escape analysis for Java programs

Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Region-based memory management in cyclone

PLDI '02 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation
Shared Source Cli Essentials

Shared Source Cli Essentials
Region inference for an object-oriented language

Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation
Region analysis and transformation for Java programs

Proceedings of the 4th international symposium on Memory management
Compile-time deallocation of individual objects

Proceedings of the 5th international symposium on Memory management
Free-Me: a static analysis for automatic individual object reclamation

Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation
Establishing local temporal heap safety properties with applications to compile-time memory management

SAS'03 Proceedings of the 10th international conference on Static analysis

Just-in-time compiler assisted object reclamation and space reuse

NPC'10 Proceedings of the 2010 IFIP international conference on Network and parallel computing
Offline GC: trashing reachable objects on tiny devices

Proceedings of the 9th ACM Conference on Embedded Networked Sensor Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Region-based memory management can offer improved time performance, relatively good memory locality and reuse, and also provide better adherence to real-time constraints during execution, when compared against traditional garbage collection. We have implemented a region-memory subsystem into the SSCLI 2.0 platform and then adapted an inference system to region-enable CIL programs, with the aid of newly introduced instructions. Initial results are promising, as the programs running with regions have considerably smaller interrupting delays, compared to those running with garbage collection. Regions can bring runtime improvement for some programs (up to 50%), depending on how complicated are the data structures used in execution.