SPAM : a multiprocessor execution driven simulation
Kernel
Alain Gefflaut, Philippe Joubert
To cite this version:
Alain Gefflaut, Philippe Joubert. SPAM : a multiprocessor execution driven simulation Kernel.[Research Report] RR-1966, INRIA. 1993.
HAL Id: inria-00074707
https://hal.inria.fr/inria-00074707
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, estdestinée au dépôt et à la diffusion de documentsscientifiques de niveau recherche, publiés ou non,émanant des établissements d’enseignement et derecherche français ou étrangers, des laboratoirespublics ou privés.
https://hal.archives-ouvertes.frhttps://hal.inria.fr/inria-00074707
ISS
N 0
249-
6399
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
appor t
de r ech er ch e
1 9 9 3
PROGRAMME 1
Architectures parallèles,bases de données,
réseaux et systèmes distribués
SPAM: A Multiprocessor Execution DrivenSimulation Kernel
Alain Gefflaut, Philippe Joubert
N˚ 1966mars 1993
������� ��� � �
���������������������� �����!"����$# % �&�'(��#���*) �
+,����(# - �.�/#0��
1�2436587 9�:@?BA�C,D@582858E@E�:�FHG6>�I�:KJ*?ML
NPORQTSTOVU*W(WYX,Z\[ ]�O_^_`badcRXe^fchgBOhXeiPjkUeO_U*lmlonXplmXeifqKrkUTi4Xei/s
������� ���# #0���(+« �"� ���e) �
+,����(# ���������"�$#�#���.��+ ��R�.���t�¤0����(# � �("� ) �
������|�������@�P�.0�/�
��º
����������� �/. �� �� &�! � ��) )+!�&� ���������� "!�#���&� "'(��# � ",-��. 02�� "!�#�� ��& #7� . Z
� � #$�P�|� ����&����$#
adW�gblUechadQu�a}i\QubX(Qe¡�ch`bX�W(Qi4c!/asKXpld{gkixXes�chXe^_`buba} gbXyi&¡¢QTO.jkXpOx¡¢QOhW�Ueuk^fX�XpU*£lmgkU*cRadQu0Q*¡�^©QTW(jbgBchXpO�i4{bi4chXpW�i©§��8u0cR`bX,XeU*ORld{s
����� ��� 0���� ����� !�� � & �
� �"�e) �
+,����(# � �/�*#��!��¬p���
���� ��������������� �!��"$#%�'&)(�*+�-,�� .!"|`BX|chOVUTs
����������� �/. �� �� &�! � ��) )+!�&� ���������� "!�#���&� "'(��# � ",-��. 02�� "!�#�� ��& #7� .
��������������������������������
��������������� ×Ú× �������������! ×Ú×ÕÖê�"$#&% �(' ÕÚê�"$#&% �)'� ×+* �&,.- � ×+* �/,0-�213� * -4�5!��� �613� * -��5���ßeÙeÕÚê�"$#/% �)' ßeÙeÕÚê�"7#&% �)'8 � 8 �
�9�:�;� ���:�
� ����� ��� 0���� ����� !�� � & �
|`bXXpzKXe^fgbcRadQTuQO_s
����������� �/. �� �� &�! � ��) )+!�&� ���������� "!�#���&� "'(��# � ",-��. 02�� "!�#�� ��& #7� . �
�amSTgbORX«i4`bQe�i&cR`bX.Xpz
����� ��� 0���� ����� !�� � & �
cR`kU*c�jbORXeixXpORXei�cR`bX!QO_s
����������� �/. �� �� &�! � ��) )+!�&� ���������� "!�#���&� "'(��# � ",-��. 02�� "!�#�� ��& #7� .
WYQKs
@ ����� ��� 0���� ����� !�� � & �
�������������
������������������ ������! �!��"#�����%$��&���������������'���(���)*��+-,/. ���!0�����1243�+65�*�4+7,98 $%�;:
A4$%0�"�;��0 8 " , 1�
243�+65B, �����%C�D 8 $%�;:J4��2�3�+65K, �����!C�D 8 $%��:L1
?
�% %0�= , 0�=��T �����
���������%������[�����7, I�\�]^�1H���S"���� 8 ����I 5�. &��!��H$O-��! ����"#�����!$P��&T���
������E , ���������Q�P��������1H_ �����2�2�3�+7, �0�`��P$PO , ���������S������L1�1�>���Q 8�8 $%�P P���V�����%$��&�O�$���������% ����"�"� �4 ����������4���H���
(���)�������[M, �����%C�D . ����0����aU ��+WPJ 1���R�����!C�D . ����0���� .!8 $%��:�R 8�8 ����0 8 "����;=Sb���$%��������'���
243�+65����!��[M, ���;�!C�D 8 $���:V0�c�E �4+WJ >V0PG�G!1#�����������P P���S����0 8 "�����=�b��4$%��������d���+)����[�e, ����0 8 "�1
?
f�����[��g43)����P* ���FN4 %0��S��=���0 8 8�8 ����0 8 "�����=S�! PA�����=�"���"T���b4��0�=���O ,�h A� 8 ���R$O�0jilk�"�m6= h Un�����!C�D�0�1�>�����������*
?
�adSgbOhX /k] j¥U*O_UeldlmXplMU*jbjBlda^U*chamQTu
����������� �/. �� �� &�! � ��) )+!�&� ���������� "!�#���&� "'(��# � ",-��. 02�� "!�#�� ��& #7� .
cR`bOhQgbST`0cR`bX,jkUeO_U*lmldXplMUejbjblma^pUechadQu§ �®`bXpu�ixg¥^`"U*u0QTjkXpOVU*cRadQTu0a}i&a}ihi4gbXes6qkadcViXpzKXp£^©gbchamQTu(a}i�sKXplUp{Xes,gbuKchadlkcR`bX.ixamW«gBlU*cRQTOP`¥UTi/^fQukixgbWYXes«Ueldlkch`BX!jbOhX
Z!Q ����� ��� 0���� ����� !�� � & �
������� ����
� %Ó � � â¢Ñ4ãÎã ' ÔÚÙeã¢àÎâ¢ß/"Ìà¢ÔÚê©ÙämÑ4à "Îç¤ÔÚÙ!à¢ç*Ñ�àÎÑ�'eàMãÎÑ��©ÒÑ4Ùpà������� ��� Ø�� %}Ó � � â¢Ñxã¢ã ' � ÓàoÓ�â¢ÑRÓ � ÔÚÙ�à¢ç*Ñ@à¢Ñ�'eàãÎÑ��©ÒÑ4Ùpà� Ø � Ø ��� Ø�� %}Ó � � â¢Ñ4ãÎã ' � ÓàoÓ�â¢ÑRÓ � ÔÚÙ�à¢ç*Ñ � Ó_à8Ó@ãÎÑ��©ÒÑ4Ùpà� Ø � Ø � ������ %}Ó � � â¢Ñ4ãÎã ' � ÓàoÓ #â¢ÔÚà¢ÑPÔÚÙ!à¢çeÑ � ÓàoÓ|ã¢Ñ&�©Ò�ÑxÙà��� Ø
� ��� Ø�� %}Ó � � âÎÑ4ã¢ã ' � ÓàoÓ�â¢ÑRÓ � ÔÚÙ�à¢ç*Ñ@ã¢à8Ó)"$#�ãÎÑ��©ÒÑ4Ùpà��� Ø
� � ������� %}Ó � � âÎÑ4ã¢ã ' � ÓàoÓ #â¢ÔÚà¢ÑPÔÚÙ!à¢çeÑPã¢à8Ó)"$#!ã¢Ñ��fÒ�Ñ4Ùpà��� Ø ��� � ��� Ø�� %}Ó � � â¢Ñ4ãÎã ' � ÓàoÓ�â¢ÑRÓ � ÔÚÙ�à¢ç*Ñ@ã¢çÓâ¢Ñ � ÒÑ4Ò�êfâL�|ã¢Ñ��fÒ�Ñ4Ùpà��� Ø ��� � � ������ %}Ó � � â¢Ñ4ãÎã ' � ÓàoÓ #â¢ÔÚà¢ÑPÔÚÙ!à¢çeÑPã¢çTÓ_â¢Ñ � Ò�Ñ4Òê©â"��ãÎÑ��©ÒÑ4Ùpà����
� %dÕÚê "$# Ô � ' ÕÚê�"7# %>�©ÕÚê©ëTÓ_ÕÚÕ����pÔÚã¢ÔÚëeÕÚÑMÑ��©Ñ4Ùpà ' �������
� %dÕÖê�"$# Ô � ' ßeÙeÕÚê�"$#! Ø ������"� %mëÓâ Ô � ' #Ó_ÔÚà êfÙ¤Ó|ëÓâ¢âÎÔÖÑxâ�%=�©ÕÚêfëÓ_ÕÚÕ����pÔÚã¢ÔÚëeÕÚÑÑ#�©Ñ4Ùpà '�Ø ��� �"� � à¢ç*Ñ�èTÓ_â¢ÑxÙàèeâ¢ê�"8Ñxã¢ã�#Ó_ÔÚàÎãßeÙpà¢ÔÚÕKÓ_ÕÚÕTÔÖàÎã�"ÎçeÔÚÕ � â¢Ñ4Ù!à¢Ñxâ¢Ò�ÔÚÙÓà¢Ñ
��� Ø ��� æ ��� %dèeÔ � ' "8âÎÑRÓ_àÎÔÖêfÙ!ê_ä¥Ó|Ù*Ñ�#è*â¢ê�"8Ñ4ãÎã� Ø ����� � à¢ç*Ñ�è*â¢ê�"8Ñ4ãÎã�ÔÚãçÓÕÚà¢Ñ � Ó_àMÓ|ãL�pÙ/"ÎçeâÎê©ÙeÔ�BRÓà¢ÔÚê©Ù!èTê©ÔÚÙpà���$��%&��� Ø ��� � à¢ç*Ñ�è*â¢ê�"8Ñ4ãÎã�çTÓ_ãà¢Ñxâ¢Ò�ÔÚÙÓà¢Ñ �
MU*rblmX,/kNPORQK^fXeihi/XpXpuKc_i
sKadubSXpXpuKc!chQch`bXYixamW«gbl}U*cRQTO.Ueuksixgki4j·Xuksbi�adcVi!Xpz
����������� �/. �� �� &�! � ��) )+!�&� ���������� "!�#���&� "'(��# � ",-��. 02�� "!�#�� ��& #7� . ZZ
ÆÍ 9 È 8DA@A Ê Á .�� 9;:��@9 ÍfÍ I ��� Ï ã¢à8Ó_âÎàà¢çeÑ@èTÓ_â¢ÑxÙàè*â¢ê�"8Ñ4ãÎã�êäBàÎçeÑ�Ó_è*èeÕÚÔ "xÓ_à¢ÔÚêfÙÆÍ 9 È �ÅÌÊ -TÅ��hÊ Å4Ë_Å&-pÊ Á � -yÊBÍ �=
Z ����� ��� 0���� ����� !�� � & �
A4$%0�"S�! %0�= , 0�=��� P����� ���#=���� . ���T$OSb���$���������H���
�b! 6� � ����O �����Oa>
�b! 6� �6. $�$� ,�� ����AYX9I9Z�1�> ��� ��� P���S����R 6b�b 8 0��P P��0P$6=��!0�A���=-0�=�b! �4 6�������������
N��0 8 � , I�1H�O�$P� , 0SET\ >V0�c#=�b��4$%�V0PG�G�1H�
����OTE��b! 6� � ����� � =������ � ��A�� =4� , 0�1!> ���S�����S=���������A!��=���O���$6��b��4$%�����'���
�N�0������ , ����O4C�D��&b���1V��P %�� 243�+65 i
;b! 6� ��8 $%��: , 0LU ����O�C�D����O � "� �4 �� 8 $%�9: � 0�"�1�>. ���P 6:@>
�P %�� J4��2�3�+65 i
;b! 6� � ��= 8 $%��: , 0. ���P 6:@>
�P %�� (���)�)����) i
;b! 6� �6. ����0���� , 0. ���P 6:@>
�P %�� +P)����[�4�W�)�3�+ i=�b���$%�PG�G > ��� 0�=�����������=4�S����d=���� . ���T$OSb���$%��������'���. ���P 6:@>
�P %�� f�����[����* i. ���P 6:@>
�P %���� ��2�[�* i ���Sb���$%�����S0�HN� %0���0�=��T$6=� �&=������4$6=�0�`� P��0P$6=��P 8�8 ���. ���P 6:@>
�P %�� [��)���������[�* i0�O , �b! 6� � ��=�" , 1�1V� ������������������=4" $POQ�P��� �0;��� 8 �!0P$6=F���b��!0�=���O ,�h �0���� 8 ��0P$�=���=�"���"4m6= h 1�>���!0�� , \�1�>
?. ���P 6:@>
"���O4 6� 8 �ji ���#�����%$��&�����O�������=����'���b4��0�=���O ,�h �����%$��&H����O����!��=����Mi \���k��m6= h Un����O�C�D����O � "� �� �� "�"����P��1�>. ���P 6:@>
??
??
�amSTgbORX � /6adW�gbl}U*chQO|XpzBU*WYjbldX