Hierarchical distributed reference counting
Luc Moreau
- 01 Oct 1998
- Vol. 34, Iss: 3, pp 57-67
TL;DR: This paper presents an extension of a distributed reference counting algorithm that uses a conceptual hierarchical organisation of massive distributed computations that allows us to bound table sizes by the number of hosts in a domain, and it allows to share GC information between hosts in the same locality in order to reduce cross-network GC traffic.
read more
Abstract: Massively distributed computing is a challenging problem for garbage collection algorithm designers as it raises the issue of scalability. The high number of hosts involved in a computation can require large tables for reference listing, whereas the lack of information sharing between hosts in a same locality can entail redundant GC traffic. In this paper, we argue that a conceptual hierarchical organisation of massive distributed computations can solve this problem. By conceptual hierarchical organisation, we mean that processors are still able to communicate in a peer to peer manner using their usual communication mechanism, but GC messages will be routed as if processors were organised in hierarchy. We present an extension of a distributed reference counting algorithm that uses such a hierarchical organisation. It allows us to bound table sizes by the number of hosts in a domain, and it allows us to share GC information between hosts in a same locality in order to reduce cross-network GC traffic.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Transformations and Software Modeling Languages: Automating Transformations in UML
TL;DR: This paper investigates the role of transformations in the Unified Modeling Language, specifically UML class diagrams with OCL constraints, and presents a framework for expressing transformations along with concrete examples that infer new inheritance links, or transform constraints.
48
A construction of distributed reference counting
Luc Moreau,Jean Duprat +1 more
TL;DR: A distributed reference counting algorithm and a mechanical proof of correctness carried out using the proof assistant Coq are presented, which ensures that if there exists a reference to a resource, then its reference counter will be strictly positive.
Improving Code Generation for Associations: Enforcing Multiplicity Constraints and Ensuring Referential Integrity
Omar Badreddin,Andrew Forward,Timothy C. Lethbridge +2 more
- 01 Jan 2014
TL;DR: This paper introduces a syntax for describing associations using a model-oriented language called Umple, and outlines code generation patterns currently available in Umple that resolve difficulties and address the issues of multiplicity constraints and referential integrity.
SoFAR: An Agent Framework for Distributed Information Management
Luc Moreau,Norliza Zaini,Don Cruickshank,David De Roure +3 more
- 01 Jan 2003
TL;DR: SoFAR, the Southampton Framework for Agent Research, is a versatile multi-agent framework designed for Distributed Information Management tasks and adopts an XML-based declarative approach for specifying ontologies, providing a clear separation with their implementation.
Tree Rerooting in Distributed Garbage Collection: Implementation and Performance Evaluation
Luc Moreau
- 01 Dec 2001
TL;DR: Tree rerooting offers more parallelism during distributed GC activity; this phenomenon is explained by the length reduction of causality chains in the distributed GC.
9
References
•Book
Garbage collection: algorithms for automatic dynamic memory management
Richard Jones,Rafael Dueire Lins +1 more
- 08 Aug 1996
TL;DR: The Classical Algorithms: A Treatise on Reference Counting.
1.1K
Distributed garbage collection using reference counting
David Bevan
- 15 Jun 1987
TL;DR: An elegant algorithm for the real-time garbage collection of distributed memory that makes use of reference counting and is simpler than distributed mark-scan algorithms and is also truly real- time unlike distributed mark -scan algorithms.
173