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.
17
Embed
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
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
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.
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 ¯
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
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¯
°�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¯
� �ò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 ¯
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¯
� 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 Ç"È
� 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@
°�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ê
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¯
�{¯ 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 ¯
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)