Aiken, A., F ahndrich, M., and Levien, R. 1995. Better static memory management: Improving region-based analysis of higher-order languages. In ACM Conference on Programming Language Design and Implementation. ACM Press, La Jolla, California, 174-185.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....by ensuring that real time threads do not interfere with the garbage collector. One disadvantage with most region based management systems is that they enforce a lexical nesting on region lifetimes; so objects allocated in a given region may become inaccessible long before the region is deleted. [2] presents an analysis that enables some regions to be deleted early, as soon as all of the objects in the region are unreachable. Other approaches include the use of linear types to control when regions are deleted [23, 25] None of these approaches currently support object oriented programs and ....

A. Aiken, M. Fahndrich, and R. Levien. Better static memory management: Improving region-based analysis of higher-order languages. In Programming Language Design and Implementation (PLDI), June 1995. 10

....by investigating all execution paths starting at line 10. class L L is a singly linked list public L n; next field public int val; data field class Main Creation and traversal of a singly linked list public static void main(String args[ L x, y, t; 1] x = null; [2] while ( list creation [3] y = new L( 4] y.val = 5] y.n = x; 6] x = y; 7] y = x; 8] while (y = null) list traversal [9] System.out.print(y.val) 10] t = y.n; 11] y = t; Fig. 1. A program for creating and traversing a singly linked list. In order ....

....method returns to its caller. While this technique has shown to be useful, it is limited to objects that do not escape their allocating method. Our technique applies to all program objects, and allows freeing objects before their allocating method returns. In region based memory management [6,31,2,14], the lifetime of an object is predicted at compile time. An object is associated with a memory region, and the alloca tion and deallocation of the memory region are inferred automatically at compile time. It would be interesting to instantiate our framework with a static analysis algorithm for ....

M. F. Alexander Aiken and R. Levien. Better static memory management: Improving regionbased analysis of higher-order languages. In SIGPLAN Conf. on Prog. Lang. Design and Impl., pages 174--185, June 1995.

....by ensuring that real time threads do not interfere with the garbage collector. One disadvantage with most region based management systems is that they enforce a lexical nesting on region lifetimes; so objects allocated in a given region may become inaccessible long before the region is deleted. [2] presents an analysis that enables some regions to be deleted early, as soon as all of the objects in the region are unreachable. Other approaches include the use of linear types to control when regions are deleted [23, 25] None of these approaches currently support object oriented programs and ....

A. Aiken, M. Fahndrich, and R. Levien. Better static memory management: Improving region-based analysis of higher-order languages. In Programming Language Design and Implementation (PLDI), June 1995. 10

....Our system extends region types to multithreaded programs by allowing long lived threads to share objects without using the heap and without having memory leaks. Our system extends region types to real time programs by ensuring that real time threads do not interfere with the garbage collector. [2] provides a static analysis to free some regions early to avoid the constraints of LIFO region lifetimes in [37, 36] Capability Calculus [18] proposes a general type system for freeing regions based on linear types. Vault s type system [20] allows a region to be freed before it leaves scope. ....

A. Aiken, M. Fahndrich, and R. Levien. Better static memory management: Improving region-based analysis of higher-order languages. In Programming Language Design and Implementation (PLDI), June 1995.

....programs that are compiled into destination passing style. However, Minamide s language is still quite highlevel; he does not show how to verify explicit pointer manipulation. Moreover, neither of these type systems provide the ability to represent cyclic data structures. Tofte, Talpin, and others [39, 5, 2] have explored the use of region based memory management. In their work, objects are allocated into one of several regions of memory. When a region is deallocated, all the objects in that region are deallocated too. Region based memory management performs extremely well in many circumstances, but ....

Alexander Aiken, Manuel Fahndrich, and Raph Levien. Better static memory management: Improving region-based analysis of higher-order languages. In ACM Conference on Programming Language Design and Implementation, pages 174-185, La Jolla, California, 1995.

....Fax: 49 7612038052, e mail: shelsen computer.org inference for a realistic language. The ML kit does not rely on runtime garbage collection obtain automatic memory management. 1. 1 Contribution and Related Work Since its introduction, region based memory management has been improved [3, 7] and transferred to other languages [26,30,54] In addition, many di erent avors of the region calculus have been developed [4, 9, 12, 13, 20, 23, 55, 56] usually to cater for more exible and powerful memory management. Our syntactic theory focuses on the region calculus by Tofte and Talpin, ....

Alexander Aiken, Manuel Fahndrich, and Raph Levien. Better static memory management: Improving region-based analysis of higher-order languages. In Proceedings of the 1995.

....optional support for garbage collection within regions [16] A number of extensions to the basic Tofte Talpin framework can avoid the constraints of LIFO region lifetimes. As examples, the ML Kit includes a reset region primitive [27] Aiken et al. provide an analysis to free some regions early [1]; and Walker et al. 29, 30] propose general systems for freeing regions based on linear types. All of these systems are more expressive than our framework. For instance, the ideas in the Capability Calculus were used to implement type safe garbage collectors within a language [31, 23] However, ....

A. Aiken, M. Fahndrich, and R. Levien. Better static memory management: Improving region-based analysis of higher-order languages. In ACM Conference on Programming Language Design and Implementation, pages 174--185, La Jolla, CA, 1995.

....in a region are not garbage collected until the entire region is freed, which is important in our case where, for instance, a programmer cannot be assumed to have arranged that the result of a function is stored in a region di#erent from intermediate results computed by the function. Aiken et al. [1] show how region inference may be improved for some programs by removing the constraints of the stack discipline; such improvements to region inference could cause a fall back garbage collector to run less frequently. Also related to our work is the work on Cyclone [11] a safe version of the C ....

Alexander Aiken, Manuel Fahndrich, and Raph Levien. Better static memory management: Improving region-based analysis of higher-order languages. In ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'95), pages 174--185, La Jolla, CA, June 1995. ACM Press.

....of a region r. Memory for the region is allocated when control enters the scope of the letregion construct and is deallocated when control leaves the scope. This mechanism results in a strictly LIFO (last in, first out) ordering of region lifetimes. Both Birkedal et al. 4] and Aiken et al. [1] observed that a completely LIFO (de)allocation of regions would make poor use of memory in many cases. They proposed a series of optimizations that often alleviate e#ciency concerns and even improve upon traditional tracing garbage collection in some cases. Although their optimizations are safe, ....

....Progress lemmas in the style of Felleisen and Wright [40] that the type system of the Capability Calculus is sound. In contrast, Tofte and Talpin formulate the soundness of their system using a more complicated greatest fixed point argument [36] and the soundness of Aiken et al. s optimizations [1] depend upon this argument. Part of the reason for the extra complexity is that Tofte and Talpin simultaneously show that region inference translates lambda calculus terms into operationally equivalent region calculus terms, a stronger property than we prove. However, when system security is the ....

[Article contains additional citation context not shown here]

Alexander Aiken, Manuel Fahndrich, and Raph Levien. Better static memory management: Improving regionbased analysis of higher-order languages. In ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 174--185, La Jolla, California, 1995.

....Fax: 49 7612038052, e mail: shelsen computer.org inference for a realistic language. The ML kit does not rely on runtime garbage collection to obtain automatic memory management. 1. 1 Contribution and Related Work Since its introduction, region based memory management has been improved [3, 7] and transferred to other languages [26, 28, 52] In addition, many di#erent flavors of the region calculus have been developed [4,9,12,13,20,23,53,54] usually to cater for more flexible and powerful memory management. Our syntactic theory focuses on the region calculus by Tofte and Talpin, ....

Alexander Aiken, Manuel Fahndrich, and Raph Levien. Better static memory management: Improving region-based analysis of higher-order languages. In Proc. of the ACM SIGPLAN '95 Conference on Programming Language Design and Implementation, pages 174--185, La Jolla, CA, USA, June 1995. ACM Press.

....Fax: 49 7612038052, e mail: shelsen computer.org inference for a realistic language. The ML kit does not rely on runtime garbage collection to obtain automatic memory management. 1. 1 Contribution and Related Work Since its introduction, region based memory management has been improved [3, 7] and transferred to other languages [26, 28, 52] In addition, many di erent avors of the region calculus have been developed [4,9,12,13,20,23,53,54] usually to cater for more exible and powerful memory management. Our syntactic theory focuses on the region calculus by Tofte and Talpin, which, ....

Alexander Aiken, Manuel Fahndrich, and Raph Levien. Better static memory management: Improving region-based analysis of higher-order languages. In Proc. of the ACM SIGPLAN '95 Conference on Programming Language Design and Implementation, pages 174-185, La Jolla, CA, USA, June 1995. ACM Press.

No context found.

A. Aiken, M. Fahndrich, and R. Levien. Better Static Memory Management: Improving RegionBased Analysis of Higher-Order Languages. In Proceedings of the 1995.

No context found.

A. Aiken, M. Fahndrich, and R. Levien. Better Static Memory Management: Improving RegionBased Analysis of Higher-Order Languages. In Proceedings of the 1995.

No context found.

A. Aiken, M. Fahndrich, and R. Levien. Better Static Memory Management: Improving Region-Based Analysis of Higher-Order Languages. In Proceedings of the 1995.

No context found.

Aiken, A., F ahndrich, M., and Levien, R. 1995. Better static memory management: Improving region-based analysis of higher-order languages. In ACM Conference on Programming Language Design and Implementation. ACM Press, La Jolla, California, 174-185.

No context found.

Aiken, A., Fahndrich, M., Levien, R.: Better static memory management: Improving region-based analysis of higher-order languages. In: Proc. Programming Language Design and Implementation. (1995) 174--185

No context found.

Alex Aiken, Manuel Fahndrich, and Raph Levien. Better static memory management: Improving region-based analysis of higher-order languages. In Programming Language Design and Implementation (PLDI), June 1995.

No context found.

Alexander Aiken, Manuel Fahndrich, and Raph Levien. Better static memory management: Improving region-based analysis of higher-order languages. In ACM Conference on Programming Language Design and Implementation, pages 174--185, La Jolla, California, 1995.

No context found.

Alexander Aiken, Manuel Fahndrich, and Raph Levien. Better static memory management: Improving region-based analysis of higher-order languages. In ACM Conference on Programming Language Design and Implementation, pages 174--185, La Jolla, California, 1995.

No context found.

Alexander Aiken, Manuel Fahndrich, and Raph Levien. Better static memory management: Improving region-based analysis of higher-order languages. In ACM Conference on Programming Language Design and Implementation, pages 174--185, La Jolla, California, 1995.

No context found.

Alex Aiken, Manuel Fahndrich, and Raph Levien. Better static memory management: Improving region-based analysis of higher-order languages. In pages 174--185, La Jolla, CA, June 1995.

No context found.

Alex Aiken, Manuel Fahndrich, and Raph Levien. Better static memory management: Improving region-based analysis of higher-order languages. In Programming Language Design and Implementation (PLDI), June 1995.

No context found.

Alex Aiken, Manuel Fahndrich, and Raph Levien. Better static memory management: Improving region-based analysis of higher-order languages. In Programming Language Design and Implementation (PLDI), June 1995.

No context found.

Alexander Aiken, Manuel Fahndrich, and Raph Levien. Better static memory management: Improving region-based analysis of higher-order languages (extended abstract). In Programming Language Design and Implementation (ACM SIGPLAN Conference, PLDI '95, 18--21 June 1995, La Jolla, CA, USA), special issue of ACM SIGPLAN Notices, 30(6):174--185. hhttp://http.cs.berkeley.edu/~aiken/ftp/region.psi.

No context found.

A. Aiken, M. Fhndrich, and R. Levien. Better static memory management: Improving region-based analysis of higher-order languages. In Programming Language Design and Implementation (PLDI), volume 30(6) of SIGPLAN Notices, pages 174--185, 1995.

First 50 documents  Next 50

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC