The University of Southampton
University of Southampton Institutional Repository

A Distributed Garbage Collector with Diffusion Tree Reorganisation and Object Mobility

A Distributed Garbage Collector with Diffusion Tree Reorganisation and Object Mobility
A Distributed Garbage Collector with Diffusion Tree Reorganisation and Object Mobility
We present a new distributed garbage collection algorithm that is able to reorganise diffusion trees and to support mobile objects. It has a modular design comprising three components: a reliable transport mechanism, a reference-counting based distributed garbage collector for non-mobile objects, and an extra layer that provides mobility. The algorithm is formalised by an abstract machine and is proved to be correct. The safety property ensures that an object may not be reclaimed as long as it is referred to locally or remotely. The liveness property guarantees that unreachable objects will eventually be reclaimed. The mobility property certifies that messages are always forwarded towards more recent mobile object positions.
204--215
Moreau, Luc
033c63dd-3fe9-4040-849f-dfccbe0406f8
Moreau, Luc
033c63dd-3fe9-4040-849f-dfccbe0406f8

Moreau, Luc (1998) A Distributed Garbage Collector with Diffusion Tree Reorganisation and Object Mobility. Proceedings of the Third International Conference of Functional Programming (ICFP'98). 204--215 .

Record type: Conference or Workshop Item (Paper)

Abstract

We present a new distributed garbage collection algorithm that is able to reorganise diffusion trees and to support mobile objects. It has a modular design comprising three components: a reliable transport mechanism, a reference-counting based distributed garbage collector for non-mobile objects, and an extra layer that provides mobility. The algorithm is formalised by an abstract machine and is proved to be correct. The safety property ensures that an object may not be reclaimed as long as it is referred to locally or remotely. The liveness property guarantees that unreachable objects will eventually be reclaimed. The mobility property certifies that messages are always forwarded towards more recent mobile object positions.

Text
icfp98 - Accepted Manuscript
Download (16MB)

More information

Published date: 1998
Additional Information: Also in ACM SIGPLAN Notices, 34(1):204-215, January 1999.
Venue - Dates: Proceedings of the Third International Conference of Functional Programming (ICFP'98), 1998-01-01
Organisations: Web & Internet Science

Identifiers

Local EPrints ID: 252754
URI: https://eprints.soton.ac.uk/id/eprint/252754
PURE UUID: 73ccda4a-d677-4594-85dc-cc0616c7ec8d
ORCID for Luc Moreau: ORCID iD orcid.org/0000-0002-3494-120X

Catalogue record

Date deposited: 20 Mar 2000
Last modified: 05 Nov 2019 02:02

Export record

Contributors

Author: Luc Moreau ORCID iD

University divisions

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of https://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×