A Distributed Garbage Collector with Diffusion Tree Reorganisation and Mobile Objects (1997)
Cached
Download Links
- [www.bib.ecs.soton.ac.uk]
- [www.ecs.soton.ac.uk]
- DBLP
Other Repositories/Bibliography
| Venue: | In Proceedings of the 3rd ACM international conference on functional programming |
| Citations: | 13 - 4 self |
BibTeX
@INPROCEEDINGS{Moreau97adistributed,
author = {Luc Moreau},
title = {A Distributed Garbage Collector with Diffusion Tree Reorganisation and Mobile Objects},
booktitle = {In Proceedings of the 3rd ACM international conference on functional programming},
year = {1997},
pages = {204--215},
publisher = {ACM Press}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
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 referencecounting 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. 1 Introduction Distributed object systems provide programmers with the capability to refer to remote objects and to activate remote computations (generally called remote method invocation) [27, 28]. In this context, distributed garbage collection is a valuable tec...
