17
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. <inria-00074707> HAL Id: inria-00074707 https://hal.inria.fr/inria-00074707 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.

SPAM : a multiprocessor execution driven simulation Kernel · 2016. 12. 27. · ISSN 0249-6399 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE apport de recherche

  • Upload
    others

  • View
    1

  • Download
    0

Embed Size (px)

Citation preview

  • 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