article

Free access

A brief introduction to regions

Author:

Mads TofteAuthors Info & Claims

ACM SIGPLAN Notices, Volume 34, Issue 3

Pages 186 - 195

https://doi.org/10.1145/301589.286882

Published: 01 October 1998 Publication History

PDF eReader

Abstract

The paper gives an overview of region-based memory management. The emphasis of the paper is on the dynamic aspects of execution, specifically memory management. We illustrate how three static program analyses can be used for inferring memory management directives. They are region inference, physical size inference, and storage mode analysis. We describe these analyses for a skeletal language inspired by Standard ML. We also describe a region-based runtime system for the skeletal language, based on the runtime system of the ML Kit with Regions.

References

[1]

Lars Birkedal, Mads Tofte, and Magnus Vejlstrup. From region inference to von Neumann machines via region representation inference. In Proceedings of the 23rd A CM SIGPLAN- SIGA CT Symposium on Principles of Programruing Languages, pages 171-183. ACM Press, January 1996.

Digital Library

Google Scholar

[2]

J. M. Lucassen D. K. Gifford, P. Jouvelot and M.A. Sheldon. Fx-87 reference manual. Technical Report MIT/LCS/TR-407, MIT Laboratory for Computer Science, Sept 1987.

Google Scholar

[3]

Martin Elsman and Niels Hallenberg. An optimizing backend for the ML Kit using a stack of regions. Student Project 95-7-8, Department of Computer Science, University of Copenhagen (DIKU), July 5 1995.

Google Scholar

[4]

Martin Elsman. Polymorphic equality - no tags required. In Second International Workshop on Types in Compilation, March 1998.

Digital Library

Google Scholar

[5]

P. Jouvelot and D.K. Gifford. Algebraic reconstruction of types and effects. In Proceedings of the 18th A CM Symposium on Principles of Programming Languages (POPL), 1991.

Digital Library

Google Scholar

[6]

Peter Naur. Revised report on the algorithmic language Algol 60. Comm. ACM, 1:1-17, 1963.

Digital Library

Google Scholar

[7]

Mads Torte and Lars Birkedal. A region inference algorithm. Transactions on Programming Languages and Systems (TOPLAS), July 1998.

Digital Library

Google Scholar

[8]

Mads Torte, Lars Birkedal, Martin Elsman, Niels Hallenberg, Tommy Hcjfeld Olesen, Peter Sestoft, and Peter Bertelsen. Programming with regions in the ML Kit. Technical Report DIKU-TR-97/12, Dept. of Computer Science, University of Copenhagen, 1997. (http://www.diku.dk/research-groups/ topps/activities/kit2).

Google Scholar

[9]

Jean-Pierre Talpin and Pierre Jouvelot. Polymorphic type, region and effect inference. Journal of Functional Programming, 2(3), 1992.

Crossref

Google Scholar

[10]

Mads Torte and Jean-Pierre Talpin. Implementing the call-by-value lambda-calculus using a stack of regions. In Proceedings of the 21st ACM SIGPLA N-SIGA CT Symposium on Principles of Programming Languages, pages 188-201. ACM Press, January 1994.

Digital Library

Google Scholar

[11]

Mads Torte and Jean-Pierre Talpin. Regionbased memory management. Information and Computation, 132(2):109-176, 1997.

Digital Library

Google Scholar

[12]

Paul R. Wilson. Uniprocessor garbage collection techniques. In Y. Bekkers and J. Cohen, editors, Memory Management, Proceedings, International Workshop IWMM92, pages 1-42. Springer-Verlag, September 1992.

Digital Library

Google Scholar

Cited By

View all

Qian FHendren L(2019)An adaptive, region-based allocator for javaACM SIGPLAN Notices10.1145/773039.51244638:2 supplement(127-138)Online publication date: 27-Feb-2019
https://dl.acm.org/doi/10.1145/773039.512446
Qian FHendren LBoehm HDetlefs D(2002)An adaptive, region-based allocator for javaProceedings of the 3rd international symposium on Memory management10.1145/512429.512446(127-138)Online publication date: 20-Jun-2002
https://dl.acm.org/doi/10.1145/512429.512446
Wagner GLarsen PBrunthaler SFranz M(2016)Thinking Inside the BoxACM Transactions on Programming Languages and Systems10.1145/286657638:3(1-37)Online publication date: 8-Apr-2016
https://dl.acm.org/doi/10.1145/2866576
Show More Cited By

Index Terms

A brief introduction to regions
1. Information systems
  1. Information storage systems
    1. Storage management
2. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language types
  2. Software organization and properties
    1. Contextual software domains
      1. Operating systems
        File systems management
        Memory management

Recommendations

A brief introduction to regions
ISMM '98: Proceedings of the 1st international symposium on Memory management

The paper gives an overview of region-based memory management. The emphasis of the paper is on the dynamic aspects of execution, specifically memory management. We illustrate how three static program analyses can be used for inferring memory management ...
Description of interest regions with local binary patterns

This paper presents a novel method for interest region description. We adopted the idea that the appearance of an interest region can be well characterized by the distribution of its local features. The most well-known descriptor built on this idea is ...
Maximally Stable Texture Regions
ICPR '10: Proceedings of the 2010 20th International Conference on Pattern Recognition

In this study, we propose to detect interest regions based on texture information of images. For this purpose, Maximally Stable Extremal Regions (MSER) approach is extended using the high dimensional texture features of image pixels. The regions with ...

Comments

Information & Contributors

Information

Published In

ACM SIGPLAN Notices Volume 34, Issue 3

March 1999

195 pages

ISSN:0362-1340

EISSN:1558-1160

DOI:10.1145/301589

Chairmen:
Simon Peyton Jones
Univ. of Glasgow
,
Richard Jones
Univ. of Kent at Canterbury

Issue’s Table of Contents

ISMM '98: Proceedings of the 1st international symposium on Memory management
October 1998
200 pages
ISBN:1581131143
DOI:10.1145/286860
Chairmen:
Simon Peyton Jones
Univ. of Glasgow, Glasgow, Scotland, UK
,
Richard Jones
Univ. of Kent at Canterbury, Canterbury, UK

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 October 1998

Published in SIGPLAN Volume 34, Issue 3

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

17
Total Citations
View Citations
693
Total Downloads

Downloads (Last 12 months)84
Downloads (Last 6 weeks)13

Reflects downloads up to 24 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Qian FHendren L(2019)An adaptive, region-based allocator for javaACM SIGPLAN Notices10.1145/773039.51244638:2 supplement(127-138)Online publication date: 27-Feb-2019
https://dl.acm.org/doi/10.1145/773039.512446
Qian FHendren LBoehm HDetlefs D(2002)An adaptive, region-based allocator for javaProceedings of the 3rd international symposium on Memory management10.1145/512429.512446(127-138)Online publication date: 20-Jun-2002
https://dl.acm.org/doi/10.1145/512429.512446
Wagner GLarsen PBrunthaler SFranz M(2016)Thinking Inside the BoxACM Transactions on Programming Languages and Systems10.1145/286657638:3(1-37)Online publication date: 8-Apr-2016
https://dl.acm.org/doi/10.1145/2866576
Jula ARauchwerger LKolodner HSteele G(2009)Two memory allocators that use hints to improve localityProceedings of the 2009 international symposium on Memory management10.1145/1542431.1542447(109-118)Online publication date: 19-Jun-2009
https://dl.acm.org/doi/10.1145/1542431.1542447
Ziarek LWeeks SJagannathan S(2008)Flattening tuples in an SSA intermediate representationHigher-Order and Symbolic Computation10.1007/s10990-008-9035-321:3(333-358)Online publication date: 1-Sep-2008
https://dl.acm.org/doi/10.1007/s10990-008-9035-3
Hirzel M(2007)Data layouts for object-oriented programsACM SIGMETRICS Performance Evaluation Review10.1145/1269899.125491535:1(265-276)Online publication date: 12-Jun-2007
https://dl.acm.org/doi/10.1145/1269899.1254915
Hirzel MGolubchik LAmmar MHarchol-Balter M(2007)Data layouts for object-oriented programsProceedings of the 2007 ACM SIGMETRICS international conference on Measurement and modeling of computer systems10.1145/1254882.1254915(265-276)Online publication date: 12-Jun-2007
https://dl.acm.org/doi/10.1145/1254882.1254915
Siebert FRichard-Foy M(2006)Proving the absence of RTSJ related runtime errors through data flow analysisProceedings of the 4th international workshop on Java technologies for real-time and embedded systems10.1145/1167999.1168025(152-161)Online publication date: 11-Oct-2006
https://dl.acm.org/doi/10.1145/1167999.1168025
Collinson MPym D(2006)Bunching for Regions and LocationsElectronic Notes in Theoretical Computer Science (ENTCS)10.1016/j.entcs.2006.04.010158(171-197)Online publication date: 1-May-2006
https://dl.acm.org/doi/10.1016/j.entcs.2006.04.010
Vechev MBacon DBacon DDiwan A(2004)Write barrier elision for concurrent garbage collectorsProceedings of the 4th international symposium on Memory management10.1145/1029873.1029876(13-24)Online publication date: 24-Oct-2004
https://dl.acm.org/doi/10.1145/1029873.1029876
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

References

Cited By

Index Terms

Recommendations