Henglein, F., Makholm, H., Niss, H.: A direct approach to control-flow sensitive region-based memory management. In: Proc. Principles and Practice of Declarative Programming. (2001) 175--186  Home/Search   Document Details and Download   Summary   Related Articles   Check

....However, these systems were not designed for source level programming. They were designed as compiler intermediate languages or analyses, so they can ignore issues such as minimizing annotations or providing control to the user. Two other recent projects, Vault [7] and the work of Henglein et al. [17] aim to provide safe source level control over memory management using regions. Vault s powerful type system allows a region to be freed before it leaves scope and its types can enforce that code must free a region. To do so, Vault restricts region aliasing and tracks more finegrained e#ects. As a ....

....that code must free a region. To do so, Vault restricts region aliasing and tracks more finegrained e#ects. As a result, programming in Vault requires more annotations. Nevertheless, we find Vault an extremely promising direction and hope to adapt some of these ideas to Cyclone. Henglein et al. [17] have designed a flexible region system that does not require LIFO behavior. However, the system is monomorphic and first order; it is unclear how to extend it to support polymorphism or existential types. Finally, both TAL [24] and the Microsoft CIL [13] provide some support for type safe stack ....

F. Henglein, H. Makholm, and H. Niss. A direct approach to control-flow sensitive region-based memory management. In Third International Conference on Principles and Practice of Declarative Programming, Florence, Italy, Sept. 2001.

....collector. Crary et al. s Capability Calculus extends this work by allowing explicit region allocation and deletes, while making sure that all data accesses to a region happen during its lifetime [2] Similarly, Niss and Henglein study an explicit region calculus, albeit for first order programs [5]. The commonality of these systems is that only regions are treated linearly; all other objects are allocated within regions and have types akin to guarded types. Regions are not first class values and cannot be stored in data structures. Linear type systems. Starting with Wadler [17] linear ....

F. Henglein, H. Makholm, and H. Niss. A direct approach to control-flow sensitive region-based memory management. In ACM Conference on Principles and Practice of Declarative Programming, Sept. 2001.

....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, which, henceforth, is being referred to as # . Whereas type soundness properties for region calculi have been extensively examined [5, 8, 10, 51, 56] ....

Fritz Henglein, Henning Makholm, and Henning Niss. A direct approach to controlflow sensitive region-based memory management. In Harald Sndergaard, editor, Principles and Practice of Declarative Programming, Firenze, Italy, September 2001.

....systems were not designed for source level programming. Rather, they were designed as compiler intermediate languages or analyses and can thus ignore user issues such as minimizing annotations or providing control to the user. Two other recent projects, Vault [7] and the work of Henglein et al. [15] aim to provide convenient, source level control over memory management using regions. Vault s powerful type system allows a region to be freed before it leaves scope and its types can enforce that code must free a region. To do so, Vault restricts region aliasing and tracks more fine grained ....

....that code must free a region. To do so, Vault restricts region aliasing and tracks more fine grained e#ects. As a result, programming in Vault requires more annotations. Nevertheless, we find Vault an extremely promising direction and hope to adapt some of these ideas to Cyclone. Henglein et al. [15] have designed a flexible region system that does not require LIFO behavior. However, the system is monomorphic and first order; it is unclear how to extend it to support polymorphism or existential types. Regions in C Perhaps the most closely related work is Gay and Aiken s RC [11] compiler and ....

F. Henglein, H. Makholm, and H. Niss. A direct approach to control-flow sensitive regionbased memory management. In Third International Conference on Principles and Practice of Declarative Programming, Firenze, Italy, Sept. 2001.

No context found.

F. Henglein, H. Makholm, and H. Niss. A direct approach to control-flow sensitive region-based memory management. Technical report, 2001. hhttp://www.diku.dk/~hniss/rbmm/ppdp-ext.ps.gzi.

....at the time of a call must be live though the execution of the entire function call expression, so the arguments in a tail recursive call can be deallocated only after the recursion. Several schemes for relaxing this principle have been proposed; the latest one by Henglein, Makholm, and Niss [4], henceforth referred to as the HMN model, is the basis of the region system we employ. Regions for Prolog. In [6] and in more detail in [5] the first attempt to extend regionbased memory management to support backtracking and cuts was made. The challenge is that Prolog s control flow makes it ....

....that implement their functionality. Also, note that e.g. the annotation in the second clause of append 3 5 s last argument has resulted in a getlist trgn instruction rather than in a getlist. 4 Our Region Model The region system for Prolog we employ is based on the HMN region model [4] which, in its original formulation, works for first order functional programs. In the HMN model, the lifetimes of regions are asynchronous with respect to the call return discipline of the program. Region handles (the pointers to region control blocks which are used to allocate in, or deallocate, ....

[Article contains additional citation context not shown here]

F. Henglein, H. Makholm, and H. Niss. A direct approach to control-flow sensitive regionbased memory management. In Proceedings of PPDP 2001, pages 175--186. ACM Press, Sept. 2001.

....language RegFun, which is Fun with our imperative region sublanguage embedded and explicit region annotations on each allocation. Figure 1 shows the syntax of RegFun, from which the syntax of Fun can also be inferred by ignoring the region constructs. An evaluation semantics for RegFun is given in [6]. 5. A REGION TYPE SYSTEM We now define a region type system for RegFun. As for the original TT region type system, its purpose is to only accept programs that are memory safe. The region type system can thus be used to guide the design (and ultimately help prove the correctness) of region ....

....by a release command, whereas it is not if another region variable still holds a handle to it. This means different call contexts of a function may result in different region deallocation behavior. We have not provided a soundness proof for our type system here. A companion technical report [6] contains the formal developments and a proof of region safety. We are working on extending the region type system to cover lexical closures (fully higher order functions) and strengthen it by advanced region subtyping. We are considering region inference where copy operations are inserted ....

F. Henglein, H. Makholm, and H. Niss. A direct approach to control-flow sensitive region-based memory management. Technical report, 2001. hhttp://www.diku.dk/~hniss/rbmm/ppdp-ext.ps.gzi.

No context found.

Henglein, F., Makholm, H., Niss, H.: A direct approach to control-flow sensitive region-based memory management. In: Proc. Principles and Practice of Declarative Programming. (2001) 175--186

No context found.

F. Henglein, H. Makholm, and H. Niss. A direct approach to control-flow sensitive region-based memory management. In Proceedings of the 3rd International Conference on Principles and Practice of Declarative Programming, pages 175--186, Montreal, Canada, 2001. ACM.

No context found.

Fritz Henglein, Henning Makholm, and Henning Niss. A direct approach to control-flow sensitive region-based memory management. In ACM International Conference on Principles and Practice of Declarative Programming, pages 175--186, Florence, Italy, September 2001.

No context found.

F. Henglein, H. Makholm, and H. Niss. A direct approach to control-flow sensitive region-based memory management. In Proceedings of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP), pages 175--186, Montreal, Canada, 2001. ACM.

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