Memory Management and Garbage Collection Algorithms for Java-Based Prolog

Implementing a Prolog Runtime System in a language like Java which provides its own automatic memory management and safety features such as built--in index checking and array initialization requires a consistent approach to memory management based on a simple ultimate goal: minimizing total memory management time and extra space involved. The total memory management time for Jinni is made up of garbage collection time both for Java and Jinni itself. Extra space is usually requested at Jinni's garbage collection. This goal motivates us to find a simple and practical garbage collection algorithm and implementation for our Prolog engine. In this thesis we survey various algorithms already proposed and offer our own contribution to the study of garbage collection by improvements and optimizations for some classic algorithms. We implemented these algorithms based on the dynamic array algorithm for an all--dynamic Prolog engine (JINNI 2000). The comparisons of our implementations versus the originally proposed algorithm allow us to draw informative conclusions on their theoretical complexity model and their empirical effectiveness.

Grantor dc:publisher

University of North Texas

Year dc:date

2001

Author dc:creator

• Zhou, Qinan

Contributors dc:contributor

• Tarau, Paul
• Jacob, Roy T.

• memory management
• prolog runtime system
• garbage collection,
• algorithm
• Jinni
• Memory management (Computer science)
• Garbage collection (Computer science)
• Prolog (Computer program language)

Statement dc:rights

• Use restricted to UNT Community
• Copyright
• Zhou, Qinan
• Copyright is held by the author, unless otherwise noted. All rights reserved.

Language dc:language

English

Identifier

oclc: 51252281
https://digital.library.unt.edu/ark:/67531/metadc2825/
ark: ark:/67531/metadc2825

OAI identifier oai:identifier

info:ark/67531/metadc2825