Title: A real-time garbage collector for WAM-based Prolog systems
Authors: Vandeginste, Ruben # ×
Issue Date: 2002
Host Document: Book of Abstracts pages:81
Conference: Faculty of Engineering, PhD Symposium location:Leuven, Belgium date:December 11, 2002
Abstract: During the execution of programs in a Prolog system, a lot of data is
created. All that data uses up a lot of memory and at some point
during the execution, a large program will run out of memory. However,
a lot of data it has previously allocated, is probably not needed
anymore and the memory occupied by this, can be released. This is
exactly what a garbage collector will do; it will find out which data
is still needed and free up all memory occupied by other data.

Most garbage collectors for Prolog systems suffer from large pause
times when working with (very) large heaps. Before starting the
garbage collection cycle, the Prolog program is stopped and can only
resume once the whole heap has been collected. A real-time garbage
collector tries to minimise pause times by interleaving the garbage
collection cycle with program execution. We propose a real-time
garbage collector for the WAM based on copying collection. However,
some modifications to the standard WAM are needed because our
algorithm uses a heap split in smaller chunks in order to lower the
memory requirements (in comparison with simple copying
collectors). Nonetheless, we think the collector can easily be adapted
for use in other WAM-based Prolog systems.
Publication status: published
KU Leuven publication type: AMa
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:

There are no files associated with this item.


All items in Lirias are protected by copyright, with all rights reserved.