run time - computer science at rpi › ~szymansk › papers › ppl95.pdf · execution-driven exact...

12

Upload: others

Post on 30-Jun-2020

9 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Run Time - Computer Science at RPI › ~szymansk › papers › ppl95.pdf · Execution-Driven Exact Exact Exact Exact Simulated Simulation Simulation Compile-Time Simulated Accuracy

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

3#415)6)41798;:=<?>A@�8B@ CD7E>A@�5�FHGI79JAK�LM5�FONP5)8B<Q@ R�KSUTV@ 8BKWNP79X�YQKZ3[K\41]^5�418B7�F?XK3#41K�L?@ X_>A@�5�F

� �� ����2#`baA`c��0����edZ���A!#f.� �������g��dZ`ba_"�h�2�/i������j$�kAl1m_n9oqp1r-rts uev$w�x=m_y)ul�z1{ � u$| }Un9~ | ���9�� �$n)m_}e�ex��$y\�ip_����pDx�n9�E�U�$}�� � ~q�$y � �� �$y�uUue�$o�m_�$}-��po�w\�e� ��� y9~ ��� y�u��U~��U�E�e�s��?}ep1ws���| �I|����E����1����D D�9s¡��E¢

£�������� ¤%��!I¥q� ������ ¤%��!#!1�U� �e¦£§��¤A��� �!�¥q� ��¤A��� �!�!1�U���e¦

,.� /-/�(�������U����![*$2V¥q¨Q��/-�c��©9ª)!�� ��� �^¦

«)¬t­ F.>�4�5�L?®QX_>A@�5�F¯ p�pDnWy9��u�Uu-mD}e��n9}e~qx��#n9}ep\un�� � �Uu��°pD} � p��9��pnE�e~qx�~�vAm1�U~�py§|c±²m_y�w=oqp\pnW}U��u�e}U� � �e�9}U~�y�³

�e� ��� y9~q´\�9�Auµ~qyE¶��9��y � � � m ��� �·n)��}�°p}ex=m_y � �D|¹¸cº9m_x�n9oq��u=mD}e�·oqp�pDn»~qy�U�$} ��� m_y�³D�Ds��°��ue~�py§s�E~qu�e}U~q¼9�E�e~qpDy�s�~��U�$}�m1�U~�pyE�^uen�m � �µ¼9oqp � l�~�y9³)s�m_y��Hul�$r-~qy9³H½ � | ��|�s�¾ ¿)s �9s À_ÁÃÂ%|ÅÄ � �$yHmDn9n9oqw�~�y9³u� ��� �e� ��� y9~�´����u�~��#~�u�~qx�n)p}��m_y\���epÆu��o�� � ��� � ��oqp\pn²}�m_y9³�V� � m1�#x�m_ºE~�x�~qv$��u�� � � � m ��� �n)��}�°p}ex=m_y � �D|·� � p�pue~�y�³Æ�ep�pZuex�mDo�o�mÆ}UmDy9³D�=~qy � }U��mu�Au�ÇÃÈ�É�Ê ÇÃÈ9Ë Ç�ÌÎÍPÇ�Ë�Ë$Ï Ë s�r � ��}e�AmDu#�Up\poqmD}e³��m�}�m_y9³��~qy � }e�AmDue��u�Ë$Ï%Ð Ñ�Ò�ÇÃÈ)É^Ï$Ê°Ñ%Ï$ÊeÏ%È.Ì�Ï�ÍIÇ�Ë�Ë$Ï Ë |

� yÆ� � ~�uin�mDn)��}irb�V�E��u � }U~�¼��Vm � px�n9~�oq�%���e~qx��Vx��%� � pE�Ó�°pD}[�E�$�e��}ex�~qy9~�y�³ � m ��� �#n)��}�°p}�x�mDy � �tpyÓmI³�$y9��}UmDo�~qv$�A�Îoqp�pDnÓ}UmDy9³D�|QÄÅ�Vm_o�uepIn�}e�Au��y�im � ���9}e~�u�e~ � �°pD}�Ô�y��9~�y9³=pnE�e~qx=m_oo�p�pDnÅ}�m_y9³��u��°pD}Vue� ��� y9��u�Uu�|µÕQ~�y�mDo�oqwDs?r��=�E��x�pDy�u�e}�m1�U�I}U��ue�9o��Uu#pD�bm_n�n9o�w�~qy9³Ó� � ~�u#�U� ��� �y9~q´\�9�#�Up=u��ÖD�$}�m_o×mDn9n9oq~ � m1�e~qpDy � pE�E�Au-m_y��Ón9}Up � �AueuepD}�u$|

ØDÙÃØDÙiÚ ÊeÏ%ÛAÇ�Ü1Ý�˲޷Ü1ÊeßWÜ1ÈHà�áDÌ�â9Ï Ú Ï$Ê°Ñ%Ü1Ê Í=á1È�Ì�Ï Ú ÊUÏUã_Ç�Ì%É�Ç�Ü1È��r�p � pDx�n�pDy9��y��u�mD}e�=y9�����E�A�ä�epZn9}e�A�E~ � ��� � �În��$}e�°pD}Ux=m_y � �=p_�-� � � � m ��� �åÓ½�~�Ât� � �

}e�$�°�$}U�$y � �Zu��U}e~qy9³BpD�Vm_yOmDn9n9oq~ � m1�e~qpDy�sim_y��æ½�~�~õm � �e~qpDy)uµp_�t� � � � m ��� �·p1Ö�$}=� � �çu�e}U~qy9³�|� ��n)��y��E~qy9³Ppy � p1r»� � ��ue� � px�n)py9�$y\�Uu�m_}U� � }U��m_�e�A��pD}�mDn9n9}Up�ºE~�x=m1�U��� � ��}e}U�$y\�'x��%� � pE�9u��m_oqo×~�y\�epI� � ���°pDoqo�p1r-~qy9³P� � }U�$� � o�mDuUue��u�åb½�AÂ��%º9m � ��s×½ �Âb�%ºE� � �E�e~qpDy9�^�E}U~qÖD�$yWu~qx��9o�m1�U~�py§s9m_y)�½��Âim_y�mDo�w\�e~ � mDo×x�p��9�$o�u$|'� � �txI�$� � pE�Æn9}U��ue�$y\�U���W~�yÆ� � ~quin�m_n��$}i¼��$oqpDy�³ub�epµm�y��$r � o�mDuUu$sy�m_x����»Ì�Ü1Í[è�ÇÃÐ�Ï$Ò�É�ÇÃÍ�Ï=Ë�ÇÃÍIÝEÐ�á_É Ç�Ü_È�|P� � �I}U�$o�m1�U~�py�u � ~�n)u�mDxIpy9³µ� � ��ue� � o�mDuUu�Au�mD}e�Iu � p1r-y~�y·ÕQ~�³�9}U�I�|

é[ê§79XD>²ëìK\>�YQ5§LQJ ³D�$y��$}�m1�e�P� � �=}e�$�°�$}U�$y � �Iu�e}U~�y�³Ó¼�w � }U��m1�U~�y�³ÓmÆuew\y\� � �%�U~ � x�~�ºZpD}m_¼9¼9}U�$Ö�~�m1�U���Î�°pD}Uxíp_��� � �Vm_n9n�o�~ � m_�e~qpDy � pE�E�s9�%ºE� � �E�e~qy9³=~���s�m_y��Ó}U�9y9y9~qy9³=~��-� � }UpD�9³ � � � �}e�Am_o � m ��� �t½ � ��|-¾ î�ÁÃÂ%|�¢[o�� � pD��³ � m � �e~qpDy�ucpD�)� � � � m ��� ��p1ÖD��}�� � �iu�e}U~qy9³Vm_}U��ÖD�$}UwV��mu��[½°� � ��w

Bolek
Text Box
Parallel Processing Letters, vol. 6, no. 1, March 1996, pp. 173-184
Page 2: Run Time - Computer Science at RPI › ~szymansk › papers › ppl95.pdf · Execution-Driven Exact Exact Exact Exact Simulated Simulation Simulation Compile-Time Simulated Accuracy

Execution-Driven

Exact

Exact

Exact

Exact

Simulated

Simulation SimulationCompile-Time

Simulated

Accuracy

Speed

Compile TimeRun Time

Action

Expression

Expression

Analytic

SimulatedCache

ReferenceString

�9����a�� a�£§���g�U����� �A��+���0���©),§����+���������©q� � /i����������� �!A����� ��� �t,.�g��� �����

m_}U���Um_l�$y=¼�wP� � �[m � �U��m_o � m_}��Er�m_}U�A s_� � ��xI�$� � pE��}U��´\�9~q}e�Auc}U�$n��%�e~��e~qÖD� � pDx�n9~qo�m1�e~qpDy)u'm_y)��%ºE� � �E�e~qpDy�u�pD��� � �=mDn9n9oq~ � m1�e~qpDy � pE�E��u��×� � �$}U�%�°p}e�P~��t~�u[�Up�pÎ�U~�x��%� � py�ue�9x�~�y9³W�epÓ¼��P��ue���m1� � px�n9~�oq�%���e~qx��D|

é[ê§K�XD®?>�@ 5)F�S��W41@���K\F�@�8Å®QR�7E>A@�5�F �9��u � }U~�¼����Ó~qyä¾ �9s  9sq���_Á�s�}U�9y�uimIx�pE�E�$o�p_�cm � m ��� �p1ÖD�$}.� � ��}U�%�°��}e��y � �cu�e}U~�y9³-³�$y9��}Um_�e�A�[¼�w�mDyt�%ºE� � �E�e~qpDy#pD��mDy#mDn9n9oq~ � m1�U~�py§|?��� ��� m-uepDoq�E�U~�pym_oqo�p1riu'�°pD}bx=m_n9n9~qy9³��°}epx m�}e�$�°�$}U�$y � �i�UpV� � ��uepD�9} � � � pE�E�|�� � ��u�s\� � ��n9}UpD³}UmDxIx���} � mDy¼)�=~qyE�°pD}Ux����çp_�b� � �=y��9xP¼)��}Vm_y��Z��w�n)�Au#p_� � m ��� �Px�~�ueue��u � m_��ue���ç¼�w²��m ��� uepD��} � �Poq~�y��D|� p1rb�$ÖD��}�s�� � � � m ��� �Px�pE�E�$oc~�utue~�³y9~�Ô � m_y\�Uo�w²ueo�p1rb�$}�� � m_yç� � �=m � �e��mDo � m ��� �D|P� � �P�U~�x���°pD}-}U�$n���m1�U��� � px�n9~�o�m1�U~�py§sE~qy�u��U}e��xI��y\�Um1�U~�py§s9m_y)�W�$ºE� � �9�e~qpDyÓp_�Q� � � � p��9��y��$���9���Ór � ~qo��u�Am_} ��� ~�y�³=�°pD}�� � �PpnE�e~qx=m_oQo�p�pDnç}UmDy9³D�s)}U�$y)�E�$}�ui� � ~�u�x��$� � pE�²~qx�n9}�m � �U~ � m_o�m1� � pxIn�~�oq�%��e~qxI�|

� FQ79R� ×>A@�XD7�R�8 5§L?K�R J m_n9n�}ep�ºE~qx�m_�e�P¼)pD� � � � ��}U�%�°�$}U�$y � ��u��U}e~qy9³Æm_y��Z� � �=m � �e~qpDy)u[pD�� � � � m ��� �D| � y�u�e��m�=p_�§oqp�pDl�~qy9³Pm_��~qy��E~qÖ\~��E��mDo)}U�%�°��}e��y � �Au$s� � ��ue�[x��%� � pE�9u��E�%�U�$}UxI~qy9�[� � �y\��x�¼��$}�p_�[�E~�u�e~qy � � � m ��� �µoq~�y���uI}e�$�°�$}U�$y � ��� ~qyHmZo�p�pnBy9��u��¼�mDue��� py � � �Wy��9xP¼)��}PpD�}e�$�°�$}U�$y � � � o�mDuUu�Aui¾ ¿�s���Á)p}'m_}U}�m�w � o�mDuUue��ui¾��D�$Á�|�� � ~�u�y��9x�¼��$} � px�¼9~qy9�A��r-~�� � � � ��y��9x�¼��$}p_� � m ��� ��oq~�y���utm_y)�²� � �I� � �=Ö1m_oq�9�Au#p_�'� � ��o�p�pnç}�m_y9³��u�w�~���oq��utm � }e���9��mDn9n9}Up�ºE~�x=m1�U~�pyp_�§� � � � m ��� � � ~���^}Um_�e�|�� � ��x��%� � pE� � m_y9y9pD��m �$� �9}Um_�e��o�w�m ��� pD��y�b�°pD}b���.� � �Uubp_�Q�E~��.�$}U�$y\�� m ��� ��o�~qy9��}e��n9oqm � ��xI��y\�?m_oq³Dp}e~�� � x=u�s � pDy\�e�$º��Quer-~�� ��� ��u�sAue�%�e�^mueuep � ~�m1�U~�Ö� � m ��� ��x=m_n9n9~qy9³\u$spD}W�e}�m_y�ueoqm_�e~qpDy pD�VÖ\~q}e�e��mDo[�Up n � wEu~ � mDo�m�9�E}U��uUu�Au$| � �W~�uWmDoquepH�E~�� � �9o��Ó�epHm �$� �9}Um_�e��o�wm1��U}e~q¼9�E�U� � m ��� �[¼�� � m�Ö�~qpD}��epP� � �#up�9} � � � pE�E��pD��� � ��oqp�pDnWy9��u��| � p1r���ÖD�$}As_� � �tm_y�mDo�wEue~qu}e��o�~q��uPpDy9oqwäpDy � � �Æuw�y\�Um_ºäpD�-� � �Óoqp\pnBy9�Au���uPmDy��ä�°pD}Ux���oqmu�~qy�ÖDpDoqÖ�~�y�³²n�m_}�m_x��$�e�$}�utpD�m � m ��� �D|Å� � m_y�l�u��epZ� � m_��s'mDy�m_oqw\�e~ � x��%� � pE�9uIm_}U�ÎÖD��}ewç��mDu�ImDy��Bue�9~��Um_¼�o��W�°pD}P��u�Æm1�� pDx�n9~qoq�%���e~qxI�|

N�5�8 <�@�R KDS�TV@�8 K��@�8Å®QR�7E>A@�5�F ~�u'~qy\�e}Up��9� � �A�µ~qyµ� � ~qubn�mDn)��}bmu�mPy9�$r � o�mDuUu$|�ÕQ~�³�9}e��bu � p1riu�� � �b}e��oqm_�e~qpDy�u � ~qnVp_��� � ~�u � o�mDuUu§�Up�pD� � ��}Uu�|Q��pxIn�~�oq�%���e~qx��bue~�xP�9o�m1�e~qpDyI�E~�����}Uu?�°}UpDx�%ºE� � �E�e~qpDyE���E}U~�Ö�$y²ue~�xP�9o�m1�e~qpDy·~qy·� � ��r�m�wÎ� � ��}U�%�°��}e��y � �Pu��U}e~qy9³u�m_}U�V³D��y9�$}�m1�U���×| � yZpD�9}xI�$� � pE�×s� � �[�E�%Ô)y9~��U~�py=p_��� � �[}e�$�°�$}U�$y � �iu��U}e~qy9³t~�u � }U��m_�e�����E��}e~qy9³tn�mD}Uue~�y�³�pD�.� � �[uepD��} � �� pE�E�DsbmDuIpDn�n)p\u�A�B�Upç³�$y9��}Um_�e~qy9³Z� � �Æ}e�$�°�$}U�$y � �Óu�e}U~qy9³ç¼�w � pDx�n9~qo��A� � p��9�Ó�$ºE� � �9�e~qpDy§|� pD� � �%ºE� � �E�U~�pyE�^�9}e~qÖD��yWm_y)� � pDx�n9~qo��$� �U~�x��Vue~�xP�9o�m1�e~qpDy � mDyÓm �$� �9}Um_�e��o�wÎm �$� pD�9y\���°pD}i�E~��Ã��°�$}U�$y\� � m ��� �$��oq~qy9��}U�$n9o�m � �$x��$y\��mDo�³pD}U~�� � x=u�mDy��²�E~��.�$}U�$y\� � m ��� �PpD}U³mDy9~�vAm1�U~�py�uV½��9~�}U� � ��su�$���mDuUup � ~�m1�U~�Ö�Ds�Ï$É^Ì Ù Â |=��pDy\�e�$º\�e�^uer-~�� ��� ����� � ��u � m_yç¼)�=mDn9n9}Up�º�~qx=m1�U���·¼�w·� � �Pn��$}U~qp��9~ �� oq��m_}U~qy9³Æp_�b� � � � �9}U}e��y� � pDy\�e��y��u#p_��� � � � m ��� �D| � y�u�e�AmD�Åp_��n � wEu~ � mDo�mD�9�9}e�Aueue��u�s§¼�p_� �xIpE�E��oquµ��u� � pDx�n9~qo��$� �U~�x��·mD�9�9}e�Aueue��uP� � m1� ��� m_y�³D�Æ�E�9}U~�y9³äoqpm�E~�y�³�| � p1rb�$ÖD��}�s'}UmD}e��o�wm � m ��� �Ix�~�ueu#~�u � m_��ue���ç¼�wZoqpmD�9~�y9³ ¾����_Á�s�uepÓ� � �=����� � ��pD�'� � ~quPm_n9n�}ep�ºE~qx�m_�e~qpDy²pyÅ� � �� ~��e��}�m1�U��u-~�uiy��$³Doq~q³D~q¼9o��|b� � �V}e�Au��o���u-p_��� � � � pxIn�~�oq�%���e~qx���u~qx���oqm_�e~qpDy·m_}U�to��Aueu�m ��� �9}�m1�U�� � mDyZ�%ºE� � �E�U~�pyE�^�9}e~qÖD��y²u~qx��9o�m1�U~�py²¼�� � mD��ue��� � �Iue~qx��9o�m1�U���·}U�%�°��}e��y � �Iu��U}e~qy9³Î~�u�����u��VmDy

Page 3: Run Time - Computer Science at RPI › ~szymansk › papers › ppl95.pdf · Execution-Driven Exact Exact Exact Exact Simulated Simulation Simulation Compile-Time Simulated Accuracy

m_n9n9}Up�ºE~�x=m_�e~qpDy�p_�×� � �[}U��mDo9pDy9�I½eÏ Ù��Ù sEmueue~�³y9x��$y\��u�Um_�e�$x���y��u�³��m_}��E����¼�w � py��E~��e~qpDy�mDoqum_}U��mueue�9x����µ�ep�m_oqrbm�wEu��%ºE� � �E�e�� | � yÓpD�9}��%ºEn��$}U~�x���y��ubr��#u � p1r � � m_��� � �Au��}e�Au��o���ubmD}e�m �$� �9}�m1�e�#��y9pD�9³ � �°p} � m ��� ��n��$}e�°pD}Ux=m_y � �#n9}e�A�E~ � �e~qpDy�|

� � �ÎmD�9Ö�mDy\�Um_³�=p_��� � �µn9}UpDn�pue���Åx��%� � p��B~quV� � m_�V� � � � pDx�n�m � ��}U�$n�}e�Au��y��m1�U~�pyçpD�� � �Å}e�$�°�$}U�$y � �Zu�e}U~�y9³ ~qu � }U��m_�e��� m_� � pDx�n9~qo��$� �U~�x��Z~qx�x����E~�m1�U�$oqw»m_�Ã�e��}Wn�mD}Uue~qy9³�|ì� � ~�u}e��n9}e�Au��y\�Um1�U~�py � mDy�¼���x�pE�E~�Ô����P�E�9}U~�y9³�pDn9�e~qxI~qv�m_�e~qpDyt�Up�ue~qx��9o�m1�U�b�E~��.�$}U�$y\�Qoqp�pDnV}�m_y�³D��ur-~�� � pD�E�-� � �ty9�����W�°pD}iuepD�9} � ��n9}UpD³}UmDx }e� � pDx�n9~qo�m1�e~qpDyWpD}-�$º�� � �E�U~�py§|

� y � � �Î�°pDoqo�p1r-~qy9³²ue� � �e~qpDy rb�Wu � p1r � p1r � � �Î}U�%�°��}e��y � �Wu��U}e~qy9³²~�uP�9�%Ô�y9�A�ä�°}UpDx � � �up�9} � ��n9}ep³D}�m_x m_y)� � p1r ~��V~qu#��ue���ç�UpÓp¼E�UmD~�yÅ� � ��o�p�pDnä}�m_y9³��u��°pD}tr � ~ ��� � � � � m ��� �n)��}�°p}ex=m_y � �Z~�uÓpDnE�U~�x�~qv$�A�×|í��� � �e~qpDy¹� �E�Au � }e~q¼)�Auµ� � �Å��u�Åp_��� � ~�uÓxI�$� � pE� �°pD}Æo�p�pnpDnE�U~�x�~qv�m1�U~�py=�°pD}b�E~�����}e��y��m_} ��� ~��e� � �e�9}U��u�sDmDy��=n9}Up1Ö�~q�E�Au�� � �i�e~qx�~�y�³�}U��ue�9o���u�pD�§~���u�mDn9n9oq~��� m1�U~�py§|'��� � �e~qpDyÓ¿=u��³D³D�Au���ub�°�E�e��}e�trbpD}Ul.|

�׬ NP5)8B<Q@ R�KSUTV@ 8BK �@�8Å®?R 7E>�@ 5)FMëìK\>�YQ5§LÄç�Æ�E��u � }U~q¼)� � �$}U�ç½�~�ÂImZ�e� ��� y9~�´���Î�°p}P³�$y9��}Um_�e~qy9³²� � �W}U�%�°��}e��y � �Óu��U}e~qy9³Z�°}epx � � �

up�9} � � � pE�E�Îm_� � px�n9~�oq�=�U~�x��DscmDy�� ½°~q~�Â�m²ue~�xP�9oqm_�e~qpDyäx�pE�E�$o�p_�im � m ��� �µ�E�Au � }e~q¼)�A�ä~�y�e�$}Ux=u§pD��¼)mDue~ ��� m ��� �cn)m_}�m_x��%�U�$}�u$| � yVm�9�E~��e~qpDy§s�rb��n9}U��ue�$y\��m � ���9}e~�u�e~ � u�Am_} ��� m_oq³DpD}U~�� � x�°pD}�Ô�y��9~�y9³�� � �toqp\pnW}�m_y�³D��u�� � m1�ipnE�e~qx�~�v�� � m ��� ��n��$}e�°pD}Ux=m_y � �D|

�\ÙÃØDÙ�� Ï�Ñ%Ï$ÊeÏ$È�Ì�Ï��)É�Ê ÇÃÈ �� Ï$È�Ï$Êeá1É�Ç�Ü1È¢[ubu � p1r-y=¼��$oqp1rts� � ��n�m_}�u��}'pD�×mPup�9} � �-o�m_y9³��m_³� � mDy=¼)���%º��e��y��E���=�ep�n�}epE�E� � ��mDy

�%ºEn9}U��uUu~qpDyÎ� � m_� � m_yÓ¼)�#��ue���Î�ep=´\�9~ � l�o�w=³�$y9��}Um_�e��� � �#}U�%�°�$}U�$y � �#u��U}e~qy9³�|cÕ�pDoqo�p1r-~qy9³IpD�9}~�y\�e��}e�Au��-~qyÆn�m_}�m_oqo���o.n9}ep³D}�m_x pnE�e~qx�~�vAm1�e~qpDy�sEr����°p � ��uipDyÓn9}ep³D}�m_x=u��%ºEn9}U��uUu�A�Wmu�y���u�Uup_�§oqp\pn�u�|Q�?pVlD���$n�� � ��uepD�9} � � � pE�E�i�U}UmDy�uo�m1�U~�py�oqmDy9³D��mD³D�$��~qy��E��n)��y��E�$y\�AsDrb�ir-~�oqo.�E~qu � �)ueu� � �tn�mD}Uue�$}-m � �e~qpDyW�°pD}im�o�m_y�³D��mD³D�Ds��sE� � m_�i�E�%Ô�y���uim�ue��´\�9�$y � �#p_��o�p�pnWy9�Au���u$å

�æk���������������������������������� ��!#"��%$&�('(�%)+*iz

r � �$}U�ty9pDy9� �U�$}UxI~qy�mDoqu'è-, Ì.,�m_y)�ZÐEu�Um_y)�Î�°p}im�n9}UpD³D}�m_xÆsEm�u�A´\�9�$y � �#p_�cu���m1�e��x��$y\�Uu�s�m_y)�m#o�p�pDn�sD}U��uen)� � �e~qÖD��o�w|Q�?�$}Ux�~�y)m_o�u0/1,32145/�6�,�mDy��87+/(9�:Ó}U�$n�}e�Au��y��mDy�mueue~q³Dy9x��$y\��u�Um1�U�%�xI��y\��s�� � � � �AmD�#pD��mioqp\pn�u�Um1�U�$x��$y\�As�mDy��#� � � � o�p\u~qy9³ipD��mioqp\pn�u�Um1�U�$x��$y\�AsA}U��uen�� � �U~�Ö�$oqwD|� � �Vuw�y\�Um_ºÎp_�?� � �#�U�$}Ux�~�y�mDoqu�~�u-o�m_y9³��m_³���9�$n��$y��E��y\��|

� wIm_�9³x��$y\�e~qy9³Vm#n�mD}Uue�$}�r-~�� � n�}epn)��}'m � �e~qpDy�u�s_~�� � mDy���mDue~qo�wP³D�$y��$}�m1�e�b� � �-�°pDoqoqp1r-~�y9³�°�9y � �U~�py�u-p1Ö�$}b� � �Vuew�x�¼�pDo�u�~�y;�å

< ½>=A �&? y��9x�¼��$}ipD�?}U�%�°��}e��y � �Au ~��5=%�@�y��9x�¼��$}ipD�Qu�Um_�e�$x���y��u p_� � �$}Ur-~que�A ½>=+�CB� �&? � � ��BEDGF�}U�%�°��}e��y � ��p_�5= ~��5=%�H�� � ��B DGF u�Um_�e��xI��y\��pD��= p_� � �$}Ur-~que�

I�JLKNM�O ½>=A �&? � � �t}�m_y�³D�#p_�Qo�p�pDn ~���=1�P�� pD� � ��}er-~�u�

� � �µ}�m_y9³�IpD��m²o�p�pDnä~�uV�E�$Ô�y9��� m_� � px�n9~�oq�%���e~qx��µ~���~���~�ut�$~�� � �$}Pm � pDy�u�UmDy\�VpD}�mDy�%ºEn9}U��uUu~qpDyÅp1ÖD��}�� � � � pDy\�e}UpDocÖ1m_}U~�m_¼9oq��u#pD�bp�E�e��}Vo�p�pn�u#r-~�� � �E�%Ô)y9���Å}�m_y9³��u�| � � � mD��u�� � �t�E�Au � }e~q¼)�A� � m ��� ��n9}U���E~ � �U~�pyÎx��%� � pE�Î~�u�~qy�U�$y��9���Î�°pD}�o�p�pnW}�m_y9³�[pnE�e~qx�~�vAm1�e~qpDyŽ�ue�$���� � �e~qpDyç�9| �\ s.r��Pm_}U�V~�y\�U�$}U��u�e���²pDy9oqwÆ~�yZmDy²�9n9n��$}�¼�pD�9y��·�°pD}�� � �PpDnE�U~�x=m_oQoqp\pn²}�m_y9³��°pD}V� � �µ³~�Ö�$y � m ��� �D|·��� ��� mDyÅ��n9n)��}�¼�pD�9y)� � m_y ¼��µ�Au��U~�x=m1�U���Å�°}UpDx � � �Wo�p�pDnä¼�pE�Ew

Page 4: Run Time - Computer Science at RPI › ~szymansk › papers › ppl95.pdf · Execution-Driven Exact Exact Exact Exact Simulated Simulation Simulation Compile-Time Simulated Accuracy

m_y���� � � � m ��� �[o�~qy9��ue~qv$�P½ u���i¼��$oqp1r[ |c� � ��u$s\r-~�� � p�E�boqpuUu�pD�׳D�$y��$}�m_oq~���wsDrb� � mDyµmDuUu��xI�� � m_�-� � �t}�m_y9³��pD��mIoqp�pDn � m_y·mDo�r�m�wEu'¼��t��u�UmD¼9o�~�u � ���Óm1� � pDx�n9~qo��$� �U~�x��D|

Äç�V�E�$Ô�y9�#� � �=ÊeÏ Ñ%Ï%ÊeÏ$È�Ì�ÏVË�è9áÌUÏ-p_�cmIuew�x�¼�pDo =�� mu$å

� ½ =�Â0� ������� ������ k��9z ~��5=%�H������������ �� ������ k BUz! � �"�� ������ k���z# � ½ A ½ =+�$��ÂÂ�p_� � �$}Ur-~que�

� ½ =�ÂP~qu�mÅu�$��pD�[ÖD� � �UpD}�u�pD�[Ö1m_}Uw\~qy9³ço���y9³_� � |H¸'o���xI��y\�UuIp_�i� � ��ue�ÓÖD� � �ep}UuImDuUu��xI�~�y\�e��³D��}�Ö1m_oq�9�Au[�°}UpDx �P�epÎ� � ��y��9x�¼��$}�p_�bu���m1�e��x��$y\�Uu�~qyçm � pD}U}e�Aun�pDy)�E~�y�³Îu�A´\�9�$y � ��pD�u���m1�e��x��$y\�Uu�sDp}��ep#� � �-}UmDy9³D�bp_�×m � p}e}U��uen)py��E~qy9³[oqp�pDn§| � ��y � �sDrb�-r-~�oqo9��ue�im#u��¼E��Ö� � �epD}p_�×m[Ö� � �UpD}&%�s�E��y9p_�U���'% s_� � m1� � py�ue~qu�Uu�pD��� � pue�b��o���x��$y\�Uu�pD�(%t� � m1��ue�$oq� � �'m�u�Um1�U�$x��$y\��°}epx mWue��´\�9��y � �Pp_��u�Um_�e�$x���y��u$|VÕ�pD}���m ��� ÖD� � �UpD})%*� � ½ �.Âirb�I�9�%Ô�y9�å%� O K ½+%�Â%� � %N��sm_y��W�°pD}imIn�mD~�}-pD�?Ö� � �UpD}�u$s,% ��-�.%0/#� � ½ �. å

1 ½+% � ��%0/AÂ5� x�~qy��2(3 �4� �65�78� ½9% � ¾ �DÁ -�:%0/¾ �DÁÃÂ;% �=< %0/?>@% � ¾ 1 ½9% � �8%0/AÂ^ÁBAC%0/D¾ 1 ½9% � �8%0/AÂ^Á� � �-�°�9y � �e~qpDy 1 ~qu'r���o�o��E�%Ô)y9����¼�� � m_��ue�i~����°pDoqo�p1riuc�°}epx � � �[�E�$Ô�y9~��e~qpDyµpD� � ½ ��Âc� � m_���°pD}m_y�w[n�mD~�}?p_�EÖD� � �UpD}�uD% � �8%0/�� � ½ ��Â×~��FE3BG � O K ½+% � Âbå0% � ¾ B�Á3�.%0/D¾ B�ÁD� � �$y � O K ½+% � Â0�@� O K ½9%0/A |� � ��}U�$o�m1�U~�py < �E�%Ô)y9��u'� � ��oq�%ºE~ � pD³}UmDn � ~ � ½Ã�epD�UmDo�Â'pD}��E�$}'~�y � ½ ��Â%|�� � �[�)u��mDo��9�%Ô�y9~��e~qpDyp_�Q� � �Vue� �$� ��uUup}�p_�QmDyW��o���x��$y\�?%H� � ½ �.Â�m_n9n9oq~q��u�å

%0I8�@=KJN�.�_½+%�ÂL> ½MEN%POQ� � ½ �.Â�å0% < %FONR ½9%0I8�.%FO ��%0I < %FOÃÂeÂÕ?~q³D��}e�[�Dmtu � p1riu'm_y=�%º9mDxIn�o��-pD�×mtue��´\�9��y � �-pD� � ½ ��Â��$oq�$x��$y\��uc~�y=oq�%ºE~ � p³D}�m_n � ~ � mDoEpD}��E�$}�°pD}Q� � �bn9}UpD³}UmDx ~qyPÕQ~q³D�9}U���_¼§|?� � �'�°�9y � �e~qpDyTS=½9% �CB�Â��9�%Ô�y9�A�t�°p}QmDy\w!%U� � ½ ��Â?}e�$�e�9}Uy�u� � �Vu�Um_�e�$x���y�in�pD~qy\�e�A�Wp�E�-¼�wµ� � �#Ô�}Uu��B��$oq�$x���y��u-p_��% å

S=½+% �CB�Â5� ? A ½ � ��% ¾��$Áà~���B �æ�A ½+S=½9% �CBBVM�AÂ.�8% ¾ B�ÁÃÂ;pD� � ��}er-~�ue�

Õ?~q³D��}e���1¼�u � p1riuW% n9}ep ��� � �e�����°}UpDxX%�s_m_y��t� � �b}e��oqm_�e~qpDytpD�9�$oq�$x��$y\�Uu?p_�(% �ep�u���m1�e��x��$y\�Uum1�[�E~�����}e��y\��oq�$Ö�$o�u$|�� � ��o�mDu�i�$oq�$x���y�-pD��% m_oqrbm�wEub}U�%�°�$}�ub�ep=mIÖ1m_}U~qmD¼9oq��}U�%�°��}e��y � �|

Õ9pD}Ó��m ��� n9}UpD³D}�m_x Ö1m_}U~qmD¼9oq� J s[oq�%�Ó� � �ç�°�9y � �e~qpDy K ½ J ÂÎ�E�$Ô�y9�ç~���uÓ�9~�x��$y)u~qpDy�mDo�~���w½ K ½ J Â1� �W~�� J ~�u�mÓu � m_o�m_}  |t¢[y\wZ}e�$�°�$}U�$y � �V�ep J ~�u�� � ��yZ~qy��E�%ºE�A�Z¼�w K ½ J Â�m_}U~�� � x��%�U~ ��%ºEn9}U��uUu~qpDy�u�| � yIx=m_y�wVu � ~���y\�e~�Ô � n�}ep³D}�m_x=u§� � ��~�y)�E�%ºE~qy9³��$ºEn9}e�Aueue~qpDy�uQm_}U���°�9y � �e~qpDy)u�p1ÖD�$}� pDy\�U}epo§Ö1m_}U~qmD¼9o��Au-p_�coqp�pDn�uiue�9}U}ep�9y��E~qy9³I� � ��}U�%�°�$}U�$y � �D|�Õ9p}[m=}U�%�°��}e��y � ��S=½+% ��� O K ½+% ÂÂ�E�%Ô�y����=¼�wI� � ��ÖD� � �ep}%�soq�%�Y% JLI ½9%EÂb�E�$y9pD�e�-� � �[}U�%�°��}e��y � �A��Ö1m_}U~qmD¼9o��imDy��UZ�½+%-��B�Â��E�$y9pD�e�� � � B.~�y)�E�%ºE~qy9³[�°��y � �U~�py§s_r � ��}e�b�TA B[G K ½9% JLI ½9%E |�Ä ~�� � � � �Au���E�$Ô�y9~��e~qpDy�u�s1� � ��Ö�~q}�U��m_omD�9�E}U��uUu�s×Û�áãDã1Ê s)³D��y9�$}�m1�U���µ¼�wÎ� � �t}U�%�°��}e��y � �#�E�%Ô)y9���Ó¼�wÎÖ� � �UpD}\%�s9~qu�³~�Ö�$yÓ¼�w�å

% J 1]1 I � J 1F1 I ½9% JLI ½9%EÂ%¾ Z�½9%3�$�AÂ.�_^K^_^ �`Z�½+%-��B�Â.�_^K^_^.��Z�½9%3� K ½9% JLI ½9%EÂÂÂ�ÁÃÂ.�r � �$}U� J 1]1 I �U}UmDy�ueoqm_�e��u?� � �-ÖD� � �ep}cp_� K ½9% J+I ½+%�ÂeÂc~qy��E�%ºIÖ1m_oq�9��u��°p}�m�Ö�mD}e~�m_¼�o��\% J+I ½+%�Â�~�y\�epmPÖ�~q}�U��m_o?mD�9�E}U��uUub~�yÓ� � �to�~qy9�Am_}-x��$x�pD}UwD|

� � �Æn9}e�Au��y\�e���B�e}�m_y�ueo�m1�e~qpDy � mDyH¼��·�EpDy9�Æ~���� � �Æ~�y)�E�%ºE~qy9³Å�°�9y � �U~�py»~�y�ÖDpo�Ö��uPpDy9oqwo�p�pDn � pDy\�e}UpDoiÖ1mD}e~�m_¼9oq��u=muµm_}U³D��xI��y\�Uu=m_y)� � pDy�u�UmDy\�Uuµmu � p���� � ~���y��u$|¹±·pD}U�·³D��y9�$}�m_om_y���u�e~qo�o��e}�m_y�ueoqm_�UmD¼9o���~qy��E�$º�~qy9³t�$º�n�}e�Aueue~�py�u � mDyI~qy�ÖDpo�Ö�boqp�pDn � py�u���m_y\�Uu[½�Ç Ù Ï Ù s\Ö1mD}e~�m_¼9oq��u

¿

Page 5: Run Time - Computer Science at RPI › ~szymansk › papers › ppl95.pdf · Execution-Driven Exact Exact Exact Exact Simulated Simulation Simulation Compile-Time Simulated Accuracy

r � ~ ��� mD}e�Îy9p_�Pmueue~q³Dy9�A�Z�Up²~qyä� � �Wo�p�pDnä¼�pE�Ew9 | � yBue� ��� m � mDue�Ds � p1r���ÖD��}�s×� � �Î�$º9m � �Ö\~q}e�e��mDo�m�9�E}U��uUu�r-~qoqoby�p_��¼)�Æl�y9p1r-y§s�uepZ� � �Æu~qx��9o�m1�U~�py r-~qo�o�¼��Æ�%º9m � �Ipy9o�wÅ�°p}P�°��o�oqwmDuUup � ~�m1�U~�Ö� � m ��� ��u�|iÕ9p}i� � � � mu��p_�c~�y)�E�%ºE~qy9³Î�$º�n�}e�Aueue~�py�u�r-~�� � ~qy��E~q}U� � ��x�mDn9n9~qy9³u[pD}r-~�� � Ö�mD}e~�m_¼�o��Au'� � m1�[mD}e�#}U��mueue~�³y9���Î~�yÓ� � �to�p�pnW¼�pE�EwDs9rb�V�Ep�y9pD�in9}epE�E� � �tm_y�wµÖ�~q}�U��m_omD�9�E}U��uUue��ut�°p}�� � � � pD}U}U��uen)py��E~qy9³·}e�$�°�$}U�$y � ��u�|ç� � � ����u�e~�Ô � m_�e~qpDyBpD�i� � ~qu��e}U��m_�ex��$y\�P~�u� � m_��u� ��� }U�%�°��}e��y � �Au ��� m_y9³�P�°}UpDx pDy9��oqp\pnç~��e��}Um_�e~qpDyç�epÆ� � �=y9�%º���uepÓ� � ��~�}V����� � �Vpy� m ��� �=n)��}�°p}ex=m_y � ��~qu�}UmD}e��o�wç�E�$n��$y��9�$y\��pDyÅ� � �µoqp\pnä}UmDy9³D�| � ³Dy9p}e~qy9³Ó� � ��ue�µl�~�y��ÅpD�}e�$�°�$}U�$y � ��uP��u�)m_oqo�wär-~qo�oby9p_� � m�Ö�ÎmZue~�³y9~�Ô � mDy�I~�x�n�m � �IpDyB� � �W�9�%�e��}ex�~qy�m1�U~�py pD�-� � �pDnE�U~�x=m_o�o�p�pDnÓ}�m_y9³��u�|

� ��~�u � oq��mD}'�°}UpDx � � �tm_¼�p1ÖD���9�%Ô�y9~��e~qpDy)ub� � m_�b� � ��}e�$�°�$}U�$y � ��u�e}U~�y�³P~�ubn9}epE�E� � ���Îr � �$y� � �VÖ�~q}�U��m_o?mD�9�E}U��uUub�e}�m_y)uo�m1�U~�pyÓ~�uimDn9n9oq~��A�Î�Up=� � �Vu�9¼)u�A´���$y\��ue� �$� ��uUup}Uubp_�Q� � �Vx�~�y9~��x��9x¹ÖD� � �ep}§~qy � ½ ��Â%| � � � m_�)u�cm_yt��� � ~q�$y\��~qxIn�o���xI��y\�Um1�U~�py#p_��� � ��u� ��� �AueuepD}.�°�9y � �e~qpDyt~�un�m_}�m_x�pD��y�×�Up-� � �'un��$�A�#p_��� � � � m ��� ��ue~�xP�9oqm_�e~qpDy§sArb� � py�u~��E��}�m_ytm_o��e��}ey)m1�e~qÖD���9�%Ô�y9~��e~qpDyp_�b� � ~�u��°�9y � �e~qpDyÅ� � }UpD��³ � � � �=Ö1m_oq�9�Au#p_�'� � � � p}e}U��uen�pDy��E~qy9³ < ½ =�Â#m_y�� I�JLKNM�O ½ =�Â��°�9y � ��e~qpDy�u�| ¯ �$����½+%-��B�Â�u�UmDy��Î�°pD} I�JLKNM�O ½+S=½+% �CB�ÂeÂb~��"S=½9% ��B�Â'~�u-mIo�p�pnÓmDy��µ�°p} < ½+S=½+% �CB�Âe sp_� � �$}Ur-~que�DsEr � ��}e� B G � O K ½+%�Â%|�� � �$y§s9� � �Vue� �$� ��uUup} � m_yÓ¼��V�E�%Ô�y����ÆmDub�°po�oqp1riu$å

=KJN�.�_½9%EÂ%¾ B�ÁN� �� � %�¾ B�Á ~���B[A � J =��%½+%�Â%�¾ B�Á�� � ~���B��P� J =��%½+%�Â� pD� � ��}er-~�ue���

r � �$}U� � J =��%½+%� � J�� �+2(3 �4� �65�� k %�¾ B�Á -� ��½9%3�CB�Â�zÆ~�u�� � �Óoqmu���n)p\u~��e~qpDyH~�yHÖD� � �ep}'%Å� � m1�~qu·y�p_�²}U��mD�9w �ep p1Ö�$}e¶�p1rt| � � � oqmu��²��o���xI��y\�²p_�I� � � Ö� � �UpD} =KJN�.�_½9%EÂÓ~�u²u� ��� � � m1�S=½ =KJ3� �_½9%E ��� O K ½ =KJN�.�_½+%� ÂÂWn)p~�y\��uµ�UpMm Ö�mD}e~�m_¼�o��ç}e�$�°�$}U�$y � �D| � � ~�uÓ�9�%Ô�y9~��e~qpDy¹m_oqo�p1riu�°pD}imI��mDu�-³D��y9�$}�m1�U~�pyÎp_�Q� � �t}e�$�°�$}U�$y � ��u�e}U~�y�³P�°p}�� � �t³~�Ö�$yÓn9}UpD³D}�m_x��?|

Õ?~q³D��}e���iu � p1riu?m_yt�$ºEmDx�n9o���p_��� � �'³D��y9�$}�m1�U~�pytp_�9m[ue�%�?p_�9}U�%�°�$}U�$y � ��u§�°}epx¹min9}ep³D}�m_x~�yBÕQ~q³D�9}U�µ�1¼§|Ó��py�ue~q�E��}t� � �=}e��oqm_�e~qpDy�u � ~qnçpD��� � �µy9�$º\�e� �Up_�^oqmu��t}U�%�°��}e��y � ��~qyBÕ?~q³D��}e�µ�_m½°}U�$r-}U~��e�e�$yçmDu?%Ó~qyZÕQ~�³�9}e�I�1¼)Âb�Upµ� � �PuepD�9} � �|i� � �VÔ)}Uu�[�$oq�$x���y��p_��� � ��}U�%�°�$}U�$y � �V~�u��r � ~ ��� ~�y)�E~ � m1�U��u�� � ���$y\�U~�}U�[n9}UpD³}UmDxÆs ��|c� � �#uepDoq~q�=oq~qy9��u�u � p1r»� � �#u�Um1�U�$x��$y\��u�ue�$oq� � �e���¼\wW��m ���Æ� pDx�n�pDy9��y�ipD��% |b� � �V�EpD��e�A�Æo�~qy9�Au-}e��n9}U��ue�$y\��� � �V~��e��}Um_�e~qpDy � p�9y\�e�$}�ub�°pD}i� � �u��o�� � �e�A� oqp\pn�u�|²Õ?~q³D��}e�W� � u � p1riut� � �Wm � �e~qpDy pD��� � �;=_JN�.�_½+%�Ât�°�9y � �e~qpDy§| � yB� � ~�u � mDue�Ds� J =��%½9%EÂtn�pD~qy��ut�Up·� � �µ� � ~q}U�B�$oq�$x��$y\��pD�\%�|²� � ~�uV~�uV¼�� � m_��ue�W� A I�J+KNM O ½G) �  scmDy��Å�°pD}m_oqo�BV³D}U��m_�e�$}P� � m_y �Zrb�·m_}U�Óm_��� � �·o�mDu�IÖ1mD}e~�m_¼9oq�Æp_��� � �Æo�mDu�=u�Um_�e��xI��y\��pD�[� � �·oqmu��~��U�$}�m1�e~qpDyÓp_�?� � ��)��#oqp�pDnWy9��u��|�� � �tue� �$� ��uUup}�pD��%=� � �$}U�%�°p}e��n�pD~qy��ub�epIÔ�}�u���Ö1m_}U~qmD¼9oq��pD�� � �tÔ)}Uu�[u���m1�U�$x��$y\�ip_��� � ��) � oqp�pDn§s�r-~�� � ) � ~qy � }U�$x��$y\�U���Ó¼�wÎpDy��D|�� � �t}e��n9}e�Au��y\�Um1�U~�pyp_�Q� � �t��y�U~�}U�t}U�%�°�$}U�$y � �tu��U}e~qy9³�~�u-ÖD��}ew � pDx�n�m � ��|�Õ�pD}�� � �V�%º9m_x�n9oq�#~�y·ÕQ~q³D�9}U�V�IpDy9oqw²���Ö�mDo�����u�p_����½9%3�CB�Â�mD}e�[}e�A´��~�}U���×|�� � ~�u � pDy\�e}�mDu�Uu�r-~�� � � � �[�$y\�U~�}U�[}U�%�°��}e��y � �[u�e}U~qy9³Vr � ~ ��� smDuUu�9x�~qy9³ ) � �@)�/%�H)��%� �A��_¿�s � py��m_~qy�u-m_¼�pD�9�[î���}U�%�°��}e��y � �Au$|

�\Ù �\Ù à�áÌUâ�Ï��²ÜAãDÏ$Т[uÎ�9�%Ô�y9�A� ~qyì¾ î�Á�sim � m ��� �Z~quµ� � �·Ô)}Uu�Îoq�$ÖD��o[pD�#x���xIp}ews���mDu�Wm_y)� � oqpue��u�µ�ep m

n9}ep � ��uUup}�|Q¢b�bm_y�wI�%ºE� � �E�e~qpDyÎ~�y�u�UmDy � �[~��b}e��n9}e�Au��y\�Uu'uepDx��[ue�9¼�ue�%�bp_�.� � ��m�9�E}U��uUu�un)m � �p_�bmWn9}Up � ��uUuepD}A|����9} � m ��� �Px�pE�E��oQ~�u ��� mD}Um � �e��}e~qv$�A�·¼�w²mÅÊeÏ^è.Ð�áDÌ�Ï$Í�Ï$È�É�mDo�³pD}U~�� � x m_y)�� � �Æ�°po�oqp1r-~�y�³Z� � }e���Æn�m_}�m_x��%�U�$}�u$å;* ~quI� � �·y��9x�¼��$}=pD��¼�w\�e�Au�n)��}·ÐgÇÃÈ�Ï�pD��� � � � m ��� �Ds� ~�u#� � ��y\��x�¼��$}VpD��oq~�y9�Au#n)��}=Ë$Ï%É�s�mDy���� ~�u�� � �=y��9xP¼)��}tp_��u�$�Uu#~qyç� � � � m ��� �D|�� � �

Page 6: Run Time - Computer Science at RPI › ~szymansk › papers › ppl95.pdf · Execution-Driven Exact Exact Exact Exact Simulated Simulation Simulation Compile-Time Simulated Accuracy

v=[1,1,2,3,2,2,2]

succ(v)=[1,1,3,1,1]

last(v)

[1,1,2,2,1][1,1,2,2,2][1,1,2,3,1,1,1][1,1,2,3,1,1,2][1,1,2,3,1,2,1][1,1,2,3,1,2,2][1,1,2,3,2,1,1]

[1,1,2,3,2,1,2]

[1,1,2,3,2,2,1][1,1,2,3,2,2,2][1,1,3,1,1]

FOR I1 A3 = f(A4) FOR I2 A1 = f(A2+A1) END FOR I3 A1 = f(A3) A3 = f(A2) ENDENDA4 = f(A3)

vs = [1,3,2,2]

v = [1,1,2,3,2,2,2]

[2,2]

p

+1

I1

I3

A4

I1

G(vs,1)

G(vs,2)

G(vs,4)G(vs,3)

(A) (B) (C)

������a��bª�����/-0A����������� � ��"�0�����'����!������ � ����/

~�x�n9oq�$x��$y\��m1�e~qpDy=pD�)� � � � m ��� �-x�pE�E�$o�mueue�9x���uQ� � m1�'� � �ioqp1rb�$}�o�p³�½ *�ÂQ¼9~��Uu�p_�§m_y=mD���E}e�Aueuu��o�� � �bm�¼�w�U�[r-~�� � ~qyWm � m ��� �ioq~�y9�sEm_y���� � �[y��%º���oqpD³.½ �ZÂ�¼9~��Uu�u��o�� � ��� � ��u�$��|c� � � � m ��� �~qub~qy9~��U~qmDo�~qv$�A�µr-~�� � m_oqo)oq~qy9��ubx=m_}UlD�A�ZÏ%Í[è�É��1|�� � ��}e�$�°pD}U�Ds�m_oqo)~qy9~��e~�m_o.}e�$�°�$}U�$y � ��u�r-~�oqo � mD��u�m � m ��� ��xI~�uUu$|Æ� � ~�uV~�uty9p_�Im_yä�9y9}U��mupy�m_¼9oq�=mDuUu��xIn9�e~qpDyÅ�°pD}t��rbp·}U��mDuepDy)u$å#Ô�}�u��s?� � �o�~qlD��o�~ � p�pE�µp_�?}e����u��p_��� � � � m ��� �i�°}UpDx py9��oqp�pDnWy9��u���UpImDy9p_� � �$}b~�u��)u��mDo�oqw=ÖD��}ew=uex=m_oqo |��� � pDy��×s.� � ��u~qx��9o�m1�U~�py²~�u[}U�9yçue� � � ~q�$y\�Uo�wÆoqpDy9³ÓupÎ� � m_��� � �Py��9xP¼)��}�pD�'}U�%�°�$}U�$y � ��u[�ep��m ���Æ� m ��� �#o�~qy9�t~�u�oqmD}e³����y9pD��³ � �°pD}�� � �t~�y9~��e~�m_o�xI~�uUu�Aub�ep=¼��t~�y�ue~q³Dy9~�Ô � mDy\��|

� ytpDy9� � m ��� ��u~qx��9o�m1�U~�py � w � oq�DsA� � �'ue~�xP�9oqm_�e~qpDyt��y9³D~qy9��p¼E�UmD~�y�u§� � ��o��$ºE~ � pD³D}�m_n � ~ � m_oqo�wy9�%º��Æ�$oq�$x��$y\�WpD�V� � �ç}U�%�°��}e��y � �Zuen�m � �ZpD�t� � �Åoqp\pn y9�Au��W�epMpD¼E��m_~qy � � �HÈ�Ï�É�Ö�~q}�U��m_omD�9�E}U��uUu�|V� � ~qutm�9�E}U��uUu[~�u�� � ��yç}U�9yZ� � }UpD�9³ � � � � � m ��� �Pm_oq³Dp}e~�� � xÓs§mDy��·� � �=m � �e~qpDy²pD�� � � � m ��� �#~�u�}e� � pD}��E�A�×|

�\Ù�Ù 2PÏ%ÝEÊ Ç�Ë É�Ç�Ì��×Ï�á1ÊeÌ�â� �$y9��}Um_�e~qy9³ImI�E��y�u��o�wÎn)pn9�9o�m1�e�A� � m ��� �Vâ�ÇÃÉ�Ò�Êeá_É^Ï � �9}eÖ��Ö�~�mPue~qx��9o�m1�U~�pyÎ~�ub�e~qxI� � pDyE�

u�9x�~qy9³�s§mDy��·� � �$}U�%�°p}e�P�9y�ue�9~��Um_¼�o��I�°pD}�~qy�U�$³}Um_�e~qpDy²~qy\�epÆm � px�n9~�o�m1�U~�pyçuewEu��U�$xÆ| � p1r���$ÖD��}�s\� � �$p}e�$�e~ � m_o.m_y)�µ�%ºEn��$}U~�x���y��m_o��$Ö�~��E�$y � ��u � p1r»� � m1�b� � � � m ��� � � ~��e��}�m1�U� � �9}eÖ��mubm�°�9y � �U~�pyÆp_�cmP}U�$oq�$Ö1mDy�-}�m_y9³��~�u� Ëeâ9á�è9Ï�ã=½ u���VÕQ~�³�9}e�t��sE}e~q³ � ��Â%|

� � ��p1Ö�$}�m_oqo�n9}UpD³}UmDxín��$}e�°pD}Ux�mDy � ��~qu � ~q³ � �Au��#m1��� � �I}e~q³ � �UxIp\u���Ö�mDo����PpD�c� � �Io�p�pn}UmDy9³D�s3B��$s×r � ~ ��� ~�u�~qx�x����E~�m1�U�$oqw·�epW� � �Ioq�%�Ã�tp_��� � ��u��U�$�$nÅ�E� � o�~qy9��}U�$³D~qpDy�|#� � ~qu�}�m_y9³�Ö�mDo���� � pD}U}e�Aun�pDy���u×�ep[� � �bx=m1ºE~qx��9x n9}UpD¼9oq�$xìue~qv$�'�$º � ~�¼�~��U~�y9³�³Dp�pE� � m ��� ��n��$}e�°pD}Ux=m_y � �D|¢iyBm_¼�}e�9n9� ��� m_y9³�=~�y � m ��� �=n��$}e�°pD}Ux=m_y � �P��m_l��utn9o�m � �=p1ÖD��}#m·uex=m_oqo�~qy�U�$}UÖ1m_o[½�p_�iu~qv$�m_¼�pD�E�V�A�9sEpD}-uex=m_oqo���}�Â�p_��oqp\pnW}�m_y�³D��Ö�mDo�����u�|

�?mDl\~qy9³ m�EÖ1m_y\�UmD³D�·pD��� � �äu � mDn)�Zp_�t� � � � m ��� � � ~���^}�m1�e� � �9}UÖD�Au$s�rb�ç�E��ÖD�$oqpDn���� m� �$�9}U~�u��U~ � �°p}-Ô�y��9~�y9³µ� � �VpnE�e~qx=m_o?}UmDy9³D�µ½ u���VÕ?~q³D��}e����s9oq�%�Ã��Âi¼�wW}U� � �9}Uue~qÖD� � m_oqÖ�~�y�³�� � �~�y9~��e~�m_o�~�y\�e��}eÖ1mDo)�Up�r � ~ ��� � � �#uepDoq�E�U~�pyμ��$oqpDy9³\u$|c� � �#~qy9~��U~qmDo§�$y)�En)p~�y\��u�p_��� � ~�u�~�y\�e��}eÖ1mDo sB 3 ��B F s_mD}e�c�Au���m_¼9oq~qu � �A�VmDu§�°pDoqo�p1riu�|?� � ��o�p1rb�$}�¼)p�9y��tpyVÖ1m_oq�9�'pD� B 3 ~�uQ�E�%Ô�y����t¼�w�� � �bo�p�pnu���m1�e��x��$y\�-p1ÖD�$} � �AmD�×s\upI~���~�u�~�y�ÖD��}Uue�$oqwIn9}epn)p}�U~�py�m_o)�ep ��� =Ds\� � ��y��9xP¼)��}�p_�?pn)��}Um_�e~qpDy�u~�y=m�u~qy9³Doq��o�p�pn�¼�p��9w��%ºE� � �E�U~�py§|Q�?p�lD�$��n�� � ~�u�p1ÖD�$} � �AmD�t~qy�� � �-}�m_y9³�'p_�.m��°�$r n��$} � ��y\��sr���u�$�1B 3 � x=m1º×½��A� �U�D�D������� =AÂ%|�� � �P�9n�n)��}�¼�pD��y��×s B F s×~qu���u�e~qx=m1�U���²¼�w²mDyçm_y)m_oqw�U~ � m_o

À

Page 7: Run Time - Computer Science at RPI › ~szymansk › papers › ppl95.pdf · Execution-Driven Exact Exact Exact Exact Simulated Simulation Simulation Compile-Time Simulated Accuracy

xI�$� � pE�Æue~�x�~qoqmD}��ep�� � �tpDy9�#n9}U��ue�$y\�e�A�Î~qy ¾��A�1Á§��ue~qy9³I� � �#�°p}exP�9oqm�å

B F ��� � � ;*� ��������6��� = B O ½ B�Â�� �r � �$}U� K � � ~qu�� � �Óy��9x�¼��$}�pD�[m_}U}Um�wÅm �$� ��uUu � oqmueue��uW½�ue�$�ä¾��A�1Á��°pD}P� � ��~�}=�E�$Ô�y9~��e~qpDy)Â�~�y� � �=~qy9y9��}ex�pu�to�p�pn§s = B O ½ B�Â[~qu�� � �=�9m1��mÆu~qv$��p_�b}e�$�°�$}U�$y � ��u�~qyZ� � � B DGF }e�$�°�$}U�$y � � � oqmueuxI�AmDue�9}U����~�yt¼�w\�e�Au$s�m_y)� � ��*(� � m_}U��n�m_}�m_x��$�e�$}�u.p_��� � � � m ��� ���E�Au � }e~q¼)�A��~�y#� � �'n9}U�$Ö�~qpD��uu� � �e~qpDy�|

¢iy9pD� � ��}?~qx�n)p}��m_y\�?n�mD}�?p_�E� � � � ���9}U~qu�e~ � ~�u§�Up��E�$�e��}ex�~qy9�'~��9� � ��x�~��En)p~�y\��½ B 3 ��B F  �_�~qu��epP� � ��oq�%�Ã�-p}'�Up�� � �#}e~q³ � ��pD�§� � �#uepDoq�E�U~�py§|c� � ���)u��} � m_yÎx�pE�E~��°w=� � ���E�$��m_�9o��-Ö1m_oq�9��u��u�A�M~�y»� � ~quÎ�E�%�U�$}UxI~qy�m_�e~qpDy»¼�w n9}Up1Ö�~q�E~qy9³ mÅ�epo���}UmDy � ���»pDy B�s�m_y��Moq~�x�~���� �°pD}µ� � �o��$�Ã�Wm_y��H}U~�³ � �µueo�pn)�ÆÖ1m_oq�9�Au²½��E�$��m_�9o��µÖ1m_oq�9��u=mD}e��� � �A�9s�� � � ^q�AÂ%|»� � �Æ�°�9y � �U~�py§sZ�½ B� s9}U�%�U�9}Uy�u-mIy9pD}Ux=m_oq~�v����Óu~qx��9o�m1�U��� � m ��� � � ~��e��}�m1�U�#Ö�mDo������°p}i}�m_y9³�%B�|�� � �#}U��´\�9~q}e�A�y\��x�¼��$}�p_�'u�e�$n)ui�°p}[� � ��}U� � �9}Uue~qÖD�t¼9~�u� � �U~�py²~qu���½°oqpD³ �����D���� Â%s.uepµpy9o�w·mµ�°�$ræ}�m_y9³��u-pD�� � �toqp�pDnÓx���u�i¼�w=�e}U~��A�Ó¼)�$�°pD}U��� � �tpDn9�e~qx��9x ~qu��°p�9y��×|

����� +\¥ ������ "!$#������� &% ¦' ������ )(+* "(-, ¥ "!/.0 &% ¦$1 � *2 , ¥�©�¥ ( ¦/3)©�¥ "! ¦�¦�1�¥ (54 "! ¦ *67, ¥�© ¥ % ¦/3)©�¥ "( ¦�¦�1�¥ % 4 )( ¦ *�98 ¥ %;: ! . �=<?>A@B@ 6DCFE ¦&G?H �JI G �K "(D*H�L9M�H �N8 ¥ 2 C�E ¦OG?H �JI G �P "!�*H�L9M�H �N8 ¥ 6 : 2 ¦QG?H �RI G � +\¥ "!�S� ( ¦H�L9M�H+G?H �JI G � +\¥ ( S� &% ¦ *Ti l l m i c

ih Loop Range

i

f(i)

Cac

he H

it-R

ate

φ

θ

�9����aVUXW?��(�� ��� � ���ZYQ��� � � � ��+�/ ¥�����©��^¦§���A! ������(����?��� /-0�(A� ��!#!�(�� �����b+A�(A����� � ����¥������ +%��¦

[§¬�\ 79R�@ L?79>�@�5�F»5)]i>�YQK²ëìK\>�YQ5§L

� y�� � ~�u�ue� � �e~qpDy�rb�i�%º9m_x�~qy9�-� � �[m ��� �9}�m � wPmDy�� � p\u���pD��� � � � pDx�n9~qo��$� �U~�x��[ue~qx��9o�m1�U~�pyxI�$� � pE�äm_y)�Z~��UuVmDn9n9oq~ � m_¼9~qoq~���w·�UpÆo�p�pDnÅpDn9�e~qxI~qv�m_�e~qpDyç�°pD} � m ��� ��n��$}e�°pD}Ux�mDy � �|I�?pÓ� � ~�u�$y��Ærb�t}e��n)p}�ipy²m=u�$�ip_�c�%ºEn��$}U~�x���y��u � py��E� � �e�A�ÆpDy·u��ÖD��}UmDo×¼)��y ��� x=m_}UlEui�E��u � }U~q¼)�A�~�y²��� � �e~qpDy·��|��|

� � �$}U��mD}e�c��rbp[n�p_�U�$y\�e~�m_oEuepD�9} � �Au§pD�9~�y�m �$� �9}Um � w��ep�� � �bn9}UpDn�pue���#x��%� � pE�×|�Õ?~q}�u��As�� � �}e�$�°�$}U�$y � ��ui³�$y9��}Um_�e�A�W¼�wÓ� � � � px�n9~�oq�%���e~qx��W½ u����ÕQ~�³�9}e�Î�AÂiue~qx��9o�m1�U~�py²m_}U��m_y²mDn9n9}Up�º\�~�x=m1�U~�py²p_�c� � ��}U��mDo�}U�%�°��}e��y � ��u�e}U~qy9³�|[�?pµx���mu��}e�t� � ��~qx�n�m � ��pD�c� � ~�u�mDn9n9}Up�ºE~�x=m1�U~�pyr�� � pDx�n�mD}e�i�E��y�ue�$oqwIuUm_x�n9oq��� � m ��� �iue~�xP�9o�m1�e~qpDy=mDy���}e�Am_o)n)��}�°p}ex=m_y � � � ��}eÖ��u��°p}���m ���¼)��y ��� x=m_}Ul.|�ÄÅ��u � p1ræ� � m1�#� � �=u � mDn)�Au�p_�'� � �I� � �Au� � �9}eÖ��u�m_}U�Iue~qxI~qo�m_}As.� � p�9³ � y9p_�~q�E��y\�e~ � m_o�|

� � �Îue� � py�� uepD�9} � �=pD�i~�y�m �$� �9}Um � wç~quV� � � � �$�9}U~�u��U~ � �°}UpDx ��� � �e~qpDy �9| �²��u�A�Å�epÅ�E�%��e�$}Ux�~�y���� � ��o�m_}U³D�Au��[}�m_y�³D�Vr-~�� � ³Dp�pE� � ~��e��}�m1�U��n��$}e�°pD}Ux=m_y � �D|iÄÅ�ImDn9n9oqwÓ� � � � �$��}e~�u��U~ ��ep·� � �µ¼��$y ��� x=mD}elEuVmDy�� u � p1r � � m1�V� � �µ�°p�9y��ä}�m_y9³��utmD}e�=r-~�� � ~qy ue�$Ö�$}�m_ocn��$} � �$y\�VpD�� � ��pDnE�U~�xP�9xÆ|�� � ��ue�[}U�9y�u'mDoquepV�E��xIpy�u�e}�m1�e�i� � m_�'� � �i�e~qx���u�}e�A´\�9~�}U���I¼�wI� � � � �$��}e~�u��U~ ��E}e~qÖD��yÓue~qx��9o�m1�U~�py�u-m_}U�tm �$� �$nE��m_¼9oq���°pD} � pDx�n9~qo��$� �U~�x��tm_y�mDo�wEue~qu�|

î

Page 8: Run Time - Computer Science at RPI › ~szymansk › papers › ppl95.pdf · Execution-Driven Exact Exact Exact Exact Simulated Simulation Simulation Compile-Time Simulated Accuracy

0

0.2

0.4

0.6

0.8

1

500 1000 1500 2000 2500

Nom

aliz

ed H

it-R

ate

Range

VectorJacobi

Shallow

0.4

0.5

0.6

0.7

0.8

0.9

1

1.1

500 1000 1500 2000 2500

Nor

mal

ized

Per

form

ance

Range

VectorJacobi

Shallow

�9����a��i,×���^+���"���/�(��g�U����� �t¥�����©��^¦����A!#f.�����^+�/i��� j#¥q� ��� +$�^¦§£�����(A� ���§©q� �×� +��'"�� �

� � �²Ô�y)m_o#u�$�Wp_�t�$º�n��$}U~qxI��y\�UuW}e��n)p}�U���»¼��$oqp1r �°p � ��ue��uµpy � � �Z��ue�ZpD�V}UmDy9³D�·}U�%��e�9}Uy9���µ¼\wP� � � � ���9}e~�u�e~ � ~qyµ³D�9~��E~qy9³t��rbp � pxIx�pyµo�p�pn=pDnE�U~�x�~qv�m1�U~�py��e� ��� y9~�´����u�å?oqp�pDnE�~�y\�e��} ��� m_y9³��mDy��Ó~��U�$}�m1�e~qpDy9�^uen�m � ��¼�o�p � l�~�y�³�|

ÙÃØDÙ�� Ï$È�Ì�â�Í=á1Êeß1ËÄç���9}e��r¹p�9}[¼��$y ��� x=m_}Ul�u-�°}epxí� � �V�°po�oqp1r-~�y�³µm_n9n9oq~ � m1�U~�py�u�å��)Ï�Ì$É^Ü_Ê Ú ÊeÜAã1Ý�Ì$ɧ� � m1�

� pDx�n9�9�e��u[mI�9pD�9¼9oq�#n9}U� � ~�ue~�pyWÖ� � �UpD}�~qy9y9�$}[n9}epE�E� � ��s��EáÌUÜ�%Ç 9 É�Ï%Êeá_É Ç�Ü_È��°pD}iuepDoqÖ�~�y9³In�mD}��e~�m_o.�E~��.�$}U�$y\�U~qmDo���´\��m_�e~qpDy�u�½�� � ¸�uUÂ%s�iÌ�Ï�á1È �²ÜAãDÏ$ÐuepDoqÖ�~�y�³�m � py\�e~qy\��~���wI��´\��m_�e~qpDy��UmDlD��y�°}epx ��rbp_�^oqm�w�$}Asoq~�y���m_}[�9y9~��E~�}U� � �e~qpDy�mDo×x�p��9�$o§pD�Qr-~qy������E}U~�Ö�$y � ~q} � �9o�m1�e~qpDyÓ~qyÆm=�9�$y�ue~���w\�u��U}Um_�e~�Ô����=p � ��m_y�sm_y)�;�Eâ�á1ÐÃÐ�Ü � Þ·á1É�Ï%Ê �ZÜ�ãÏ%Ð\r � ~ ��� ~qubmVue� � �U~�py=p_�.� � �[rb��m1� � �$}�n9}U���E~ � ��e~qpDyZn�}ep³D}�m_xÆ|-Äç�I¼��$oq~���ÖD�V� � m1��� � ��ue� � pE�E�Au�mD}e�Pmµ}U�$n9}U��ue�$y\�Um_�e~qÖD�VuUm_x�n9oq�V�°p}�mÎoqmD}e³�� o�mDuUu-p_��ue�9n)��} � pDx�n9�E�U�$}[mDn9n9oq~ � m1�U~�py�u$| ¯ p�pn·¼)pE�E~q��u[~�yÆ� � ��ue� � pE�E�Au-��ue��m �=y9��~�y��9�%ºE��um_y��Óoqp\pn�u-m_}U��y9��u�e�A�W��nW�UpI� � }U�$�toq�$Ö�$o�u-�E�$��n§|

Ù �\Ù à�Ü_Íiè.ÇÃÐ�Ï%Ò 7�ÇÃÍ=Ï �)ÇÃÍIÝEÐ�á_É Ç�Ü_ÈZÛ1Ï%Ê�Ë$Ï%Ë(/�Ì$É Ý�á_Ð Ú Ï%Ê°Ñ%Ü_Ê Í�á_È�Ì�ÏÕ?~q³D��}e�Au�¿�s9�9s\mDy��=� � ��}U~q³ � � � mDy��µ³}UmDn � ~�yÓÕQ~�³�9}e��À�u � p1r �E�$y)u��o�w=uUm_x�n9oq��� � �9}UÖD��u

p_� � m ��� ��ue~qx��9o�m1�U~�pyÅmDy��ż)��y ��� x=m_}Ul²n��$}e�°pD}Ux�mDy � ��}U��ue�9o��Uu�| � ��u � p�9o��ç¼��=y9pD�e���ç� � m1��E�$y�ue�VuUm_x�n9oq~�y9³=pD��ue~qx��9o�m1�U� � ~��e��}�m1�U� � �9}UÖD�Au�~�u-y9pD�in�m_}e�ip_�Q� � �tn9}epn)p\u�A�Îx��$� � pE�·m_y)�rbmu?�Epy9�bpDy9oqw#�ep�ÖD��}e~��°w�� � ��m ��� �9}�m � w�pD�9� � �bue~�xP�9o�m1�e~qpDy�|?� � � � �9}UÖD�Au�}U�$n�}e�Au��y��â�ÇÃÉ�Ò�Êeá1É�Ï� �9}UÖD�Au��°pD}t��m ��� mDn9n9oq~ � m1�e~qpDyäm_y)�ç¼��$y ��� x=m_}Ul·n)��}�°p}ex=m_y � �Ds���m ��� y9p}ex=m_oq~qv$���Åm_³\m_~qy�u�� � �V¼���u� � ~���^}Um_�e�tm_y)�Î� � �t¼���u�in)��}�°p}ex=m_y � �#p1ÖD��}�� � �t}�m_y9³�DsE}U��uen)� � �e~qÖD��o�w|�� � �t}�m_y9³�}e��n9}e�Au��y\�UuQ� � �iu~qv$�-pD�)� � �-n9}UpD¼9oq�$x �°pD}cpDy��%���E~�x���y�u~qpDy)m_oEn9}UpD¼9oq�$x=ucmDy��P� � �[ue~qv$��p_�.��m ����E~�x���y�u~qpDyÆpD�Q� � �tn9}UpD¼9oq�$xí�°pD}-��rbp_���E~qx��$y�ue~�py�m_o.n9}UpD¼�o���x�u�|'� � �tn�o�pD�UuimD}e�VuUm_x�n9oq���Æm1�~�y\�e��}eÖ1mDoqu�pD��mDn9n9}Up�º�~qx=m1�U�$oqw=�D�9|

� � ��ue�Î�$º�n��$}U~qxI��y\�Uu�u � p1r � � m1��� � �$}U�Î~�uImZu�e}UpDy9³ � pD}U}e��oqm_�e~qpDyä¼)�$��r����$y � � �Æu � mDn)�p_�-� � �Wn��$}e�°pD}Ux=m_y � �µpDy � � �µ��m_}U³D�$��x=m ��� ~qy9�WmDy��ä� � �Wu � m_n��ÎpD�[u~qx���oqm_�e��� � m ��� � � ~���}Um_�e�D|t¢��9�E~��e~qpDy�mDo�oqwDs×rb�P�)u�A�·� � �I�E��y�ue� � �9}eÖ��ui�epÓo�p � m_�e� B��%s.� � �Po�m_}U³D�Au���}UmDy9³D�V�epW� � �o��$�Ã��p_��� � �µu�e���$n �E� � o�~qy9��}U�$³D~qpDyÅp_��� � � � �9}UÖD�D|=� � ��}U��ue�9o��Uutm_}U��n9}U��ue�$y\�e�A�Z~qyÅ� � �=oq�%�Ã�n�m_}e�'p_���Qm_¼�o��V�sr � �$}U�-� � ��Ô�}�u���4bÊ ÊeÜ1Ê���è�Ï%ÊUÌUÏ$È�É�� � po��9x�yµu � p1riuc� � ���9~��.�$}U�$y � �i¼��%��rb�$�$y� � � /�Ì$É Ý�á_Чm_y��¹à�áDÌ�â9Ï ��ÇÃÍPÝEÐqá1É�Ç�Ü1Ȳ}U��ue�9o��Uu�|Ó� � �Îx�m_ºE~�xP�9x ½�~�yBx=mD³Dy9~��e���9�AÂ#}U�$o�m1�U~�Ö��$}U}ep}cpD¼�ue�$}UÖD�A�P~�ui�1î�� �°pD}�� � �[u � m_oqoqp1rHr�m1�U�$}�x�pE�E�$o)¼)��y ��� x=m_}Ul�py�� � �����9n��$} �E�×¢ � ��|��� ��� mZo�m_}U³D�Ó�$}U}ep}�~�u � mD��u�A�B~qy � � ~�u � mDue�Ó¼\wä� � �·}U�$o�m1�e~qÖD��o�w uex�p\pD� � �E� � o�~qy9�Æp_��� � �n)��}�°p}ex=m_y � �[pD�§� � ~qu�¼��$y ��� x�mD}el=mDy��µ~��Uu-´\�9~��e� � ~q³ �Î� ~��-}�m1�e�Au$|�Õ9p}�p_� � �$}b¼)��y ��� x=m_}UlEu$s

Page 9: Run Time - Computer Science at RPI › ~szymansk › papers › ppl95.pdf · Execution-Driven Exact Exact Exact Exact Simulated Simulation Simulation Compile-Time Simulated Accuracy

0

0.2

0.4

0.6

0.8

1

200 400 600 800 1000 1200Nor

mal

ized

Hit-

Rat

e or

Per

form

ance

Range

RealCache Sim.

�9����a���"���/�(��g�U����� ���äf.�����^+A/i����ji£§�� (�� � ��������

� � �t}U�$o�m1�U~�Ö����}e}UpD}��Ep���uiy9p_�-�%º � �$���ç��� �Î|

Ù�Ù 2PÏ%ÝEÊ Ç�Ë É�Ç�Ì1/�Ì�Ì%ÝEÊUáDÌ �Îá1È�ã �)ÇÃÍIÝEÐ�á1É�Ç�Ü1ÈP7�ÇÃÍ�Ï��pIu � p1r � � m_��� � ��n�}epn)p\u�A�=x��%� � p��W~�u'�°�AmDue~�¼�o��[�°pD}�~�y\�U�$³D}�m1�U~�pyµ~qy�UpPm � pxIn�~�o�m1�U~�py

uwEu�e�$xÆs�� � �-m �$� �9}�m � w#m_y)�#�e~qx��b}U��´\�9~q}U���#¼�w#� � � � ���9}e~�u�e~ � mD}e��³D~qÖD�$y�~�y�� � �b}e~q³ � �Qn�m_}e�?pD��?mD¼9o��[�D|?� � ��}e~q³ � �UxIp\u�� 4�Ê ÊeÜ1Ê���è�Ï%ÊeÌ�Ï$È�É�� � pDoq�9x�yt~�yV�Qm_¼�o��-��}U� � pD}��9u�� � �'}U�$o�m1�e~qÖD����}e}UpD}×pD�� � � � ���9}U~qu�e~ � mDo�oqw��E�$�e�$}Ux�~�y����I}UmDy9³D��Ö�$}�u��u?� � �-pDnE�U~�x=mDo9Ö1m_oq�9�D|�� � �iue� � py�� 7§ÇÃÍ=Ï�� Ë$Ï�Ì Ù �� pDoq�9x�yBu � p1riut� � �µ}U�9y9y9~qy9³·�U~�x��ÎpD��� � � � �$�9}U~qu�e~ � pyBm·�9y9~qn9}Up � ��uUup}P�E¡��í��n�mD} � �U�A�� pDx�n9�9�e�$}A|c� � �ix=m1ºE~qx��9x �e~qx��i�ep��$Ö1m_oq��m1�U��� � � � �$�9}U~�u��U~ � ue��mD} ��� ~�u'�_��u� � pDy)�9u��°pD}�� � �u � mDo�oqp1rOr�m1�U�$}�x�pE�E�$o§¼��$y ��� x=m_}Ulµr-~�� � � � ������n)��}��E�×¢ � � mDu-mI��m_}U³D�$��|

� � � � �$�9}U~qu�e~ � ³D�$y��$}�m_oqo�wÆn9~ � lEu�mW}UmDy9³D�PÖ1m_oq�9��� � m1�t~�u�r-~�� � ~�yäm=�°��r n��$} � ��y�#p_�'� � �pDnE�U~�x=m_oQÖ1m_oq�9�D|i��p\u~��e~qÖD�t��}e}UpD}�ui�EpÎy9p_���%º � �����·� �Î|[� � �VoqmD}e³��u�iy9�$³\m1�U~�Ö�V�$}U}ep}�s��_� �Îs~qu��°pD}�� � ���m � pD¼�~?~��e��}Um_�e~qpDy²¼��$y ��� x�mD}el·py²� � ��~q�ÀD�9| � y\�e��y\�e~qpDy�mDo�oqwDs.� � � � �$�9}U~qu�e~ � �9yE��E�$}U��u�e~qx=m1�e�Aut� � �=� � }e�Au � poq�äÖ1mDo��9�μ\wÅn9~ � l�~�y9³²� � �Wo��$�Ã�P���9³D�=p_�-� � �Î�Ep1r-y�r�m_}��äuoqpDn��Ds¼)� � m_�)u�=� � � � pu��p_�-�9y��9�$}U��u�e~qx�m_�e~qy9³·~�u�m²ueo�~q³ � �V~qy � }U��mu�=~qy oqp\pn � py�U}epocp1ÖD��} � �AmD�×sr � ~�oq�tp1ÖD��}e�Au��U~�x=m_�e~qy9³ � m_yÓx�p1ÖD��� � �Vue�$oq� � �e���Ó}�m_y9³�[�UpI� � �toqp1r � ~���^}�m1�e�#}U�$³~�py§|

9��*A��� � aVY?����(1��� # "���/b(��g�U� ��! # ���A!�W?��(�� ��� � �������$� 0#£������ �� §+�������+A� ��!�� 9����� ��� f.�����^+�/i��� j Y?����(1��� ,×���^+A� ª)����� � YQ�1��� 3 W?��(��$3 §��/-� ª�� ��� �

"$��/#a � 2$����� ��� � ��� ����� a �

"�� � �)����� � � � ��� � ��� � ��� ��� U �"�� � �%���� *A� �� � � �� � � �� � � ���� ��� 3��"�� � �Q������ � � ��� �JU �� �"�� � "�+1�������d �� � 3 �� �� � �� � 3 � �"�� � ¨�,Qa1"�+1�������ed�� �� � � � 3 � � �

"���Y�£§, �)����� � � �� � � �� � � �� � � ��JU � � �"���Y�£§, �%���� *A� ��� � �� � � � ����� � �"���Y�£§, �Q������ �� �� 3�� �� � �� � � 3 ��"���Y�£§, "�+1�������d � � ��� � ��� �� � 3 � ����� �%���� *A� � � � � U � � � �� � 3 �

� ¨�,W���A!�����U�����Q�A� � 3Ã��� �$� ��� (�� (��?� � � �^��� ��?mD¼9o�����m_o�uepVu � p1riu�� � ��}UmDy9³D�Au��E�$�e�$}Ux�~�y����=¼�w=m_n9n�o�w�~qy9³�m_yWm_y�mDo�w\�e~ � x��%� � pE�×sEu� ���

mDu�~qy¹¾��D�$Á�|M� � �·m_y�mDo�w\�e~ � xI�$� � pE�M~�uP³�$y9��}UmDo�oqwä�ep�pÅpDnE�U~�x�~�u��U~ � r � ~ ��� }e�Au�9o��Uu�~qyH� � �u��o�� � �e~qpDytpD�9m-}UmDy9³D�c~qyt� � ��oqp1r���n��$}e�°pD}Ux=m_y � �Q}U�$³~�py#p_�E� � � � ~���^}Um_�e� � �9}eÖ�D|�Õ�pD}?�%º9m_x�n9oq�Ds

 

Page 10: Run Time - Computer Science at RPI › ~szymansk › papers › ppl95.pdf · Execution-Driven Exact Exact Exact Exact Simulated Simulation Simulation Compile-Time Simulated Accuracy

� � �i¼���u�'}�m_y9³�-�E�%�U�$}UxI~qy9�A��¼\w�� � ��m_y�mDo�w\�e~ � x��%� � pE�I�°pD}c� � �[u � m_oqo�p1rMr�m1�e��}c¼)��y ��� x=m_}UlpDyW� � ���E�[�#r-~�oqo§�E�$oq~qÖD�$}imD¼)p�E�[�_� � p_�?� � �tn��$}e�°pD}Ux=m_y � �[�°p}�� � �t}�m_y9³���9�%�e��}ex�~qy9���Ó¼�w� � � � pDx�n9~qo��$� �U~�x��Vue~�xP�9oqm_�e~qpDyÆm_y�� � ���9}e~�u�e~ � |

0

0.2

0.4

0.6

0.8

1

0 500 1000 1500 2000Nor

mal

ized

Hit-

Rat

e or

Per

form

ance

Range

Original TargetLoop Int. RealOriginal Sim.

Loop Int. Sim.

0.5

0.6

0.7

0.8

0.9

1

1.1

0 200 400 600 800 1000 1200 1400Nor

mal

ized

Hit-

Rat

e or

Per

form

ance

Range

Original TargetLoop Int. Target

Original Sim.Loop Int. Sim.

�9����a �b���$� 0��Ã�%��������+1����� �� �%����� *��.¥�����©��^¦§���A! �Q������I¥q� ��� +$�^¦×£���� (�� ���§©�� �§� +���"�� �

Ù �)ÙiÚ Ï%Ê°Ñ%Ü_Ê Í�á_È�Ì�Ï Ú ÊeÏ�ã1Ç�Ì$É�Ç�Ü1ÈÅÜÑ%:?Ü�Ü�è ?è�É�ÇÃÍIÇ���á_É Ç�Ü_È� �$}U�Ir��P�°p � ��u#pyZn9}U���E~ � �U~�y�³Î� � ��n)��}�°p}ex=m_y � �Ip_�'p}e~q³D~qy�m_o�m_y)�·�e}�m_y)u��°p}ex����Zo�p�pn

y9��u�Uu�~�y p}U�E��}#�ep²ue�$oq� � ��pDnE�U~�x=mDo�o�p�pnç�U}UmDy�u�°pD}Ux�m_�e~qpDy§|ÎÄç�Îu � p1r � � m_�V� � � � �$��}e~�u��U~ �� m_yZ¼)�I��ue���Æ�UpW´\�9~ � l\oqw·�E�%�U�$}Ux�~�y9��� � �ÓÇÃÉ�Ï%Êeá_É Ç�Ü_È�Ò^Ë�è�áDÌ�Ï �$Ð�Ü�Ì�ß_ÇÃÈ � ��m � �ep}�|#��pDx���}U��ue�9o��Uu�°pD}tÐ�ÜAÜUè ÇÃÈ�É�Ï%ÊUÌUâ�á1È � ÏimD}e��³D~qÖD��yW~qy·�?mD¼9oq�I�VmDy��ÓÕ?~q³D��}e�tÀƽÃ�°p}i�E�%��m_~qoquiue�$�=¾��A�1ÁÃÂ%|

� oqp � l�~�y9³Æp}#�e~qo�~qy9³ ¾ ¿_Á'~�ut��ue���ç�Up·~�y � }e�AmDue�I� � �µoqp � mDo�~���wZpD���9m_�UmÆ}U�%�°��}e��y � �Aut�E�9}U~�y9³� � ��oqp\pnZ�$º�� � �E�U~�pyZ¼�w²mD���E~�y�³Óm�9�E~��e~qpDy�mDo?oq�$Ö�$o�u�pD�'oqp\pn�u#upW� � m1�#~�y9y��$}#o�p�pn�u�~��U�$}�m1�e�p1ÖD�$}c¼�o�p � lEucp_�.� � �ipD}U~q³D~qy�m_oE~��e��}Um_�e~qpDy=un)m � �| � oqp � l\~qy9³ � mDy�~�x�n9}Up1ÖD� � m ��� ��n��$}e�°pD}Ux�mDy � �¼\wÆ~qy � }U��mu~qy9³=}U�$��ue��mDy��·�E� � }e�AmDue~�y�³=~�y\�e��}�°��}e��y � �| ��yÆ� � �P}e~q³ � �[~qyZÕQ~q³D�9}U�IîIrb��u � p1r� � �#}U��ue�9o���u'pD��¼9oqp � l\~qy9³�� � �tu � m_oqo�p1r»¼��$y ��� x�mD}el=�)u~qy9³PmP}�m_y9³�ip_��¼�o�p � lµue~�v���u'�°pD}b� � }U�$�n9}ep¼9oq�$x ue~�v���u�| � w ��� p�pue~�y�³Î� � � � p}e}U� � ��¼9oqp � l�~�y9³Ó��m � �ep}#� � �=n��$}e�°pD}Ux=m_y � �P~qx�n9}Up1ÖD��u¼\wÓmDu�xP� ��� mu-�� �µ|

� � �[³}UmDn � pDy�� � ��oq�%�Ã��~qyÎÕQ~�³�9}e�#îtu � p1riuc� � �[n��$}e�°pD}Ux=m_y � �i~�x�n9}Up1ÖD��x��$y\�'pD¼9�Um_~qy9�A�¼\w�m_n�n9o�w�~qy9³V¼9oqp � l�~�y9³#�UpV� � � �\m � p¼9~9¼��$y ��� x�mD}el.|c¡[ue~qy9³t� � � � m ��� �-� � }e�Au � poq�IÖ1m_oq�9���E�%��e�$}Ux�~�y����=¼�wV� � � � pDx�n9~qo��$� �U~�x��[ue~qx��9o�m1�U~�py=~�x�n9}Up1ÖD�AuQ� � ��n)��}�°p}ex=m_y � �-¼�w���� ½°�%º � �$nE�~�y·mIy�m_}U}Up1r }e��³D~qpDyWp_�c� � �E��³D}�mD�9m_�e~qpDy)Â%|

4

4.5

5

5.5

6

6.5

0 1 2 3 4 5 6 7 8Eva

luat

ed P

oint

s P

er S

ec. (

mill

ions

)

Number of Elements (millions)

OriginalBlocked

0102030405060708090

0 50 100 150 200 250 300 350 400

Per

cent

Impr

ovem

ent o

ver

Un-

Blo

cked

Block Size

Block Size = 60prob. size: 160x160prob. size: 240x240prob. size: 320x320

�9����a ���9��� ©�� ��/i���������Ã/-0�� �e¤%��/-���$� ���Q(���� �-f.���$�^j����A�

� � �µ}U�%�°�$}U�$y � �=n�m_��e��}ey ³�$y9��}Um_�e�A�Åm_�Ã�e��}�¼9oqp � l\~qy9³·~�u��E~��.�$}U�$y\�V� � m_y pDy��µn9}Up��9� � �A�¼\wämÆ�U}Um�Ö�$}�uemDoQpD�im � py�U~�³�9pD�)uoqwçmDo�oqp � m1�U���äm_}U}�m�wD|Ó���Um1�U~ � n9}U���E~ � �U~�py xI�$� � pE�9u�scu� ���

�A�

Page 11: Run Time - Computer Science at RPI › ~szymansk › papers › ppl95.pdf · Execution-Driven Exact Exact Exact Exact Simulated Simulation Simulation Compile-Time Simulated Accuracy

mDu�n9}UpDn�pue���²¼�wB¾ ¿_Á�p}I¾��D�$Á�s§�EpÆy9pD����m_l��� � ~qu#~qy\�ep � py�ue~q�E��}Um_�e~qpDy§s×mDy��·� � �$}U�%�°p}e�P� � ��wx�m�w�y9pD� � p}e}U� � �eoqw ��� p\p\u�i� � ��¼9o�p � l�~qy9³t��m � �ep}��°pD}bmVoqp�pDn§|c¢[ubu � p1r-y=~�yW�?mD¼9o��P�Ds\��ue~�y9³}e�Au�9o��Uui�°}epx � � ��m_y)m_oqw�U~ � m_o§x��$� � pE�Æ~qyB¾���%Á?m�¼9oqp � lÓue~qv$�tp_�'�D �Pr�p�9o��Ƽ)� ��� pue�$y§|b¢[u�$Ö�~q�9�$y � ���=~qy=� � �i}e~q³ � �'n)m_}e�'p_��ÕQ~q³D�9}U��î�sD� � ~�u�r�p�9oq��}U��ue�9o���~qy=o�~���Uo���pD}'y9pVn��$}e�°pD}Ux�mDy � �~�x�n9}Up1ÖD��xI��y\��|

Äç� � m_y � p}e}U� � �eoqwÎ�E�%�U�$}Ux�~�y9�#� � �VpnE�e~qx��9x ¼9oqp � l\~qy9³I��m � �ep}-�°pD}tÇÃÈ)Òqè�Ð�áÌUÏ[�%ºE� � �E�U~�py¼\wçx�p��9~��°w�~qy9³·� � �Îu~qx���oqm_�e���ämD}e}�m�w²mD�9�9}e�Aueue��u��epZ}e��n9}e�Au��y\��� � �=}U�%�°�$}U�$y � ��uV³D�$y��$}�m1�e�A�¼\wä� � �Ó�e}�m�ÖD��}UuUm_o�p_��mç¼9oqp � l r-~�� � ~�y»mZo�m_}U³D��}PmD}e}�m�wD| � � ~�uI~qu=�Epy9�Ó¼\w p �.ue�%�e�e~qy9³ç� � �u~qx��9o�m1�U���M¼9oqp � lB~�y»� � �·¼9oqp � lD���H~��e�$}�m1�U~�py �E~�x���y�u~qpDy�| � y pD�9}=}U�%�°��}e��y � �ƳD��y9�$}�m1�U~�pyxIpE�E��o9� � ~qu'~qu��EpDy��-¼\wImD�9�9~�y9³Pm � pDy)u���m_y\��p �×u�$�c�ep'Z�½+%-��B�ÂQ�°pD}��Am ��� ¼9oqp � lD���I�E~qx��$y�ue~�py§|� � �#}e�Au�9o��e~qy9³ � m ��� � � ~��e��}�m1�U�t�E� � }e�AmDue��u�½�Ç Ù Ï Ù s B � x�p1ÖD�Au��UpP� � �toq�%�Ã��Â%s�m_y)�µ� � �#pDnE�U~�xP�9xo�p�pDnH}UmDy9³D�Ó}U�%�e��}ey9�A�B¼�wä� � � � �$�9}U~qu�e~ � �E� � }e�AmDue��u��°}epx  D�Z�epäÀD�9s�½�ue�$�·�?mD¼9oq�ç�Ó}ep1riux�mD}el���V�E�[��� � mDo�oqp1r m_y��P�E�i�'�#� � � mDo�oqp1r[Â×� � ~�u?¼9o�p � l#u~qv$��w�~���oq�t~qx�n9}Up1ÖD�$x���y�?r-~�� � ~�ym��°��r n��$} � ��y\�ip_��� � �tpDn9�e~qx��9xÆ|

��¬�� ®?>�®?41K�� 5)4��� � � � ��}e}U�$y\�[ue~�xP�9oqm_�e~qpDy²uewEu��U�$x �Um_l��uim=ue��´\�9��y � ��p_�co�p�pn·y9��u�UuimDy��Æ}U�$n9}U��ue�$y\�Uui~��

mDu[m�}U�%�°��}e��y � �Vuen�m � �Vr-~�� � m��Up_��m_o�p}U�9�$}A|b� � ��}e�$�°�$}U�$y � �Vu��U}e~qy9³��°pD}���m ��� ue~qx��9o�m1�U~�pyÓ~�u³D�$y��$}�m1�e�A�μ�w=� � �Vue��´\�9�$y � �#p_�cm_n9n�o�~ � m_�e~qpDy�ubp_�Q� � �Vu� ��� �AueuepD}b�°�9y � �e~qpDyÆ~qyW� � ~�uiun)m � �|

� y�u��U��m�Æp_�c³Dp~�y9³�� � }UpD�9³ � ��m ��� n�pD~qy\��p_��m=}U�%�°��}e��y � �Vuen�m � �Vrb� � p�9o��Ó�e}�m�ÖD�$}�ue� ���)u��� � ��n)p~�y\��u'� � m1� � p�9o�� ��� mDy9³D�-� � � � pDy\�U�$y\�Uu�p_�§� � � � m ��� � �\� � �Au��m_}U�[�$ºEm � �Uo�wI� � ��n�pD~qy\�Uu�°pD}Îr � ~ ���O� m ��� �$��x�~�ueue��uµp ��� �9}A| � �$y � �Dsi~qy�u�e��m�»p_�V��ue~qy9³ mBue� �$� ��uUup}=�°�9y � �e~qpDy§s�r��� m_yÓx�p1ÖD�[�epI� � �#oq�%ºE~ � pD³}UmDn � ~ � mDo�oqw � o�p\u�Au���n�pD~qy�-pD�§� � �#}U�%�°��}e��y � �#un)m � ���°pD}�r � ~ ��� � � �� �9}U}e��y\�Qoq~�y���u�m_}U��p1Ö�$}e¶�p1rb����pD}cm1��r � ~ ��� � � ��}UmDy9³D��p_��py9��pD��� � ��o�p�pDn � py�U}epoÖ1mD}e~�m_¼9oq��u~quQ�%º � mD��u�e���§|Q��� ��� m_yPm_n9n9}Upm ���V� mDyPuen)�����V��nV� � �bn��$}e�°pD}Ux=m_y � �'¼�w�� � �b��m � �ep}?�A´\��m_o\�ep� � �t~qy�ÖD�$}�ue��pD��� � �tx�~quUu��^}�m1�e�| � p1rb�$ÖD��}�s�~��i}e�A´\�9~�}U��ub� � m1�-� � �t~qy��E�%ºE~qy9³��%ºEn9}U��uUu~qpDy)ubmD}e�m �=y9�I�°�9y � �e~qpDy�u=½�p_� � �$}Ur-~que�Ds×~��t~qut�E~�� � �9o��t�epÓn9}U���E~ � �tr � ~ ��� �°�E�e�9}U��}e�$�°�$}U�$y � �P}U��m ��� ��u¼)��wDpDy)� � � � � �9}e}U�$y\� � m ��� � � py�U�$y\�Uu� | � � �²mD�EÖ1mDy��m_³��u�m_y��»�E~�uUmD�EÖ1m_y\��m_³D�Au�p_�tu� ���m_yäm_n9n9}Upm ��� ~�y � px�n�m_}U~quepDy²�epÓ� � ��m_n�n9}ep\m ��� n�}e�Au��y�U��� � �$}U�ImD}e�P� � ��ue�9¼ ��� � �tp_��pD�9}� �9}U}e��y\��}U��ue��mD} ��� |

��� ������������������������� �"!�#%$'&�()!�*�+),.-"*/&�021305426/#7()*8()!9$�:�6<;=45050542$'>@?A$':�4B$C(D(FEHGI*�+ !�#J05KL-%4M()!()!�#�>�#N()!�*O1�#JP'$'05&9$C()42*': QR$�:91TSRP'$A?A$�QVU.#W()#N+L�.$':�:�#J:OX9$�&�>AQ�$':�1Y()!�#�$�:�*':OE�>�*'&�,<+)#JPO45#N-"#W+),G�*'+Z:O&�>�#W+)*/&�,[,D&�\'\/#J,]()45*':�,^GI*�+Z42>�K�+)*CP�45:�\_()!�45,<K9$�K`#N+�aH�"!�45,<-7*'+)6A-b$�,^,D&�K�K`*'+D()#�1c45:YK�$�+D(8XOEd8egf \'+h$':i( e<j'j/jOkJl'mon'p�m)kNmoj/j/q'r Q XiE e<s�t \'+h$�:i(Lubu f[mon�vik�r'j�w'p $�:91YXiE�$x\�+h$':i(^G�+)*'>zy �b{^�u7*�+)K`*'+h$C()42*': a

|ÎK�]^K41K�FQXDK�J

k a<S%aO}8#J#J05>~$':�Q�;�ai�Z$�K�05*�-^Q��[a s�� E�>~$':�,D6O4�Q�U.aO�.$':�:�#J:OX�$'&�>AQi$':91��Ra���42$�:O( � QO�F:i()#J\'+h$C()45:�\}^$�(h$�$':�1��.$�,D6�U�$�+h$�0205#J0545,D>�45: sO� 45#J:i()45� � U�+)*/\'+h$�>�,JQ"45:=� �'�O�'�����i�W�)�x�V���8�9���2�W�h�)�L�'�`�� �O�9 h¡.�I�~�Z¢�£��h¤o�W�L� ¥J�'�Z¢`¦)�/�5��§J�2�~�V�'�8�9�O¤o�W�h�)QR¨��^02&i-7#N+<y � $/1�#J>�4 � UV&�X�0545,D!�#N+),JQ�� */,]()*/:�Q?AyHQ k�n'n�w/©<k�r'nCª�k�«/p a

v a8¬La�}<# � E�6`Q�U.#N+),D*':9$'0.u7*/>�>L&�:�4 � $C()45*/: ap a<yHa9­8#N+h$',D*'&�0545,<$�:91A�8a�®"$�:�\�Q d :x()!�#Z­g+h$':O&�02$C+)45(oEc$�:91cu705&�,]()#W+)42:�\�*'GR}<4M+)# � ()#�1Ay � E � 024 ��.$',D6¯­g+h$'K�!�,JQ8°]±V± ±²¡��D�'���N�/¦N¤����'�³���µ´[�'�]�/�I�2�N�8�'�`�·¶^�I�)¤��h��§N�O¤o�D�¸¢�£��)¤o�W�3� l ¨º¹ © ¨ k�n'n/p/©r/«'rCª�q�j�k a

��

Page 12: Run Time - Computer Science at RPI › ~szymansk › papers › ppl95.pdf · Execution-Driven Exact Exact Exact Exact Simulated Simulation Simulation Compile-Time Simulated Accuracy

l a^?Ya s a ��$'>AQbS%a7S%a f *'()!�#W+)X`#N+)\�Q%$�:91�?Ya ;·*/0MGFQ[�"!�#�u"$ � !�# U.#N+DG�*'+)>~$': � # $':�1 d K�()4 m>�4 � $�()45*/:�,Z*'G[�705* � 6�#�1Ty[02\'*'+)4M()!�>�,JQ�45: � ��� � �D¦��O�I¤o�D¦N¤��O�D�'�"¢��C�����'�h¤R¥J�'�Z´b�]�)�'�D�'�L�3�I�i����'�i�'���J�i�W�H�'�`���.���W�D��¤��I�O�¢�£'�)¤o�W�L�hQ s $':i(h$3u70B$C+h$�Q�u"yZQ9y[K�+)450�Q kJn/nOk Q r'pCªOq�l a

w a s aVu"$C+D+�Q"�_a s aV? � �^45:�05#NEiQ7$':�1¸uga�;�aV�",D#J:�\�Qbu7*'>�K�4505#N+ d K�()42>�4 � $C()45*/:�,HGI*�+��F>�K�+)*�P m45:�\x}<$�(h$x��* � $'054M(FEiQ 45: � ��� � �]¦��O�I¤o�D¦N¤��O�D�/� ¢��C�����'�h¤.¥N�'�H´"�D�)�'�D���3�3���O����'�O�'�����i�W���'�`��.���W�D��¤��I�O�¢�£'�)¤o�W�L�hQ s $�:��/*/,D#'Q�u"yHQ d8� ()*'X`#N+�Q kJn/n�l Q v'w/vJª�v'r/v a

r a8}3a ­<$':�:�*': Q7; a�/$'05XiEiQb$':�1¸�_a ­<$�05024 � $�: Q s (D+h$�()#J\'42#N,~G�*'+ u"$ � !�#c$':�1µ��* � $'08?x#J>�*'+DE?A$':�$'\/#N>�#J:i(�XiE<­802*'X9$�0iUR+)*'\'+h$�>�� +h$�:�,]GI*�+)>~$�()45*/:�Q�O�'�O�W�9�/���]¥.´%�'�D�'�I�2�N�O�'�`�b¶^�I�)¤��h��§N�O¤o�)��V�'�8����¤����O�'Q d8� ()*/X`#N+�Q k�n'«/« a

q a8}3a'yHa/U�$�(D()#N+),D*':�$':�1���a/�Va� 8#J:�:�#J,D,]EiQ�u7*/>�K�&�()#N+ d +)\/$':�4 � $�()45*/:�$�:913}8#J,D45\/:��.�"!�#� 8$�+h1 m-b$C+)#�� s *'G�(o-b$C+)#L�o:O()#W+DG�$ � #/Q�¨º?x*�+)\�$�:c�Z$'&�G�>~$':�: Q s $�:c?A$�()#N*�Q�u"yZQ kJn/n'p�© a

« a<yHa ��a�­8*'0B1�X`#N+)\L$':91���a� 8#J:�:�#J,D,]EiQOU.#W+DGI*'+)>~$�: � #g}<#JX�&�\/\'45:�\ s !�$�+)#�1 ª ?x#J>�*�+DE?x&�0M()45K�+)* m� #J,D,D*�+_U�+)*/\�+h$'>�,^-%4M()!�? ()*i*/0�Q�45:�´"�D��¦h�)�D�'�I�O�'��¢��C���W�D¦)�'�8����¤����O������Q7¨��]SVS S u7*/>�K�&�()#N+s�� 45#J: � #ZU�+)#J,D,JQ`��*/,[yg02$'>�4M()*',JQ`u"yZQ kJn/n�k�©%l/«�khªil�n'j a

n a<yHa�­8&�K�(h$�Q.?Ya�?A$C+D()*/:�*/,D4�QR$':�1Y�8a�yg:�1�#N+),D*': Q.?x#J> s KiE��8yg:9$�0ME � 42:�\c?x#J>�*�+DE s E�,]()#J>�7*'(D()05#J:�# � 6�,%45:cU�+)*/\�+h$'>�,JQ9´g�W��¥J�'�h���'�9¦h� � �`�/� £��)�I� � �����º���RQ v�j ¨�� © ¨ kJn/n�v'© a

k�j a^yZa f a`� #JX`# � 6A$�:91c}3a9;·*i*O1�Q u"$ � !�#3U�+)*'��0245:�\x$�:91A()!�# s UVS u �7#J: � !�>~$�+)6O, �%y u"$',D#s ()&�1�EiQ�°]±V± ± �V���8�9�O¤o�W�hQ d8� ()*'X`#N+�Q kJn/n�l a

k/k a^�8a t $�!�+)45:�\'#N+�Q/yg&�()*'>~$�()4 � u"$ � !�#7U.#N+DGI*�+)>~$': � #"U�+)#�1�4 � ()45*/:H45:H$[U�$C+h$'0505#J054 � 45:�\Hu7*/>�K�4502#W+�Q45:c´"�D��¦h�)�)���I�O�'�L�]¥ � °�� � Q�� # � #J#/Q��o(h$'0MEiQ s #JK�()#J>3X`#W+�Q k�n/n'p a

kCv a8;�aR�Z$�K�05*�-^Q7;�aR?A$':�42$C(D(FEiQ7�ga s�� E�>~$�:�,D6O4�Q �o>�K9$ � (3*�G^?x#N>�*'+DE! g42#W+h$�+ � !OET*/:µUR+)* m\'+h$�> U�$�+D()4M()45*/:�45:�\ $':91 sO� !�#�1�&�0245:�\�Q�45:Y´b�]��¦W�)�D�'�I�i�'���]¥Z¤"��� v'«�# %%$ ��� �'���V°h��¤o�W�h�`��¤����'�`�'��V�'��¥J�W�)�W�`¦h�3����¢�£'�)¤o�W� ¢`¦N���W�`¦h�W�)Q�?A$'&�4�Q& <$J-"$'454�Q'��$�:�&�$�+DEiQ k�n'n�w a

���