16
Consensus Based on Strong Failure Detectors: Time and Message-Efficient Protocols Fabiola Greve, Michel Hurfin, Raimundo Macˆ edo, Michel Raynal To cite this version: Fabiola Greve, Michel Hurfin, Raimundo Macˆ edo, Michel Raynal. Consensus Based on Strong Failure Detectors: Time and Message-Efficient Protocols. [Research Report] RR-3855, INRIA. 2000. <inria-00072801> HAL Id: inria-00072801 https://hal.inria.fr/inria-00072801 Submitted on 24 May 2006 HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destin´ ee au d´ epˆ ot et ` a la diffusion de documents scientifiques de niveau recherche, publi´ es ou non, ´ emanant des ´ etablissements d’enseignement et de recherche fran¸cais ou ´ etrangers, des laboratoires publics ou priv´ es.

Consensus Based on Strong Failure Detectors: Time and Message … · 2016. 12. 27. · ISSN 0249-6399 ISRN INRIA/RR--3855--FR apport de recherche INSTITUT NATIONAL DE RECHERCHE EN

  • Upload
    others

  • View
    1

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Consensus Based on Strong Failure Detectors: Time and Message … · 2016. 12. 27. · ISSN 0249-6399 ISRN INRIA/RR--3855--FR apport de recherche INSTITUT NATIONAL DE RECHERCHE EN

Consensus Based on Strong Failure Detectors: Time and

Message-Efficient Protocols

Fabiola Greve, Michel Hurfin, Raimundo Macedo, Michel Raynal

To cite this version:

Fabiola Greve, Michel Hurfin, Raimundo Macedo, Michel Raynal. Consensus Based on StrongFailure Detectors: Time and Message-Efficient Protocols. [Research Report] RR-3855, INRIA.2000. <inria-00072801>

HAL Id: inria-00072801

https://hal.inria.fr/inria-00072801

Submitted on 24 May 2006

HAL is a multi-disciplinary open accessarchive for the deposit and dissemination of sci-entific research documents, whether they are pub-lished or not. The documents may come fromteaching and research institutions in France orabroad, or from public or private research centers.

L’archive ouverte pluridisciplinaire HAL, estdestinee au depot et a la diffusion de documentsscientifiques de niveau recherche, publies ou non,emanant des etablissements d’enseignement et derecherche francais ou etrangers, des laboratoirespublics ou prives.

Page 2: Consensus Based on Strong Failure Detectors: Time and Message … · 2016. 12. 27. · ISSN 0249-6399 ISRN INRIA/RR--3855--FR apport de recherche INSTITUT NATIONAL DE RECHERCHE EN

ISS

N 0

249-

6399

ISR

N IN

RIA

/RR

--38

55--

FR ap por t

de r ech er ch e

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

Consensus Based on Strong Failure Detectors:Time and Message-Efficient Protocols

F. Greve, M. Hurfin, R. Macêdo et M. Raynal

N˚3855

Janvier 2000

THÈME 1

Page 3: Consensus Based on Strong Failure Detectors: Time and Message … · 2016. 12. 27. · ISSN 0249-6399 ISRN INRIA/RR--3855--FR apport de recherche INSTITUT NATIONAL DE RECHERCHE EN
Page 4: Consensus Based on Strong Failure Detectors: Time and Message … · 2016. 12. 27. · ISSN 0249-6399 ISRN INRIA/RR--3855--FR apport de recherche INSTITUT NATIONAL DE RECHERCHE EN

������������������ ������������������������ ���� ����"!#�$���%&���'���)(* � +,�- ����/.0����� ����)132546%$����7�98:���;���<%$�����

=�>@?BADCFEGCIHKJ&L�>NM�OPADQ@R@HKJNSB>NLUTWVIXIYPZ\[�CF]�L�>NS�TK^�R@T`_aH

b;cedgfBhBi�jlknmpo hrqIsGtuhgv�oxwGoxv�dgfBhpoyz�{I|xhgvn}�~�y

k7qI�\��{Kzxvn�\h�z�hp��cehgz�� ceh����W��������j��3qI�3�`��hgz7��������j ir����qI��hpo

���)�p�r�I�\����� b;ceh��g��qKo�o {I¡�¢g£¥¤§¦K¨`©ª¡«qI�¬�¬s\z�h��\hgv�hp�gv�{Kz�ou­¥�\hg�e{Kv�hp�¯®;°��¬�e�g�¬se�\hpo�qI�¬�¡«qI�¬�¬s\z�hB�\hgv�hp�gv�{Kz�o�vxc�qIvoxseox��hp�gv�qI�¬�±�gz qKoxcehp�²�\z�{W�phpo o�hpo�qI�e�²vxc�qIv��\{B�e{Kv�oxseox��hp�gv7o�{KfBhu­³qB�\zx��{Kzx�$s\�\´`�e{rµ'��°n�\z�{W�phpo onvxc�qIv��ehg��hgz�gz qKoxcehpor¶¸·`{\¹�qº¡«qI�¬�¬s\z�h»�\hgv�hp�gv�{Kz¼vxc�qIv�½�hg��{K�\��o�v�{¾®-��o��¬�Wvxzx�¬�eox���rqI�¬�¬w¿s\�\z�hg�¬��qI½\��h5qKoB�¬v¼�rqI�ÀqIzx½\�¬vxz qIzx�¬�¬woxseox��hp�gv7�p{Kzxz�hp�gv7�\z�{W�phpo o�hpor¶n·`hg��hgz qI�$®ÂÁ«½�qKo�hp�²�p{K�eo�hg�eoxseo7�\z�{Kv�{W�p{K��o�c�qp��h�½�hphg�²�\hpox�¬���ehp�@¶7·`{KfBh�{I¡vxcehgfoxwGoxv�hgf�qIvx���rqI�¬�¬w�z�hpÃ3s\�¬z�hÂÄB�p{KfÅ�\s\v qIvx��{K��z�{Ks\�e�\oÆ­aÄŽPhg�¬�\��vxcehÂ�3s\f�½�hgz){I¡G�\z�{`�phpo�o�hpoD°Ç¹FhrqK��c�z�{Ks\�e� �¬�3��{K�¬�`�¬�\�ÄNÈ�{Kz�Ä5fBhpo�o qI��hpoɶÆÊ7vxcehgz�o7qI�¬��{ɵËhrqIzx�¬wÌ�\hp�g��ox��{K�Í­a�«¶Îh�¶¬¹evxceh<�3s\f�½Phgz�{I¡$z�{Ks\�e�\o7�\hg�Phg�e�\o7{K��vxceh<f�qFtG�¬f�qI��3s\f�½PhgzÅ{I¡n�gz qKoxcehpo�µ'cehg�Uvxcehgz�h¼qIz�h��e{»hgzxz�{K�ehp{Kseoªoxseox�\���g��{K�eoÇ°<½\s\v�z�hpÃ3s\�¬z�h�hrqK��c:z�{Ks\�e�Ív�{��¬�3��{K�¬��h¼Ä ÈfBhpo�o qI��hpoɶ

b;c\��o'��qI��hgz��\z�hpo�hg�Wv�onqI�»hrqIzx�¬wu�\hp�g���G�¬�\�B®ÂÁ«½�qKo hp���p{K�eo�hg�eoxseo'�\z�{Kv�{`�p{K�&hrqK� c�z�{Ks\�e��{I¡)µ'c\��� c»�¬�W��{K�¬��hpoÏ\Ð Ä�Ñ�ÒÉÓ'fBhpo�o qI��hpor¶Æ·`{\¹evxceh<�\z�{K��{�o�hp�Ì�\z�{Kv�{`�p{K�&��o'��qIzxvx���gs\��qIzx�¬wÌvx�¬fBh�qI�e�ÌfBhpo�o qI��hÇÁÔhÇÕ��g��hg�Wvr¶;Ö²{Kz�hp{É��hgzr¹�¬vÂ�rqI��hrqKox�¬�¬w�½�h;��hg�ehgz qI�¬�¬×rhp��v�{�z�hp�Gse�ph'vxceh��3s\f�½�hgzØ{I¡�z�{Ks\�e�\oØqIvÙvxceh;�\zx���ph�{I¡@qI���¬�e�gz�hrqKo�h'�¬�Åvxceh'�Ws\f�½�hgz{I¡±fBhpo�o qI��hpo'��hgz'z�{Ks\�e�@¶ÚÌÛ3Ü�Ý�Þ�ß �Ià$��� }�oxw`�e��c\z�{K�e{Kseo�~���oxvxzx�¬½\s\v�hp�5·Ww`oxv�hgf�¹NáÆ{K�eo�hg�eo�seor¹�áØz qKo�c²â�qI�¬�¬s\z�h�¹@y$hgzx�Phgvxs�qI�}'�p�gs\z qK�gwyz�{K��hgzxvÔw�¹�ãn�\z�hg�¬��qI½\��h â�qI�¬�¬s\z�h�~�hgv�hp�gv�{Kzr¶

ä¬åNæèç«érê�æ;ë@ì¬çÔí³îgï

ð�ñIòôóeõ�ö ÷«øØñIùDó�ú�û§û§ü;ýIù ÷³þ«òÿù������'ó��IýFý�öD÷³þ«û��Øú�Øù� ����ð �������������ð������ ���� �D÷Ôù ürþ !#"%$'&($*)�+Âù ü,�Æú-�% �/.1032�&�÷Ôù54§ò���D÷Ôù üpþ«ó'6798 �KùDúFòÿö��ÿù36 :)÷«û';gû=<>��ò@?ÔñIûA�B6 C��F÷�DKüE<F��ò�?ÔñIû'�G6 �)ù��ÉüIù��IH�J$òÎ÷«òôó«ù36 K ÷L �WùNMÉò�O��P�.QO��SR/�T&���UF�ù�V'ýF�FóW�Fû��$üF�FòôüKùUX��1.ZY#[3$�\�[5�]$�$�[^&�ùDñFòÿù3UX&�÷Ôù�4§ò��G6 V�ù5?§û��Éö-J��>K úKù6 úÉ÷

Unité de recherche INRIA RennesIRISA, Campus universitaire de Beaulieu, 35042 RENNES Cedex (France)

Téléphone : 02 99 84 71 00 - International : +33 2 99 84 71 00Télécopie : 02 99 84 71 71 - International : +33 2 99 84 71 71

Page 5: Consensus Based on Strong Failure Detectors: Time and Message … · 2016. 12. 27. · ISSN 0249-6399 ISRN INRIA/RR--3855--FR apport de recherche INSTITUT NATIONAL DE RECHERCHE EN

��� ���������� ���-%)���������������,���Ô ������ ���-� � �P�%N����������� � ��� ������� n��%$�� � �'�����$(!#�������;���<%$������ �±46%$ �%$����� ���Â+ª���$��������n+����P�-��� +,����� ��n��

�� ����� � � � q<�g��qKo o�h'�\hpoÙ�\mgv�hp�gv�hgs\z�oØ�\h��\mÇ¡³qI�¬�¬��qI�e�phpo��g¦�¤Ç£a¢'­¥�\mg�e{Kv�mph�®;°�p{KfÅ�\z�hg�e�Bv�{Kseo��hpoØ�\mgv�hp�gv�hgs\z�o�\hÆ�\mÇ¡³qI�¬�¬��qI�e�phpoÃWs\�\{K�3v±�P{Ks\z$�\z�{K�\zx��mgv�mpo�\h;oxseox��hp�gv�hgz)��hpo$�\z�{`�phpo�oxseo$�\mÇ¡³qI�¬�¬��qI�Wv�of�qI��o±�\hÙ�ehÆ��qKo±oxseox��hp�gv�hgzqIs5fB{K�¬�eo�s\�¯�\hpo<�\z�{`�phpo�oxseo��e{K�¯�\mÇ¡«qI�¬�¬��qI�3v�o�­¥oDqI�eo<Ã3sehª��� ���\hg�Wvx�¬v�mB�\hÅ�phg�¬s\� ÁÔ�g�Âo�{K�¬v �p{K�\�3s¾q¼�\zx��{Kzx� °Ç¶ª~�h¡«qI�¬vr¹Gs\�»�\mgv�hp�gv�hgs\z7�\h<�\mÇ¡«qI�¬�¬��qI�e�phpo�qI�\��qIzxv�hg��qI�Wv��ª��qª�g��qKo o�h�®�hpoxvn�¬�3vxzx�¬�eo�dpÃWsehgfBhg�3v��e{K����qI½\��h<�\s\��o�ÃWs�� �¬���hgs\vnoxseox��hp�gv�hgz�qIzx½\�¬vxz qI�¬z�hgfBhg�Wv��\hpon�\z�{W�phpo oxseon�p{Kzxz�hp�gv�or¶'yÂ�¬seox��hgs\z�on�\z�{Kv�{`�p{K��hpo��\h �p{K�eo�hg�eoxseon¡¥{K�e�\mpo7oxs\z��qª�g��qKo�o�h�® {K�3v�mgv�m<�p{K���gseor¶ØáÆhgzxv qI�¬�eo7���Îhg�3vxz�h hgsGtuz�hpÃWs\��dgz�hg�3vnoxwGoxv�mgf�qIvx��ÃWsehgfBhg�3v�Ä5mgv qI��hpo��\h<�rqI���gs\�Ù­aÄmgv qI�3v���h��e{Kf�½\z�hª�\h��\z�{W�phpo�o�seoD°Ç¹�� c�qKÃ3seh�mgv qI��h��emp�phpo�o��¬v qI�3v����ÎmgfÅ��o�ox��{K�5�\h ÄU{Ks²ÄNÈ�fBhpo�o qI��hpor¶7~ �ôqIs\vxz�hpo�\z�{Kv�{`�p{K��hpo7��hgzxfBhgvxv�hg�3v�s\�eh��\zx��o�h��\h��\mp�g��ox��{K�5qIs �\�¬seo7v"!KvÅ­¥�eqI�eo��ph��rqKor¹���h��e{Kf�½\z�hª���Îmgv qI�Phpo��\h��rqI���gs\��\mg��hg�e���Gs¼�e{Kf�½\z�h�f�qFtG�¬f�qI�P�\h��\mÇ¡³qI�¬�¬��qI�e�phpoÆ��{Kz�o�ÃWs�� �¬����� w¼q<��qKo;�\hnoxseo��\���g��{K�¼hgzxz�{K�emphÉ°Ùf�qI��oØz�hpÃ3s\��dgz�hg�WvÄ È fBhpo�o qI��hpo#�B��c�qKÃWseh mgv qI�Ph��\h<�rqI���gs\�«¶

áÆhgvªqIzxvx���g��hB�\z�mpo�hg�Wv�h�s\�¯�\z�{Kv�{`�p{K��h��\h��p{K�eo�hg�eoxseo ¡¥{K�e�\m�oxs\z ��qÌ�g��qKo�o hÅ®Ë��hgzxfBhgvxv qI�3vª�\hpo��\mp�g��o���{K�eoqIs �\�¬seoÅv"!Kvr¶ áØc�qKÃ3seh»mgv qI�PhÌ�\hu�rqI���gs\���emp�phpo�o��¬v�h Ï\РľÑËÒÉÓ�fBhpo o qI��hpor¶:~�h�¡«qI�¬vr¹Â��hu�\z�{Kv�{`�p{K��hÌ�\z�{K��{�o�mhpoxv���qIzxvx���gs\�¬��dgz�hgfBhg�3v�hÇÕ��rqK�phuhg�Uv�hgfÅ�eo�hgvªhg�¾�e{Kf�½\z�hÌ�\hBfBhpo�oDqI��hpor¶²~�h��\�¬seor¹±�¬�Ø��hgs\v�qI��o mgfBhg�3v%$gvxz�h��mg�emgz qI�¬��o�mBq&�e�¯�\hªz�mp�Gs\�¬z�hª��h��e{Kf�½\z�h����Îmgv qI�Phpo �\hª�rqI���gs\�ÙqIs5�\zx� tº��� s\�ehBqIs\��fBhg�3v qIvx��{K�Í�Gs5�e{Kf�½\z�hB�\hfBhpo�o qI��hponmp��c�qI�\��mpo7��qIznmgv qI�Ph�¶'¸ß �r� Ý �)( � � oxwGoxv�dgfBhpo�z�mg��qIzxvx��oÅqKoxwW�e� c\z�{K�ehpor¹�p{K�eo�hg�eoxseoɹ)��qI�\�ehpo�¡¥z qI�e��cehpor¹±�\z�{K�\zx��mgv�m¼�\h��\z�mp�g��ox��{K���hgzx�Pmgvxsehg�¬��h�¹e�\mgv�hp�gv�hgs\z�o��\h<�\mÇ¡«qI�¬�¬��qI�e�phpo��e{K�*��qI½\��hpor¶

Page 6: Consensus Based on Strong Failure Detectors: Time and Message … · 2016. 12. 27. · ISSN 0249-6399 ISRN INRIA/RR--3855--FR apport de recherche INSTITUT NATIONAL DE RECHERCHE EN

� � �7�����<���%N�P�����

·`hg��hgz qI���gzxse�g��qI���\z qK�gvx���rqI���\z�{K½\��hgfBo�­¥oxse��c�qKo���£«¦������g¤§¦��� ����I¢g£PqI�e����£«¦���������¦������¥£�°±hg�e�p{Ks\�3v�hgz�hp���¬�Åvxceh�\hpox�¬���Ì{I¡)z�hg�¬��qI½\��h qI�\�\�¬���rqIvx��{K�eo�½\s\�¬�¬v�{K�¼v�{K�Ì{I¡$s\�\z�hg�¬��qI½\��h qKoxwW�e� c\z�{K�e{Kseo��G��oxvxzx�¬½\s\v�hp��o�w`oxv�hgfBoɹ`qK�gvxs�qI�¬�¬w½�hg��{K�\�Uv�{ qUo qIfBh²¡«qIfÅ�¬�¬w��¾vxceh»¡«qIfÅ�¬�¬w�{I¡��r©K¤��������Ǩ�£���¤§¦��������¢g¶#b;c\��o¼¡«qIfÅ�¬�¬w��rqI�À½Ph ��c�qIz qK�gv�hgzx�¬×rhp�½3w5qÌox�¬�\����hª�\z�{K½\��hgf�¹)��qIfBhg�¬wºvxceh �¦K¨\¢��Ǩ\¢�!3¢n�\z�{K½\��hgf�¹)vxc�qIv ��o<vxcehg�¬z�"r©K¤��#��£$�Ǣǣ���¦����B¦K¨U¢%!&$��¤x¦���'����( ¶b;c�qIvª��o�µ'c3w¾vxcehu�p{K�eo�hg�eo�seoª�\z�{K½\��hgf ��o��p{K�eo����\hgz�hp�:qKoBq�¡¥s\�e�eqIfBhg�3v qI���\z�{K½\��hgf�¶¯b;c\��oª��o��\z qK�gvx���rqI�¬�¬wqI�e�:vxcehp{Kz�hgvx���rqI�¬�¬w ��hgzxwU�¬fÅ�P{Kzxv qI�Wvr¶ â\z�{Kf q �\z qK�gvx���rqI����{K�¬�3v�{I¡��`��hgµ ¹Âvxc\��oÅfBhrqI�eoÅvxc�qIv¼qI�3w:o�{K�¬s\vx��{K�v�{5�p{K�eo�hg�eoxseoÅ�rqI� ½�h¼seo�hp�¿qKoBq ½\s\�¬���G�¬�\�¯½\��{`��´U{K� v�{K�¿{I¡7µ'c\����c�o�{K�¬s\vx��{K�eoÅv�{º��qIzxvx���gs\��qIz�qI��z�hphgfBhg�Wv�\z�{K½\��hgfBo;�rqI��½�hn�\hpo��¬���ehp�@¶Ââ\z�{Kf"q vxcehp{Kz�hgvx���rqI����{K�¬�3v;{I¡N�W��hgµ ¹Wvxc\��oÆfBhrqI�eoÙvxc�qIv'qI�uqI��z�hphgfBhg�Wv'�\z�{K½\��hgf�rqI�\�e{Kv�½�h<o�{K�¬��hp�Ì�¬�»o�w`oxv�hgfBo;µ'cehgz�h��p{K�eo�hg�eoxseo��rqI�\�e{Kv7½Ph<o�{K�¬��hp�@¶)è�G¡¥{Kzxf�qI�¬�¬w�¹`vxceh��p{K�eo�hg�eoxseoÆ�\z�{K½\��hgf �rqI�¼½Ph��\h �e�ehp�u�¬�¼vxcehn¡³{K�¬��{rµ'�¬�\�ªµ;qpw�¶+*ÙqK� cÌ�\z�{W�phpo oØ�\z�{K��{�o�hpo'q

��qI�¬seh�qI�e�»qI�¬�&�p{Kzxz�hp�gv��\z�{`�phpo�o�hpo�c�qp��h v�{��\hp�g���\h<vxceh o qIfBh<��qI�¬seh�¹\µ'c\��� c»c�qKo'v�{Ž�h<{K�eh {I¡vxceh��\z�{K��{�o�hp���qI�¬sehpor¶u·`{K�¬�`�¬�\�»vxceh��p{K�eo�hg�eoxseo��\z�{K½\��hgf �¬�ÍqKoxw`�e��c\z�{K�e{Kseoª�G��oxvxzx�¬½\s\v�hp�ÍoxwGoxv�hgfBo µ'cehgz�h��\z�{W�phpo�o hpo<f�qpw�gz qKoxcº��o�¡«qIz7¡¥z�{Kf�½�hg�¬�\�Ìq�vxzx�¬�`��qI�v qKox´�¶,)Ôv�c�qKo�½�hphg�¯oxce{rµ'�5½Ww²â$��o�� cehgzr¹ � w`�e��c¾qI�e�5y±qIv�hgz�o�{K�.-ô�0/vxc�qIvvxcehgz�hÅ��o��e{Ì�\hgv�hgzxfÅ�¬�\��oxvx����o�{K�¬s\vx��{K�¯v�{uvxcehÅ�p{K�eo�hg�eoxseo �\z�{K½\��hgf6�¬�5vxce{�o�hÅoxwGoxv�hgfBo qKo<o�{`{K�¾qKo��\z�{W�phpo o�hpo­¥hg��hg�ª{K�\�¬w�{K�ehÉ°@f�qrw��gz qKoxcN¶$b;c\��o$�¬fÅ�P{�o�o��¬½\�¬�¬�¬vÔw z�hpoxs\�¬v$�p{KfBhpo)¡az�{Kf¸vxceh¡«qK�gv&vxc�qIvr¹��GsehØv�{7vxcehÙs\�e�phgzxv qI�¬�WvÔw�gz�hrqIv�hp�º½3wºqKoxw`�e��c\z�{K�3w5qI�e� ¡«qI�¬�¬s\z�hpor¹��¬v���o7�¬fÅ��{�o�ox�¬½\��h�v�{¼�\z�hp�g��o�hg�¬w²´W�e{ɵ vxceh�o�w`oxv�hgf�oxv qIv�h�¶�·`{\¹�v�{�½�hqI½\��hBv�{²o�{K�¬��h�qI��z�hphgfBhg�Wvª�\z�{K½\��hgfBo��¬�:qKoxwW�e� c\z�{K�e{Kseoª�G��oxvxzx�¬½\s\v�hp�Ío�w`oxv�hgfBoɹ&vxce{�o�h�oxwGoxv�hgfBo<c�qp��h�v�{�½�h" qIs\��fBhg�3v�hp�1(�µ'�¬vxc qK�\�G�¬vx��{K��qI�$qKo oxs\fÅ�\vx��{K�eonvxc�qIvnf�qI´�h��p{K�eo�hg�eoxseo7o�{K�¬��qI½\��h<�¬�»oxse� c»�¬fÅ�\z�{r��hp� oxwGoxv�hgfBor¶}Àf�qF|x{Kz;qI�e�¼�\hgv�hgzxfÅ�¬�\�¬�\��qK�G�KqI�e�ph7�¬�¼vxc\��oØ�G�¬z�hp�gvx��{K�uc�qKoƽPhphg�u�\{K�eh7½3w¼áØc�qI�e�Gz qªqI�e�¼b&{Ksehg�ªµ'ce{�c�qr��h�\z�{K��{�o�hp�2-¬i�/Ø­³qI�e�Ì�¬�W��hpoxvx�¬�3qIv�hp��µ'�¬vxc�3�qK�G×p�¬��qK�p{�o4-ô��/a°Øvxceh65&¨e¤����7���������89���:�;!`¤#��<=�g£$�#�p£«¦�¤��p{K�e�phg�\vr¶

}�¡³qI�¬�¬s\z�h<�\hgv�hp�gv�{Kzn�rqI�u�¬�G¡³{Kzxf�qI�¬�¬w�½�h�o�hphg�»qKo�q�o�hgv'{I¡;¦K¤#�����'�D¢g¹e{K�eh��Phgz'�\z�{`�phpo�or¶±b;ceh�¡«qI�¬�¬s\z�h<�\hgv�hp�ÇÁv�{Kz�fB{`�Gs\��h�­¥{Kz qK�g��hÉ°nqKo�o�{`�g��qIv�hp�̵'�¬vxc qª�\z�{`�phpo�o'�\z�{É�W���\hpo7�¬v�µ'�¬vxcºqª�¬��oxvn{I¡±�\z�{W�phpo o�hpo��¬v���sehpo o�hpo�v�{Åc�qr��h�gz qKoxcehp�@¶±}�¡³qI�¬�¬s\z�h��\hgv�hp�gv�{KzØ�rqI�Bf�qI´�h'fÅ��oxv qI´�hpo½Wwª�e{KvÂoxseox��hp�gvx�¬�\��q��gz qKoxcehp�Å�\z�{`�phpo�or¹�{Kz½WwÅhgzxz�{K�ehp{Kseo§Á�¬wºoxseox��hp�gvx�¬�\�²qÌ�p{Kzxz�hp�gv��\z�{`�phpo�or¶�)Ô�5vxcehg�¬z�o�hgfÅ�¬��qI�Â��qI��hgz�-¬i�/Ô¹±áØc�qI�e�Gz q²qI�e�¯b&{Ksehg�²c�qp��h��\h �e�ehp�5vÔµÆ{vÔw`��hpo7{I¡Ù�\z�{K��hgzxvÔw»v�{�� c�qIz qK�gv�hgzx�¬×rhB�g��qKo�o�hpo�{I¡¡³qI�¬�¬s\z�h��\hgv�hp�gv�{Kz�or¶�} �g��qKo�o���o��\h �e�ehp�²½Ww²q>�¦��?�@���p£$�Ǩ��D¢D¢�\z�{K��hgzxvÔw5qI�e�¯qI�2AB����!`¤C����DB�\z�{K��hgzxvÔw�¶ª}��p{KfÅ�\��hgv�hg�ehpo�o �\z�{K�Phgzxvèw ��o�{K�5vxcehBqK�gvxs�qI�Â�\hgv�hp�gvx��{K�¾{I¡Æ�gz qKoxcGÁhpor¶�b;cehÅ�p{KfÅ�\��hgv�hg�ehpo�o<�\z�{K��hgzxvÔw µØhBqIz�h��¬�3v�hgz�hpoxv�hp�¯�¬�5½�qKox���rqI�¬�¬w²oxv qIv�hpo�vxc�qIv�"èhg��hgzxwº�gz qKoxcehp� �\z�{`�phpo�o���ohg��hg�3vxs�qI�¬�¬w²oxseox��hp�gv�hp��½3w�hg��hgzxw��p{Kzxz�hp�gv��\z�{`�phpo�oC( ¶'}7�²qK�p�gs\z qK�gw��\z�{K��hgzxvÔwÌ�¬�¬fÅ�¬v�o7vxceh�fÅ��oxv qI´�hpo�q�¡«qI�¬�¬s\z�h�\hgv�hp�gv�{Kz7�rqI�Ìf�qI´�h�¶

)è�5vxc\��o<��qI��hgzr¹NµØh�qIz�hÅ�¬�3v�hgz�hpoxv�hp�¾�¬�¯o�{K�¬�`�¬�\�ÌvxcehB�p{K�eo�hg�eoxseo<�\z�{K½\��hgf �¬�¾qKoxw`�e��c\z�{K�e{Kseo��G��oxvxzx�¬½\s\v�hp�oxwGoxv�hgfBo�hpÃWs\�¬�\��hp�¾µ'�¬vxc qu¡«qI�¬�¬s\z�h��\hgv�hp�gv�{Kzª{I¡�vxceh��g��qKo o�®�¶�} ¡³qI�¬�¬s\z�h��\hgv�hp�gv�{KzÅ{I¡�vxc\��o��g��qKo�o�oxseox��hp�gv�oqI�¬�;�gz qKoxcehp�U�\z�{W�phpo�o hpou­¥�p{KfÅ�\��hgv�hg�ehpo oD°�qI�e�Í��s�qIz qI�Wv�hphpoÅvxc�qIvªvxcehgz�h¼��o�q �p{Kzxz�hp�gvª�\z�{W�phpo o�vxc�qIv���o��ehg��hgzoxseox��hp�gv�hp�@¹7½\s\v¼vxc\��ou�\z�{`�phpo�ou��ou�e{Kv�qU�\zx��{Kzx�<´`�e{rµ'��­a��hgzx�Phgvxs�qI��µØhrqI´ qK�p�gs\z qK�gwe°Ç¶-·`hg��hgz qI� ®ÙÁ«½�qKo�hp��p{K�eo�hg�eoxseo��\z�{Kv�{W�p{K��oBc�qp��h�½�hphg�¿�\z�{K��{�o�hp�@¶¿b;cehgw¿qI�¬�7qKo�o�s\fBhFEHG įѸÒÍ­aµ'cehgz�h�E ��oÅvxcehÌf�qFtG�¬f�qI��3s\f�½Phgz�{I¡�\z�{W�phpo o�hpo'vxc�qIvnf�qrwÌ�gz qKoxc�°Ç¹�qI�e�²�p{K�eo�hpÃ3sehg�Wvx�¬w»qIz�h {K�\vx�¬f�qI�$µ'�¬vxc�z�hpox��hp�gvnv�{Åvxceh<�Ws\f�½�hgz�{I¡�gz qKoxcÌ¡«qI�¬�¬s\z�hpo'vxcehgwu�rqI��v�{K��hgz qIv�h�¶Ùb;cehgwÌqI�¬�N�\z�{`�phphp�Ì�¬�»qKoxw`�e��c\z�{K�e{KseoI"Ôz�{Ks\�e�\oC( ¶

b;ceh7®ÂÁ«½�qKo�hp�¼�p{K�eo�hg�eoxseoÆ�\z�{Kv�{`�p{K���\z�{K�P{�o�hp���¬�J-¬i�/Pz�hpÃWs\�¬z�hpo;hÇt\qK�gvx�¬wBIJz�{Ks\�e�\or¹GhrqK��cuz�{Ks\�e���¬�3��{K�¬�`�¬�\�Ä È fBhpo�o qI��hpo�­¥hrqK� c�fBhpo�o qI��h�½�hg�¬�\�B�p{KfÅ��{�o�hp��{I¡±Ä ��qI�¬sehpoD°Ç¶b;ceh<®ÙÁ«½�qKo�hp�u�\z�{Kv�{`�p{K��o��\z�hpo�hg�Wv�hp�Ì�¬�2-LK\¹NMO/qI��o�{:z�hpÃWs\�¬z�hºÄ z�{Ks\�e�\or¹�½\s\v�hrqK��c�z�{Ks\�e� �¬�W��{K�¬��hpo»{K�\�¬w Ä fBhpo�o qI��hpoÌ�rqIzxzxw`�¬�\��q:ox�¬�\����hº��qI�¬seh�¶P)èvu��o�¬fÅ��{Kzxv qI�3v�v�{»hgfÅ�\c�qKox�¬×rhBvxc�qIv vxcehpo hÅvxc\z�hphB�\z�{Kv�{`�p{K��o z�hpÃWs\�¬z�hÅÄ z�{Ks\�e�\o�µ'c�qIv�hg��hgz�vxcehÅ��qI�¬sehB{I¡IE±¹@vxceh�3s\f�½Phgz�{I¡qK�gvxs�qI�)�gz qKoxcehponqI�e�Ìvxceh {`�p�gs\zxz�hg�e�phpon{I¡hgzxz�{K�ehp{Kseono�seox�\���g��{K�eo7qIz�h�¶

� � üRQ-+#"�S�S

Page 7: Consensus Based on Strong Failure Detectors: Time and Message … · 2016. 12. 27. · ISSN 0249-6399 ISRN INRIA/RR--3855--FR apport de recherche INSTITUT NATIONAL DE RECHERCHE EN

b){¯{Ks\zB´`�e{rµ'��hp�G��h�¹;��hgzxwU¡¥hgµ ���K¤%�7D> ��#��� �� ¨`©Ì®ÂÁ«½�qKo hp�¿�p{K�eo�hg�eoxseo��\z�{Kv�{W�p{K��o�c�qp��h�½�hphg� �\z�{K��{�o�hp�@¹fB{Kz�h��\z�hp�g��o�hg�¬w�¹GµÆh�qIz�h�{K�\�¬wuqpµÆqIz�h�{I¡)vxceh���hg�ehgzx�����\z�{Kv�{W�p{K���\z�hpo�hg�Wv�hp�Ì�¬�6-ô�0/ � ¶���cehg�u�¬�eoxv qI�Wvx��qIv�hp�̵'�¬vxcq�¡«qI�¬�¬s\z�h �\hgv�hp�gv�{Kz���®�¹Gvxc\��o'��hg�ehgzx���<�\z�{Kv�{`�p{K�N�\z�{r�`���\hpo7q�®ÙÁ«½�qKo�hp���p{K�eo�hg�eoxseo��\z�{Kv�{W�p{K�Nvxc�qIvnv�hgzxfÅ�¬��qIv�hpo�¬�ÍqIv fB{�o�v Ð E��¸ÒÉÓ<z�{Ks\�e�\o µ'cehg�¯vxcehgz�h¼qIz�hÅ�e{�hgzxz�{K�ehp{Kseo�oxseox�\���g��{K�eor¶u·`{\¹&µ'cehg�¾vxcehª¡³qI�¬�¬s\z�h��\hgv�hp�gv�{Kz��o<vxs\�ehp�¾v�{u��hgzxwºo hg���\{Kf6f�qI´�hÅfÅ��oxv qI´�hpor¹&vxc\��o �\z�{Kv�{`�p{K�Â�\z�{r�`���\hpo�hrqIzx�¬w �\hp�g��ox��{K�N¶ *ÙqK��cÍz�{Ks\�e�¾{I¡;vxc\��o�\z�{Kv�{`�p{K�P�¬�W��{K�¬��hpo'ÄNÈ�fBhpo o qI��hpo<­¥hrqK��cÌfBhpo�o qI��h7½�hg�¬�\��f�qK�\h�{I¡$q��\z�{K��{�o�hp�¼�KqI�¬seh7�\�¬seo�q z�{Ks\�e�¼�Ws\f�½�hgzD°qI�e��{K�eh<{Kz�vèµØ{��p{KfÅf�s\�\���rqIvx��{K�ºoxv�hg�eor¶

b;c\��oØ��qI�PhgzÆ�\z�hpo�hg�Wv�o;qI�6�#�K¤��;D ������� � ¨W©7®ÙÁ«½�qKo�hp���p{K�eo hg�eoxseoÙ�\z�{Kv�{`�p{K�«¶�� cehg��vxcehgz�h�qIz�h��e{�hgzxz�{K�ehp{Kseooxseox�\���g��{K�eoɹ�vxceh��\z�{K��{�o�hp�Å�\z�{Kv�{`�p{K��z�hpÃWs\�¬z�hpo Ð E�¯ÒÉÓz�{Ks\�e�\or¹W�¬�Bvxceh�µÆ{Kz�oxvØ�rqKo�h�¶�� cehg�Bvxcehgz�h7qIz�hn�ehg�¬vxcehgz�gz qKoxcehpo��e{Kz�hgzxz�{K�ehp{Kseoªoxseo��\���g��{K�eor¹$�¬v�z�hpÃWs\�¬z�hpo�q»ox�¬�\����h�z�{Ks\�e�@¹q»z�{Ks\�e�¯½�hg�¬�\�²f�qK�\h�s\�Í{I¡�vèµØ{ �p{KfªÁf�s\�\���rqIvx��{K�5oxv�hg�eoɶI*ÙqK��cºz�{Ks\�e�²�¬�3��{K�¬��hpo Ï\Ð Ä»Ñ ÒÉÓ'fBhpo o qI��hpor¹�qI�e�»hrqK��c fBhpo�o qI��h��rqIzxzx��hpo�qIv7fB{�oxv7vxc\z�hph��qI�¬sehpo���qÅz�{Ks\�e�²�3s\f�½Phgzr¹NqB�\z�{K�P{�o�hp�²��qI�¬seh�qI�e� qBvx�¬fBhpoxv qIfÅ� ­a�«¶Îh�¶¬¹@qI�e{Kvxcehgz7z�{Ks\�e� �Ws\f�½�hgzD°Ç¶�·`{\¹�vxceh�\z�{Kv�{`�p{K�&��o7½P{Kvxc²vx�¬fBh�qI�e��fBhpo o qI��hÇÁÔhÇÕ��g��hg�3vr¶7Ö²{Kz�hp{É��hgzr¹PqB��hg�ehgz qI�¬�¬×ÉqIvx��{K�º{I¡vxceh��\z�{Kv�{W�p{K�±hÇt`c\�¬½\�¬v�o�qI��¬�3v�hgz�hpo�vx�¬�\��vxz qK�\hp{�5½PhgvèµØhphg�²vxceh<�3s\f�½Phgz�{I¡$z�{Ks\�e�\onqI�e��vxceh<�3s\f�½Phgz�{I¡$fBhpo�oDqI��hpo'�Phgz'z�{Ks\�e�@¶

b;ceh���qI�Phgz���o�f�qK�\h�s\�Í{I¡ �e��h�o�hp�gvx��{K�eor¶²·`hp�gvx��{K�¿���¬�3vxz�{`�Gse�phpo�vxceh¼qKoxw`�e��c\z�{K�e{KseoÅoxwGoxv�hgf6fB{`�\hg�«¹vxceh¯�g��qKo�o�® {I¡�¡³qI�¬�¬s\z�h¯�\hgv�hp�gv�{Kz�oɹ qI�e� vxceh¯�p{K�eo�hg�eoxseo��\z�{K½\��hgf�¶ b;cehg�N¹�·`hp�gvx��{K�¸�U�\z�hpo hg�3v�o�vxceh¯®ÂÁ½�qKo�hp�¿�p{K�eo hg�eoxseoÅ�\z�{Kv�{`�p{K��qI�e� �\z�{É��hpoB�¬vB��oB�p{Kzxz�hp�gvr¶À·`hp�gvx��{K� �¯�G��o��gseo o�hpoÅ�¬v�o��p{�o�v�qI�e� �\z�hpo�hg�3v�o�vxceh��hg�ehgz qI�¬�¬×ÉqIvx��{K�¾vxc�qIv �rqI�ºz�hp�Gse�phÅvxcehª�Ws\f�½�hgz�{I¡Øz�{Ks\�e�\o�qIv�vxcehª�\zx���phÅ{I¡'qI�5�¬�e�gz�hrqKo�hª�¬�ºvxcehª�3s\f�½Phgz�{I¡fBhpo�o qI��hpo��Phgz'z�{Ks\�e�@¶Øâ)�¬��qI�¬�¬w�¹P·`hp�gvx��{K�²�Å�p{K�e�g�¬se�\hpo�vxceh ��qI�Phgzr¶

� � ������%������������� !#� �\����� �ª ���� �����e���Â+,���#�� ���� ����0!#�$���%&���'���/ ���� ��������n����������� 8:��� �ª���Â+

b;cehÅoxwGoxv�hgf�fB{`�\hg���o<��qIvxv�hgzx�ehp�¾qF¡¥v�hgz<vxcehB{K�ehÅ�\hpo��gzx�¬½�hp�º�¬�.-¬i�¹N�0/Ô¶ª}#¡³{Kzxf�qI��¬�3vxz�{`�Gse�gvx��{K�¾v�{¼¡«qI�¬�¬s\z�h�\hgv�hp�gv�{Kz�o���o��\z�{r�`���\hp���¬�2-¬i�/Ô¶

����� ��� �"!$#&%$')(*!$(*+$�-,/.�� 01'&.324+5016�798��"� 016�: ;-.301%=<>'&(�#?6����A@B')CD�E%GF5CD.�H�+$')6���¯h��p{K�eo����\hgz�q�oxw`o�v�hgf �p{K�eox��oxvx�¬�\�u{I¡Ùq%�e�\�¬v�h�o�hgvJI {I¡ÂÄLK Ò �\z�{`�phpo�o�hpor¹���qIfBhg�¬w�¹�INMGOQPSRUTVP È TXWXWXWUTVP�Y�Z3¶} �\z�{`�phpo�o��rqI� ¡³qI�¬�±½3w>�g¤C�K¢\[��a¨W©�¹Ù­a�«¶Îh�¶¬¹�½Ww��\z�hgf�qIvxs\z�hg�¬w c�qI�¬vx�¬�\�W°Ç¶4)èv7½�hgc�qp��hpo<�p{Kzxz�hp�gvx�¬w:­a�«¶Îh�¶¬¹NqK�p�p{Kz��G�¬�\�v�{ �¬v�oØox��hp�g� ���rqIvx��{K��°±s\�3vx�¬�P�¬v7­a��{�o�ox�¬½\�¬we°±�gz qKoxcehpor¶5]ÆwÅ�\h �e�\�¬vx��{K�N¹Gq���¦K¤Ç¤��#�p£P�\z�{W�phpo oÂ��oØq<�\z�{W�phpo�oÙvxc�qIvØ�\{`hpo�e{Kvn�gz qKoxcN¶ � hgv?Eº�\hg�e{Kv�h<vxceh<f�qFtG�¬f�s\f �3s\f�½�hgz7{I¡$�\z�{W�phpo o�hpo'vxc�qIvn�rqI�»�gz qKo�c¾­E G¿ÄÌÑ�ÒɰǶ

yz�{`�phpo�o�hpo��p{KfÅf�s\�\���rqIv�huqI�e�¯oxw`�e��c\z�{K�\�¬×rhB½Ww5o�hg�e�G�¬�\�²qI�e�5z�hp�phg�¬�`�¬�\��fBhpo�o qI��hpo�vxc\z�{Ks\��c¾��c�qI�\�ehg��oɶ*��hgzxw¼��qI�¬z�{I¡)�\z�{`�phpo�o�hpo;��o'�p{K�\�ehp�gv�hp�̽Ww¼qª� c�qI�\�ehg�«¶ÆáØc�qI�\�ehg��onqIz�h��e{Kv;z�hpÃWs\�¬z�hp�Ìv�{�½Ph�^?_`^&a¹\vxcehgw�f�qpwqI��o�{¼�Gs\�\�¬���rqIv�h�fBhpo�o qI��hpor¶7b;cehgw²qIz�h�{K�\�¬w»qKo oxs\fBhp�»v�{�½�h z�hg�¬��qI½\��h��¬�²vxceh�¡³{K�¬��{rµ'�¬�\�Ìo�hg�eo�h �;vxcehgw»�\{��e{Kv�gz�hrqIv�h�¹±qI�¬v�hgz�{Kz<��{�o�hÅfBhpo�oDqI��hpor¶Åb;c\��o fBhrqI�eo�vxc�qIv�q¼fBhpo�o qI��hBo hg�3v ½Wwºqu�\z�{`�phpo�obP�cØv�{�qu�\z�{`�phpo�obP?dª��oqKo�oxs\fBhp��v�{ª½Ph<hg��hg�Wvxs�qI�¬�¬wÌz�hp�phg�¬��hp��½3wePfd�¹e� ¡�Pfd<��o��p{Kzxz�hp�gvhg�¶

b;cehØf�s\�¬vx�¬�\�¬���g�¬vèwª{I¡e�\z�{`�phpo�o�hpoqI�e��vxcehÙfBhpo o qI��hÇÁ«��qKo�ox�¬�\�<�p{KfÅf�s\�\���rqIvx��{K�Åf�qI´�hÆvxcehÆoxwGoxv�hgf ��¢g£¥¤%� �!G£Vi�# �¶ub;cehgz�h���o<�e{²qKo oxs\fÅ�\vx��{K�UqI½�{Ks\v�vxceh�z�hg��qIvx�¬��h�ox��hphp�¯{I¡'�\z�{W�phpo o�hpo�{Kz vxceh�fBhpo�o qI��h�vxz qI�eo§¡¥hgz��\hg��qpwGor¶b;c\��onqI½eo�hg�e�ph�{I¡$vx�¬fÅ�¬�\�uqKo�oxs\fÅ�\vx��{K�eo'f�qI´�hponvxceh �G��oxvxzx�¬½\s\v�hp��oxwGoxv�hgf �I¢�DK¨@�j[3¤x¦K¨�¦�!W¢Ç¶

k ð�ñFû��Çû§üFû ÷«ò�?%�Éò@V'û üIó³òôöÇü<ö5K\þ«ñIûÂýF÷«ö þ«ö-?§ö#�Gòôüpþ³÷«ö�>�>?§û���òôüml ShnT�ôòôû§ó)òÿü�þ«ñFû�?'�ÿùDó³ó±ö5K\þ«ñIû�K¬ù ò��@�É÷«û%�Éû þ«û'? þ«ö ÷$òÎþ&÷«û'�ôòôû§ó±öÇü 6Nð�ñIòôó�Çû üIû ÷«ò�?ÂýF÷«ö þ«ö-?§ö#��?§ùDü<ú�ûòôüIó¥þÔù ürþ«òÿù�þ«û���õNòÎþ«ñ ùDü-� K ùDò����F÷«û �Fûèþ«û'? þ«öD÷)ö�KpoAq¬ýF÷«ö*;rò �Éû��srst�uwvBxhy�öD÷�z*o�q¬ýÉ÷«ö*;Éò@�Éû��sr�{�u}|j~jy 6� K¬ùDò����F÷«û��Éû þ«û'? þ«ö ÷@þ«ñKù�þ@ú�û'�ôöÇü>�Çó@þ«ö�z*o��Dq $hyPûA;gû§üpþ]�Kù5�@����ó��Fó³ý�û'? þ«ó@ý�û ÷]V�ù üIû§üpþ]���'ù5�@� ? ÷Ôù ó³ñIû§óNýF÷«ö-? û§ó³ó³û§ó'UIùDü,��qS)jy ���Kù�÷ÔùDüpþ«û§û§óþ«ñKù�þ@þ«ñIû ÷«ûòôó&ùØþ«ò�V'ûù*K þ«û ÷NõNñIò�?Ôñ�þ«ñIûè÷«û±òôó$ù%? öD÷³÷«û'? þ&ýÉ÷«ö-?§û§ó³óNþ«ñKù þNòôóNüIûA;gû ÷Nó��Ió³ý�ûA? þ«û�� 6� ð�ñFûw� üIö V'û§ó³ó«ù5�Çû �ôöÇó³óV�<ùDó³ó��FV'ýÉþ«òôöÇü¼òôó'÷«û�0-�IòÎ÷«û���þ«öªû§üIó��É÷«û�þ«ñIû ðWû ÷]V'òôüKù þ«òôöDü¼ýF÷«öDý�û ÷³þP��ö5Kþ«ñIû�ýÉ÷«öDþ«ö-?§ö��B6 ð�ñIûw� üFö? ÷«ûxù�þ«òôöÇü ùDüF�7üFö;ù��Îþ«û ÷Ôù�þ«òôöÇü �ùDó³ó��FV'ýÉþ«òôöÇüIó&ù�÷«û±÷«û�0-�IòÎ÷«û��nþ«öÆû§üIó��É÷«û±òÎþ«ó*��ù��ôò@�FòÎþ���ù ü,� � �D÷«û§ûAV'û§üpþ@ýF÷«öDý�û ÷³þ«òôû§ó'6

�����*� �

Page 8: Consensus Based on Strong Failure Detectors: Time and Message … · 2016. 12. 27. · ISSN 0249-6399 ISRN INRIA/RR--3855--FR apport de recherche INSTITUT NATIONAL DE RECHERCHE EN

���`� ��%"6 @�H3CD�E��� (����/!"'&6�H�.�C 24H36LF5CD.�H�+$')6 ,/6p016�#f01(S'&�)è�G¡¥{Kzxf�qI�¬�¬w�¹NqB¡³qI�¬�¬s\z�h��\hgv�hp�gv�{Kz �p{K�eox��oxv�o�{I¡Øq�o�hgv�{I¡ÙfB{W�Gs\��hpoɹPhrqK� c¾qIvxv qK��cehp�ºv�{uqB�\z�{`�phpo�o���vxceh�fB{`�Gs\��hqIvxv qK��cehp�Bv�{4P�c�f�qI�¬�Wv qI�¬�eoØq�o�hgv�­a��qIfBhp�����hP��� ������)c«°){I¡��\z�{`�phpo�o�hpo±�¬vÂ�gs\zxz�hg�Wvx�¬w�oxseo��Php�gv�o±v�{�c�qr��h'�gz qKoxcehp�@¶}7�3wU¡³qI�¬�¬s\z�h»�\hgv�hp�gv�{Kz�fB{`�Gs\��hÌ��oÅ�¬�\cehgz�hg�3vx�¬w�s\�\z�hg�¬��qI½\��h �»�¬vB�rqI�¿f�qI´�h»fÅ��oxv qI´�hpoB½Ww:�e{Kv�oxseox��hp�gvx�¬�\�Íq�gz qKoxcehp���\z�{W�phpo�oÙ{Kz½3wÅhgzxz�{K�ehp{Kseox�¬wBoxseo��Php�gvx�¬�\��q �p{Kzxz�hp�gvØ{K�eh�¶Ö {Kz�hp{r��hgzr¹`oxseox�\���g��{K�eoØqIz�h��e{KvÙ�ehp�phpo�o qIzx�¬�¬woxv qI½\��h �'qÅ�\z�{`�phpo�o"Pfd��rqI�²½Ph�qK�\�\hp�»v�{¼qI�e��z�hgfB{r��hp�²¡¥z�{Kf q�o�hgv����hP��� ������)cÙqK�p�p{Kz��G�¬�\�¼v�{Bµ'cehgvxcehgz P�c �Îo¡«qI�¬�¬s\z�h��\hgv�hp�gv�{Kz�fB{W�Gs\��h��gs\zxz�hg�3vx�¬w»oxseo��Php�gv�o�P?d�{Kz7�e{Kvr¶Æ}�o��¬� -¬i�/Ô¹\µØh�o qrw�"Ô�\z�{`�phpo�o"P�coxseox��hp�gv�o��\z�{`�phpo�oPfd�( qIvno�{KfBh�vx�¬fBh��ǹG� ¡ÂqIv'vx�¬fBh��ƵØh<c�qr��h��>������QP��� �����)c§¶

}�o��¬�e�G���rqIv�hp�²�¬�ºvxceh��¬�3vxz�{`�Gse�gvx��{K�N¹&q�¡³qI�¬�¬s\z�h��\hgv�hp�gv�{Kz �g��qKo�o���o��\h �e�ehp� ½3w�vèµØ{�qI½eoxvxz qK�gv��\z�{K��hgzxvx��hpor¹��qIfBhg�¬w»q �¦ �B�����g£$�g¨��D¢ ¢'�\z�{K��hgzxvÔw²qI�e� qI�JAB����!`¤C��� D��\z�{K��hgzxvÔw�¶I)è�»vxc\��o7��qI��hgznµØh�qIz�h �¬�Wv�hgz�hpoxv�hp� �¬��vxceh¡³{K�¬��{rµ'�¬�\���\z�{K��hgzxvx��hpo4-¬i�/$�

�������! #"�$&%' #(*),+ -.��-/"-.0�0 � *Â��hg�3vxs�qI�¬�¬w�¹;hg��hgzxwU�gz qKo�cehp�:�\z�{W�phpo�oB��oª�Phgzxf�qI�ehg�Wvx�¬w:o�seox�Php�gv�hp�:½WwUhg��hgzxw�p{Kzxz�hp�gv7�\z�{W�phpo or¶

�213-/�4)/-.��576,+98:-�69;�<>=?=/59�@67=�A �Æ·`{KfBh �p{Kzxz�hp�gvn�\z�{W�phpo�o���o'�ehg��hgznoxseox��hp�gv�hp�@¶b;ceh�¡«qI�¬�¬s\z�h��\hgv�hp�gv�{Kz�o�vxc�qIv�o qIvx��o§¡¥w�vxcehpo�h��\z�{K��hgzxvx��hpo<�\h �e�eh�vxcehª�g��qKo�o7®�­CB�£¥¤x¦K¨W©�¡«qI�¬�¬s\z�hª�\hgv�hp�gv�{Kz�oD°Ç¶

)èv7��o��¬fÅ��{Kzxv qI�3v<v�{¼�e{Kv�h�vxc�qIv qB¡«qI�¬�¬s\z�hª�\hgv�hp�gv�{Kz �¾®��rqI�ºf�qI´�hBqI�¯qIzx½\�¬vxz qIzxw»�Ws\f�½�hgz�{I¡ÙfÅ��oxv qI´�hpo���qIvqI�3wÍvx�¬fBh�qI�¬� ­a½\s\vB{K�ehÉ°��p{Kzxz�hp�gvÅ�\z�{W�phpo�o hpo��rqI� ½�h¼hgzxz�{K�ehp{Kseox�¬wUo�seox�Php�gv�hp�@¶ÍÖ²{Kz�hp{É��hgzr¹Æq²�\z�{`�phpo�oª�rqI�qI�¬v�hgzx��qIvx�¬��hg�¬w�oxseox��hp�gvnqI�e�Ì�e{Kv�oxseo��Php�gv�o�{KfBh��p{Kzxz�hp�gv��\z�{W�phpo o�hpor¶

���@D ��%"6 @B(*! � 6�!$�E+$�-<>')(*2 H36�:)è�Bvxcehn�p{K�eo�hg�eo�seoÙ�\z�{K½\��hgf�¹`hg��hgzxwB�p{Kzxz�hp�gvØ�\z�{`�phpo�oSP�c@��¤§¦��G¦I¢ �Ç¢Øq<��qI�¬sehFEEcNqI�e��qI�¬���p{Kzxz�hp�gvÆ�\z�{`�phpo�o�hpoÂc�qr��hv�{ ��#� �� ��Â{K�Bo�{KfBh;��qI�¬sehGE�¹��¬�Åz�hg��qIvx��{K�Bµ'�¬vxcÅvxceh'o hgvÂ{I¡��\z�{K��{�o�hp�ª�KqI�¬sehpoɶ$Ö {Kz�h;�\z�hp�g��o�hg�¬w�¹�vxceh �¦�¨\¢ �Ǩe¢%!W¢�\z�{K½\��hgf ��o'�\h �e�ehp�»½3w¼vxceh<vxc\z�hph�¡³{K�¬��{rµ'�¬�\���\z�{K�Phgzxvx��hpo -¬i�¹e� /$�

�&H�-/�I(*JK"76�LJ #" � *��hgzxwÌ�p{Kzxz�hp�gv��\z�{`�phpo�o�hg��hg�Wvxs�qI�¬�¬w��\hp�g���\hpon{K��o�{KfBh �KqI�¬seh�¶

�NMO69+PJ Q#J �RA � )Ô¡q��\z�{`�phpo�o��\hp�g���\hpoSE�¹Gvxcehg�TE¼µÆqKo'�\z�{K��{�o�hp�̽WwÌo�{KfBh��\z�{W�phpo or¶

�&<U$3�@-?-/(�-/"�� �OV7{ªvèµØ{��p{Kzxz�hp�gvn�\z�{`�phpo�o�hpo'�\hp�g���\h��G� @hgz�hg�3vx�¬w�¶

b;cehªqI��z�hphgfBhg�3v��\z�{K�Phgzxvèw²qI�\�\�¬��hpo�{K�\�¬wÌv�{��p{Kzxz�hp�gv��\z�{`�phpo�o�hpor¶n·`{\¹��¬v7��o7��{�o�ox�¬½\��h<vxc�qIv<qÅ�\z�{`�phpo�o��\hp�g���\hpo{K�²qÅ�G��o�vx�¬�e�gv��KqI�¬seh'| seoxvn½PhÇ¡³{Kz�h<�gz qKoxc\�¬�\�e¶ 5&¨&� �g¦�¤%� �¦K¨e¢ �Ǩ\¢�!3¢;�\z�hg��hg�3v�o�oxse� c²qª��{�o�ox�¬½\�¬�¬�¬vÔw�¶ )Ôvnc�qKo'vxceho qIfBh<b)hgzxfÅ�¬��qIvx��{K�ºqI�e�XWÙqI�¬���G�¬vèwÌ�\z�{K�Phgzxvx��hpo��\�¬seo�vxceh�¡³{K�¬��{rµ'�¬�\�¼qI��z�hphgfBhg�Wv7�\z�{K��hgzxvÔw �

�2YZ"[J \] 9�4(^<U$3�!-?-/(�-/"� �OV�{ªvÔµÆ{B�\z�{`�phpo�o�hpo�­¥�p{Kzxz�hp�gvn{Kzn�e{KvD°;�\hp�g���\h �G� @hgz�hg�3vx�¬w�¶)è�Ìvxceh�¡¥{K�¬��{ɵ'�¬�\�BµØh�qIz�h<�¬�3v�hgz�hpoxv�hp�»�¬�Ìvxceh65&¨N� �p¦K¤�� �¦K¨\¢ �g¨\¢%!W¢Ø�\z�{K½\��hgf�¶

_ * ���a`Ì1W�� ����� ��������������� 8:���;���<%$���

b;c\��o�o�hp�gvx��{K� �ez�oxv'�\z�hpo�hg�3v�o�qª�p{K�eo�hg�eoxseon�\z�{Kv�{W�p{K�@¡³{KznqI�»qKoxw`�e��c\z�{K�e{Kseo7�G��oxvxzx�¬½\s\v�hp�»oxwGoxv�hgf qIs\��fBhg�Wv�hp�µ'�¬vxc²q�¡«qI�¬�¬s\z�h��\hgv�hp�gv�{Kz�{I¡$vxceh��g��qKo�o'® ­«·`hp�gvx��{K� �G¶¬iɰǶØb;cehg�N¹e�¬v��\z�hpo�hg�Wv�on�¬v�on�p{Kzxz�hp�gvx�ehpo�on�\z�{`{I¡n­«·`hp�gvx��{K��G¶ô��°Ç¶

� � üRQ-+#"�S�S

Page 9: Consensus Based on Strong Failure Detectors: Time and Message … · 2016. 12. 27. · ISSN 0249-6399 ISRN INRIA/RR--3855--FR apport de recherche INSTITUT NATIONAL DE RECHERCHE EN

D���� ��%"6 <>')(S0E(5#?(*H��� à Û � ( Ü�������� � ��� � � ( Û � }�o{Kvxcehgz¡«qI�¬�¬s\z�h��\hgv�hp�gv�{Kz§Á«½�qKo�hp���p{K�eo�hg�eoxseo�\z�{Kv�{`�p{K��or¹3vxceh'�\z�{K�P{�o hp�Å�\z�{Kv�{IÁ�p{K�eseo�hpoÙvxceh<¤x¦�£ ��£��a¨W© ��¦r¦K¤# ��a¨@��£«¦K¤��qIz qK�G�¬��f"qI�e�Å�\z�{`�phpo�o�hpo�\z�{`�phphp�B�¬�¼qKoxwW�e� c\z�{K�e{KseoÙz�{Ks\�e�\o�-¬i�/Ô¶±b;cehgz�hqIz�h�qIvªfB{�oxvÅÄ z�{Ks\�e�\or¶ *ØqK��c¿z�{Ks\�e��� ­§Ò6G �>G Ä)° ��oªf�qI��qI��hp� ½3w:q �\z�hp�\hgv�hgzxfÅ�¬�ehp�¿�p{`{Kz��G�¬��qIv�{Kzr¹��qIfBhg�¬w�¹ P��I¶±Ö {Kz�hp{r��hgzr¹`�Gs\zx�¬�\���\¹�vxcehn�p{W{Kz��G�¬��qIv�{Kz;{I¡Pvxcehn�ehÇt`vÙz�{Ks\�e�²­a��qIfBhg�¬w�¹ P���� R °ÂqK�gv�oÆqI��o�{�q���qIzxvx���ÇÁs\��qIz;z�{K��h�¶ *ÙqK��cÌ�\z�{`�phpo�o�P�cNf�qI��qI��hpo;vxc\z�hph���{`�rqI���KqIzx��qI½\��hpo��±vxceh��gs\zxz�hg�Wv'z�{Ks\�e���Ws\f�½�hgz�­��Uc«°Ç¹W�¬v�o;�gs\zxz�hg�Wvhpoxvx�¬f�qIv�h�{I¡Nvxceh7�\hp�g��o���{K����qI�¬seh�­]�7��� c³°Ç¹GqI�e�uq<vx�¬fBhpoxv qIfÅ�5­ ��� c«°±vxc�qIvÆ�¬�e�G���rqIv�hpoØvxceh7z�{Ks\�e���3s\f�½�hgz'�Gs\zx�¬�\�µ'c\����c²�¬vnqK�\{K�\v�hp���¬v�o��gs\zxz�hg�Wv7hpoxvx�¬f�qIv�h ��� c§¶

}�o��¬� -ô�G¹ KG¹9MO/Ô¹@�Gs\zx�¬�\�»q�z�{Ks\�e�@¹@vxcehÅ�gs\zxz�hg�Wv �p{W{Kz��G�¬��qIv�{Kz�vxzx��hpo�v�{��¬fÅ��{�o�hª�¬v�o��gs\zxz�hg�3v�hpoxvx�¬f�qIv�hBqKovxceh �\hp�g��ox��{K�»�KqI�¬seh�¶b){�qIvxv qI�¬��vxc\��o'��{�qI�«¹�hrqK��c�z�{Ks\�e������o'f�qK�\h�{I¡$vèµØ{�o�v�hg�eo�­¥o�hph<â$�¬��s\z�hBiɰǶ

� ~�s\zx�¬�\�¼vxceh �ez�oxv7oxv�hg�U­a�¬�¬�ehpoJ�KÁ K�°;vxceh��gs\zxz�hg�3v��p{W{Kz��G�¬��qIv�{Kz P���½\z�{�qK�\�rqKoxv�o�qÅfBhpo�o qI��h��rqIzxzxwW�¬�\���¬v�o�gs\zxz�hg�Wv7hpoxvx�¬f�qIv�h�¹e��qIfBhg�¬w�¹evxceh<fBhpo�oDqI��h������������ Ð � T �7��� �FÓǶ� cehg�²qª�\z�{`�phpo�o�P�c$z�hp�phg�¬��hpo7oxse��cºq!����������� Ð ��T�EGÓnfBhpo�o qI��h�¹\�¬v�qK�\{K�\v�oFEÌqKo'�¬v�o��ehgµ9hpo�vx�¬f�qIv�h�qI�e��p{K�eo hpÃ3sehg�Wvx�¬w¯s\�P�eqIv�hpo*��� c;v�{�vxceh��gs\zxz�hg�3v�z�{Ks\�e�¯�3s\f�½PhgzÌ­a�¬�¬�eh K�°Ç¶ )Ô¡�P�c'oxseox��hp�gv�o�P��I¹&�¬v�o,"èoxv qIv�h��qIzx��qI½\��hpoC(*��� c qI�e����� c ´�hphg��vxcehg�¬z��\z�hg�`��{Kseo���qI�¬sehpor¶

� ~�s\zx�¬�\�¯vxcehuo�hp�p{K�e�:�\c�qKo h¯­a�¬�¬�ehpo MÉÁ ir��°Ç¹ØhrqK� c �\z�{W�phpo oÅo�hg�e�\oÅ�¬v�o "è�gs\zxz�hg�3v�oxv qIv�h�(¼v�{ vxcehÌ�gs\zxz�hg�Wvz�{Ks\�e�Í�p{W{Kz��G�¬��qIv�{KzÌ­ P � °<qI�e�5vxceh��ehÇt`v z�{Ks\�e�Í�p{W{Kz��G�¬��qIv�{KzÌ­ P ��� RD°Ç¶�b;c\��o�"èoxv qIv�h�(Å��o��rqIzxzx��hp�¾½3w¾q�������"�$#ufBhpo o qI��h¼­a�¬�¬�ehÅ��°Ç¶�b;ceh�vxzx�¬�\��h Ð � T �7��� c T���� c³Ó��¬�e�G���rqIv�hpo�vxc�qIv<�Gs\zx�¬�\���G¹±­§iÉ°nvxceh�hpo�vx�¬f�qIv�h�{I¡vxcehÌ�\hp�g��o���{K�U��qI�¬sehu�p{K�eox���\hgz�hp� ½Ww P�c���o �7��� c�qI�e� ­³��°�vxc\��oª��qI�¬seh�c�qKoª½�hphg�¿qK�\{K�\v�hp�¿�Gs\zx�¬�\�ºvxcehz�{Ks\�e�T��� c ¶b;cehg�N¹ P��'qI�e��P���� R ¡¥{K�¬��{ɵ¿vxceh�o qIfBh�½Phgc�qr�W��{Kz��±hrqK��c�µÆqI�¬v�oÂs\�Wvx�¬���¬vÂc�qKoÂz�hp�phg�¬��hp�%�����&�"�'#�fBhpo o qI��hpo¡¥z�{Kf qI�¬�&vxceh �\z�{`�phpo�o�hpo'�¬v��\{Whpo'�e{Kv�oxseox��hp�gv�­a��hgvnseo��e{Kv�h vxc�qIv7�Gseh�v�{Åvxceh��p{KfÅ�\��hgv�hg�ehpo on�\z�{K��hgzxvÔw{I¡±vxceh<s\�e�\hgzx�¬w`�¬�\�Å¡«qI�¬�¬s\z�h �\hgv�hp�gv�{Kzr¹�qI�¬�N�gz qKoxcehp���\z�{W�phpo�o hponqIz�h hg��hg�3vxs�qI�¬�¬w�o�seox�Php�gv�hp��°Ç¶)Ô¡ÆqI�¬�$vxceh(�������"�$#ufBhpo o qI��hpo�vxceh��\z�{`�phpo�o P � ­az�hpox�N¶ P ��� RD°�c�qKo7z�hp�phg�¬��hp�ºc�qr��hÅqBvx�¬fBhpoxv qIfÅ�¯hpÃWs�qI�v�{�vxceh��gs\zxz�hg�3v;z�{Ks\�e�¼�3s\f�½Phgz�­��3°Ç¹ P���­az�hpox�N¶ P���� R °Â�\hp�g���\hpo;{K�u�¬v�oÆ�gs\zxz�hg�3v�hpoxvx�¬f�qIv�hÅ­a�¬�¬�ehpo�i�iÇÁ ir��°Ç¶b;c\��onfBhrqI�eo'vxc�qIv�vxceh �gs\zxz�hg�Wv7hpoxvx�¬f�qIv�h�{I¡�P���c�qKo'½�hphg�Ì�¬fÅ�P{�o hp�»qKo��\hp�g��ox��{K����qI�¬seh�¶� cehgvxcehgzvxcehÆ�\z�{W�phpo o P���� R �\hp�g���\hpo�Gs\zx�¬�\�)��{Kz±�\z�{W�phphp�\o±v�{*� �»Ò�¹��¬v±f�seoxvc�qr��h�q��p{Kzxz�hp�gvÂhpoxvx�¬f�qIv�h­a�¬�Ì{Kz��\hgz'�e{Kv;v�{��W��{K��qIv�h�vxceh<�p{K�eo�hg�eo�seo;qI��z�hphgfBhg�Wv��\z�{K��hgzxvÔwe°Ç¶Âb;c\��o;��o'hg�eoxs\z�hp�¼½3w�z�hpÃ3s\�¬zx�¬�\�Å�¬v;v�{s\���eqIv�h<�¬v�on��{W�rqI�Nhpoxvx�¬f�qIv�h¼­]���+��� R °Øv�{Åvxceh hpo�vx�¬f�qIv�h<�¬v�c�qKo�z�hp�phg�¬��hp��µ'�¬vxc»vxceh<c\�¬��cehpoxvnvx�¬fBhpoxv qIfÅ��¬� q!���������'# Ð � T �7���jT����IÓ'fBhpo�o qI��h�­a�¬�¬�ehBir��°Ç¶

,��r� �)�����)� Û b;ceh<�\z�{Kv�{W�p{K�)��o;¡¥s\�¬�¬wu�\hpo �gzx�¬½Php�Ì�¬�²â)�¬��s\z�h�i�¶Ù}¸�\z�{W�phpo o�P c oxv qIzxv�onqÅ�p{K�eo hg�eoxseonhÇt\hp�gs\vx��{K�½3w��¬�3��{K´`�¬�\� %' #"�0 -/"�0?50 ­ E�c԰ǹWµ'cehgz�h E�c&��oØvxceh7��qI�¬sehn�¬vÆ�\z�{K�P{�o hpor¶b;cehn�\z�{Kv�{`�p{K��v�hgzxfÅ�¬��qIv�hpoÆ¡¥{Kz*P�cNµ'cehg�u�¬vhÇt\hp�gs\v�hpo�vxceh<oxv qIv�hgfBhg�Wv.-0/"1324-35�µ'c\��� c»�\z�{r�`���\hpo��¬vnµ'�¬vxcÌvxceh �\hp�g���\hp����qI�¬sehB­³qIv��¬�¬�ehBir�ª{Kz�ir��°Ç¶)èvØ��oÆ��{�o�ox�¬½\��h�vxc�qIv'�G��oxvx�¬�e�gv;�\z�{W�phpo o�hpo;�\{��e{Kv'�\hp�g���\h<�Gs\zx�¬�\�ªvxceh�o qIfBh�z�{Ks\�e�@¶b&{ª�\z�hg��hg�3vnq��\z�{`�phpo�o

¡¥z�{Kf ½\��{`��´`�¬�\��¡³{Kz�hg��hgzª­a�«¶Îh�¶¬¹�µÆqI�¬vx�¬�\�¼¡³{Kz�qB�KqI�¬seh ¡az�{Kf�qÅ�\z�{`�phpo�o7vxc�qIvnc�qKo�qI�¬z�hrqK�Gw»�\hp�g���\hp��°Ç¹@qÅ�\z�{`�phpo�ovxc�qIv)�\hp�g���\hpoɹÉseo�hpo$q;z�hg�¬��qI½\��h½\z�{�qK�\�rqKo�v - ��/3v�{n�G��o�o�hgfÅ�¬��qIv�hÂ�¬v�o)�\hp�g��ox��{K����qI�¬seh�¶$b&{�vxc\��o)hg�e�@¹Évxceh %� #"0 -/"�0?5�0¡¥s\�e�gvx��{K�¼��oÆf�qK�\h�{I¡&vèµØ{ªv qKox´Gor¹W��qIfBhg�¬w�¹76�Ò<qI�e�86:9G¶�6�Ò7�¬fÅ�\��hgfBhg�Wv�o'vxceh��\z�hg�W��{Kseo;�G��o��gseo ox��{K�N¶ � �¬�ehÅir�qI�e��6*9��¬fÅ�\��hgfBhg�Wv7vxceh�z�hg�¬��qI½\��h�½\z�{�qK�\�rqKoxvr¶

D��`� <>'&(�( �;=<?>=<�@ A ��( � à � � ÜB�C Û3ß � Û � @ED �4����¤x¦�� �Ç¢ ¢"P�c� ��#��� ��D¢FE�FØ£ [ �Ǩ EHGR�I¢ ��¤x¦%�G¦I¢��# F�DB¢p¦���� �P¤§¦��%�D¢ ¢JI

�����*� �

Page 10: Consensus Based on Strong Failure Detectors: Time and Message … · 2016. 12. 27. · ISSN 0249-6399 ISRN INRIA/RR--3855--FR apport de recherche INSTITUT NATIONAL DE RECHERCHE EN

����������� ������������������� q����`y� �"!#%$ xj�q $hy'&���(*)�+",�-�./�0(1����+2.�-�0(*)�+qS)jy'35407698:&��p{Bu<;0�qB+ y & � (*& �"= x�>

?A@CB/D òÿó@þ«ñFû/?§öpöD÷ �ÉòôüKù þ«ö ÷$ö5K\þ«ñIû/?A�F÷³÷«û§üpþ@÷«ö#�Fü,� + @CB/DFE�G òôó@þ«ñIû/? öpöD÷ �FòôüIù þ«öD÷)ö�K\þ«ñFû±üIûIHÉþ@÷«ö��IüF� ?

J�JKJ�J�JKJ�JKJ .eñKù ó³û $ö�KG÷«ö��IüF�L&U� @ B/D ýF÷«öDý�öÇó³û§óNþ«ö;ù5�@� JKJ�J�JKJ�JKJ�J�JKJ�JKJ�J�J �qGYXy �M�q�N�OP& � y ��4�82�RQ�S �UTIVXWZYL[�\Z]�^_�`�a�& �/b ,c-�. �edgfih @kj 82�0;�9MX+q Sjy 3 � ��l��� �m76�qF[2\Z]�^_�`�a�&�� b � d ñKù ó&ú�û û§ü7÷«û'? û§ò�;gû��=K ÷«ö#V @ZB/Don &���p%-mq - @ ,rI./,�st� yI+qeu y �M�qF[2\Z]�^_�`�a�&�� b � d ÷«û'?§û ò@;Çû�� K ÷«ö�V @ZB/D yv��4�82�w,c-�.���(*�C+�.x-��(y&���82�0;��Mx+

J�JKJ�J�JKJ�JKJ .eñKù ó³û )Øö�KG÷«ö��IüF�L&U��û§ù�?Ôñ�ýF÷«ö-? û§ó³ó&÷«û ýF�ôòôû§ó&þ«ö @ B D ùDüF� @ B D E�G J�JKJ�JKJ�J �qS\jy 6�8t�{z|O~}�&�� b &�� = x����M�q�&��p{>ufy U2z|O~}�&��i���C��4�8���3l ! 8 +qB" y QtSlpLz �UTIVXW Y�[2\Z]�^_2� a�&�� b ,c-�.�� b .x-� d�fih @ j +qB! y �M�q�NUp:z�yv��4�82�w3 � ������ �m76DqF[2\Z]�^_"�Za�& �/b ,c-m. b .�- d ÷«ûA?§û§ò�;gû�� K ÷«ö#V¿ù5�@�WüIöDü�ó��Ió³ý�ûA? þ«û���ýÉ÷«ö-?§û§ó³ó³û§ó�yI+q $�[jy �M�q�N�O�&�� = xhyv��4�8"��,c-�.���(�,�-�.�÷«û'?§û§ò�;gû���õNòÎþ«ñ�þ«ñIû±ñFò��ÇñIû ó¥þ�.�-�8"��;��Mx+q $#$Qy �M�q�ù�����[�\Z]�^_"�=V'û ó³ó«ù��Çû ó)ù�÷«ûó��F?Ôñ7þ«ñIù þo.x-�O�&��`yq $*) y �4�82�%Q�S��O�N��2TIVXW Y���_��Z��^�9�0�?qe,c-m./� y fih @ j +"�IV fx� ��W0ae,c-�.�� d 82�0;0�Mq $�+jy 82�0;�9Mq $'Y yK82�0;03540�6�8� �"!#%$ ~U�q $�S y��0��� ����4�85�IV��mV�� fe�9h W:�CM���_2�Z�9^������ae,c-�. d Mi��� � @ � ��Q�S:�O�N bX� �2TIVXW Y:��_��Z��^�����?qe,�-�. y fih @kj +��IV fx� ��W�ae,c-m. d

â$�¬��s\z�hBi �b;ceh<®ÂÁ�]'qKo�hp� áÆ{K�eo�hg�eoxseo�yz�{Kv�{`�p{K�

� � ß@ßU  b;cehu�\z�{W{I¡���oŽ3wU�¬�e�Gse�gvx��{K��{K� vxceh�z�{Ks\�e� �3s\f�½Phgzr¶ )è�\�¬vx��qI�¬�¬w�­az�{Ks\�e� � M¢¡3°Ç¹;qI�¬���7��� c7��{`�rqI���qIzx��qI½\��hpoØ�p{K�Wv qI�¬���\z�{K��{�o�hp�B��qI�¬sehpo7­a�¬�¬�eh�iɰǶ � hgvÙseoÆqKo�oxs\fBh'vxc�qIv;qI�¬��hpoxvx�¬f�qIv�hpoÆ�p{K�3v qI�¬�¼�\z�{K��{�o�hp�B��qI�¬sehpoqIv'vxceh hg�e��{I¡ ��Ñ�Ò�¶��¯h oxce{ɵ�vxcehgwu�p{K�3v qI�¬�»�\z�{K��{�o�hp�Ì��qI�¬sehponqIv�vxceh<hg�e�»{I¡&�\¶

}7� ��� cP��{`�rqI�e��qIzx��qI½\��h'��oÂs\���eqIv�hp��qIvÙ�¬�¬�ehBK<{KzØqIvÂ�¬�¬�eh�ir�G¶±};vÂ�¬�¬�eh?KG¹���� cP��oÂs\���eqIv�hp�Bv�{<vxcehnhpoxvx�¬f�qIv�h{I¡&vxceh�z�{Ks\�e�%���p{`{Kz��G�¬��qIv�{Kzr¹Gµ'c\����cu��oÆvxceh�hpoxvx�¬f�qIv�h��KqI�¬seh�vxc\��oÆ�\z�{W�phpo oØc�qK�ÌqIvÆvxceh�hg�e�¼{I¡��'ѾÒ�¶"]ÆwÅvxceh�¬�e�Gse�gvx��{K�¯qKo�oxs\fÅ�\vx��{K�N¹�vxc\��o���o<qB�\z�{K��{�o�hp�²�KqI�¬seh�¶ ·`{\¹@qIv�vxceh�hg�e�º{I¡Âvxceh �ez�oxv��\c�qKo�h�{I¡ �G¹�qI�¬�±hpoxvx�¬f�qIv�h��qI�¬sehpo��p{K�3v qI�¬�²�\z�{K�P{�o�hp���KqI�¬sehpor¶

~�s\zx�¬�\�ªvxceh7o hp�p{K�e���\c�qKo h7{I¡��\¹W� ¡>��� c&��oØs\���eqIv�hp�uqIvØ�¬�¬�ehªir�G¹`�¬vØv qI´�hpoÆvxceh7�KqI�¬seh�{I¡)qI�uhpoxvx�¬f�qIv�h�vxc�qIvc�qKo�½Phphg�Us\�P�eqIv�hp�:�Gs\zx�¬�\�ºo�{KfBh�z�{Ks\�e� ���3¶ )«¡ ���¤£ �G¹)vxc\��o�s\�P�eqIv�h¼{`�p�gs\zxz�hp�U�Gs\zx�¬�\� vxceh �ez�oxv�{Kz�vxceho�hp�p{K�e�u�\c�qKo�h�{I¡ ���W¶ )«¡>����M �\¹`vxc\��o;s\�P�eqIv�h<{`�p�gs\zxz�hp�Ì�Gs\zx�¬�\�Åvxceh��ez�oxv;�\c�qKo�h<{I¡��\¶ 3�hg�e�ph�¹eqIv'vxceh�hg�e�Ì{I¡�\¹\hrqK��c��7��� c$�KqIzx��qI½\��h �p{K�Wv qI�¬�eo�q���qI�¬seh<�¬�\�¬vx��qI�¬�¬wu�\z�{K��{�o�hp�u½3w�q��\z�{`�phpo�or¶

}�o5q��\hp�g���\hp�¸��qI�¬sehÍ��o²vxcehU�KqI�¬sehU{I¡¼qI� ��� cB�KqIzx��qI½\��h ­a�¬�¬�ehpo:ir�ÀqI�e� ir��°Ç¹�vxcehU��hgfÅf�q�¡¥{K�¬��{ɵ�or¶¥�¦�§t¨�© � ¨Iª R

;=<?>=< > B Û � � ��� �G� �aß'�

«ÂÛ � �¾� @ D �<¨�¦���¤x¦�� �D¢D¢� ��#� �� ��Ç¢= �!`¤%�a¨W©��"¬�G �7FÙ£ [ �Ǩ6���:�9��¦K¤Ç¤#���p£ ��¤x¦�� �D¢D¢ �D¢�¢Ç£ �K¤g£�� �ÀÒ I

� � ß@ßU ¯b;cehn�\z�{W{I¡���o½WwÅ�p{K�3vxz qK�G���gvx��{K�N¶ � hgvÂseoØqKo�o�s\fBh'vxc�qIvÂ�e{<�\z�{`�phpo�oÙ�\hp�g���\hp���Gs\zx�¬�\��q�z�{Ks\�e�!�"¬ £ �\¹µ'cehgz�h!�Ì��o�vxceh�oxf�qI�¬��hpo�v z�{Ks\�e�¯�Ws\f�½�hgz��Gs\zx�¬�\� µ'c\����c:q��p{Kzxz�hp�gv��\z�{`�phpo�o P�c;½\��{W� ´`o�¡¥{Kz�hg��hgzr¶�·`{\¹�P�c;��o½\��{`��´�hp�»qIv��¬�¬�eh��ª{KzL­Ì­a�¬�²q�Þ � � � o�v qIv�hgfBhg�3vD°Ç¶� hgv7seo �ez�oxv�hÇt\qIfÅ�¬�eh�vxceh��rqKo�h�µ'cehgz�h�P�c±½\��{`��´Go7qIv7�¬�¬�eh��G¶ )«¡{®"ME�\¹\�¬v��rqI�\�e{Kvn½\��{`��´»qIv7�¬�¬�eh�� �;qKo��¬v

½\z�{�qK�\�rqKoxv�qªfBhpo�o qI��h�qIvn�¬�¬�eh��e¹\�¬v�z�hp�phg�¬��hpon�¬vr¶ )Ô¡�®�¯M �\¹\vxcehg�U­§iÉ°'hg�¬vxcehgz5P�coxseo��Php�gv�o�P'�I¹&­³��°'{Kz5P�c±�ehg��hgz� � üRQ-+#"�S�S

Page 11: Consensus Based on Strong Failure Detectors: Time and Message … · 2016. 12. 27. · ISSN 0249-6399 ISRN INRIA/RR--3855--FR apport de recherche INSTITUT NATIONAL DE RECHERCHE EN

oxseox��hp�gv�o�P��K¶ )Ô�Ì�rqKo�hÅ­§iɰǹ�P�c&�rqI�\�e{Kv'½\��{`��´�¶+)è�¼�rqKo hB­³��°Ç¹`�Gseh�v�{�vxceh�oxvxz�{K�\�B�p{KfÅ�\��hgv�hg�ehpo�o��\z�{K�Phgzxvèw�¹\vxc\��ofBhrqI�eo�vxc�qIv4P�����o��p{Kzxz�hp�gvr¶�â\z�{Kf,vxceh��\z�hg�`��{Kseo<{K½eo�hgzx��qIvx��{K�N¹?P�� c�qKo�½\z�{�qK�\�rqKo�v��¬v�o<�gs\zxz�hg�Wv hpoxvx�¬f�qIv�hBqIv�¬�¬�eh �e¹&qI�e� P�cÆhg��hg�Wvxs�qI�¬�¬w5z�hp�phg�¬��hpo �¬vr¶ )èv�¡¥{K�¬��{ɵ�o vxc�qIv��Gs\zx�¬�\�»z�{Ks\�e�H�u�e{Ì�p{Kzxz�hp�gv �\z�{W�phpo obP�cÆz�hgf�qI�¬�eo½\��{`��´�hp�u¡³{Kz�hg��hgz7qIv��¬�¬�eh��G¶ÙáÆ{K�eo hpÃ3sehg�Wvx�¬w�¹)­¥}<°;qI�¬�&�p{Kzxz�hp�gv��\z�{`�phpo�o�hpo�o�hg�e��q ���������'#�fBhpo�o qI��h qIvn�¬�¬�eh��G¶� hgv�seoB�e{rµ �p{K�eox���\hgzBvxceh��rqKo h̵'cehgz�h P c ½\��{`��´GoÅ¡³{Kz�hg��hgz�qIvB�¬�¬�eh~­���o {�P c ��o�P � {KzsP ��� Rr¶�~�sehÌv�{

­¥}<°;qI�e�uvxceh<oxvxz�{K�\�B�p{KfÅ�\��hgv�hg�ehpo�o��\z�{K��hgzxvÔwu{I¡±vxceh�¡³qI�¬�¬s\z�h<�\hgv�hp�gv�{Kz�­a��qIfBhg�¬w�¹�qI�¬�N�gz qKoxcehp�u�\z�{W�phpo o�hpo�qIz�hhg��hg�3vxs�qI�¬�¬wuoxseox��hp�gv�hp��°Ç¹`�¬vÆ¡¥{K�¬��{ɵ�o;vxc�qIvØ� ¡ P'��­az�hpox�N¶ P���� R °Ù��oÆ�p{Kzxz�hp�gvr¹G�¬vÆz�hp�phg�¬��hpo.�����&�"�'#ÅfBhpo�o qI��hpoÆ¡¥z�{KfqI�¬��vxcehn�\z�{`�phpo�o�hpoÆ�¬v'�\{`hpoØ�e{Kv'oxseo��Php�gvr¶ 3�hg�e�ph�¹W�e{ª�p{Kzxz�hp�gv'�\z�{`�phpo�o;�rqI��½\��{`��´�¡¥{Kz�hg��hgz�qIv;�¬�¬�eh ­��Gs\zx�¬�\�(�\¶

}�o��e{ �p{Kzxz�hp�gv��\z�{W�phpo�o�½\��{`��´Go�¡³{Kz�hg��hgzª�Gs\zx�¬�\�²z�{Ks\�e� �\¹)vxcehgwUqI�¬�Ø�\z�{`�phphp�¾v�{»vxceh�z�{Ks\�e� ��� Ò�¶»}�p{K�3vxz qK�G���gvx��{K�N¶ ¥�� ¨Iª�ª�� R

B�C Û3ß � Û � > D �4����¤x¦�� �Ç¢ ¢"P�cB��¢,��¦K¤Ç¤#���p£�F;£ [ �ǨJ�a£ ��#��� ��D¢JI

� � ß@ßU  )Ô¡$qÌ­¥�p{Kzxz�hp�gvn{Kz;�e{KvD°Ø�\z�{W�phpo o'�\hp�g���\hpor¹\vxcehg�N¹\�Gseh�v�{ªvxceh�o�hg�e�G�¬�\��{I¡�������_�� _ a fBhpo o qI��hponqIv;�¬�¬�ehir�B{Kz�qIvn�¬�¬�eh�ir�G¹PqI�e�»vxceh �e{�fBhpo�o qI��h ��{�o o��\z�{K��hgzxvÔw�¹@qI�3w��p{Kzxz�hp�gv��\z�{W�phpo o�µ'�¬�¬�&z�hp�phg�¬��h�oxse� cºqBfBhpo�o qI��hqI�e���\hp�g���\h�qK�p�p{Kz��G�¬�\���¬w¾­a�¬�¬�eh�ir��°Ç¶

·`{\¹Koxs\�\��{�o�hÂvxc�qIv$�e{7�\z�{W�phpo�o$�\hp�g���\hpor¶$b;cehÙ�\z�{`{I¡e��o)½3w��p{K�Wvxz qK�G���gvx��{K�N¶~7sehØv�{�vxceh;qK�p�gs\z qK�gw �\z�{K��hgzxvÔw{I¡ªvxcehºs\�e�\hgzx�¬wW�¬�\� ¡«qI�¬�¬s\z�h5�\hgv�hp�gv�{Kzr¹�vxcehgz�h5��o�q:�p{Kzxz�hp�gv��\z�{`�phpo�o¯­¥o qrw�¹4P���°�vxc�qIv���ou�ehg��hgz»oxseox��hp�gv�hp�@¶Ö {Kz�hp{r��hgzr¹���hgv �ŽPh vxceh<z�{Ks\�e��vxc�qIv7��on�p{`{Kz��G�¬��qIv�hp��½3wmP � ¶Æ}7on½3w�qKo�oxs\fÅ�\vx��{K�²�e{B�\z�{`�phpo�o��\hp�g���\hpor¹��Gsehv�{ � hgfÅf�q»i�¹�qI�¬�@vxceh �p{Kzxz�hp�gv��\z�{`�phpo�o�hpo�hg��hg�Wvxs�qI�¬�¬w�oxv qIzxv'z�{Ks\�e� �\¶

b;cehu�\z�{`�phpo�oJP��ºoxv qIzxv�o�z�{Ks\�e���»½3wU½\z�{�qK�\�rqKoxvx�¬�\�5�¬v�oÅ�gs\zxz�hg�WvBhpoxvx�¬f�qIv�hu�KqI�¬sehX�7��� �\¶¯}7oJP�� ��o��e{Kvoxseox��hp�gv�hp�@¹&qI�Ww²�\z�{`�phpo�obP�cØvxc�qIv<��qIzxvx���g�¬��qIv�hpo��¬�ºz�{Ks\�e�H�5­avxc\��o o�hgv<�¬�e�g�¬se�\hpo�qI�¬�vxcehÅ�p{Kzxz�hp�gv �\z�{W�phpo o�hpoD°z�hp�phg�¬��hpo ����������� Ð � T �7��� �`Ó�qIv��¬�¬�eh��G¹qI�e�ÍhÇtGhp�gs\v�hpo�vxcehBs\���eqIv�hpo��7��� c�� �7��� �»qI�e� ��� c�� �G¶ )Ô¡;¡¥{K�¬��{ɵ�ovxc�qIv7qI�¬�@fBhpo�oDqI��hpono�hg�WvnqIv��¬�¬�eh��ÅqIz�h ���=���"�'# Ð ��T ��� � T3��ÓǶR37hg�e�ph�¹e�Gseh�v�{Bvxceh<�e{ªfBhpo�o qI��h<��{�o o;�\z�{K�Phgzxvèw�¹P��¼z�hp�phg�¬��hpo {K�\�¬w ���������'# Ð � T �7��� � T3�3ÓnfBhpo�o qI��hpo�qIv��¬�¬�eh ­G¹&qI�e�5�p{K�eo hpÃ3sehg�Wvx�¬wº�\hp�g���\hpo�qIv<�¬�¬�ehpoÅi�iÇÁ ir�G¶�}�p{K�3vxz qK�G���gvx��{K�N¶ ¥�¦�§t¨�© � ¨Iª È

;=<?>=< ; ���&�  Ôß � � � � � Û3Û � Û � �«ÂÛ � �¾� >�� �p£ ��� Ò �»£ [ ���¤D¢Ç£<¤x¦�!`¨@ !W¤�� ¨`© G�[���j[ � ��¤x¦�� �D¢D¢sP�� £ [1��£�� ¢u¨���� �Ǥu¢�!3¢$� �#�p£$�� Í¢ �Ǩ@ K¢�����&�"�'# Ð ��T�E�T3�3Ó �7I�� ��[1��� ���� � I"! ¦���¤x¦�� �D¢D¢ [1�I¢4 ������� ��# F�� �p¦K¤���¤ I�:�#� I � �g£��C¬R��=�K¨&DŤx¦�!`¨@ $� ��I D ��P �&% ¢��Ǩ@ I¢4� ���������������D¢D¢��r©�� FÙ£ [ �Ǩº£ [�� ¢����D¢D¢��r©�� ���K¤Ç¤���D¢FE('$� I:�JI F �¥£ � ¢�����&�"��� Ð �C¬VT�EGÓ)� I

� � ß@ßU  b;ceh¼�\z�{W{I¡�{I¡�­ ® ° ¡³{K�¬��{rµ�oª¡¥z�{Kf vxceh¼�\h �e�\�¬vx��{K�¿{I¡*�U­ "��ez�oxvC(¼z�{Ks\�e�:�Gs\zx�¬�\�5µ'c\����cAP��U¶¬¶¬¶ÿ° qI�e�vxceh�¡«qK�gv<vxc�qIvr¹Nv�{Ì�\hp�g���\hÅ�Gs\zx�¬�\��vxcehªz�{Ks\�e�H�\¹Nq¼�\z�{`�phpo�o<c�qKo�v�{uz�hp�phg�¬��h �������"�$#»fBhpo�o qI��hpo<�rqIzxzxw`�¬�\�²qvx�¬fBhpoxv qIfÅ�»hpÃWs�qI�Nv�{ ��¡¥z�{Kf qI�¬�@vxceh<�\z�{`�phpo�o�hpo'�¬v��\{`hpo'�e{Kvnoxseo��Php�gvr¹Gcehg�e�ph�¡¥z�{Kf P��\¶

b;ceh<�\z�{`{I¡±{I¡�­ ®x® °;��o'½3w¼�¬�e�Gse�gvx��{K�²{K��vxceh�z�{Ks\�e�»�3s\f�½Phgzr¶

� ]'qKo�h»�rqKo�h � �C¬wM �\¶ ]Æw:qKo�o�s\fÅ�\vx��{K� �º��oBvxceh��ez�o�vBz�{Ks\�e�¿�Gs\zx�¬�\�¾µ'c\��� c qº�\z�{`�phpo�o�P��ºvxc�qIvB��o�ehg��hgzªoxseox��hp�gv�hp� "èhp� ce{WhpoC(�qIv��¬�¬�eh¼�¾­a½3w¯o�hg�e�G�¬�\� ���������'# Ð ��T�E�T3�3Óx°�vxceh%�����&�"��� Ð ��T�EGÓ�fBhpo�oDqI��hB�¬vc�qKo�z�hp�phg�¬��hp�@¶R3�hg�e�ph�¹\vxceh<��hgfÅf�qªvxzx�¬�`��qI�¬�¬w�ce{K���\oɶ

* ð�ñFòôó V'ûxùDüFó & òôó;þ«ñIû^DI÷«ó¥þ;÷«ö��Iü,� �3�F÷«òôüF� õNñIò�?Ôñ @,+ ÷«û'?§û ò@;Çû§ó�ù ;Dù����Fû:� ?xù�÷³÷«òôû���ú-�Bùw[2\Z]�^_�` V'û§ó³ó«ù5�Çû�ùDü,� ?§öDüIó³ûA�0-�Iû§üpþ]����û'?ÔñIöpû§óNòÎþNú-��ó³û§ü,�ÉòôüF�5[�\Z]�^_2�^V'û ó³ó«ù��Çû ó'6�R)ó³òôüF�Øþ«ñFû$þ³÷Ôù#�ÉòÎþ«òÿöDüKù5�Wþ«û ÷]V'òôüIö��ôö#���-UK ÷«ö#V:þ«ñKù�þ@÷«ö#�Fü,�5�nòôó ���ôö-?èøÇû�� �$ùDüF�?§öDüIó³û�0-�Iû ürþ]����õNò����`ú�û$þ«ñFû��Fû'?§ò@�Éû�� ;Dù����Iû�6

�����*� �

Page 12: Consensus Based on Strong Failure Detectors: Time and Message … · 2016. 12. 27. · ISSN 0249-6399 ISRN INRIA/RR--3855--FR apport de recherche INSTITUT NATIONAL DE RECHERCHE EN

� )è�e�Gse�gvx��{K�»�rqKo�h � � ¬ K �\¶ � hgv'seonqKo�oxs\fBh�vxceh���hgfÅf�q�ce{K���\o;¡³{Kz�qI�3w¼z�{Ks\�e���uoxse��cÌvxc�qIv ��G�� G � ¬ ¶�¯h�oxce{rµ��¬v'��o�vxzxseh�¡¥{Kz �C¬)�ÀÒ�¶~�sehªv�{uvxceh��¬�e�Gse�gvx��{K�ÍqKo�o�s\fÅ�\vx��{K�N¹)qI�¬� ����������� Ð � T���Ó<fBhpo�o qI��hpo<µ'�¬vxcH��G�� G �C¬$qIz�hÅoxse� c5vxc�qIv� M EP¶ � hgv�seo��p{K�eo����\hgz�vÔµÆ{Bo�hgv�o�{I¡±�\z�{W�phpo o�hpo��

� b;ceh�o�hgv��Ŷ±b;c\��o'o�hgv;�¬�e�g�¬se�\hpo�qI�¬���\z�{W�phpo o�hpo�Pfd�vxc�qIv;c�qp��h�z�hp�phg�¬��hp��q(����������� Ð � T���Ó'fBhpo�o qI��hµ'�¬vxc ��G� G �"¬¥¶�}Pfd���� �DPfd<s\���eqIv�hp� ��� d<v�{ EÌqI�e�X��� d v�{�qªz�{Ks\�e�Ì�Ws\f�½�hgz �0¬@oxse� c�vxc�qIv��G�� ¬ G � ¬ ¶

� b;ceh»o�hgv��Ŷ b;c\��o�o�hgvÅ�¬�e�g�¬se�\hpo�qI�¬�n�\z�{W�phpo�o hpo�PfdÌvxc�qIv�c�qp��hÌ�e{KvBz�hp�phg�¬��hp� q ����������� Ð � T���ÓfBhpo o qI��h<µ'�¬vxc��=G�� G �C¬¥¶ÙáÆ{K�eo�hpÃWsehg�3vx�¬w�¹�}P d ��� �U��� d c�qKonqª��qI�¬seh�£ �\¶

� hgvÙseoÂ�e{ɵ��p{K�eox���\hgzØvxceh�½�hgc�qp�`��{KzØ{I¡fP �&% � R �Gs\zx�¬�\��vxceh�o�hp�p{K�e���\c�qKo�hn{I¡�z�{Ks\�e�!�C¬¥¶ )èv��ez�oxvÙz�hp�phg�¬��hpo�������"�$# fBhpo�oDqI��hpo�¡¥z�{Kf qI�¬�ÆvxcehB�\z�{`�phpo�o�hpo��¬vª�\{Whpo��e{Kv�oxseo��Php�gvu­a�¬�¬�eh�­�°Ç¶²b;cehg�À­a�¬�¬�eh ir��°Ç¹ P � % � Rs\���eqIv�hpo��7��� �&% � R v�{�vxceh*���Øz�hp�phg�¬��hp�²µ'�¬vxc�vxceh<c\�¬��cehpo�vnvx�¬fBhpoxv qIfÅ�N¶Æ}7onvxceh o�hgvn{I¡±�\z�{`�phpo�o�hpo'¡¥z�{Kfµ'c\��� cmP �&% � R z�hp�phg�¬��hp�����������'#ÅfBhpo�o qI��hpoÆ�¬�e�g�¬se�\hpo�qIv;��hrqKoxvÆ{K�eh��\z�{`�phpo�o;{I¡�� ­a��qIfBhg�¬w�¹�P ��°Ç¹G�Gseh�v�{vxceh �\z�hg�W��{Kseo�{K½eo hgzx�KqIvx��{K�N¹�vxceh�c\�¬��cehpoxv�vx�¬fBhpoxv qIfÅ� �p{K�3v qI�¬�ehp���¬�Ìvxce{�o h ���������'#�fBhpo�oDqI��hpo��rqI�\�e{Kv�p{KfBh7¡¥z�{Kf-q��\z�{`�phpo�o��� �$�¬vØ�ehp�phpo o qIzx�¬�¬w��p{KfBhpoØ¡az�{Kf"q��\z�{W�phpo�oÆ{I¡��Ŷ 3�hg�e�ph�¹#�7��� �&% � R ��o;o�hgvÆv�{ E�¶)èv7¡¥{K�¬��{ɵ�o7vxc�qIv�� ¡x¹��Gs\zx�¬�\�uvxceh�z�{Ks\�e� � ¬ �9Ò�¹&P � % � R ½\z�{�qK�\�rqKoxv�o q������������BfBhpo�o qI��h�¹Pvxc\��o�fBhpo�o qI��h�rqIzxzx��hponvxceh<��qI�¬z Ð �C¬)�ÀÒET�EGÓǶ

¥ � ¨Iª�ª�� È

«ÂÛ � �¾� ; D � �!W¤��a¨W©F�u¤x¦�!`¨@ �2� ��¤x¦�� �Ç¢ ¢bP�c�¤#�#�%��� ���D¢ ���������'# Ð ��T�E�T3�3Ó F7£ [ �Ǩͣ [ � ��¦É¦K¤C � ¨@��£«¦K¤�¦ �.� [1�K¢¢ �g¨�£&���=���"��� Ð ��T�EGÓ I� � ß@ßU �b;ceh �\z�{W{I¡{I¡$vxc\��o���hgfÅf�qÅ�G�¬z�hp�gvx�¬w¼¡¥{K�¬��{ɵ�o'¡¥z�{Kf"vxceh �ez�oxv'�\c�qKo�h {I¡±vxceh<�\z�{Kv�{`�p{K�«¶ ¥ � ¨Iª�ª�� �

B�C Û3ß � Û � ; ! ¦�£�GÙ¦��P¤§¦��%�D¢ ¢��D¢= ��#� �� ��� � �?�Ǥ��Ǩ�£��7D I

� � ß@ßU  )Ô¡q��\z�{`�phpo�o'�\hp�g���\hpo�q��KqI�¬seh�qIv'�¬�¬�ehÅir�G¹evxcehg��vxc\��o'��qI�¬seh�c�qKo'½Phphg���\hp�g���\hp�»½3wÌqI�e{Kvxcehgz��\z�{`�phpo�oqIv'�¬�¬�ehBir�G¶Ø·`{\¹eµØh {K�\�¬wu�p{K�eox���\hgz���qI�¬sehpo��\hp�g���\hp�²qIv'�¬�¬�eh�ir�G¶� hgv�P�c±qI�e�ePfd7½Ph7vÔµÆ{ª�\z�{W�phpo�o hpoØvxc�qIv'�\hp�g���\h EPÒ�qI�e� E 9��Gs\zx�¬�\�Åvxceh�z�{Ks\�e�\o �\Ò�qI�e� � 9G¹`z�hpox��hp�gvx�¬��hg�¬w�¶

}�obP c ­az�hpox�N¶�P d °<�\hp�g���\hpo��Gs\zx�¬�\��vxcehÅz�{Ks\�e� �GÒ�­az�hpo��N¶!� 9�°Ç¹@�¬v c�qKo<z�hp�phg�¬��hp�����������'# Ð �\ÒET�E�ÒET3�\ÒÉÓ¼­az�hpox�N¶�����&�"�'# Ð � 9fT�E79fT3� 9�Óx°Ù�Gs\zx�¬�\� �\Ò ­az�hpox�N¶&� 9�°Ç¶$~�seh;v�{ � hgfÅf�q��G¹�vxceh'�p{`{Kz��G�¬��qIv�{KzØ{I¡'�\Ò ­az�hpox�N¶&� 9�°)c�qKoÂo�hg�Wv�����&�"��� Ð �\ÒET�E�ÒÉÓ�­az�hpox�N¶ �������"��� Ð � 9fT�E 9�Óx°Ç¶5� �¬vxce{Ks\v$��{�o o${I¡���hg�ehgz qI�¬�¬vÔw���hgv$seoqKo�o�s\fBh �\Ò�G � 9G¶$Ö²{Kz�hp{É��hgzr¹��hgv%�¯½Ph²vxceh²z�{Ks\�e��� c�qIz qK�gv�hgzx�¬×rhp� �¬� � hgfÅf�qU�G¶=�¯h �p{K�e�g�¬se�\h»¡¥z�{Kf � hgfÅf�q:�5vxc�qIvuvxceh»fBhpo o qI��hpo�����&�"��� Ð ��T�EGÓǹ ����������� Ð �\ÒET�E�ÒÉÓÅqI�e� ���=���"��� Ð � 9fT�E 9�ÓÅqIz�huoxse��c:vxc�qIv(� G �\Ò G � 9²qI�e� ELM EPÒ M E 9G¶

¥�¦�§t¨�© � ¨Iª��

� !�����%$��������n�

�"��� @B(*� 0 ( ��0)%"6L<>')(S0E(5#?(*HB � � Û � ß � ( Û���� � Ü b;cehÅ�Ws\f�½�hgz�{I¡Øz�{Ks\�e�\o�{I¡Ævxcehª�\z�{Kv�{`�p{K�Â��o G Ķª~�� �hgz�hg�Wvx�¬w ¡az�{Kf�vxcehÅ®ÙÁ«½�qKo�hp��p{K�eo�hg�eoxseoØ�\z�{Kv�{`�p{K��oØ�\hpo��gzx�¬½�hp�B�¬� -¬i�¹�KG¹ MO/�vxc�qIvÆqI�¬µ;qpwGoÆz�hpÃ3s\�¬z�hnÄ»z�{Ks\�e�\or¹Wvxceh7qK�gvxs�qI�P�3s\f�½Phgz;{I¡@z�{Ks\�e�\o{I¡&vxceh��\z�{K��{�o�hp�¼�\z�{Kv�{W�p{K�N�\hg��hg�e�\o;{K��¡«qI�¬�¬s\z�hpo'{`�p�gs\zxz�hg�e�phpo�qI�e�¼hgzxz�{K�ehp{Kseonoxseox�\���g��{K�eo'{`�p�gs\zxz�hg�e�phpor¶Ù·`{\¹v�{�qI��qI�¬w`×rh�vxceh<vx�¬fBh �p{KfÅ�\��hÇtG�¬vÔw�{I¡±vxceh��\z�{Kv�{W�p{K�«¹�µØh �p{K�eo����\hgz�vxceh���hg�\��vxc²{I¡±vxceh<o�hpÃWsehg�e�ph {I¡$fBhpo o qI��hpo� � üRQ-+#"�S�S

Page 13: Consensus Based on Strong Failure Detectors: Time and Message … · 2016. 12. 27. · ISSN 0249-6399 ISRN INRIA/RR--3855--FR apport de recherche INSTITUT NATIONAL DE RECHERCHE EN

­a�3s\f�½Phgz�{I¡;�p{KfÅf�s\�\���rqIvx��{K�Íoxv�hg�eoD°�hÇt\��c�qI�\��hp�¾�Gs\zx�¬�\�²q¼z�{Ks\�e�@¶ªÖ²{Kz�hp{É��hgzr¹)qKo<µÆhÅ�\{u�e{Kv<f�qKoxv�hgz<vxcehÃWs�qI�¬�¬vÔw¿{I¡ o�hgzx�`���ph»{�@hgz�hp�¿½3w:vxceh»s\�e�\hgzx�¬wW�¬�\�Í¡³qI�¬�¬s\z�h²�\hgv�hp�gv�{Kzr¹'½\s\v�qKo��¬�¿�\z qK�gvx���ph»¡³qI�¬�¬s\z�h²�\hgv�hp�gv�{Kz�o�rqI�»½�h<vxs\�ehp�»v�{Å��hgzxwÌo�hg���\{Kf f�qI´�h�fÅ��oxv qI´�hpor¹eµÆh��\{�vxc\��o7qI��qI�¬wGox��on�p{K�eox���\hgzx�¬�\��vxceh s\�e�\hgzx�¬w`�¬�\�B¡«qI�¬�¬s\z�h�\hgv�hp�gv�{Kzª½Phgc�qr��hpo�z�hg�¬��qI½\�¬w�¶ )è�Íoxse� c:q²�p{K�3v�hÇtGvr¹vxceh�vx�¬fBh¼�p{KfÅ�\��hÇtG�¬vÔwÍ{I¡7q�z�{Ks\�e�Í��o�� c�qIz qK�gv�hgzx�¬×rhp� ½3wq ��qI�¬z�{I¡��¬�3v�hg��hgz�o -ô� /Ô¶�áÆ{K�eox���\hgzx�¬�\�¯vxcehÌfB{�o�vª¡³qr��{Kz qI½\��h»o��phg��qIzx��{5vxc�qIv¼qI�¬��{rµ�oBv�{5�\hp�g���\h»�Gs\zx�¬�\�¯vxceh�gs\zxz�hg�3vnz�{Ks\�e�@¹\vxceh��ez�oxv;�¬�3v�hg��hgz�fBhrqKo�s\z�hpo'�¬v�o;�3s\f�½Phgzn{I¡�p{KfÅf�s\�\���rqIvx��{K� oxv�hg�eo ­aµ'�¬vxce{Ks\vn�p{Ks\�Wvx�¬�\�Bvxceh�p{�oxv�{I¡±vxceh�z�hg�¬��qI½\��h�½\z�{�qK�\�rqKo�v7�¬fÅ�\��hgfBhg�Wv�hp�²½WwÌvxceh v qKox´%6*9�°Ç¶'b;ceh�o�hp�p{K�e���¬�Wv�hg��hgz<�p{K�eox���\hgz�onvxceh��rqKo�hµ'cehgz�hÅq¼�\hp�g��ox��{K�5�rqI�\�e{Kv�½�hª{K½\v qI�¬�ehp�º�Gs\zx�¬�\�Ìvxceh��gs\zxz�hg�Wv<z�{Ks\�e�5qI�e�²fBhrqKo�s\z�hpo�vxceh�fÅ�¬�\�¬f�qI�±�Ws\f�½�hgz{I¡�p{KfÅf�s\�\���rqIvx��{K�ºoxv�hg�eo'z�hpÃWs\�¬z�hp�Ìv�{Å�\z�{K��z�hpo�o'v�{Bvxceh<�ehÇt`v'z�{Ks\�e�@¶ � hgv�seo��p{K�eox���\hgznvxcehpo�h o��phg��qIzx��{�or¶

� b;ceh �ez�o�v�o �phg��qIzx��{u��o7µ'cehg�5vxcehª�gs\zxz�hg�Wv z�{Ks\�e�5�p{W{Kz��G�¬��qIv�{Kz<��o<�p{Kzxz�hp�gv�qI�e� ��o��e{Kv oxseo��Php�gv�hp�@¶,)è�vxc�qIv��rqKo�h�¹±�Ì�p{KfÅf�s\�\���rqIvx��{K� oxv�hg�eo�qIz�hBz�hpÃWs\�¬z�hp�¯v�{»�\hp�g���\h�¶u~�s\zx�¬�\�»vxceh%�ez�oxv�oxv�hg�N¹)vxcehB�gs\zxz�hg�Wv�p{`{Kz��G�¬��qIv�{Kz½\z�{�qK�\�rqKoxv�oØq �����������7fBhpo�o qI��h ­a�¬�¬�ehb�W°Ç¶±~�s\zx�¬�\�<vxceh'o�hp�p{K�e�Åoxv�hg�N¹�hrqK� cB�\z�{W�phpo oo�hg�e�\oq ���������'#»fBhpo�o qI��h�­a�¬�¬�eh���°Ç¶�·`{\¹N�¬�5vxcehÅfB{�o�v�¡³qr��{Kz qI½\��h�o��phg��qIzx��{Ìvxc�qIv�qI�¬��{rµ�o v�{»�\hp�g���\hB�Gs\zx�¬�\�vxceh��gs\zxz�hg�3vnz�{Ks\�e�@¹evxceh<z�{Ks\�e�Ì��o'f�qK�\h<s\�²{I¡)vÔµÆ{��p{KfÅf�s\�\���rqIvx��{K� oxv�hg�eoɶ

� b;cehªo�hp�p{K�e�ºo��phg��qIzx��{u��o�µ'cehg�ºvxcehª�gs\zxz�hg�3v<z�{Ks\�e�º�p{`{Kz��G�¬��qIv�{Kz<c�qKo<�gz qKoxcehp�5qI�e�²��o�oxseo��Php�gv�hp� ½3wqI�¬�Ø�\z�{W�phpo o�hpor¶�)è�¯vxc�qIv��rqKo�h�¹qKo��\z�{W�phpo�o hpo��p{Kzxz�hp�gvx�¬w¾oxseo��Php�gv vxceh¼�p{`{Kz��G�¬��qIv�{Kzu­a�¬�¬�eh¼��°Ç¹)vxceh �ez�oxv�p{KfÅf�s\�\���rqIvx��{K�¿oxv�hg�U��o�qK�gvxs�qI�¬�¬w¾ox´`�¬�\��hp�@¶�yz�{`�phpo�o�hpo�{K�\�¬w¯o�hg�e� ���=���"�'#ºfBhpo�o qI��h ­a�¬�¬�eh¼��°�qI�e��\z�{`�phphp�²v�{�vxceh��ehÇt`v�z�{Ks\�e�@¶�·`{\¹��¬�»vxceh�fB{�oxv�¡«qp��{Kz qI½\��hªo��phg��qIzx��{�v�{��\z�{W�phphp�»v�{�vxceh��ehÇt`v7z�{Ks\�e�@¹vxceh z�{Ks\�e�Ì��o'f�qK�\h<s\�»{I¡Âqªox�¬�\����h �p{KfÅf�s\�\���rqIvx��{K� o�v�hg�N¶

·`{\¹Gµ'cehg��vxceh�s\�e�\hgzx�¬w`�¬�\�Å¡«qI�¬�¬s\z�h<�\hgv�hp�gv�{Kz�½Phgc�qr��hpo'z�hg�¬��qI½\�¬w�¹�qK�p�p{Kz��G�¬�\�Bv�{ªvxceh��\z�hg�`��{Kseo��G��o��gseo ox��{K�N¹Gvxcehvx�¬fBh �p{KfÅ�\��hÇtG�¬vÔwÌ{I¡Âqªz�{Ks\�e�Ì��o�� c�qIz qK�gv�hgzx�¬×rhp�»½Ww�vxceh<��qI�¬z Ð 9fTrÒÉÓ'{I¡�p{KfÅf�s\�\���rqIvx��{K�ºoxv�hg�eor¶

'¸Û �r�r� ��Û � ß � ( Û ��� � Ü,ß�  � � ß � � à ~�s\zx�¬�\� hrqK� c¸z�{Ks\�e�@¹�vxcehÍz�{Ks\�e�¸�p{`{Kz��G�¬��qIv�{Kzº½\z�{�qK�\�rqKoxv�o¯q�����&�"���²fBhpo�oDqI��huqI�e� hrqK� c �\z�{W�phpo oÅo�hg�e�\oªvÔµÆ{ ���������'#¯fBhpo�o qI��hpoɶ 3�hg�e�ph�¹Âvxceh¼fBhpo�o qI��hÌ�p{KfÅ�\��hÇtG�¬vÔw{I¡Âq�z�{Ks\�e�Ì��o'½�{Ks\�e�\hp�̽3w Ï\Ð Ä�Ñ�ÒÉÓǶ

'¸Û �r�r� ��Û � Ü�ÂÛ � � à9� � � Û b;cehgz�hÅqIz�h�vxc\z�hph�vÔw`�Phpo�{I¡ÙfBhpo�oDqI��h � �����������`¹������&�"�'#»qI�e� ������_�� _ a±¶<}����� _�� _ a 5fBhpo�oDqI��h �rqIzxzx��hpo7{K�\�¬wÌqª�\z�{K��{�o�hp����qI�¬seh�¶Ù} �����&�"���ÅfBhpo�o qI��h �rqIzxzx��hpo�q��\z�{K�P{�o hp����qI�¬seh<�\�¬seoq»z�{Ks\�e�:�3s\f�½�hgzr¶¯} �������"�$#ºfBhpo o qI��hu�rqIzxzx��hpoBq��\z�{K��{�o�hp�U�KqI�¬seh¼�\�¬seo�vÔµÆ{ºz�{Ks\�e�:�3s\f�½Phgz�or¶¾}7o�vxceh�3s\f�½Phgz�{I¡$z�{Ks\�e�\on��o'½�{Ks\�e�\hp�̽3w¼Ä¹Gvxceh ox�¬×rh<{I¡±vxceh<z�{Ks\�e�Ì�Ws\f�½�hgzn��o'½�{Ks\�e�\hp�̽3w������ È Ð Ä)ÓǶ� hgv� E��½�h�vxceh7½\�¬vØox�¬×rh�{I¡)q<�\z�{K��{�o�hp���KqI�¬seh�¶±}'�p�p{Kz��G�¬�\�ªv�{�vxcehn�\z�hg�W��{Kseo;�G��o��gseo ox��{K�N¹ Ï Ä Ð ÄªÑ¯ÒÉÓ Ð � E�� �

����� È Ä)ÓØ��onqI�Ìs\�\��hgz�½�{Ks\�e��{I¡±vxceh�½\�¬vn�p{KfÅ�\��hÇt`�¬vèwÌ{I¡$vxceh<�\z�{Kv�{`�p{K�«¶

� ß � �\� � � ß'� Þ8� � C � Û (a�G� Û à Þ�ß �� b$qI½\��h5iu�p{KfÅ��qIz�hpoÅvxcehu®ÂÁ«½�qKo�hp� �p{K�eo hg�eoxseoª�\z�{Kv�{W�p{K��oªvxc�qIvŵÆh´`�e{rµ ­ "Ô�3½ ( ¹ "ÔfBox��(¼qI�e� "è����oC(uqIz�h¼o�ce{Kzxv��gs\v�oª¡¥{Kz4"Ô�3s\f�½PhgzC( ¹+"ÔfBhpo�o qI��hpo#(uqI�e� "è�p{KfÅf�s\�\���rqIvx��{K� oxv�hg�eoC( ¹z�hpox��hp�gvx�¬��hg�¬w\°Ç¶nb;ceh �\z�{Kv�{`�p{K��o7{I¡Âvxceh �ez�oxvnvèµØ{��¬�¬�ehpo�o�w`oxv�hgf�qIvx���rqI�¬�¬wÌz�hpÃWs\�¬z�h Ä¾z�{Ks\�e�\or¶,-LK0/±qI�e�>- MO/$hrqK� c�\z�{K��{�o�hpo)q���qIzxvx���gs\��qIz)��hg�ehgz qI�¬�¬×ÉqIvx��{K�Å{I¡\® �KµÆhÙ�p{K�eox���\hgz)cehgz�hÂvxcehg�¬z$�\z�{Kv�{W�p{K��o)seo�hp�<µ'�¬vxc�®7¶)}7o&�\z�hg�W��{Kseox�¬w�e{Kvx���php�@¹\vxceh�½�hgc�qp�`��{Kzn{I¡)vxceh��\z�{Kv�{`�p{K��o�{I¡$vxceh���qKoxv'vÔµÆ{Å�¬�¬�ehpo��\hg��hg�e�\o�{K�u¡³qI�¬�¬s\z�h<{`�p�gs\zxz�hg�e�phponqI�e�¼¡«qI��o�h¡«qI�¬�¬s\z�hÅoxseox�\���g��{K�eo�­avxc�qIv ��o µ'c3w vxcehgwºqI�¬��{ɵ�hrqIzx�¬w �\hp�g��o���{K�¯�¬� "Ô��{W{`�1(�o �phg��qIzx��{�oD°Ç¶Åâe{Kz vxce{�o�hª�¬�¬�ehpoɹ@vxcehv qI½\��h��p{K�eox���\hgz�o�vxc�qIv7vxceh�¡³qI�¬�¬s\z�hª�\hgv�hp�gv�{Kz��\{Whpo��e{Kv�f�qI´�h�fÅ��o�v qI´�hpor¹�vxcehgz�hÅqIz�h�E ¡«qI�¬�¬s\z�hpor¹@qI�e�»vxcehgz�h���o{K�eh�¡³qI�¬�¬s\z�h���hgz7z�{Ks\�e�@¶<âe{Kz�vxceh���hg�ehgzx�����\z�{Kv�{W�p{K��\hpo��gzx�¬½�hp�²�¬� -ô�0/Ô¹PµÆh��p{K�eo����\hgz��¬v�o��¬�eoxv qI�Wvx��qIvx��{K�5µ'�¬vxc®7¶

�����*� �

Page 14: Consensus Based on Strong Failure Detectors: Time and Message … · 2016. 12. 27. · ISSN 0249-6399 ISRN INRIA/RR--3855--FR apport de recherche INSTITUT NATIONAL DE RECHERCHE EN

������������� �� ����� ������ ����� �� ���������� �� ���������� �� "!#�$���%��&'�( ��� ( "�') ���*����+'� ( � ��,-�/.0����+'� ( ����)�.�����+'� ( �' �)�)����1�2���3)

4�5/6 �7� 8 9 8�:;8�<=90> 8@? A�?CBED;F�G�H84 I�6KJL4NM�6 �7� 8 9 :;8�<=90> ? AO?4 P�6 ����� :KQRBS9�> T 8�:;8�<=90> ? A�?CBED;F�G H 8

�@����UV�W�3� ( U'������X ����� :KQRBS9�> T YV:Z8[<=90> ? A�?CB=T�D\F�G�H/8

b)qI½\��h�i �ÙáÆ{KfÅ��qIzx��o�{K�²{I¡±®ÂÁ�]'qKo�hp�»áÆ{K�eo�hg�eo�seonyz�{Kv�{`�p{K��o

�"�`� ]A6�^".��E. 0). !-_ 0)%"6 8�6�#?(*!$7 <�%"CD��6b;ceh;o�hp�gvx��{K�ª�\z�{K�P{�o hpoÂqnfB{`�G� ���rqIvx��{K�Åvxc�qIv�rqI�ªz�hp�Gse�ph;vxcehØ�Ws\f�½�hgzÂ{I¡�z�{Ks\�e�\oÙqIv$vxcehÆ�\zx���ph'{I¡PqI�ª�¬�e�gz�hrqKo�h�¬��vxceh��3s\f�½�hgz�{I¡±fBhpo o qI��hpo���hgz�z�{Ks\�e�@¶;b;c\��onfB{`�G� ���rqIvx��{K�ºox�¬fÅ�\�¬wÌ�p{K�eox��oxv�o��¬� qI�¬��{rµ'�¬�\�uhrqK��c z�{Ks\�e��v�{�\h �e�eh¼vxcehuo�hgv�{I¡7�\z�{W�phpo�o hpo�vxc�qIvr¹Â�Gs\zx�¬�\�ºvxcehuo�hp�p{K�e�U�\c�qKo�h�¹±z�hp�phg�¬��hÌqI�e�U�\z�{W�phpo o �������"�$#ºfBhpo o qI��hpor¶b;cehÅfB{`�G� ��hp�¯�\z�{Kv�{`�p{K�Ù��o {K½\v qI�¬�ehp�¾½3w5z�hg�\��qK�g�¬�\�²vxcehÅ�¬�¬�eh Mu{I¡�â$�¬��s\z�h»iª½Ww ( Û �a` M =�b-?=/;�c�)7�!-?Q Ð �Uc ÓǶb;ceh o�hp�p{K�e���\c�qKo�h�z�hpoxs\�¬vx�¬�\�Å¡¥z�{Kf vxc\��o'fB{`�G� ���rqIvx��{K�»��o��\hpo �gzx�¬½Php�Ì�¬��â$�¬��s\z�h��G¶

�\hpo��gzx�¬½�hp�Ì�¬��â$�¬��s\z�h��G¶

qS\jy 6�8t� z OedCfc�gdChCi2j�k9�glCa�& �ed + ? z ��ó³û þ&ö�K\ýÉ÷«ö-?§û§ó³ó&ò@�Fû§üpþ«òÎþ«òôû§óNòÿü>?'���,�Éòÿü>� & � ùDüF�L& �C= x�q¬ò�K�t>u}y ?qB" y Q�S�p�z � TIVxW Y:[�\Z]�^_2� a�& � b ,c-�. � b .x- �Fd�fih @tj +qB! y �M�q�N p�z�y �4�82�w3 � ��5���Z�76DqF[�\ ]�^_2� a�&�� b ,c-�. b .x- d ÷«û'?§û§ò�;gû'�=K ÷«ö�V�ù����WüFöÇü�ó��Fó³ý�û'? þ«û��nýF÷«ö-?§û ó³ó³û§ó�yI+q $�[ y �M�q�N��OP&�� y ��4�8"��,c-�.���(�,�-�.�÷«û'?§û§ò�;gû��nõNòôþ«ñnþ«ñIûñFò@�DñIû§ó¥þo.�-{82�0;0�MX+q $#$hy �M�q�ù5�@��[2\Z]�^_2�^V'û§ó³ó«ù5�Çû§ó)ù ÷«ûó��>?èñnþ«ñKù þ�.�-�O�& � yq $*)jy ��4�82�RQtS �O�N �"TIVXWZY:��_2�Z�9^���0�?qe,c-�. � y fih @tj +2�IV fx� ��W0ae,c-�. �ed 82�0;��Mq $�+ y182�0;��M

â)�¬��s\z�h�� �yc�qKo�h�� �Âk7hg�W��o��¬v�hp�

Ö {Kz�hÆ�\z�hp�g��o�hg�¬w�¹���hgv ` � ½�hÙvxceh;o�hgv{I¡��\z�{`�phpo�o�hpo±vxc�qIvr¹��Gs\zx�¬�\�<vxcehÆz�{Ks\�e�(�\¹Iv�hpoxv±vxceh;�\hp�g��ox��{K�ª�\z�hp�G���rqIv�h­a�¬�¬�eh i�iɰǶ )è��vxcehn{Kzx�¬���¬��qI�e�\z�{Kv�{W�p{K�«¹ ` �;qI�¬µ;qpwGo�¬�e�g�¬se�\hpoÙhÇteqK�gvx�¬w�vÔµØ{��\z�{W�phpo o�hpor¹K��qIfBhg�¬w�¹ ` �M=OJ��T3�S� Ò�Z­¥hÇt\�phg�\v ` Y µ'c\����cÌ�¬�e�g�¬se�\hpo�{K�\�¬w�Ä)°Ç¶ )Ô�uvxceh�fB{W�G� ��hp�u�\z�{Kv�{`�p{K�«¹Gvxc\��o'o�hgv;��o'�\h �e�ehp�u½3wuq��\hgv�hgzxfÅ�¬�\��oxvx���0m¡¥s\�e�gvx��{K� ` �JM =�b7-?=/;Wc�) �!-?Q Ð �3Óǹ�vxc�qIv�qI�¬µÆqpwGo��¬�e�g�¬se�\hpo�­a½\s\v���o��e{Kv7�¬�¬fÅ�¬v�hp�»v�{3°�OJ� T3��� Ò�Z ��fB{Kz�hp{r��hgzr¹Pvxceh�rqIz��G�¬��qI�¬�¬vÔwÅ{I¡ ` �Æ�rqI�Å�KqIzxw�qK�p�p{Kz��G�¬�\� v�{*�G¶$b;cehÆz�hrqK�\hgzÂ�rqI�Å��cehp��´ªvxc\��o$fB{`�G� ���rqIvx��{K�B��hrqp��hpovxcehÆ�\z�{Kv�{`�p{K��p{Kzxz�hp�gvr¶

b;c\��o¼fB{`�G� ���rqIvx��{K�À�rqI� qI�¬��{rµ,�\z�{`�phpo�o�hpo�v�{Í�\hp�g���\h�"è�G�¬z�hp�gvx�¬w�(U­a�«¶Îh�¶¬¹�½�hÇ¡³{Kz�h�z�hp�phg�¬�`�¬�\� q������ _�� _ a fBhpo�o qI��hɰǶ�âe{Kz�q�z�{Ks\�e� �G¹Pvxceh��3s\f�½Phgz {I¡ ���������'#�fBhpo�o qI��hpo��e{ɵ#�\hg�Phg�e�\o<{K�ºvxcehÅ�rqIz��G�¬��qI�¬�¬vÔwº{I¡ ` �K¶~�s\zx�¬�\�!�\¹Gvxceh<�3s\f�½Phgz7{I¡ ���=���"�'#¼fBhpo�o qI��hpo'��o Ð ÄÌÑ�ÒÉÓ Ð � ` � �U�ÀÒÉÓǶ

� cehg�N¹ '�\¹ =�b7-?=/;Wc�) �!-?Q Ð �3Ó4M=O3ÒET�n�n�n TxÄ�Z3¹3µØhn��hgvØq�®ÂÁ«½�qKo hp�B�p{K�eo�hg�eoxseoÙ�\z�{Kv�{W�p{K�evxc�qIvÙz�hpÃ3s\�¬z�hpopo Ð Ä È ÓfBhpo�o qI��hpon�Phgznz�{Ks\�e�@¹�qI�e����on��hgzxwÌ�g��{�o�h<v�{Åvxceh��\z�{Kv�{W�p{K�${K½\v qI�¬�ehp��½3wÌ�¬�eo�v qI�3vx��qIvx�¬�\�¼µ'�¬vxc�®�vxceh���hg�ehgzx����\z�{Kv�{`�p{K�&�\hpo��gzx�¬½�hp�Ì�¬�2-ô� /Ô¶

q ���n��%$����������

b;ceh¼��qI�Phgzªc�qKoÅoxvxse�G��hp�UvxcehÌ�p{K�eo�hg�eo�seo��\z�{K½\��hgf �¬�:vxcehÌo�hgvxvx�¬�\�5{I¡�qKo�wW�e� c\z�{K�e{KseoB�G��oxvxzx�¬½\s\v�hp� oxwGoxv�hgfhpÃWs\�¬�\�Php�͵'�¬vxc:qÌ¡³qI�¬�¬s\z�h¼�\hgv�hp�gv�{Kzª{I¡�vxceh��g��qKo�o�®7¶»b;c\��o��g��qKo�o��¬�e�g�¬se�\hpoÅqI�¬�ØvxcehB¡³qI�¬�¬s\z�h¼�\hgv�hp�gv�{Kz�o�vxc�qIv

r ð�ñFòôó^KI�Iü>? þ«òôöÇü¼ñIùDó;þ«ö�ú�û �Fûèþ«û ÷]V'òôüIòôó¥þ«ò�?�òôü¼öD÷ �Éû ÷'þ«ñIû7ó«ù�V'û7ö#�Fþ«ý>�Fþ'ú�û�ýF÷«ö�>�>?§û��ÅõNñIû§ü�òÎþ�òÿó'òôü;göDøgû��Bú� �Éòts�û ÷«û§üpþýF÷«ö-? û§ó³ó³û§ó��>�F÷«òôü>�Øþ«ñIûó«ù5V'û$÷«ö#�Fü,� 6� � üRQ-+#"�S�S

Page 15: Consensus Based on Strong Failure Detectors: Time and Message … · 2016. 12. 27. · ISSN 0249-6399 ISRN INRIA/RR--3855--FR apport de recherche INSTITUT NATIONAL DE RECHERCHE EN

oxseox��hp�gvØqI�¬�P�gz qKoxcehp�B�\z�{`�phpo�o�hpoÆqI�e�Bvxc�qIv;�\{<�e{KvÆo�seox�Php�gvØo�{KfBh�­³q��\zx��{Kzx�Ps\�\´`�e{rµ'��°Ù�p{Kzxz�hp�gvØ�\z�{`�phpo�or¶$b;ceh�\z�{K��{�o�hp�»�\z�{Kv�{`�p{K�±�\z�{W�phphp�\o��¬�5qKoxw`�e��c\z�{K�e{Kseo�z�{Ks\�e�\o<qI�e� qI�¬��{ɵ�o<hrqIzx�¬w»�\hp�g��ox��{K�N¶�)«¡Âvxcehgz�hÅqIz�h��ehg�¬vxcehgz¡«qI�¬�¬s\z�hpo7�e{Kzn¡³qI��o h�oxseo��\���g��{K�eonvxceh��\hp�g��ox��{K� ��o7{K½\v qI�¬�ehp� �¬�5qBox�¬�\����h�z�{Ks\�e�@¶7} z�{Ks\�e�²��o7f�qK�\h�s\� {I¡ÂvÔµÆ{�p{KfÅf�s\�\���rqIvx��{K�ºoxv�hg�eonqI�e���¬�3��{K�¬��hpo Ï\Ð ÄÌÑ�ÒÉÓÆfBhpo�o qI��hpoɶ

b;ceh7�\z�{K�P{�o hp���\z�{Kv�{`�p{K�P�p{KfÅ��qIz�hpoÆ��hgzxwÅ¡«qp��{Kz qI½\�¬w�v�{�vxceh7�\z�hg�W��{KseoØ®ÂÁ«½�qKo hp���p{K�eo�hg�eo�seoØ�\z�{Kv�{`�p{K��or¹GqKovxce{�o�h<z�hpÃWs\�¬z�h�Ä5z�{Ks\�e�\on{Kz'ÄNÈ�fBhpo o qI��hpo'��hgz'z�{Ks\�e�@¶

� � � �±�P���%)��

4�5#6�� &7 �� ( �g ��pX% �� ( �%��+7�#)��OX J�� �'���#" " ��'����V � "�+7���� ����C�/�����g�p�Z����2�#" " ��'"�� �1���� "�'+���� ( �����3���C�R�CX ����������������������! �"�# J%$'&%(*),+.- )')�P0/1)�I�M�J32 ��g�g& 554,4�I X

4 )�6�� &7 �� ( �g 6�pX J37 ( !# "" ���W�98 X� �� ( �%��+'�C):�OX J �e&'�<; �C ,=��C�3� �7 � �"+'���< �#�����/�������Z��������?>� ��7) � ���7���#�7��+7�CX%���������@�A���� �B�%�C �"�# J�$3&%(�$D+�- I,EWP5F'M,),)'J,G +7�� 554,4�I X

4 &�6 � ���g&'�C� 2 X G X JIH ���7�g&KJ X �� ( � ����#�g�3��� 2 X �OX J9L �RUV�W���� ��7 �" �1� ���M �1���� "�'+���� ( � ���7�3�C�7��+7�6N2 ���&PO �'�Q�7 �+7 �1�������������CXR���������@�A�S�1� �����! �"�# J%&')%(T),+.- &�M0$AFD&,E3)�J,U U'�� � 554,EWP X

4 $�6V7 ( !C � ��#���C8 X �� ( � ��+'�#)W�OX J 2�C� ��'"�YX ���W ( �C ��3�p �� ( -�# ���� ( �@�����'��C���#X L �[Z]\_^ � ��\a`.� �b�dcfehg ^ �b�.i ^ JSjRk@l�����C��� ( ��X 2 +'"��C� ( �C�<m ( X +/J J �nN /*o ���p= J U'ULX 4�M5/g5n$WP'JV554,4'& X

4 P�6V2 �W�1�pq�; ���+' U XW �� ( - 0���7 � 2 X J ����?>W "�') � ���7�3�C�7��+7� � �� "�') � &7 �� ( �g / � ��+'�#)hr � � �'���C� ��7��s�V � "�+7���s ����C������g� - �t �C�'�#�g ��u +7����+'� / Xe ���� ( U U7U'���W ��g&LX�vw�x�5y{z}|,~ ���f� � � z ehg�is� �0^�\B� i ���WZ]\_^ � ��\a`.� �b�dc�" � is� � � \B�3����Z �de�"6� �'������.��� iY� ��� g0�f� Z ���� J ��U'�� "�')��C� / 8 �#��" �) H J � � 5CI'4,&7J U'ULX $'4�/ I,&7J ( �*X G 0�W ��W�� Im ( X +J X �g ��� "��" 0>� ( ��"��>� ,�W+' +J���CU����C� � �#� 554,4'4 X

4 I�6V2 �W�1�pq�; ���+' U X �� ( - 0���7 � 2 X J�� ���7�3�C�7��+7�<Xe ���� ( �����V � "�+7���: ����C������g�MN2 ���& � �C��U ���+7 ��; �� A= U �#�+7�� /�#� ������UV�C�3�1��X�vw�p�{y5z � � � z�v<���x�A�B� � �w��� c Z:\_^ � ��\a`n� �b�pc vw�p�{y � ^p^�\B�D� ehg�is� ��^�\B� i � � vIZ!v ew� ���d�0� �1|.� �B��� v}v e,� |,| �B�e vIZCv � J�� ��7�#+'� (T2 ��� �� +/J%2 0� ),�,�'� X

4tM06�o ��') G X J J-�C �)��#� t X� �� ( tp ��Z�' �m X J �W����+7�/��+'��� ( �C�� ?>� ��� "���V�*��� � ���7���#�7��+7� U ")����� ���&7�R� �Z���}�7 � �"+'���� ����C������g�CXvw�p�{y5z�|�� �B�� �"�#�e@g�i<� �0^�\B� i ���Vv���\B�@yn\ � � � ^��1�}Z:\_^ � ��\a`n� ���dc�" � i<� � � \B�D� J ��+'�#�����!8� �� ����� (a2 �#�� "�#� +/J U'ULX )A4WM0/&'�,E'JO554,4,E X

�����*� �

Page 16: Consensus Based on Strong Failure Detectors: Time and Message … · 2016. 12. 27. · ISSN 0249-6399 ISRN INRIA/RR--3855--FR apport de recherche INSTITUT NATIONAL DE RECHERCHE EN

Unité de recherche INRIA Lorraine, Technopôle de Nancy-Brabois, Campus scientifique,615 rue du Jardin Botanique, BP 101, 54600 VILLERS LÈS NANCY

Unité de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES CedexUnité de recherche INRIA Rhône-Alpes, 655, avenue de l’Europe, 38330 MONTBONNOT ST MARTIN

Unité de recherche INRIA Rocquencourt, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY CedexUnité de recherche INRIA Sophia-Antipolis, 2004 route des Lucioles, BP 93, 06902 SOPHIA-ANTIPOLIS Cedex

ÉditeurINRIA, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex (France)��������� ���� ���������� ��� ���

ISSN 0249-6399