on the fly testing of regular patterns in distributed ... · on the y testing of regular patterns...

17
On the fly testing of regular patterns in distributed computations Eddy Fromentin, Michel Raynal, Vijay Garg, Alex Tomlinson To cite this version: Eddy Fromentin, Michel Raynal, Vijay Garg, Alex Tomlinson. On the fly testing of regu- lar patterns in distributed computations. [Research Report] RR-2252, INRIA. 1994. <inria- 00074419> HAL Id: inria-00074419 https://hal.inria.fr/inria-00074419 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.

Upload: others

Post on 18-Oct-2020

6 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: On the fly testing of regular patterns in distributed ... · On the y testing of regular patterns in distributed computations Eddy Fromentin, Michel Raynal, Vijay Garg, Alex Tomlinson

On the fly testing of regular patterns in distributed

computations

Eddy Fromentin, Michel Raynal, Vijay Garg, Alex Tomlinson

To cite this version:

Eddy Fromentin, Michel Raynal, Vijay Garg, Alex Tomlinson. On the fly testing of regu-lar patterns in distributed computations. [Research Report] RR-2252, INRIA. 1994. <inria-00074419>

HAL Id: inria-00074419

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

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: On the fly testing of regular patterns in distributed ... · On the y testing of regular patterns in distributed computations Eddy Fromentin, Michel Raynal, Vijay Garg, Alex Tomlinson

ISS

N 0

249-

6399

appor t de r ech er ch e

1994

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

ON THE FLY TESTING OF REGULARPATTERNS IN DISTRIBUTED

COMPUTATIONS

Eddy Fromentin, Michel Raynal, Vijay K Garg and Alex Tomlinson

N˚ 2252Avril 1994

PROGRAMME 1

Architectures paralleles,

bases de donnees,

reseaux et systemes distribues

Page 3: On the fly testing of regular patterns in distributed ... · On the y testing of regular patterns in distributed computations Eddy Fromentin, Michel Raynal, Vijay Garg, Alex Tomlinson
Page 4: On the fly testing of regular patterns in distributed ... · On the y testing of regular patterns in distributed computations Eddy Fromentin, Michel Raynal, Vijay Garg, Alex Tomlinson

��� ����� ��� ���� �������� ��� ������������ �������������� ��� !�" #�$�%��&'������ ()��* �+���,�-���"����

.0/1/324�57698;:=<?>7@A<CBED�FG@IHKJ1:=LNM#O=23<"OPLQBRD�ST@VUWO=2;X�YTOP57Z[B\B#O]<"/_^�LA:=`,aN6b8;Lc@A<"d\6b<CB\B

eNfhgPiPfWj=klknmporqtsCfWuhvbwyx\mQu7x\z{f\mQ|0}?j=fWj�~�~��m7~�mQ|K�?�?jP|�mQ|��bmp�bgP�{���mEmQ|E�bf{�mQ|�mQj=zb�mExC|���|�xQ�mEknmQ|��]wc|�x\f�wy�{z��mQ|

eNf\g]��mEx�s��b}

��j�}{}?gPf\x��bm�f\mQu\v{mEf7u\v{m��#�9�P�]�P��qts��9f�w�~�oQ�P�=��q oQ��}?j=iPmQ|

���¡ E¢Q£R¤?¥=¢P¦�s�uh~§j]|\|�g=¨�}{f\g]}?mEf\x�wymQ|©g=¨C�]w§|�x\f�wy�{z{x\mQ�Gu7gPkn}{z{xWj=x�w�g]�?|�wc|T�bmQ|\u7f�wy�?mQ��j=�?�ªj=�jR~yiPg]f�wyx\v{k¬«�vbwcuhv­�bmExhmQu7xW|�x\v{mEk®wc|�}{f\mQ|�mE�bx\mQ��¯�°�vbwc|#uh~cjP|h|�g=¨�}{f\gP}3mEf\x�wymQ|#uEj�~�~ymQ�Gf\mEi]zb~§j�f}?j=xhx\mEf\�?|�jR~�~yg�«�|[xhv{m�z?|�mEf�x\gp|�}3mQuhw�¨I�±j=�²m7�{}?mQu7x\mQ�´³�g]fµz{�b«�j=�bx\mQ�3¶·�3mEv?jQ�]wygPf�g=¨Nj#u7gPkn}{z{¸xWj�x�wygP��j]|�|�mQ¹]z{mE�?u7mQ|�g=¨·f\m7~ymE�=j=�9x0mE�PmE�9x7|�³ºgPf�jP|�|�mQ¹Pz{mE�?u7mQ|0g=¨"~yg{uEjR~"}{f\mQ�]wcuEj=x\mQ|0x\v?j=x»kpz?|�x�3m¼|�z?uEu7mQ|\|ºwy�Pm7~y�½�PmEf�w�¾?mQ�3¶W¯'°¿v{m,|�mQ¹]z{mE�?u7mQ|�j=f\m±�bm7¾?�{mQ�½�b��j´¾?�bwyx\m|�xWj�x\m±j=z{x\gPk²j=x\gP�³�v{mE�?u7m�x\v{m��?j=knm�fhmEiPzb~cj=f�}?j=x\xhmEf\�?|7¶W¯¡s'u7gPkl}{z{xWj=x�wygP���PmEf�w�¾?mQ|0x\v{m�}{f\g]}?mEf\x��Tw�¨[j=�?�²gP�b~y�w�¨[gP�{m�g=¨¡wyxW|�uEj=z?|\jR~"}?j=x\v?|¿kÀj=xWuhv{mQ|�jn|�mQ¹]z{mE�?u7mP¯ÁÃÂ9Ä"Å�ÆTÇ1£=È¡ P¦É�?mEv?jR�PwygPf7jR~�}{fhgP}?mEf\x��P�P�]wc|�x\f�w��{z{xhmQ�Àu7gPkl}{z{xWj=x�wygP�"�P�]wc|�x\f�w��{z{xhmQ�n�bmE�{z{iPi=wy�{i?�gP�´x\v{m�Ê?���bmEx\mQu7x�wygP�"�3f\mEiPzb~cj=f�}?j=xhx\mEf\�"¯

ËIÌTÍÎ�Ï�ÐQÑ ÍÎNÒNÓ�Ï�ÔAÕQÖ

×"ØKÙVÚ·Û=Ü\Û=Ý�Þ¡ß�Ùáàáà1Ü\ÛRÛ=Ý�ÜhÞ¡ÙVâ�ãäØQÝ»ÛQÞäåEæ�Ý�Ý�çEÙVâQè7Ú[åhé?ãäØQÝ�êWë7ì�í�îAâEã�ïPð�åWâKéäï�å7â#ñ{Ü\Þ�Ü�àáàVݺà�ñòÞäåEæ�Ý�ÚäÚAÙVâRèQó{ñbÝ�âRâEôÚäõ7àVöWÜhâEÙVÝ�÷Eã�ÜhãäÝ[ø"âKÙVö=ïVó=ù·úRèWúRÚäã[û\üWühýRïþ îäÿ�îä÷Eù��%ð"Ü � ÛQúRÚ�çQÝ��?Ý\ÜhúEàáÙVÝ�úPó;ë����\ýEê)ÿ�� ��?÷�æ�Ý�çQÝ������{ÿ�ù��·ð�óÀݺô � Ü�Ùáà����ºé�Þäå � Ý�âEãAÙyóÞ�Ü�õEâ=Ü�à���� ÙVÞAÙVÚ�ÜKï éyÞþ�þ�� Ý�ÛQã�ï

åhé�3ð���ø âEÙVö7Ý�ÞäÚAÙVãAõ±åhéµ×{Ý��QÜhÚrÜhã�ù·ø"ÚäãAÙVâ]ó"ù·úRÚäãAÙVâ;× [ó�ݺô � Ü�Ùáà��!��ö7Ù "�Ü�õ7óáÜ�àVÝ��Eã����¡ÛEÙVâQÝ7ï Ý�æ�Ý7ï úRãäÝ��QÜ\Úhï Ý�çQú

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

Telephone : (33) 99 84 71 00 – Telecopie : (33) 99 84 71 71

Page 5: On the fly testing of regular patterns in distributed ... · On the y testing of regular patterns in distributed computations Eddy Fromentin, Michel Raynal, Vijay Garg, Alex Tomlinson

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

132Â� 547682ÂÀ¦�9�gPz?|N�»�m7¾?�bwc|\|�gP�?| wcuhw1z{�{m�uh~§j]|\|�m��bm�}{f\gP}{f�w �mEx{�mQ|�}?gPz{f ~�mQ| m7�µ�mQu7z{x�wygP�?|¡f{�mE}?j=f\x�wymQ|�0:áz{�ª}{f\gPiPfWj�knknmp�]wc|�xhf�wy�{zµ�mnjRwy�?|ºwµ¹]z�:áz{�_jR~yiPgPf�w�xhv{knmn¹PzbwN~ymQ|��bmEx\mQu7x\m²j=z;�Pg=~<;{~ymQ|©kngPx�w�¨�|f{�mEiPzb~�wymEfW|E¯>=[mEx\xhm¿uh~cjP|h|�m�}?mEf\knmEx��j�z{�Tz{x�w�~�wc|\j�x\mEz{f��bm¿|�}µ�mQuhw�¾?mEfNz{�Àu7gPkn}3gPf\x\mEklmE�9x[|�g]z{v?jRwyx��mgPzª�{gP�j=zkng=�PmE��bmn|b�mQ¹]z{mE�?u7mQ|#�0:��mE�[�mE�{mEknmE�bxW|0}?mEf\x�wy�{mE�bxW|�g]z¼�bm²|9�mQ¹]z{mE�?u7mQ|#�bmn}{f{�mQ�]wy¸uEj=x7|C¹]zbw �bg�w��]mE�9x�?mEx\fhm#|�z?uEu7mQ|\|ºwy�PmEknmE�bx��[�mEf�w�¾��mQ|K¯0=[mQ|�|9�mQ¹]z{mE�?u7mQ|C|�gP�9x�m7�{}{f�wyk­�mEmQ|T�jT~<:Vj�w§�bm�0:Vj�z{x\gPkÀj=xhmQ|C�0:��mExWj=xW|µ¾?�bw§|�³��0:ág"�z´~<:ámEkn}b~yg=w��bz;x\mEf\knmA@�BCEDGFIHKJLC @h¶W¯NM0�{mTm7�µ�mQu7z{x�wygP�f{�mE}?j=f\x�wym�[�mEf�w�¾?m»~cj�}{f\g]}{f�w �mEx{�m[jRwy�?|ºw?m7��}{f�w�k��mEm�|ºw{mEx[|�mEzb~ymEknmE�9x�|ºw{z{�À�bm�|�mQ|Nu\v{mEk�w��?|»uEj=z?|\j=zb�T�[�mEf�w�¾?mz{�{mT�bmQ|C|b�mQ¹Pz{mE�?u7mQ|0jP�bkTwc|�mQ|0}?j=f�~<:Vj=z{x\g]kÀj=x\mP¯O�Ç3¢Q EÅ\¥QPR2 ¦�}{f\g]}{f�w �mEx{�mÀu7gPkn}3gPf\x\mEknmE�bxWjR~ymP�¡m7�µ�mQu7z{x�wygP��f{�mE}?j=f\x�wymP�¡�[�mE�PmEf\k�w��?j�iPm��bm�}{fhgP¸iPf7j=knknmQ|�f{�mE}?j=f\x�w§|K�9�bmEx\mQu7x�wygP�;j=z±�]g=~��9klgPx�w�¨ |¿f��mEiPzb~�wymEfW|E¯

Page 6: On the fly testing of regular patterns in distributed ... · On the y testing of regular patterns in distributed computations Eddy Fromentin, Michel Raynal, Vijay Garg, Alex Tomlinson

������� C���H�� C� � J � D������$C DQF>H�� @�� � ��� C @�� +J ��� J� � @ J��%F � C���� �"!�#0F � � � J�� � �

$ ��� �$� � ���(����"���

°�v{m²|�x\z?�b�±g�¨[�?mEv?jR�PwygPf7jR~[}{f\gP}3mEf\x�wymQ|�g=¨µ}?j�fWjR~�~ym7~µj=�?��]wc|�x\f�wy�{z{x\mQ�ªu7gPkn}{z{xWj=x�w�g]�?|0w§|0wykn¸}3gPf\xWj=�bx�¨ägPf#j=�?j�~��{|ºwc|E�¡x\mQ|�x�w��{i;j=�?�G�bmE�{z{iPi=wy�{i?¯&%»�(' �?mEv?jR�PwygPf7jR~µ}{f\g]}?mEf\x��*)�«�mnknmQj=�Gj}{f\g]}?mEf\x��²«�vbwcu\v;m7�{}{f\mQ|\|�mQ|�|�gPknm�g]fW�bmEf��{gPx�wygP�,+V�b�.-{�"oR�0/º¯?°�vbwc|�wc|�jTx��9}bwcuEjR~N|ºwyx\z?j=x�wygP�Ãw��x\v{m�j=�?jR~y��|�w§| g=¨·|��b�?u\v{f\g]�bw21Qj�x�wygP�Twy���]wc|�xhf�wy�{z{x\mQ�Àu7g]kn}{z{xWj=x�wygP�?|¡«0v{mEf\m�«�m�«¿j��9xNx\g#�bmExhmQu7xw�¨Cj�|�mQ¹]z{mE�?u7mng=¨¿uEj�z?|\jR~�~y�,fhm7~§j�x\mQ�;f\m7~ymE��j��9x�mE�PmE�9x7|�³�gPf�j�|�mQ¹Pz{mE�?u7mlg=¨[~yg{uEjR~µ|�xWj=xhmQ|�x\v?j=x|\j�x�wc|º¨I��|�gPklm�}{f\mQ�]wcuEj=x\mQ|7¶�v?jP|��3mEmE�±}{f\g{�bz?u7mQ�´�9��jnu7gPkn}{z{x7j=x�wygP�"¯

3��{mC|��{|�x\mEkÀj=x�w§u¿«¿jR��x\g#�bmExhmQu7xµ|�z?uhvn}{f\gP}3mEf\x�wymQ|�u7gP�?|ºwc|�xW| ¾?f7|�xNwy�n�{zbw�~c�]wy�{inx\v{m�~cj=x\x�w§u7mjP|h|�g�uhwcj=xhmQ�±«¿w�xhv_jÀ�]wc|�xhf�wy�{z{x\mQ�m7�{mQu7z{x�wygP�4+ �����5/[j=�?�´x\v{mE�´wy�x\f7jQ�]mEfW|ºwy�{iÀxhvbw§|0~cj=xhx�wcu7mnx\g�bmEx\mQu7x�x\v{mÀu7gP�?|�w§�bmEfhmQ��3mEv?jQ�]wygPfWjR~�}?j=x\x\mEfh�6+ �9���"/�¯�s��{g��bmng�¨µx\vbwc|�~cj=xhx�wcu7mÀf\mE}{fhmQ|�mE�9x7|�j}3g9|\|ºwy�b~ymni=~ygP�?jR~[|�xWj�x\m#g=¨Nx\v{mn�]wc|�x\f�wy�{z{x\mQ�;u7gPkl}{z{xWj=x�wygP�j=�?�´j=�±mQ�biPm�¨äf\gPk�g]�{mp�{g{�bmTx\gj=�{g]x\v{mEfnf\mE}{f\mQ|�mE�9xW|Tj=��mE�]mE�9xTx\v?j=xT«�gPzb~c�GkÀj57]mÀx\v{m±u7g]kn}{z{xWj=x�wygP�G}{f\gPi]f\mQ|\|©¨IfhgPk x\v{m¾?fW|�x#x\g´x\v{mÀ|�mQu7gP�?�ªi=~ygP�?jR~�|�xWj=xhmP¯"°�v{m87]wy�?�{|�g=¨�}?j=x\x\mEf\�?|©x\v?j=x#uEj=�G�?m�|�x\z?�]wymQ�¼wy�_x\vbwc|«�jR�Tv?jQ�]m��PmEf\�T¨ämE«�~�wykTwyxWj=x�w�g]�?|��{z{x�x\v{mrj]|\|�g{uhw§j�x\mQ�Àu7gb|�xNwc|»�PmEf\�TvbwyiPv±|ºwy�?u7m�x\vbwc|»knmEx\v{g{�f\mQ¹]zbwyf\mQ|��{zbw�~c�]wy�{i;x\v{m�~§j�x\x�wcu7m�³�mE�PmE�´w�¨[wyx�wc|�}?gb|\|ºwy�b~ymÀx\g²�{zbw�~c�_j=�?�´x\g²m7�{}b~�g�w�x©wyx�gP�;x\v{mÊ?�P���bz{f�wy�{iÀxhv{m�m7��mQu7z{x�wygP�´g=¨Nx\v{m#j=�?jR~y�91EmQ�±u7gPkn}{z{x7j=x�wygP�,j]|Nwy�,+yoP�?�b�{�:/ ¶W¯

°"g�}{f\mE�]mE�9x�x\vbwc|�u7g9|�xQ�"|�g]knmnj=z{x\v{gPfW|�v?jR�Pmn�bm7¾?�{mQ�ª}?j=f\x�wcu7zb~cj=f��?mEv?jR�PwygPf7jR~[}?j=x\x\mEfh�?|«�v{gb|�mC�bmEx\mQu7x�wygP�²�bg9mQ| �{gPxNf\mQ¹]zbw�fhmC�{zbw�~c�]wy�{inx\v{m�~cj=x\x�w§u7m0gPfNz?|ºwy�{inj�u7mE�9x\f7jR~�w21EmQ�lkÀj=�?j�iPmEfQ¯°�v{mQ|�m��bmEx\mQu7x�w�g]�­jR~yiPg]f�wyx\v{kÀ|#j�f\mn|�z{}?mEf�wykn}3g9|�mQ�GgP�ªx\v{mÀ�]wc|�x\f�wy�{z{x\mQ��u7g]kn}{z{xWj=x�wygP�Gj=�?�z?|�mnjn|�w�kl}b~�ml}bw�i]iP�9�?j]u;7]wy�{iÀx\mQuhv{�bwc¹Pz{mTx\g²mE�?|�z{f\mTu7gP�?|ºwc|�x\mE�?u7�´g=¨Nx\v{mp�bmEx\mQu7x�w�g]�"¯<3��{m#g=¨x\v{m�¾?fW|�x�g=¨[x\v{mQ|�mT�?mEv?jR�]wygPfWjR~[}?j=xhx\mEf\�?|0v?jP|��?mEmE�´wy�9xhf\g��bz?u7mQ�¼�9��=�w�~�~ymEfpj=�?� =[v{g�w>+yoQ�?/A@uEjR~�~ymQ� HKJ �*B CC��# @ CC�QJEDC� � CF |�z?uhvjn}?j�x\x\mEf\�;�bmQ|\u7f�wy�?mQ|�jÀuEj=z?|hjR~ |�mQ¹Pz{mE�?uhwy�{i±g�¨N~�g{uEjR~µ|�x7j=x\mQ|�PmEf�w�¨ä�]w��{i±|�gPknm�}{f\mQ�]wcuEj=x\mQ|©³�+HGb�.-ò�"oQ�5/"}{fhmQ|�mE�9x�jR~yiPgPf�wyx\v{kÀ|0x\gn�bmEx\mQu7x�|�z?uhv±}?j=x\xhmEf\�?|7¶W¯9I��+H-J/��*K�z{f�¾?��mEx�jR~�¯{iPmE�{mEfWjR~�wL1Em#xhvbw§|¿}?j=x\x\mEf\��xhg�j�kng]f\m�iPmE�{mEfWjR~ � � �"!'J�D� CCM F>C � D�C����N# @ CC�QJLODC� � C� @{v{mEf\mn|�g]knm#mE�PmE�bxW|�uEj��,�3m�¨ägPf\�bwc�{�bmE��3mEx�«�mEmE�´mQjPu\v´}?jRwyf�g=¨[u7gP�?|�mQu7z{x�wy�PmTf\m7~ymE��j��9xmE�PmE�bxW|E¯

°�vbwc|N}?j=}3mEf[}{f\mQ|�mE�bxW|»j�uh~§j]|\|Ng=¨��?mEv?jR�]w�g]fWjR~1}?j�x\x\mEf\�?|¡x\v?j�x¡w��?uh~yz?�bmQ|»~�wy�*7PmQ�l}{f\mQ�]wcuEj=x\mQ|j=�?�²j=x\g]kTwcu�|�mQ¹]z{mE�?u7mQ|µj]|N}?j=f\x�w§u7zb~cj=f�uEjP|�mQ|E¯9°�vbwc|�uh~cjP|\|»g=¨"}{f\gP}3mEf\x�wymQ|�uEjR~�~ymQ�²f\mEiPzb~cj=f[}?j�x\¸x\mEfh�?|µj�~�~yg=«C| x\v{mCz?|�mEf[x\gT|�}?mQuhw�¨ä��j©�?mEv?jR�PwygPf7jR~1}{f\g]}?mEf\x��Tg=¨·j#u7gPkl}{z{xWj=x�wygP��jP|[|�mQ¹Pz{mE�?u7mQ|g=¨¡f\m7~ymE��j=�bx�mE�PmE�9x7|�³ºgPf[g=¨ ~�g{uEjR~"}{f\mQ�]wcuEj=x\mQ|»x\v?j�xµkTz?|�x»�?m��PmEf�w�¾?mQ�3¶7¯�°¿v{mQ|�mr|�mQ¹Pz{mE�?u7mQ|�j�f\m�bm7¾?�{mQ�;�b��jT¾?�bwyx\mn|�xWj�x\m#j=z{x\gPk²j=x\gP�"�bv{mE�?u7mTx\v{m��?j=knm�f\mEiPzb~cj=f�}?j=x\x\mEfh�"¯?°�v{m#}{fhgP}?mEf\x��wc|n�bmEx\mQu7xhmQ�_jP|�|�gbgP�­j]|#j;uEj=z?|\jR~�}?j=x\vg�¨Cx\v{m�u7gPkn}{z{xWj=x�w�g]�kÀj=xWuhv{mQ|�gP�{mng=¨�x\v{mQ|�m�|�mE¸¹]z{mE�?u7mQ|E¯"°�v{m#�bmEx\mQu7x�w�g]�¼j�~�i]gPf�wyx\v{k�«�gPf;7{|�gP�´x\v{m�Ê?��«�wyx\v{gPz{x��{zbw�~c�]w��{i;jnu7gPkn}b~ym7�j=�?�m7�{}?mE�?|ºwy�Pmn�{j=x7jn|�x\f\z?u7xhz{f\m#|�z?uhv±jP|�j�~cj=x\x�w§u7mP¯

°�v{mT}?j=}?mEf©w§|�|�x\f\z?u7x\z{f\mQ�;jP|0¨äg=~�~yg=«C|%;<PPmQu7x�wygP�_�²}{fhmQ|�mE�9x7|�x\v{mTkng��bm7~[g�¨µ�]w§|�x\f�wy�{z{x\mQ�u7gPkl}{z{xWj=x�wygP�?|E¯QPPmQu7x�wygP���#�bm7¾?�{mQ|¿f\mEiPzb~cj=f�}?j=x\x\mEfh�?|[j=�?�lx\v{m�knmQj=�bwy�{iTg=¨"x\v{mruh~cjRwykR' x\vbwc|

ÿ"ÿ â&SQê7ê��Wê

Page 7: On the fly testing of regular patterns in distributed ... · On the y testing of regular patterns in distributed computations Eddy Fromentin, Michel Raynal, Vijay Garg, Alex Tomlinson

� ��� � @ �:! C �Q� J ������� �N�: � �QH ����� ��� � @ D j=�?��� � �.�:! H J � �� �

u7gPkl}{z{xWj=x�wygP��|\j�x�wc|º¾?mQ|Tx\vbwc|l}?j=x\x\mEf\�.)ò¯&PPmQu7x�wygP�-�;wc|n�bmE�PgPx\mQ�Gxhg,xhv{m�}{f\mQ|�mE�bxWj=x�wygP��g=¨�j�bmEx\mQu7x�w�g]�,jR~yiPgPf�w�xhv{k�¨ägPf�f\mEiPzb~cj=f�}?j�x\x\mEf\�?|E¯

� * �� ��� ��� !� #��� ��&��!���� ()��* �½�!�;���É�"���

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

°�v{mTz{�?�bmEf�~y�]wy�{i,|��{|�x\mEk�xhv?j=xCm7�{mQu7z{x\mQ|��]wc|�x\f�w��{z{xhmQ�±}{fhgPiPfWj=k²|»wc|�u7gPkn}?gb|�mQ��g=¨10¼�{g��bmQ|x\v?j�x¿uEj���m7�òuhv?j=�{iPm�knmQ|h|\j=iPmQ|E¯>9�m7wyx\v{mEf�|�v?j=f\mQ�²knmEklgPf\�n�{gPf�j�i=~ygP�?jR~·uh~yg{u;7²wc|�jR��j�w�~cj=�b~ymP¯=´mQ|\|\j�iPmQ|�j=f\m�m7�òuhv?j=�{iPmQ�²x\v{fhgPz{iPv²f\m7~�w§j��b~�m��{z{x��{gPx��{mQu7mQ|\|\j=f�w�~y�32<I42 3�u\v?j=�{�{m7~c|E¯3°"fWj��?|�¸kTwc|\|�w�g]�¼�bm7~cjR�{|�j=f\m�¾?�bwyx\m��{z{xCz{�{}{f\mQ�]wcu7xWj��b~�mP¯

���5� 67(8*,-%"%(89!�-%�/ ;:=<>.;?��@-BA#-%(8<>��*

s��]wc|�x\f�w��{z{xhmQ�T}{f\gPiPf7j=k-w§|¡k²jP�bm[g=¨/0T}{f\g{u7mQ|\|�mQ|C>D{«�vbwcuhvpu7gPknkTz{�bwcuEj=x\m�j=�?��|��b�?u\v{f\g]�bw21EmgP�b~y���b�CklmQj=�?|"g�¨9knmQ|\|\j�iPmN}?jP|\|ºwy�{i?¯Ks��]w§|�x\f�wy�{z{x\mQ�#u7g]kn}{z{xWj=x�wygP�T�bmQ|\u7f�wy�?mQ| x\v{m»m7��mQu7z{x�wygP�g=¨[jn�]wc|�x\f�w��{z{xhmQ�±}{fhgPiPfWj=k´¯

EGFHEIF'J K ¤?£R¢ML§¤ P�Ç1£=È Â�£TÇ>N�ÂPO�Â#N?¢Q °�v{m;jPu7x�wy�]w�x��Gg=¨CmQjPuhv�}{f\g{u7mQ|\|QC D wc|Tkng{�bm7~�mQ� �9��j|�mQ¹]z{mE�?u7m±g�¨CmE�PmE�bxW|QR D uEjR~�~ymQ�-x\v{mvbwc|�x\g]f\�Tg=¨�C D ;PR DTSVUMWD UMXD UZYD�[M[,[ ³º«�v{mEf\m UZ\D w§|»x\v{m^]=_a`�mE�PmE�bx[m7�{mQu7z{x\mQ�l�9�QC D ¶7¯Ps��nmE�PmE�bxwc|#j²|�mE�?�´mE�PmE�bxQ��jnf\mQu7m7wy�PmlmE�PmE�9x�gPf�j=�´wy�9x\mEfh�?jR~ mE�]mE�9xQ¯Gb�mExdce �?mTx\v{mnuh~cjP|\|�w§uEj�~[�bw��?j�f\�f\m7~cj=x�w�g]�,�bm7¾?�{mQ���b�fb"j=kn}3gPf\x�gP��mE�PmE�bxW|�+yoMg?/<; Uh\D ce Uhij wlkTm STn j=�?�f]po�o Srq ³äwy�´x\v?j=xuEjP|�m�«µm0�{gPx\m U \DQs cDlt UZij ¶W�]gPf U \D wc|�xhv{mr|�mE�?�]wy�{ing�¨vu�j��?� UZiD x\v{mCfhmQu7mE}{x�wygP��g=¨vu;�bgPfxw Uhyz|�z?uhv±xhv?j=x U \D ce U y z { 0G| U y z ce U ij ¯

b�mEx3} �?m;x\v{m|�mEx�g�¨pjR~�~#x\v{m;mE�PmE�9x7|E¯[s¬�]wc|�xhf�wy�{z{x\mQ�'u7g]kn}{z{xWj=x�wygP� wc|�jG}?j=f\x�wcjR~�~y�gPf7�bmEf\mQ�±|�mEx©³�}?g9|�mExE¶3~} S ³�}3��ce ¶�¯

EGFHEIFHE K ¤?£R¢ML§¤ P�Ç1£=È Â�£TÇ>N PyÇ"¥=¤ P� K¢E¤{¢EÂ� �»jPu\v²}{f\g{u7mQ|\|�C D wc| w��bwyx�wcjR~�~y��wy��x\v{m0~yg�uEj�~ |�xWj=x\m��h�D ¯��N�PmE�bx Uh\D xhfWj=�?|º¨ägPf\kÀ|!C D :V| ~yg�uEj�~ |�xWj=x\m� \���WD wy�9xhg�� \D ¯Pb�mEx^��?m�x\v{m�|�mEx[g�¨1~yg{uEjR~·|�xWj=xhmQ|Ng=¨·jR~�~"x\v{m�}{f\g{u7mQ|\|�mQ|K¯ =´gPfhmEg��]mEfQ�R~ymEx��e �?mx\v{m�¨Ig=~�~yg=«�wy�{i;�bw��?j�f\�;f\m7~cj=x�wygP�gP�¼~�g{uEjR~µ|�x7j=x\mQ|E��� \D �e � ij wlk�gP�{mlg=¨µx\v{m�¨Ig=~�~yg=«�wy�{i±v{g=~c�0;m STn j=�?��]po½o Srq ³äwy�;x\v?j=x�uEjP|�mT«�m#�{g]x\mn³4� \D s �Dlt � ij ¶W�3gPf U \M�GWD wc|�x\v{mn|�mE�?�]wy�{i´g=¨1uj=�?� UhiD x\v{m�f\mQu7mE}{x�wygP�´g=¨@u;�ògPf^wP� y z |�z?uhv±x\v?j=x�� \D �e � y z { 0I|�� yz �e � ij ¯°�vbwc|Nf\m7~cj=x�wygP�lgP��~�g{uEjR~1|�x7j=x\mQ| wc|�b"j�kn}?gPfhx :V| f\m7~cj=x�wygP�Àj=}{}b~�wymQ�lx\g�~yg�uEjR~1|�xWj=x\mQ|E¯=s-}?g9|�mEx~� S ³������e ¶»wc|#jP|h|�g�uhwcj=xhmQ�±«¿w�xhvmQjPuhv¼�]wc|�xhf�wy�{z{x\mQ�u7gPkn}{z{x7j=x�wygP� ~} S ³4}3��ce ¶\¯�2 w�i]z{f\m�o

î �·ÿ�îcù

Page 8: On the fly testing of regular patterns in distributed ... · On the y testing of regular patterns in distributed computations Eddy Fromentin, Michel Raynal, Vijay Garg, Alex Tomlinson

������� C���H�� C� � J � D������$C DQF>H�� @�� � ��� C @�� +J ��� J� � @ J��%F � C���� �"!�#0F � � � J�� � �

��� � � �� ��� � ��� �� �� ��� � ��� �

� �� � ��� �� � ��

� �� � �� � ��� �� � �� � ��

� �� � ��

� ��

��� � ��� �

� ��

2 wyiPz{f\m²oQ;bs$�]wc|�xhf�wy�{z{x\mQ�´m7��mQu7z{x�wygP�

�]wc|�}b~cjR��|»j��]wc|�x\f�wy�{z{x\mQ�lm7��mQu7z{x�w�g]�Twy�nx\v{m�uh~cjP|\|ºwcuEjR~"|�}?jPu7mE¸äx�wyknmC�]wcj=i]fWj=k�³��b~cjPu;7nuhwyfWuh~ymQ|[j�f\mmE�PmE�bxW|E�]«�vbwyx\m�|\¹Pz?j�f\mQ|Nj=f\m�~yg{uEjR~·|�xWj=xhmQ|7¶W¯=°"g�gP�{xWjRwy�nx\v{m�f\mE}{f\mQ|�mE�9xWj�x�wygP�ng=¨·j=�Àj]|\|�g{uhw§j�x\mQ�}3g9|�mEx ~}¬g]ff~�_«�mpu7g]�?|ºwc�bmEfCgP�b~y��f\m7~ymE�=j=�9x�m7~ymEknmE�bxW|©³�m7wyx\v{mEf�mE�PmE�9x7|�gPf0~�g{uEjR~ |�xWj=x\mQ|7¶�j=�?�jP�{�´jR~�~·mQ�biPmQ|��bz{m�x\gnx\f7j=�?|ºwyx�wy�Pwyx��P¯

EGFHEIF 1lÂ�È 4"¥=¢MLyÇ>N�Ç���¤È�LA E¢Q£�LA��4�¢EÂ{ȽÂ� Â�¥>4�¢ML§Ç�N�»jPu\v�}3g9|�mEx ~} S ³4}��1ce ¶¼uEj=���3m'jP|\|�g{uhwcj=x\mQ��«�wyx\v�jÉf\m7~cj=x�wygP��uEjR~�~ymQ� K0¸äf\mQ�bz?u7x�wygP�"��}�� S ³�}3��ce �R¶W��«�v{mEf\mTf\m7~cj=x�w�g]� ce ��w§|©f\m7~cj=x�wygP� ce ¨äf\gPk�«�vbwcuhvv?jR�PmT�?mEmE�_|�z{}{}{f\mQ|\|�mQ�0;jR~�~[x\f7j=�?|ºwyx�wy�Pwyx��±mQ�bi]mQ|C�bz{mTx\g²x\v{mTx\fWj=�?|�w�x�w��]mpuh~yg9|�z{f\mlg=¨ s cDlt j=�?�±jR~�~[x\f7j=�?|ºwyx�wy�Pwyx��±mQ�bi]mQ|u7gP�{�{mQu7x�w��{i�mE�]mE�9xW|µ¨If\g]k!x�«�gn�]wc|�x�wy�?u7xC}{fhg�u7mQ|\|�mQ| W ¯

2 w�i]z{f\m,�G�]wc|�}b~cjQ�{|�xhv{m K0¸äf\mQ�bz?u7x�wygP��jP|\|�g{uhwcj=x\mQ�-«�wyx\v½x\v{m;u7gPkn}{z{xWj=x�w�g]�+|�v{g=«�� w��2 wyiPz{f\m�oG³�mQ�bi]m_³ U XW � U YY ¶nv?jP|²�3mEmE�'|�z{}{}{f\mQ|\|�mQ�+j]|lw�x²wc|�jGx\f7j=�?|ºwyx�wy�Pwyx���mQ�bi]m=¶W¯µ°¿v{m PP¸f\mQ�bz?u7x�w�g]� � ��� S ³�� � �e �Q¶Nwc|��bm7¾?�{mQ�±|ºwykTw�~cj=f�~y�èIf\g]k ~�[¯

s!uEj=z?|\j�~[}?j=x\v;g=¨ ~} ³�f\mQ|�}{xQ¯ ~�[¶»wc|#j��]wyf\mQu7x\mQ�¼}?j=x\v´wy�x\v{mnjP|\|�g{uhwcj=x\mQ� K0¸äf\mQ�bz?u7x�wygP��}��l³�f\mQ|�}{xR¯{wy�x\v{mnjP|h|�g�uhwcj=xhmQ� PP¸äfhmQ�bz?u7x�wygP� � ���Q¶W¯ �}��T³�fhmQ|�}{xQ¯ � ���E¶�«¿w�~�~��?mTz?|�mQ�;x\g²f\mQjP|�gP�j=�3gPz{x#|�mQ¹]z{mE�?u7mQ|�g=¨[fhm7~�mE�=j=�bx�mE�PmE�9x7|�³�fhmQ|�}{xQ¯�|�mQ¹Pz{mE�?u7mQ|©g=¨N~yg�uEj�~µ|�xWj=x\mQ|0|\j=x�wc|º¨ä�Pwy�{i±|�g]knm}{f\mQ�]wcuEj=xhmQ|7¶W¯

� î§é � Ý�ÚäÚ�ÜhèWÝ�Ú¡çQݺàáÙVöWÝ�ÞAÙVÝ�ÚNÞäÝ�ÚäÛ=Ý�æ�ã¡æ\Ü\úRÚ�Ü�à{åWÞäçRÝ�Þ�� û�ë��cóQãäØRÝ�ÞäÝ[Ü\ÞäÝNâRå�ÚäúQæºØCãäÞ�ÜhâQÚAÙVãAÙVö7ÙVãAõ#Ý�çQè7Ý�Ú�ï

ÿ"ÿ â&SQê7ê��Wê

Page 9: On the fly testing of regular patterns in distributed ... · On the y testing of regular patterns in distributed computations Eddy Fromentin, Michel Raynal, Vijay Garg, Alex Tomlinson

G ��� � @ �:! C �Q� J ������� �N�: � �QH ����� ��� � @ D j=�?��� � �.�:! H J � �� �

��� �

� �� ��� �

� �� ����

� ��

��� �� ��

� ��

� � �

2 wyiPz{f\m#� ;3°�v{m K�¸äfhmQ�bz?u7x�wygP�;g=¨·x\v{m�}?g9|�mEx ~}

� ������������ ��������������

���� ��#)���$�AI"�?�A#-�-%�/"%�

s�f\mEi]zb~§j�fn}?j=x\x\mEfh� C w§|²jÃ~cj=�{iPz?j=iPmª³�|�mExTg=¨�«�gPfW�{|7¶#�bm7¾?�{mQ��g]��j;�Pg{uEj=�{zb~cj=f\��n� �9�j¼¾?�bwyx\m|�xWj=x\m;j=z{x\gPk²j=x\gP�"¯N°�v{m´f\mEiPzb~cj=f²}?j=x\x\mEf\�½j=�?��xhv{m¼u7g]f\f\mQ|�}3gP�?�]wy�{iG¾?�bw�xhm¼|�xWj=x\mj=z{xhgPkÀj=x\g]��j=fhm�i=wy�PmE�±x\v{m#|hj=knm��?j=knmCl¯

��5� �^AG9��/$�$8(���)

Iº�_gPf7�bmEf�x\g�f\mQu7gPiP�bwL1EmÀj²}?j�x\x\mEf\�g]�¼j��]wc|�xhf�wy�{z{x\mQ�m7�{mQu7z{x�wygP�"� wyx�wc|#�{mQu7mQ|h|\j=f\�´x\g²~cj=�?m7~mE�PmE�bxW|�³�g]f�~�g{uEjR~µ|�x7j=x\mQ|7¶�«�wyx\v_|��bkT�?g=~c|�g=¨ ²¯.Iº�gPfW�bmEf�x\g²wyiP�{g]f\m�w�fhf\m7~ymE��j=�bxTmE�PmE�9x7|�³�gPf~yg{uEjR~ |�xWj=x\mQ|7¶Nx\v{m�mEkl}{x���|��bkT�?g=~��0�?m7~ygP�{i9|0x\g�l¯

°�v{m�~cj=�3m7~�~�wy�{i´¨Iz{�?u7x�w�g]���±jP|h|�g�uhwcj=xhmQ|�«�wyx\v´mQjPuhv±mE�PmE�bx U ³�fhmQ|�}{xQ¯{x\g²mQjPuhv�~yg{uEjR~ |�xWj=x\m�]¶·j�|�mExNg=¨3~cj=�?m7~c|���³ U ¶¡³�f\mQ|�}{xR¯��1³��=¶�¶W¯>=[gP�?|�w§�bmEf�w��{i�x\v{mCuEj=z?|hjR~�}?j�x\v�� SrU,WhUMXhUZY [,[M[ ���1³��T¶f\mE}{fhmQ|�mE�9x7|[xhv{mr|�mEx�� ] W ] X ] Y [M[M[�� ] D�� ��³ U D ¶��9¯"I��²gPx\v{mEfW| «�gPfW�{|���³���¶�wc|[xhv{mr|�mEx»g=¨·jR~�~"x\v{m«�gPfW�{|¿x\v?j=x�uEj=�±�3m#�{zbw�~c�èIf\g]k��%«�wyx\v,j�~�~¡}?g9|\|�w��b~ym�~cj=�?m7~�~�wy�{i9|E¯

�� � 67�=-%�/:�-%(8<>�;<"! A ?�A#-�-%�/"%�

s�}?j=x\x\mEf\��C%w§|��]mEf�w�¾?mQ�´wy�¼j²�]wc|�x\f�wy�{z{x\mQ�ªu7gPkn}{z{xWj=x�w�g]� ~} w�¨�x\v{mEf\m�wc|�jÀuEj�z?|\jR~N}?j=x\v#�|�z?uhv;x\v?j=x#j=�´m7~ymEknmE�9x�g=¨ ��³��T¶ w§|©f\mQu7gPiP�bwL1EmQ�;�b�3Cn¯QIä¨�C%w§|©gP�±mE�]mE�9xW|K�$��wc|�j²}?j=xhv±g=¨�}��5@bw�¨1CÉwc|�g]�²~�g{uEjR~ |�xWj=x\mQ| �$wc|�jT}?j=x\v�g�¨ ����=¯

î �·ÿ�îcù

Page 10: On the fly testing of regular patterns in distributed ... · On the y testing of regular patterns in distributed computations Eddy Fromentin, Michel Raynal, Vijay Garg, Alex Tomlinson

������� C���H�� C� � J � D������$C DQF>H�� @�� � ��� C @�� +J ��� J� � @ J��%F � C���� �"!�#0F � � � J�� � �

���� ����AG.;?!$8�/*

� �òj=kl}b~�m J=[gP�?|ºwc�bmEf�x\v{m�¨äg=~�~yg=«�wy�{i�|�mQ¹]z{mE�?u7m#g�¨"~yg�uEjR~¡}{f\mQ�]wcuEj=x\mQ|�� W S� W � X � Y +HGb�.-b�"oQ�?/�¯{°�vbwc||�mQ¹]z{mE�?u7mn�bmQ|\u7f�wy�?mQ|�j�}?j=x\x\mEf\�²x\v?j=x¿w§|0�PmEf�w�¾?mQ��w�¨[xhv{mEf\m�wc|CjnuEj�z?|\jR~·}?j=xhv²w�� ����0w��´«�vbwcu\v

x\v{mEfhm�wc|[j�~yg{uEjR~1|�xWj�x\m�g=¨ C \� W � |\j=x�wc|º¨ä�]w��{i � W ¨Ig=~�~yg=«�mQ�T�9�nj0~yg{uEjR~�|�x7j=x\m�g=¨ C \� X�� |\j=x�w§|�¨I�]wy�{i� X ¨äg=~�~yg�«�mQ�²�b�±j�~yg�uEj�~ |�xWj=xhmCg=¨�C \� Y�� |hj=x�wc|º¨ä�Pwy�{i � Y ¯s�~�~"~yg{uEjR~·|�xWj=x\mQ|»g=¨C \� D � x\v?j=x�|\j=x�wc|º¨ä� � D j�f\m�~cj=�3m7~ymQ� � D ¯Q3�x\v{mEfC|�x7j=x\mQ|[j�f\m�~cj=�3m7~ymQ�#�K¯� W wc|0x\f\z{m�w�¨[x\v{mEf\m�m7�bwc|�xCjnuEj�z?|\jR~·}?j=xhv�x\v?j=x�kÀj=xWuhv{mQ|�x\v{m�fhmEiPzb~cj=fCm7�{}{f\mQ|\|�w�g]� � W � X � Y ¯

� �òj=kl}b~�m E=[gP�?|ºwc�bmEf�x\v{m�kngPf\mC|�gP}{vbwc|�x�wcuEj=x\mQ�²}{f\mQ�]wcuEj=xhm�� X S +�� W / � X +�� Y / ��� +����C/?«�v{mEfhm�� D j=�?� � jj=fhm�~yg�uEj�~ }{f\mQ�]wcuEj=xhmQ| +H-J/�¯�� X wc|0x\f\z{m�w�¨[x\v{mEfhm�wc|CjluEj=z?|\jR~N}?j=x\v²wy�;«�vbwcu\v;jP|0�?m7¨ägPf\m#xhv{mEf\mwc|Tjl~yg�uEjR~�|�xWj=xhm � X wy� C \� X�� |\j=x�w§|�¨I�]wy�{i � X j=�?�ªjl~�g{uEjR~�|�xWj=x\m�����wy� C \� � � |\j=x�wc|º¨ä�]w��{i � �j=�?�ªjP�{�]wyx�wygP�?jR~�~y�_gP�ªx\vbwc|#uEj=z?|\j�~[}?j=x\vjR~�~[~yg{uEjR~¿|�x7j=x\mQ|�}{f\mQu7mQ�]wy�{i � X �bg±�{g]x��PmEf�w�¨I��� W �jR~�~�~yg�uEj�~ |�xWj=x\mQ| w����3mEx�«µmEmE�f� X j=�?��� � �bg#�{gPx��PmEf�w�¨ä��� Y j=�?�²jR~�~?~yg{uEjR~·|�xWj=xhmQ|¡¨äg=~�~�g=«�wy�{i � ��bg²�{gPx��PmEf�w�¨ä��� � ³�|�mEm + -0/�¨IgPf0kngPf\m#�bmExWj�w�~c|�j=�?g]z{xCj=x\gPk�w§u�|�mQ¹Pz{mE�?u7mQ|0g=¨N}{f\mQ�]wcuEj=x\mQ|7¶W¯s)~yg�uEj�~ |�x7j=x\m#xhv?j=xr|hj=x�wc|º¾?mQ|�j�~�g{uEjR~[}{f\mQ�]wcuEj=xhm��²g]f � w§|0~cj=�3m7~ymQ��b��x\vbwc|�}{f\mQ�]wcuEj=x\mP¯

b�g{uEjR~ |�xWj=x\mQ| g=¨ j�}{f\g{u7mQ|\|�gP�²«�vbwcu\v´�{g�~�g{uEjR~·}{fhmQ�]w§uEj�x\mQ| � gPf��pj�f\mr�bm7¾?�{mQ�´j=f\m0~cj=�?m7~ymQ��R¯�� X wc|»x\f\z{m�w�¨·xhv{mEf\m�wc|�jTuEj=z?|\jR~"}?j=x\v²f\mQu7gPi]�bw21EmQ�²�b�nx\v{m�¨äg=~�~yg=«�wy�{inf\mEiPzb~cj=f�m7�{}{f\mQ|\|ºwygP��;³ � X o � Y o � �!o!� � ¶ B � X ³"� W o � X o � � o � � ¶ B � �#³#� W o � X o � Y o � �Q¶ B ¯

$ ��� ��� ����� ��� ���� #����� � ��,� ��� �?��� *

���� �����&%1�!('-%��*M-%A#-%�TAG�@-B<>.;A#-B<>�

b�mEx�C��3m�x\v{mn¾?�bwyx\m±|�xWj=x\mÀj�z{x\gPkÀj=xhgP��³��bmEx\mEfhkTwy�bw§|�x�wcu�gPf��{gPxE¶#�bmQ|\u7f�wy�bwy�{i_xhv{mÀf\mEi]zb~§j�f}?j=xhx\mEf\�;«�mÀj=f\m�wy�9xhmEf\mQ|�x\mQ�´wy�"¯ C S ³#' � ��( � �)'+*��),P¶�«¿w�xhv�;-'�x\v{mn|�mEx�g�¨¿|�xWj�x\mQ|E� �x\v{m|�mEx¿w��{}{z{x�|��bkT�?g=~c|©³äwy�?uh~�z?�]wy�{i �7¶7�.( � x\v{m�wy�bwyx�wcjR~µ|�xWj=xhmP�/' * xhv{m#|�mEx�g=¨¡¾?�?jR~ |�x7j=x\mQ|�j=�?�0,x\v{m�x\fWj=�?|�w�x�w�g]�²¨Iz{�?u7x�wygP� X ¯

2 w�i]z{f\m­�½�]wc|�}b~cjR��|¼x\v{m¾?�bwyx\m�|�xWj=x\m_j�z{x\gPkÀj=xhgP�'jP|\|�g�uhwcj=x\mQ�É«�wyx\v)x\v{mG}?j=x\xhmEf\��g=¨m7�?j=kn}b~ymp�pw�� PPmQu7x�wygP�,�ò¯á�?¯

��5� 1 <�"32(8�!)+<�� -%�!� 465�<�"87:9<;h"%�# ���:�-%(�<��Iº�pg]fW�bmEf·xhgC«�gPf;7�gP��x\v{m�K�³�g]f&P{¶�¸äf\mQ�bz?u7x�wygP�"�=}{fhg�u7mQ|\|�mQ|Nj=f\m[mQ¹]zbwy}{}?mQ�T«¿w�xhv�j0�PmQu7x\g]f·uh~yg�u 7|��{|�x\mEk +yoPoC/�¯=�[jPuhv�}{f\g{u7mQ|\|^C D wc|Cj=z{i]knmE�9xhmQ�²«�wyx\v±jT�PmQu7x\g]f>=@? D +yo [,[M[ 0Q/"«�v{g9|�m�m7~ymEknmE�bxW|

��A ÙVÚ"ÚäúQæºØ�ãäØ�ÜhãCBED)F#G�HJIKLNMCO ß�ÙVãäØ MCOQP�M Ü\âRç�BED<F#RSHJIKL �TD �NéyåWÞ"Ü�àáà?Úäã�Ü\ãäÝ�ÚUDWV M ï

ÿ"ÿ â&SQê7ê��Wê

Page 11: On the fly testing of regular patterns in distributed ... · On the y testing of regular patterns in distributed computations Eddy Fromentin, Michel Raynal, Vijay Garg, Alex Tomlinson

- ��� � @ �:! C �Q� J ������� �N�: � �QH ����� ��� � @ D j=�?��� � �.�:! H J � �� �

������� � ��� � ��� � �� ��

� �� �

����� � ��� � �� � ����� ������� � ��� � ��� � ����

2 wyiPz{f\mp� ;9s�¾?�bwyx\mT|�xWj=xhmrj=z{xhgPkÀj=x\g]�n¨ägPfCj=�±j�x\gPkTwcu�|�mQ¹]z{mE�?u7m

j=fhm[wy�bwyx�wcjR~�wL1EmQ�nxhg g{¯��[j]u\v�x�wyknm»w�xN}{fhg��bz?u7mQ|Nj=��mE�PmE�bxQ� =@?�DA+ m /Pwc| wy�?u7f\mEknmE�bx\mQ���b�pj0}?g9|ºwyx�wy�Pm�=jR~yz{mP¯/�[jPuhv²knmQ|\|\j=i]m u�}bwyiPiP�b�?jPu;7{|»x\v{m���jR~yz{m�=@?R³4u´¶·g=¨¡x\v{mC�]mQu7x\gPfµuh~yg{u;7²g=¨�wyxW|�|�mE�?�bmEfR¯�½v{mE�;wyx#fhmQu7m7w��]mQ|#j²knmQ|\|hj=iPmQu;��}{f\g{u7mQ|\|�C D z{}��{j=x\mQ|�=@? D xhg u { ]�³#=@? D �)= ?R³4u´¶h¶ Y ¯ �½v{mE�wyx�j=f\f�wy�PmQ|�j�x C D �3knmQ|\|\j=i]mu�jP�{�{|�jlx\fWj=�?|ºwyx�wy�]wyx��²mQ�biPm�x\gnx\v{m�K�³�g]f>P{¶º¸äf\mQ�bz?u7x�wygP�´w�¨µj=�?�gP�b~y�Ãw�¨�= ? D�� =@?R³4u´¶ � +yoE�:/�¯ I��±xhv?j=xCuEjP|�m�x\vbwc|�f\mQu7m7wy�Pm�wc|0w�i]�{gPf\mQ�èIfhgPk�x\v{mT}?g�w��bx�g=¨[�PwymE«g=¨Nx\v{m#�bmEx\mQu7x�w�g]�"¯.Iº�±x\v{m�¨äg=~�~yg�«¿w��{i3�?«�m#�bgn�{gPx��bmQ|\u7f�wy�?m��PmQu7x\gPfCuh~yg{u;7�k²j=�?j=iPmEknmE�bxQ¯

�� � ������ ���-%�/:�-%(8<�� AG$8)�<>"%('-%��.

s�u7gP�9xhf\g=~�~ymEf �����@D¡w§|�|�z{}?mEf�wykn}3g9|�mQ�;gP�´mQjPuhv,}{fhg�u7mQ|\|^C>D[g=¨[x\v{mTz{�?�bmEf�~y�]wy�{i,u7gPkn}{z{x7j=¸x�wygP�"¯QI��jP�{�]wyx�wygP�;x\g²�PmQu7x\g]fruh~yg{u;7{|E�"����� D kÀj=�?j=iPmQ|0j=�,j=fhfWjR��� D + ' /¡g=¨[�?gbg=~ymQj=�;��jR~yz{mQ|«�wyx\v;x\v{m�¨äg=~�~yg�«¿w��{i�klmQj=�bwy�{i ;�� D +�(?/�wc|�x\f\z{m�wlk_x\v{mEfhm#wc|�j²uEj=z?|\jR~N}?j=x\v ��mE�?�]w��{i;j=x�x\v{mu7z{f\fhmE�9x0~yg�uEjR~[|�xWj�x\m�g=¨�C D ³�g]fCj=x�x\v{m©~cjP|�x�mE�PmE�bx0w�x�}{f\g{�bz?u7mQ�;|�z?u\v´x\v?j=xCj�«µg]fW�²g=¨��1³��T¶}{z{xW|^CÉwy�,|�x7j=x\m�(b¯

� D +�( � /¡wc|�wy�bwyx�wcjR~�~y�_x\v{mlgP�b~y�,mE�bx\f\�´«�wyx\v�=jR~yz{m������ U ¯ ����� D m7�{mQu7z{x\mQ|©x\v{mT¨äg=~�~�g=«�wy�{i|�x7j=x\mEknmE�bxW|%;,� W ��� X j=�?� � Y ¯5PPxWj�x\mEknmE�bx�� W w§| m7�{mQu7z{x\mQ��mQjPuhv�x�wyknm�j=��mE�PmE�bx UhD wc| }{f\g��bz?u7mQ��b��j�}{f\g{u7mQ|\| C>D[³�g]f[mQjPuhvÀx�w�klm#j#�{mE«-~yg{uEjR~ |�xWj�x\m �hD wc|�mE�bx\mEf\mQ�3¶W¯QPPxWj=xhmEknmE�9x7| � X j=�?� � Yj=fhm#jP|\|�g{uhwcj=x\mQ��«¿w�xhv�mQjPu\v±u7g]knkTz{�bw§uEj�x�wygP�±knmQ|h|\j=iPmP¯

� � Ü ��ÙVÚ"çQå7âQݻݺàVÝ � Ý�âEã¡Û�Ý�Þ"ݺàVÝ � Ý�âEã�ï�����! #"���� B�$ H�%'&)( V�û+*�*!*�, � ���! � ( �.- ��� B�$ H � ( �9ÜhâQç0/1( V�û2*!*!*�, � ���! � ( � "���� B�$ H � ( �yï

î �·ÿ�îcù

Page 12: On the fly testing of regular patterns in distributed ... · On the y testing of regular patterns in distributed computations Eddy Fromentin, Michel Raynal, Vijay Garg, Alex Tomlinson

������� C���H�� C� � J � D������$C DQF>H�� @�� � ��� C @�� +J ��� J� � @ J��%F � C���� �"!�#0F � � � J�� � �

� W ;#�[jPuhv�x�wyknm#j=��mE�PmE�bx UZD w§|¿}{f\g��bz?u7mQ�´�b� C D ;P§Â9¢�� S ��³ U Dä¶�@�� gPf�� S �1³��hDº¶���ºÇ1£RÂ9¤?¥�� ] � � È"Ç� \ + ' /�; S ³�� { � U � [,[M[ ��� { � U ¶;@��Ç�£RÂ9¤?¥��!( � '  R4"¥��_¢���¤{¢�� D +�(?/�È Ç��Ç�£QÂb¤?¥�� � � ,]³#(���]�¶ È Ç � \ + �?/�; S ����� U Ç"È

Ç"ÈÇ"È�ºÇ1£RÂ9¤?¥�� ( � ' È Ç �xD +�(?/�; S� \���� � \ +�(?/ @òÇ�È

� X ; �+v{mE�3C D |�mE�?�{|�j�knmQ|\|\j=i]mu ;L �Cxhv{m�f\mEiPzb~cj=f�}?j=xhx\mEf\�²wc|�g]��mE�PmE�9x7|�¢��1Â#Nm7�{mQu7z{x\mp|�x7j=x\mEknmE�bx^� W «�v{mEf\m UZD w§|¿x\vbwc|C|�mE�?�ÃmE�PmE�bx0@e w�i]iP�9�?j]u;7 ��D¡gP�3u �3m7¨IgPfhm�wyx�wc|C|�mE�9x0@

� Y ; �+v{mE�3C>DNf\mQu7m7wy�PmQ|�jTkÀ|�iQu }bwyiPiP�b�?jPu 7PmQ��«¿w�xhv �©³4u´¶ ;L � u��bgbmQ|��{gPx�u7f\mQj=x\m#jTxhfWj=�?|ºwyx�wy�]w�x���mQ�biPm�¢���Â#N��Ç�£RÂ9¤?¥��!( � ' È Ç � D + (0/�; S � D +�(?/�����³�u´¶�+�(?/�@9Ç"È

L �Cxhv{m�f\mEiPzb~cj=f�}?j=xhx\mEf\�²wc|�g]��mE�PmE�9x7|�¢��1Â#Nm7�{mQu7z{x\mQ� W «0v{mEf\m UhD wc|�x\vbwc|0f\mQu7m7wy�Pm#mE�]mE�9xQ¯

���� � <>"%"%�/:�-%�!�/*�*f?�"%<< !

°�v{m²}{f\gbg=¨�wc|n�bgP�{ml¨IgPf�f\mEiPzb~cj=f�}?j=x\x\mEf\�?|©g=¨CmE�PmE�bxW|�³�j±|ºwykTw�~cj=fnfhmQjP|�gP�bwy�{i,uEj��_�3m��bgP�{m¨ägPf�f\mEiPzb~cj=f�}?j=x\x\mEfh�?|�g=¨»~yg�uEjR~�}{f\mQ�]wcuEj=x\mQ|7¶7¯=[gP�?|ºwc�bmEf#xhv{m K0¸äf\mQ�bz?u7x�wygP��jP|\|�g�uhwcj=x\mQ�¼«�wyx\vj´�]w§|�x\f�wy�{z{x\mQ�Gu7gPkn}{z{xWj=x�w�g]�"¯�b�mEx U �3mÀj��{g{�bmng=¨�x\vbwc|�}?j=fhx�wcjR~[gPfW�bmEf#j=�?� � c x\v{mn��j�~�z{mg=¨¡x\v{m#j=f\fWjR� ��jP|h|�g�uhwcj=xhmQ�²«�wyx\v�x\v{m�mE�PmE�9x U �9�nxhv{mC}{f\mE�]wygPz?|�jR~yiPgPf�wyx\v{k±¯=b�mEx � C�³ U ¶N�?mx\v{mT|�mEx�g=¨NuEj=z?|\jR~·}?j�x\v?|�mE�?�]wy�{i�j�x U ¯

°�v{m�}{f\gbg=¨ u7gP�?|ºwc|�x7|»wy�,|�v{g=«�wy�{iTx\v?j=x»¨ägPf�j=�9�²mE�PmE�bx U x\v{m�¨äg=~�~yg�«¿w��{il}{f\gP}?gb|ºwyx�wygP�,e»�wc|0x\f\z{mP¯

K 1 � c + (0/ wc|�x\f\z{m�wlk�x\v{mEf\mTm7�bw§|�xW|�j�uEj=z?|\jR~[}?j�x\v � � � C�³ U ¶C|�z?u\v;x\v?j=x ; q � �1³��T¶j=�?�Ãx\v{m�«�gPfW� q }{z{xW|�x\v{m#j�z{x\gPkÀj=xhgP�nwy�;|�xWj=x\m+(b¯

ÿ"ÿ â&SQê7ê��Wê

Page 13: On the fly testing of regular patterns in distributed ... · On the y testing of regular patterns in distributed computations Eddy Fromentin, Michel Raynal, Vijay Garg, Alex Tomlinson

oMg ��� � @ �:! C �Q� J ������� �N�: � �QH ����� ��� � @ D j=�?��� � �.�:! H J � �� �

K £QÇ�Ç��W¦ sCz{i]knmE�9x�mQj]u\vG}{f\g{u7mQ|\|C>D��9�j²¾1u7x�w�x�w�g]z?|�wy�bwyx�wcjR~�mE�PmE�bx U �D ~cj=�3m7~ymQ���E¯¡°�v{m}{f\gbg=¨"wc|��bg]�{mC�b�Twy�?�bz?u7x�wygP�±g]�Àx\v{m�fWj=�*7lg=¨·mE�PmE�bxW| wy��x\v{mrj�z{iPknmE�bx\mQ�8K0¸äf\mQ�bz?u7x�wygP�;³ºx\v{mfWj��*7Àg=¨[j=��mE�PmE�bx�wc|0x\v{m�~ymE�{iPx\v±g�¨ x\v{m�~ygP�{i]mQ|�xCuEj=z?|\j�~·}?j=x\v�mE�?�]wy�{i±j=x U ¶7¯

��z{mpxhgnwy�bwyx�wcjR~�wL1Qj=x�wygP��g=¨�j=f\fWjR�{| � D ��x\v{mT}{f\gP}3g9|ºwyx�wygP�;wc|�x\f�w��]wcjR~�~y�x\f\z{m�¨ägPfrj�~�~Nwy�bwyx�wcjR~mE�PmE�bxW|0«�vbwcu\v´v?jR�Pm�fWj=�*7oP¯ 90g=«'jP|\|�z{k�w��{i²}{f\gP}3g9|ºwyx�wygP�,� � w§|0x\f\z{m©¨Ig]fCjR~�~·mE�PmE�bxW|0«�wyx\vfWj��*7n~ymQ|\|�xhv?j=���b�{u7gP�?|ºwc�bmEfCj���mE�PmE�9x U g=¨¡fWj=�*7��b¯=�N�PmE�bxW|E�bgPxhv{mEfµxhv?j=� U �b�?m7~ygP�{i=wy�{i²x\gnj}?j=xhv�g=¨ � C�³ U ¶»v?jQ�]m#jTfWj=�*7l~ymQ|\|�xhv?j=� �P¯?°¿«µgnuEjP|�mQ|�v?jR�Pm�x\gn�3mpu7gP�?|ºwc�bmEf\mQ�0;

oP¯ U wc|�j=�²wy�9x\mEfh�?jR~·gPfCjl|�mE�?��mE�PmE�bxQ¯I�x»¨äg=~�~�g=«C|¿x\v?j=x U v?jP|»gP�b~y�Àg]�{mC}{f\mQ�bmQu7mQ|h|�gPf U�� �{j=�?� U�� v?jP|�fWj��*7�����oP¯QPPxWj=x\mEknmE�bx����o�uhv{mQu 7�|TjR~�~C}3g9|\|ºwy�b~ym±x\f7j=�?|ºwyx�wygP�?|©¨IfhgPk jR~�~0j�z{x\gPkÀj=xhgP�_|�xWj�x\mQ|J( � |�z?uhv�x\v?j=x� c O + ( � /N«�wyx\vjR~�~[~cj=�3m7~§|�g=¨ ��³ U ¶W¯QI�x�¨äg=~�~yg=«C|�x\v?j=x�x\v{mnj=fhfWjR� � c �"jP|\|�g{uhwcj=x\mQ�´«�wyx\v U«�v{g9|�m�f7j=�*7nwc|��b��|hj=x�wc|º¾?mQ|0}{f\gP}?gb|ºwyx�wygP� � � ¯

�{¯ U wc|�jTf\mQu7m7wy�Pm#mE�]mE�9xQ¯I��nxhvbw§|»uEjP|�mP� U v?jP|¡x�«�g�}{f\mQ�bmQu7mQ|\|�gPfW| U�� j��?� U���� j=�?�nj=x¡~ymQjP|�x[gP�{m�g�¨1x\v{mEk�v?jP|¡fWj=�*7����oP¯<PPxWj=x\mEklmE�9x � Y knmEf\iPmQ|�� c O j=�?� � c O O wy�bx\g±j=�´wy�9x\mEfhknmQ�]wcj=x\mÀj=fhfWjR��«�vbwcu\v;wc|z?|�mQ��jP|�x\v{m²wy�{}{z{x�j=f\fWjR�;«�v{mE� � Y uEjR~�~c|f� W ¯N°�v{m±|hj=knm²f\mQjP|�gP�bwy�{i_j]|�wy�½uEjP|�m;oj=}{}b~�wymQ|�j=�?�²}{f\gP}3g9|ºwyx�wygP� � � wc|��]mEf�w�¾?mQ�²¨ägPf U ¯

I�x�¨äg=~�~yg�«�|�}{f\gP}3g9|ºwyx�wygP� � � wc|�xhf\z{m�¨Ig]fCjR~�~·mE�PmE�bxW|�g=¨NfWj=�*7 �P¯�

����������� �����

s�|�knmE�bx�wygP�{mQ�-wy�'|�mQu7x�wygP�'�{�»~�wy�*7PmQ�É}{f\mQ�]wcuEj=x\mQ| + G{��-b��oQ�5/#j=�?��j�x\gPkTwcu;|�mQ¹]z{mE�?u7mQ|�g=¨}{f\mQ�]wcuEj=xhmQ| +H-?/·uEj����?m�m7�{}{f\mQ|\|�mQ�´jP|»f\mEiPzb~cj=f�}?j=xhx\mEf\�?|E¯9I���xhv{m#uEjP|�m�g=¨"~�wy�*7PmQ�Ã}{f\mQ�]wcuEj=x\mQ|E�x\v{m±j]|\|�g{uhw§j�x\mQ��j=z{x\gPk²j=x\gP�;wc|�~�wy�{mQj=f�j=�?�GknmQ|\|hj=iPmQ|�v?jR�PmÀg]�b~��Gx\g;}bwyiPiP�b�?jPu 7_x\v{m²~cjP|�xf\mQu7g]iP�bwL1EmQ�,|�xWj=x\m�g=¨Nx\vbwc|Cj=z{xhgPkÀj=x\g]�"¯

I�� + �0/º�� Pj=fW�GmEx²jR~�¯N}{f\gP}3g9|�m�x\g_uhv{mQu 7G¨IgPfTf\mEi]zb~§j�fÀ}{f\g]}?mEf\x�wymQ|Tg�¨©�]wc|�x\f�w��{z{xhmQ�+u7g]kn¸}{z{xWj�x�wygP�?|E¯·°¿v{mQ|�mn}{f\gP}3mEf\x�wymQ|#j�f\mÀ�bmQ|\u7f�wy�3mQ��b�´¾?�bw�xhm�|�x7j=x\mnj=z{x\gPk²j=xWj{¯?° g,j��?|�«�mEf�x\v{m¹]z{mQ|�x�wygP� 'hwc|lx\vbwc|n}{f\g]}?mEf\x��G�PmEf�w�¾?mQ�-�9��x\v{m;�]wc|�x\f�wy�{z{x\mQ�½u7gPkn}{z{x7j=x�wygP����)� ]j=fW�GmEx�jR~�¯u7gP�?|�w§�bmEf�x\v{m�~cj=x\x�w§u7m�g�¨·i=~ygP�?jR~·|�xWj�x\mQ|»f\mE}{f\mQ|�mE�bx�wy�{iÀjR~�~·}3g9|\|ºwy�b~ym#gP�?|�mEf\��j=x�w�g]�?|�g=¨·x\v{m#�]wc|�¸x\f�w��{z{xhmQ��u7gPkn}{z{x7j=x�wygP�½³�j=�GgP�?|�mEfh��j=x�wygP� wc|nj;}?j=x\vGwy��x\vbwc|�~cj=x\x�wcu7m²¨äf\gPk x\v{m²wy�bwyx�wcjR~#x\gx\v{m©¾?�?jR~Ni=~ygP�?jR~[|�xWj=x\m + � / ¶W¯ '?PPgPklm0)À|\j�x�wc|º¨ j]u7x�wygP��wc|�uh~§j�w�klmQ�±«0v{mE�¼j�x�~ymQjP|�x�gP�{m#}?j=xhv±g=¨x\v{m�~§j�x\x�wcu7mTwc|�f\mQu7g]iP�bwL1EmQ�;�9�´x\v{mÀj=z{xhgPkÀj=x\g]�±«�v{mEf\mQj]| '7mE�PmEf\�*)À|hj=x�wc|º¨�jPu7x�wygP�;wc|�uh~cjRwyknmQ�«�v{mE�GmQjPuhv_}?j�x\vg=¨�x\v{mT~cj=xhx�wcu7m²w§|©f\mQu7gPiP�bwL1EmQ�G�b�;x\v{m�j�z{x\gPkÀj=xhgP�G³�x�«µg±�]wc|�x�w��?u7xT}?j=xhv?|g=¨�x\v{mn~cj=xhx�wcu7m±uEj=�_�3m±jP|\|�g{uhwcj=x\mQ�ª«�wyx\vGx�«�g;�]w§|�x�wy�?u7xÀ|�mE�bx\mE�?u7mQ|T�?g]x\v­j]uEu7mE}{x\mQ�G�9�ªx\v{m

î �·ÿ�îcù

Page 14: On the fly testing of regular patterns in distributed ... · On the y testing of regular patterns in distributed computations Eddy Fromentin, Michel Raynal, Vijay Garg, Alex Tomlinson

������� C���H�� C� � J � D������$C DQF>H�� @�� � ��� C @�� +J ��� J� � @ J��%F � C���� �"!�#0F � � � J�� � o]o

j=z{xhgPkÀj=x\g]��¶W¯5I��²gPz{fµj�~�i]gPf�wyx\v{k xhv{mC�PmEf�w�¾1uEj�x�wygP�nwc|��bgP�{mP�]gP�Àxhv{m�Ê?�P�bgP�nx\v{m�}?j=x\v?| g=¨"x\v{m}?j=fhx�wcjR~·gPfW�bmEf0iPmE�{mEfWj=x\mQ�²�b�²x\v{m#m7�{mQu7z{x�wygP�"¯

� ()����(�±�� ��"���

°�vbwc|�}?j=}3mEf#v?jP|0wy�bx\f\g{�bz?u7mQ�_j´uh~§j]|\|�g=¨��?mEv?jR�]w�g]fWjR~µ}?j�x\x\mEf\�?|0¨ägPf#�]wc|�x\f�wy�{z{x\mQ�Gu7gPkn}{z{x7j=¸x�wygP�?|K¯ PPz?uhv±}?j=xhx\mEf\�?|�j=f\m#uEj=z?|\j�~ |�mQ¹]z{mE�?u7mQ|�g=¨ fhm7~�mE�=j=�bx�mE�PmE�9x7|�³�gPfCuEj�z?|\jR~ |�mQ¹]z{mE�?u7mQ|�g=¨~yg{uEjR~ |�xWj�x\mQ|Nx\v?j�xµ|\j=x�w§|�¨I�À|�gPknm�}{f\mQ�]wcuEj=x\mQ|7¶[�bm7¾?�{mQ���b�Àjr¾?�bw�xhm#|�xWj=x\m�j=z{x\gPkÀj�x\gP��³�v{mE�?u7mx\v{mT�?j=klmpfhmEiPzb~cj=f�}?j=x\x\mEfh�?|7¶W¯�°�v{mEgPf\mEx�wcuEjR~[fhmQ|�zb~yxW|�³�j=�3gPz{x#u7gPkn}b~ymEknmE�bxWj=f\�P��z{�bwygP�"��mEx7uR¶gP�²¾?�bwyx\m#|�xWj=x\mCj�z{x\gPkÀj=x7j#uEj=��|ºwykn}b~�w�¨I��x\v{m�x7jP|�7Tg=¨ �bmQ|ºwyiP�bwy�{i�j=�?�l�PmEf�w�¨I�]wy�{iÀ|�z?uhv��?mEv?j=¸�]wygPfWjR~�}?j=x\x\mEf\�?|K¯=sC�Àj�~�i]gPf�wyx\v{k xhv?j=x[�bmEx\mQu7xW| x\v{mQ|�m�f\mEi]zb~§j�f[}?j=x\xhmEf\�?|¡gP�nx\v{m¿Ê?�pv?j]|N�?mEmE�}{f\g]}?g9|�mQ� @�w�x0�{mEmQ�{|��{m7wyx\v{mEfru7g]kn}b~ym7�Ã�{j=x7jp|�x\f\z?u7x\z{f\mQ|0³�|�z?u\v±jP|�j�~cj=xhx�wcu7m=¶W�b�{gPf�jnu7mE�9xhfWjR~kng]�bw�xhgPfQ���{gPf#jP�{�]wyx�wygP�?j�~µknmQ|\|hj=iPmQ|�@òwyx�gP�b~y�,fhmQ¹Pzbwyf\mQ|©x\v?j=x�mQjPuhv;knmQ|\|\j=i]mp}bwyiPi]�9�?jPu 7{|�j�3g9g=~ymQj=�±j�f\fWjR�n³�«0v{g9|�m�|ºwL1Em�wc|»x\v{m��9z{kT�?mEf�g=¨·|�x7j=x\mQ|Ng�¨·x\v{m�¾?�bwyx\m#|�x7j=x\mCj=z{xhgPkÀj=x\g]��¶·j=�?�jT�]mQu7x\gPfCuh~yg{u;7²w�¨[uEj=z?|\jR~·g]fW�bmEf�wc|��{g]xµmE�?|�z{f\mQ���b��x\v{m�z{�?�bmEf�~y�]w��{i±|���|�xhmEk±¯

sC�Gwykn}b~ymEknmE�bxWj=x�wygP�-g=¨Cx\vbwc|n�bmExhmQu7x�wygP�+jR~yiPg]f�wyx\v{k wc|nu7z{f\f\mE�bx�~y�ªw��-}{f\gPiPfhmQ|\|©w���g]z{f�]wc|�x\f�w��{z{xhmQ�,�bmE�{z{i]i=wy�{in¨�jPuhw�~�w�x��,+ � /�¯

� ��� �'�� ������#��/��� � ���

�m�j=f\mliPfWj=x\m7¨äzb~µxhg��3#¯;%�j=�?j=g��i�~�z"�&=G¯;K0z{f�¾?�­j��?� =N~�¯ Pj�fW�;¨ägPf©w��bx\mEf\mQ|�x�wy�{i¼�]wc|\u7z?|h|ºwygP�?|j=�3gPz{xC�]wc|�x\f�w��{z{xhmQ�,�bmExhmQu7x�wygP�±g=¨¡}{f\mQ�]wcuEj=x\mQ|E¯�°�vbwc|�«�gPf;7nv?j]|��?mEmE�;|�z{}{}?gPfhx\mQ�²wy�±}?j�f\x��9�x\v{m =[gPknkTwc|\|�w�g]�,g�¨ �Nz{fhgP}?mQj=� =[gPknkTz{�bwyx�wymQ|�z{�?�bmEfp�NP9e[� I�° e f\gPiPf7j=knknm�%µ�¿s G]�:G%g³ %�� 3�s � =[s�P9°�¶W� �9�xhv{m32{f\mE�?uhv =$9���Pz{�?�bmEf²x\v{m�iPfWj��9xneNj=fWj�~�~ym7~C° fWjPu7mQ|nj=�?�G�b��j2òf\mE�?u\v{¸�I�|�fWj=m7~�wNiPfWj=�bx�gP�,�]wc|�xhf�wy�{z{x\mQ�±u7gPkl}{z{x�wy�{i?¯

� ��� ��!����'�*�$�

+yoF/ �3#¯ %�j=�?j�g��i=~yzj=�?�T¯ =;j=f;1Ezb~�~yg?¯ � � � %JL � C �Q� DGH��9�;�QH � � � CF ��� �QJ� � @ J��%F � C��� ? � C0!� ��� F � �"�:! C �.� �GH DC� � D C�# � � � � !'CCD � � � J� !� � J ��� JL � @ J��%F � CC�� ? � C0!� �Qu\v?j�}{x\mEf·�3¯Ps�= =eNf\mQ|h|E�=2{f\gP�bx�wymEf PPmEf�wymQ|E� P?¯ {¯Q=±zb~�~ymE�?�bmEf�[��¯§��³WoQ�P�]�b¶W¯

+V�J/ �3#¯ %�j=�?j�g��i=~yzpj=�?��=G¯Q��jR�9�?j�~ ¯ '?PP}?mQuhw�¾1uEj=x�w�g]�Àj=�?�#�bmExhmQu7x�wygP�#g=¨?�3mEv?jR�PwygPfWj�~9}?j=x\x\mEfh�?|wy�_�]wc|�x\f�wy�{z{x\mQ�Gu7gPkn}{z{xWj�x�wygP�?|;){��I�� ��@ �0D � ����� ���� � � ���������%� � ���Q�8� � � � �%C @ C � D�C� � � C # C � �:� � H C�� �:! #NF � J � D���� @ � @ J � JEDC�QH � #:#NHKJ�D�� � J�� � �<PP}{f�wy�{iPmEf��NmEf�~cj=i PPmEf�wymQ|©w����mE}?mE�?�{j=�b~ym =[gPkl}{z{x�wy�{i?� P9j=� �0wymEiPg?��³ Pj=�bz?j=f\�P�"oR�P�=�{¶W¯

ÿ"ÿ â&SQê7ê��Wê

Page 15: On the fly testing of regular patterns in distributed ... · On the y testing of regular patterns in distributed computations Eddy Fromentin, Michel Raynal, Vijay Garg, Alex Tomlinson

oQ� ��� � @ �:! C �Q� J ������� �N�: � �QH ����� ��� � @ D j=�?��� � �.�:! H J � �� �

+V�J/ e¡¯K=C¯5%µj�x\mQ|[j=�?� {¯ =C¯��-w�~ymQ�bmE�"¯ '�K¿wyiPv{¸A~ymE�Pm7~·�bmE�{z{iPi=wy�{i#g�¨��]wc|�x\f�wy�{z{x\mQ�²|��{|�x\mEkÀ| ;=x\v{m�?mEv?jR�]w�g]fWjR~�j=�?|�x\fWjPu7x�wygP�#j�}{}{f\g9jPuhv.){��� �QF @C� �QH:� � ? � C0!� � � � ��� ��� � @ C �=³ ��mQu7mEkT�?mEfR�oQ�:-P��¶ �ò³��b¶�;V�]�P�����:GR�?¯

+á�"/ ��¯*=[gbgP}?mEfnj=�?� T¯&=,j�f;1Ezb~�~�g3¯4' =[gP�?|ºwc|�xhmE�9xT�bmEx\mQu7x�wygP��g=¨Ci�~�g]�?jR~µ}{f\mQ�]wcuEj=xhmQ|;){��I���$@ �0D ��� � ���<�� � � � @;B � �C# � � � � @ �QH HKC H*� � � � JL � @ J��%F � CC� � C � F D DQJ � D �=}?j=iPmQ|�o?G � �o � �?�QP9j=�bxWj.=[f\z*1P� =µjR~�w�¨IgPfh�bw§jò�"³ =;jR�P��oQ�P�{o�¶W¯

+V�J/�=C¯ �0wymEvb~���=C¯ Pj�fW���·j=�?� ò¯�T¯·�0j=kn}?g]�"¯4'E��mQjPuhv?j=�bw�~�w�x���j=�?j�~��{|ºwc|�gP���]w§|�x\f�wy�{z{x\mQ�m7��mQu7z{x�w�g]�?|;){�NI�� � � CC� @ 8� � � �$@ �:D � JED C����� ��� ��� � @ C � C�� C H�C# !'C �.�ä�{}?j�iPmQ|�GP�P� � G=�9�{�°"s�eNP*3 2N°©�9PP}{f�wy�{iPmEf �NmEf�~cj=i3�%b�9�= P G:G:-{���rj�z?�bm7~1j=�?� =gPz?j��{�?j=z?�TmQ�]wyx\gPfW|K�b³�sC}{f�w�~��oQ�P�P��¶W¯

+HGJ/ �p¯ T¯��rj�f\ipj=�?� %�¯#�_jR~c�bmQu;7]mEfQ¯�'���mEx\mQu7x�wygP�²g=¨"z{�?|�xWj=�b~ym�}{f\mQ�]wcuEj=xhmQ|»wy�±�]w§|�x\f�wy�{z{x\mQ�}{f\gPiPf7j=kÀ|;){��I�� � � C H � ������.� C @�� � � JE� � �QH � � � �%C @ C � D C � � � �QF � �:� � JE� � 8��� ��� ��� � @ C� C�D � � �GH�� D: � � ��� � CC� @ C � J�D��QH � �:! #NF � C @ D J C � D C �=}?j=iPmQ|»�P�P���{�:G=�?�"PP}{f�wy�{iPmEf �NmEf�~cj=i3�b�9 =�P GP�]�{� 9�mE« ��m7~yvbw��QI��?�]wcj{� ³ ��mQu7mEkT�?mEfQ�"oR�P�P�b¶W¯

+ � / =G¯>K0z{f�¾?�"��9#¯�e¡~ygPz*1EmQj�z"�#j=�?� =_¯���jR�9�?j�~ ¯ ' s �bmE�{z{iPi=wy�{i�x\gbg=~�¨IgPf;�]wc|�x\f�wy�{z{¸x\mQ� �[|�x\m7~�~�m;}{f\g]iPfWj=kÀ| ){��� �QF @C� �QH�� � � �:! #NF � C @ � �:!�!'F � J�DC� � JE� � ��³ =;jR�P�µoR�P�P�b¶W�o0Gb³���¶�;V�P�:- ���P�=�{¯

+H-J/ =G¯ K0z{f�¾?�"��9�¯1e ~�g]z*1EmQj=z"�·j=�?��=G¯���jR�9�?jR~�¯8'���mEx\mQu7x�wy�{i±j=x\gPk�w§u�|�mQ¹]z{mE�?u7mQ|�g=¨�}{f\mE¸�]wcuEj=x\mQ|»wy�,�]wc|�xhf�wy�{z{x\mQ�±u7gPkl}{z{xWj=x�wygP�?|;)ò� Iº� ��@ �?D �#� � ��� � @;B � �C# � ��� � @ �QHLHKC H � � �� J� � @ J��%F � C�� � C � F D DQJ � D �N}?j=iPmQ|²�P���9�b�{� P9j=���0w�mEi]g?��³ =;jR�P��oQ�P�]�b¶W¯É³���mE}{f�wy�bx\mQ� w��P:I���e�b�s�9 9�g]x�wcu7mQ|E� ��mQu=¯"oQ�]�P�b¶W¯

+V�J/�=C¯ ]j=fW���·°©¯ =mEf\g]�"���p¯ �p¯ =g]z{fW�{j=�"�Nj=�?���j�kn}?gP� {¯�T¯ '7s�iPmE�{mEf7jR~µj=}{}{f\g9j]u\vGx\gx\fWjPu7mE¸�uhv{mQu 7Pwy�{i�wy�À�]wc|�x\f�wy�{z{x\mQ��u7gPkl}{z{x�wy�{i�|���|�xhmEkÀ|;){�*Iº� ��@ �0D �������!� ���Q�8� � � � � � � �� � �{e¡g:1E�?j=�"�?e¡g�~§j��?����³ =z{�{mP�"oR�P�=�{¶W¯

+yo,g5/bN¯Pb j=kn}?g]f\xQ¯ 'E°»wyknmP�{uh~yg{u;7{|�j=�?�nxhv{mCgPf7�bmEf�wy�{ipg�¨�mE�]mE�9xW| wy�±j#�]wc|�x\f�wy�{z{x\mQ��|���|�xhmEk8){�� �:!�! F � JEDC� � J�� � ��� ��� C � � �,�3³ �zb~��P�¡oQ� � -b¶W�9�òo=³ � ¶�; �P�:-����"GP�b¯

+yo]o�/2�¯0=;j=x\x\mEfh�"¯ ' �0wyf\x\z?jR~bx�wyknmµj=�?�©i=~ygP�?jR~�|�xWj=x\mQ|�g�¨ò�]wc|�x\f�w��{z{xhmQ�p|���|�xhmEkÀ|;){�5Iº��=[g9|��?j=fW�����zbwy�9x\g]�"�r�0jQ�b�?jR~���j=�?����gP�?mEfhxQ��mQ�]w�xhgPfW|E��� � @ �GH HKC H � � � � J� � @ J��%F � C�� � H D:� @ J ��� ! �}?j=iPmQ|��òoQ�����P�"G{�I90gPf\x\v{¸AK0g=~�~cj=�?����³;3Cu7xhgP�?mEfQ� oQ�:-:-b¶7¯

+yoR�5/ %�¯Ve¡¯ =Ãw�~�~ymEf�j=�?� {¯ =»v{g=w�¯ '�%»f\mQj57b}?g=wy�bxW|[j=�?��v?jR~yx�wy�{i#wy���]wc|�x\f�wy�{z{x\mQ�²}{f\g]iPfWj=kÀ| ){�*I���$@ �0D �.-B_a` �����!� ���.�8� � � � � � � � � J� � @ J � F � CC� � �"!�#0F � J � D ? � C0!� � � ��� �J C �{³ =zb~y�P�oQ�:-:-�¶W�P}?j=i]mQ|��{o0G��{�P�P�{¯

î �·ÿ�îcù

Page 16: On the fly testing of regular patterns in distributed ... · On the y testing of regular patterns in distributed computations Eddy Fromentin, Michel Raynal, Vijay Garg, Alex Tomlinson

������� C���H�� C� � J � D������$C DQF>H�� @�� � ��� C @�� +J ��� J� � @ J��%F � C���� �"!�#0F � � � J�� � oR�

+yoR�5/ =G¯?��jR�9�?j�~ �3sT¯ P9uhvbwy}?mEfQ�"j=�?� P?¯1° gPz{mEi?¯�'E°�v{mTuEj=z?|\jR~·g]fW�bmEf�wy�{i�j��?|�x\fWjPu7x�w�g]�,j=�?�´j|ºwykn}b~ymn«�jR��x\gnwykn}b~ymEknmE�bx�wyx�){����� � � @ !�� � J�� ����@ �?D�CF � %J � D���C ��� C @ ��³WoQ�P�òo=¶W�?�%g ;V�=�9����P�%g{¯

+yoK�:/�sp¯ P9uhvbw�}3mEfQ� {¯ �NiPi�~�w���j=�?� sp¯ P9j=�?�bg:1P¯ '7s��{mE«�jR~yiPgPf�wyx\v{k x\g¼w�kl}b~�mEklmE�9x;uEj=z{¸|\jR~�gPfW�bmEf�wy�{i ){� Iº� {¯ =C¯ %»mEf\kng]�?�_j=�?�,=G¯"��jR�9�?j�~ �¡mQ�]wyx\gPf7|E�&��@ �?D �N� ��� � � @ B � �C#� � � J� � @ J � F � CC� � H D:� @ J ��� ! �"}?j�iPmQ|n�{oQ� ���P�P�{�<PP}{f�w��{i]mEf �NmEf�~cj=i3��b�9 =�P_�P�P�{�9�wcu7mP�2{fWj��?u7mP��³;PPmE}{x\mEkT�?mEfR�"oQ�:-P��¶W¯

+yoR�5/#��¯�P9uhv9«�j=f;1j=�?� 2�¯ =;j=x\xhmEf\�"¯ '���mEx\mQu7x�wy�{i�uEj=z?|\jR~#fhm7~§j�x�wygP�?|�vbwy}?|Ãw����]w§|�x\f�wy�{z{x\mQ�u7gPkn}{z{xWj�x�wygP�?|�; w���|�mQj�fWu\v-g=¨�x\v{m±v{g=~y�-iPfWjRw�~E){� � JL � @ J��%F � CC�4� �"!�#0F � J � D ��³WoR�P�=�{¶W�� ³��b¶7�P}?j=iPmQ|©oE�9���1o � �?¯

ÿ"ÿ â&SQê7ê��Wê

Page 17: On the fly testing of regular patterns in distributed ... · On the y testing of regular patterns in distributed computations Eddy Fromentin, Michel Raynal, Vijay Garg, Alex Tomlinson

Unite de recherche INRIA Lorraine, Technopole de Nancy-Brabois, Campus scientifique,615 rue du Jardin Botanique, BP 101, 54600 VILLERS LES NANCY

Unite de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES CedexUnite de recherche INRIA Rhone-Alpes, 46 avenue Felix Viallet, 38031 GRENOBLE Cedex 1

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

EditeurINRIA, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex (France)

ISSN 0249-6399