Runtime Support for Region-Based Memory Management in Mercury

被引：0

作者：

Phan, Quan ^{[1
]}

Somogyi, Zoltan ^{[2
]}

Janssens, Gerda ^{[1
]}

机构：

[1] Katholieke Univ Leuven, Dept Comp Sci, Celestijnenlaan 200A, B-3001 Louvain, Belgium

[2] Univ Melbourne, Dept Comp Sci & Software Engn, Natl ICT Australia, Melbourne, Vic 3010, Australia

来源：

ISMM'08: PROCEEDINGS OF THE 2008 INTERNATIONAL SYMPOSIUM ON MEMORY MANAGEMENT | 2008年

关键词：

Region-based memory management; logic programming; Mercury;

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Applying region-based memory management (RBMM) to logic programming languages poses a special challenge: backtracking call 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. In this paper, we describe how we implemented runtime Support For RBMM in the logic programming language Mercury, whose specialized implementation of the language constructs involved ill backtracking required equally specialized support. Our benchmark Mercury programs run about 25% faster on average with RBMM than With the usual Boehm garbage collector, and for some programs, RBMM achieves optimal memory consumption.

引用

页码：61 / +

页数：2

共 50 条

[1] Region-based memory management for Mercury programs
Phan, Quan
Janssens, Gerda
Somogyi, Zoltan
[J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2013, 13 : 959 - 1024
[2] Region-based memory management
Tofte, M
Talpin, JP
[J]. INFORMATION AND COMPUTATION, 1997, 132 (02) : 109 - 176
[3] Towards region-based memory management for mercury programs (Extended abstract)
Phan, Quan
Janssens, Gerda
[J]. LOGIC PROGRAMMING, PROCEEDINGS, 2006, 4079 : 433 - 435
[4] Region-based memory management in cyclone
Grossman, D
Morrisett, G
Jim, T
Hicks, M
Wang, YL
Cheney, J
[J]. ACM SIGPLAN NOTICES, 2002, 37 (05) : 282 - 293
[5] Region-Based RTSJ Memory Management: State of the art
Hamza, H.
Counsell, S.
[J]. SCIENCE OF COMPUTER PROGRAMMING, 2012, 77 (05) : 644 - 659
[6] Garbage collection safety for region-based memory management
Elsman, M
[J]. ACM SIGPLAN NOTICES, 2003, 38 (03) : 123 - 134
[7] Fast Escape Analysis for Region-based Memory Management
Salagnac, G.
Yovine, S.
Garbervetsky, D.
[J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 131 : 99 - 110
[8] Region-based memory management for a dynamically-typed language
Nagata, A
Kobayashi, N
Yonezawa, A
[J]. PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2004, 3302 : 229 - 245
[9] Conditional correlation analysis for safe region-based memory management
Wang, Xi
Xu, Zhilei
Liu, Xuezheng
Guo, Zhenyu
Wang, Xiaoge
Zhang, Zheng
[J]. ACM SIGPLAN NOTICES, 2008, 43 (06) : 45 - 55
[10] Conditional Correlation Analysis for Safe Region-based Memory Management
Wang, Xi
Xu, Zhilei
Liu, Xuezheng
Guo, Zhenyu
Wang, Xiaoge
Zhang, Zheng
[J]. PLDI'08: PROCEEDINGS OF THE 2008 SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN & IMPLEMENTATION, 2008, : 45 - +

← 1 2 3 4 5 →