Top Banner
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.
17

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

Jan 28, 2021

Download

Documents

dariahiddleston
Welcome message from author
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
  • 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