A Distributed Garbage Collector with Diffusion Tree Reorganisation and Object Mobility
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.
Download
Full text not available from this repository.
Description/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.
| Item Type: | Conference or Workshop Item (UNSPECIFIED) |
|---|---|
| Additional Information: | Also in ACM SIGPLAN Notices, 34(1):204-215, January 1999. |
| ISSNs: | 0362-1340 |
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science > Web & Internet Science |
| Item ID: | 252754 |
| Date Deposited: | 20 Mar 2000 |
| Last Modified: | 01 Mar 2012 10:32 |
| Contributors: | Moreau, Luc (Author) |
| Date: | 1998 |
| Additional Information: | Also in ACM SIGPLAN Notices, 34(1):204-215, January 1999. |
| Status: | Published |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/252754 |
Actions (login required)
 |
View Item |
