NDLI: A direct approach to control-flow sensitive region-based memory management

Please wait, while we are loading the content...

Should UML be used for declarative programming?

Ideal models for pointwise relational and state-free imperative programming

De Bruijn's syntax and reductional equivalence of λ-terms

A denotational semantics for Timed Linda

Model checking (with) declarative programs

Development reuse and the logic program derivation of two string-matching algorithms

Instruction merging and specialization in the SICStus Prolog virtual machine

Polymorphic directional types for logic programming

Termination of well-typed logic programs

Termination of on-demand rewriting and termination of OBJ programs

Granularity of constraint-based analysis for Java

Trust in the pi-calculus

When do bounds and domain propagation lead to the same search space

Using confluence to generate rule-based constraint solvers

Types for cyphers: thwarting mischief and malice with type theory

Cycle therapy: a prescription for fold and unfold on regular trees

Declarative definition of group indexed data structures and approximation of their domains

Defunctionalization at work

A direct approach to control-flow sensitive region-based memory management

Parallel functional programming at two levels of abstraction

Constructor-based conditional narrowing

An implementation of narrowing strategies

A direct approach to control-flow sensitive region-based memory management

Content Provider	ACM Digital Library
Author	Makholm, Henning Henglein, Fritz Niss, Henning
Abstract	Region-based memory management can be used to control dynamic memory allocations and deallocations safely and efficiently. Existing (direct-style) region systems that statically guarantee region safety---no dereferencing of dangling pointers---are based on refinements of Tofte and Talpin's seminal work on region inference for managing heap memory in stacks of regions.We present a unified Floyd-Hoare Logic inspired region type system for reasoning about and inferring region-based memory management, using a sublanguage of imperative region commands. Our system expresses and performs control-sensitive region management without requiring a stack discipline for allocating and deallocating regions. Furthermore, it captures storage mode analysis and late allocation/early deallocation analysis in a single, expressive, unified logical framework. Explicit region aliasing in combination with reference-counted regions provides flexible, context-sensitive early memory deallocation and simultaneously dispenses with the need for an integrated region alias analysis.In this paper we present the design of our region type system, illustrate its practical expressiveness, compare it to existing region analyses, demonstrate how this eliminates the need for previously required source code rewritings for good memory performance, and describe automatic inference of region commands that give consistently better (or at least equally good) memory performance as existing inference techniques.
Starting Page	175
Ending Page	186
Page Count	12
File Format	PDF
ISBN	158113388X
DOI	10.1145/773184.773203
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2001-09-05
Publisher Place	New York
Access Restriction	Subscribed
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

A direct approach to control-flow sensitive region-based memory management (2001).

A Direct Approach to Control-Flow Sensitive Region-Based Memory Management (2001)

A direct approach to control-flow sensitive region-based memory management (2001).

Path-sensitive region analysis for mercury programs

Region-based Selective Flow-Sensitive Pointer Analysis

A Retrospective on Region-Based Memory Management (2004)

Quaternion-based satellite attitude control—A direct parametric approach

A practical flow-sensitive and context-sensitive C and C++ memory leak detector

Memory Management with Explicit Regions (1998)

A direct approach to control-flow sensitive region-based memory management

Similar Documents

A direct approach to control-flow sensitive region-based memory management (2001).

A Direct Approach to Control-Flow Sensitive Region-Based Memory Management (2001)

A direct approach to control-flow sensitive region-based memory management (2001).

Path-sensitive region analysis for mercury programs

Region-based Selective Flow-Sensitive Pointer Analysis

A Retrospective on Region-Based Memory Management (2004)

Quaternion-based satellite attitude control—A direct parametric approach

A practical flow-sensitive and context-sensitive C and C++ memory leak detector

Memory Management with Explicit Regions (1998)

A direct approach to control-flow sensitive region-based memory management