Self-stabilizing Distributed Stable Marriage - Laboratoire Interdisciplinaire des Sciences du Numérique Access content directly
Conference Papers Year : 2017

Self-stabilizing Distributed Stable Marriage


Stable matching (also called stable marriage in the literature) is a problem of matching in a bipartite graph, introduced in an economic context by Gale and Shapley. In this problem, each node has preferences for matching with its neighbors. The final matching should satisfy these preferences such that in no unmatched pair both nodes prefer to be matched together. The problem has a lot of useful applications (two sided markets, migration of virtual machines in Cloud computing , content delivery on the Internet, etc.). There even exists companies dedicated solely to administering stable matching programs. Numerous algorithms have been designed for solving this problem (and its variants), in different contexts, including distributed ones. However, to the best of our knowledge, none of the distributed solutions is self-stabilizing (self-stabilization is a formal framework that allows dealing with transient corruptions of memory and channels). We present a self-stabilizing stable matching solution, in the model of composite atomicity (state-reading model), under an unfair distributed scheduler. The algorithm is given with a formal proof of correctness and an upper bound on its time complexity in terms of moves and steps.
Fichier principal
Vignette du fichier
Version1.pdf (557.74 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01576055 , version 1 (22-08-2017)



Marie Laveau, George Manoussakis, Joffroy Beauquier, Thibault Bernard, Janna Burman, et al.. Self-stabilizing Distributed Stable Marriage. International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), 2017, Boston, United States. pp.46-61, ⟨10.1007/978-3-319-69084-1_4⟩. ⟨hal-01576055⟩


1245 View
590 Download



Gmail Facebook X LinkedIn More