Runtime Support For Region Based Memory Management In Mercury

Find all needed information about Runtime Support For Region Based Memory Management In Mercury. Below you can see links where you can find everything you want to know about Runtime Support For Region Based Memory Management In Mercury.


Runtime Support for Region-Based Memory Management in …

    https://mercurylang.org/documentation/papers/ismm115-phan.pdf
    ers, Memory management General Terms Languages, Performance Keywords Region-based memory management, logic program-ming, Mercury 1. Introduction Runtime garbage collection has become the standard approach to memory management in the implementation of modern program-ming languages: it provides memory safety, good memory reuse, and reasonable ...

Region-based memory management - Wikipedia

    https://en.wikipedia.org/wiki/Region-based_memory_management
    Region-based memory management works best when the number of regions is relatively small and each contains many objects; programs that contain many sparse regions will exhibit internal fragmentation, leading to wasted memory and a time overhead for region management. Again, in the presence of region inference this problem can be more difficult ...

(PDF) Runtime support for region-based memory management ...

    https://www.academia.edu/8430382/Runtime_support_for_region-based_memory_management_in_Mercury
    Runtime support for region-based memory management in Mercury

Runtime support for region-based memory management in ...

    https://dl.acm.org/citation.cfm?doid=1375634.1375644
    Applying region-based memory management (RBMM) to logic programming languages poses a special challenge: backtracking can require regions removed during forward execution to be "resurrected", and any memory allocated during a computation that has been backtracked over must be recovered promptly, without waiting for the regions involved to come to the end of their life.Cited by: 7

More Precise Region-Based Memory Management for …

    http://mercurylang.org/documentation/papers/ciclops09.pdf
    More Precise Region-Based Memory Management for Mercury Programs ... scribed the runtime support needed for RBMM that could also handle backward execution. Although the system gave very promising results, in terms of memory consumption as well as runtime speedup, for …

Region-based memory management for Mercury programs

    http://adsabs.harvard.edu/abs/2012arXiv1203.1392P
    Region-based memory management (RBMM) is a form of compile time memory management, well-known from the functional programming world. In this paper we describe our work on implementing RBMM for the logic programming language Mercury. One interesting point about Mercury is that it is designed with strong type, mode, and determinism systems.

CiteSeerX — Mercury programs. Part 1: Region analysis and ...

    http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.159.4802
    CiteSeerX - Document Details (Isaac Councill, Lee Giles, Pradeep Teregowda): Region-based memory management is a technique to do compiletime memory management based on the idea of dividing the heap memory into different regions such that, at runtime, memory can be reclaimed automatically by destroying regions in their entirety. This report contains a static region analysis for the logic ...

CiteSeerX — Mercury Programs

    http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.90.6613
    Abstract. Region-based memory management is an interesting compiletime memory management technique. Implementing region-based memory management for a language is twofold, firstly developing a static region analysis that annotates programs with region instructions and secondly providing a region-aware runtime system that can run the region-annotated programs.

Region-Based Memory Management for the Logic …

    https://core.ac.uk/download/pdf/34450042.pdf
    Region-based memory management for the logic programming language Mercury Quan Phan November 2009 Abstract Region-based memory management (RBMM) is a form of compile-time memory management, well-known from the functional programming world. In this thesis we describe our work of investigating and developing RBMM for the logic pro-gramming ...

Runtime support for region-based memory management in Mercury

    https://core.ac.uk/display/34371960
    Abstract. Applying region-based memory management (RBMM) to logic programming languages poses a special challenge: backtracking can require regions removed during forward execution to be ``resurrected'', and any memory allocated during a computation that has been backtracked over must be recovered promptly, without waiting for the regions involved to come to the end of their life.Cited by: 7



Need to find Runtime Support For Region Based Memory Management In Mercury information?

To find needed information please read the text beloow. If you need to know more you can click on the links to visit sites with more detailed data.

Related Support Info