Modelling a Distributed Cached Store for Garbage Collection: the algorithm and its correctness proof

Paulo Ferreira 1 Marc Shapiro 1
1 SOR - Distributed Object Systems
Inria Paris-Rocquencourt
Abstract : Caching and persistence support efficient, convenient and transparent distributed data sharing. The most natural model of persistence is persistence by reachability, managed automatically by a garbage collector (GC). We propose a very general model of such a system (based on distributed shared memory) and a scalable, asynchronous distributed GC algorithm. Within this model, we show sufficient and widely applicable correctness conditions for the interactions between applications, store, memory, coherence, and GC. The GC runs as a set of processes (local to each participating machine) communicating by asynchronous messages. Collection does not interfere with applications by setting locks, polluting caches, or causing I/O; this requirement raised some novel and interesting challenges which we address in this article. The algorithm is safe and live; it is not complete, i.e. it collects some distributed cycles of garbage but not necessarily all.
Keywords : gc mem rep
Type de document :
Communication dans un congrès
Eric Jul. Euro. Conf. on Object-Oriented Pging. (ECOOP), 1998, Brussels, Belgium. Springer-Verlag, 1445, pp.234--259, 1998, Lecture Notes in Comp. Sc. 〈10.1007/BFb0054094〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01248219
Contributeur : Alain Monteil <>
Soumis le : jeudi 24 décembre 2015 - 09:43:35
Dernière modification le : vendredi 25 décembre 2015 - 01:04:02

Fichier

MDCSGC_ecoop98.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Paulo Ferreira, Marc Shapiro. Modelling a Distributed Cached Store for Garbage Collection: the algorithm and its correctness proof. Eric Jul. Euro. Conf. on Object-Oriented Pging. (ECOOP), 1998, Brussels, Belgium. Springer-Verlag, 1445, pp.234--259, 1998, Lecture Notes in Comp. Sc. 〈10.1007/BFb0054094〉. 〈hal-01248219〉

Partager

Métriques

Consultations de la notice

96

Téléchargements de fichiers

32