. Dans-ce-cas,-l-'homme-va-enclencher-un and . Reset, Comme il y a autant d'homme que de femme, si aucune femme n'accepte l'appariement avec un homme à cause de la corruption, il arrive au début : à chaque refus, Ligne 16, il demande à la femme précédente (Ligne 2) jusqu'à la fin de la liste

. Une-fois-qu-'un-homme-détecte and . Qu, il faut faire un reset, il utilise le module du reset qui le permet via la variable invoke (Algo 1, ligne 5) Grâce à celle-ci, le reset est annoncé et enclenché. Les variables invoke et reset sont donc à true, ce qui bloque le reste de l'algorithme. Si plusieurs hommes déclenchent un reset simultanément, les demandes vont remonter à la racine. Cependant , il va y avoir un seul passage de reset, celui-ci étant auto-stabilisant

. Aprés-l-'annonce-du and . Reset, plus aucun homme ne peut utiliser l'algorithme de mariage et donc lancer de Mariage stable asynchrone auto-stabilisant reset. On sait aussi, que, comme le reset réinitialise les variables et vide les canaux et qu'il n'y a pas eu de réémission pendant le reset (prédicat)

U. Reset-va, Comme les variables de reset et invoke sont remises à false, l'algorithme de mariage peut reprendre : les hommes vont envoyer à leur femme préférée une Proposition. À chaque refus, ils vont demander à la précédente. Comme aucune erreur n'est survenue, une fois que les appariements sont faits, les hommes vont boucler sur les derniéres femmes pour vérifier l'absence de paires bloquantes, Aucune ne va être trouvée, l'homme ayant déjà demandé aux femmes mieux classées, il ne peut modifier son mariage

. De-leur-cãt, té, une fois mariée, une femme ne peut plus être seule, elle ne peux qu'améliorer son mariage

A. Au and F. Qu, il y a autant de noeuds dans chaque sous-ensemble, un homme ne peut atteindre à nouveau le début de la liste, Puisque forcément il y aura une femme de disponible) Il ne peut donc y avoir à nouveau de reset après qu'un soit fini

. Enfin, algorithme d'acceptation différée utilise maximum 2n(n ? 1) + 2 = 2n 2 ? 2n ? 2 messages

Y. Afek and G. Brown, Self-stabilization over unreliable communication media, Distributed Computing, pp.27-34, 1993.
DOI : 10.1007/BF02278853
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.45.4855

B. Awerbuch, B. Patt-shamir, G. Varghese, and S. Dolev, Distributed Algorithms : 8th International Workshop The Netherlands, Proceedings, chapter Selfstabilization by local checking and global reset, pp.326-339, 1994.

I. Brito and P. Meseguer, Distributed stable marriage problem, 6th Workshop on Distributed Constraint Reasoning at IJCAI, pp.135-147, 2005.

I. Brito and P. Meseguer, Principles and Practice of Constraint Programming -CP, 11th International Conference Proceedings, chapter Distributed Stable Matching ProblemsDij74] E. W. Dijkstra. Self-stabilizing systems in spite of distributed control, pp.152-166, 1974.

S. Dolev, A. Israeli, and S. Moran, Self-stabilization of dynamic systems assuming only read/write atomicity, Distributed Computing, vol.15, issue.7, pp.3-16, 1993.
DOI : 10.1007/BF02278851

S. Dolev, Self Stabilization, Journal of Aerospace Computing, Information, and Communication, vol.1, issue.6, 2000.
DOI : 10.2514/1.10141
URL : https://hal.archives-ouvertes.fr/inria-00627780

D. Gale and L. S. Shapley, College Admissions and the Stability of Marriage, The American Mathematical Monthly, vol.69, issue.1, pp.9-15, 1962.
DOI : 10.2307/2312726

S. Katz and K. Perry, Self-stabilizing extensions for message-passing systems, Proceedings of the ninth annual ACM symposium on Principles of distributed computing , PODC '90, pp.91-101, 1990.
DOI : 10.1145/93385.93405

A. Kipnis and B. Patt-shamir, A Note on Distributed Stable Matching, 2009 29th IEEE International Conference on Distributed Computing Systems, pp.466-473, 2009.
DOI : 10.1109/ICDCS.2009.69

F. Mathieu, Self-stabilization in preference-based systems. Peer-to-Peer Networking and Applications, pp.104-121, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00667082

W. Ostrovsky and . Rosenbaum, Fast Distributed Almost Stable Matchings, Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing, PODC '15, pp.101-108, 2015.
DOI : 10.1145/2767386.2767424

G. Varghese, Self-stabilization by counter flushing, Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing, PODC '94, pp.244-253, 1994.

]. H. Xl11a, B. Xu, and . Li, Egalitarian stable matching for VM migration in cloud computing, Computer Communications Workshops (INFOCOM WKSHPS), 2011 IEEE Conference on, pp.631-636, 2011.

]. H. Xl11b, B. Xu, and . Li, Seen as stable marriages, INFOCOM, 2011 Proceedings IEEE, pp.586-590, 2011.