Incremental copying garbage collection for WAM-based Prolog systems

Details Incremental copying garbage collection for WAM-based Prolog systems Incremental copying garbage collection for WAM-based Prolog systems

2006-01-02

arxiv.org/abs/cs/0601003v1

Computer Science

Programming Languages

33 pages, 22 figures, 5 tables. To appear in Theory and Practice of Logic Programming (TPLP)

Scientific paper

The design and implementation of an incremental copying heap garbage collector for WAM-based Prolog systems is presented. Its heap layout consists of a number of equal-sized blocks. Other changes to the standard WAM allow these blocks to be garbage collected independently. The independent collection of heap blocks forms the basis of an incremental collecting algorithm which employs copying without marking (contrary to the more frequently used mark© or mark&slide algorithms in the context of Prolog). Compared to standard semi-space copying collectors, this approach to heap garbage collection lowers in many cases the memory usage and reduces pause times. The algorithm also allows for a wide variety of garbage collection policies including generational ones. The algorithm is implemented and evaluated in the context of hProlog.

Affiliated with

Also associated with

No associations

Rating

Incremental copying garbage collection for WAM-based Prolog systems does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Incremental copying garbage collection for WAM-based Prolog systems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Incremental copying garbage collection for WAM-based Prolog systems will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-491022