Optimal real-time garbage collection for acyclic pointer structures

被引:4
作者
Kaldewaij, A [1 ]
de Vries, L [1 ]
机构
[1] Univ Amsterdam, NL-1018 TV Amsterdam, Netherlands
关键词
garbage collection; algorithms; program derivation;
D O I
10.1016/S0020-0190(00)00212-X
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
A real-time garbage collector for acyclic pointer structures is derived. Operations on the structure, such as assignment, allocation and dr-allocation, take worst-case constant time. With respect to this real-time behaviour, storage usage is minimal. A complete implementation is presented. (C) 2001 Elsevier Science B.V. All rights reserved.
引用
收藏
页码:151 / 157
页数:7
相关论文
共 4 条
[1]   EFFICIENT, INCREMENTAL, AUTOMATIC GARBAGE COLLECTOR [J].
DEUTSCH, LP ;
BOBROW, DG .
COMMUNICATIONS OF THE ACM, 1976, 19 (09) :522-526
[2]  
Dijkstra E. W, 1976, A Discipline of Programming
[3]   LAZY GARBAGE COLLECTION [J].
GLASER, HW ;
THOMPSON, P .
SOFTWARE-PRACTICE & EXPERIENCE, 1987, 17 (01) :1-4
[4]  
JONES RE, 1996, GARBAGE COLLECTION