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
1998
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).
.
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
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: http://eprints.soton.ac.uk/id/eprint/252754
PURE UUID: 73ccda4a-d677-4594-85dc-cc0616c7ec8d
Catalogue record
Date deposited: 20 Mar 2000
Last modified: 14 Mar 2024 05:22
Export record
Contributors
Author:
Luc Moreau
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