arim/CS2019/CS2017-1.pdf · RC9 =)- ] ;, 2017.10.02 ¢Á³»Ã©¥¦«º 12 u¬¦...
Transcript of arim/CS2019/CS2017-1.pdf · RC9 =)- ] ;, 2017.10.02 ¢Á³»Ã©¥¦«º 12 u¬¦...
�"�!$�����%�$���� �'�&
����� �� ����$�
� ��#����
3� ���F2017,�!��"�����C1D79#E�)�� F8>=�.A����&:$5� ���G3� ���@�;���*(��F%+�0B�/?=��������6-���G2018/201924'<
2017.10.02 �������� 2
�'!%(��� # ������
� �(� ��$)�+�� �� �*
� �"&( �'��� #)�+�� �� �*
���� ������� ��������
3 ��1F�}���x.EDM1
l+ � �! �7�brpq ote�a ����/�L-/�3u$VZ_^^�WXU��3��M
a ,K����P ��3�243 V[YY\�W
a �br����brn]`�
a H��)fgk�D��S%NG
l�l24;*a ("�<k�E���1=�
a ~�|�w��yv�z�{�
a ��#9v�z�{�
@�dbsgk
a >�l~�|cq��Om�5j��k1Fukrihgk��C'R�&J~�|�6�� �y���
a TIlv�z�{����y���ujfsgk
pos = 0pos = 0 pos = 7pos = 7 pos = 15pos = 15
A B C A B R R A B R A B C A B A B R A B B C0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21
A B C A B R R A B R A B C A B A B R A B B C0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21
A B o A B
A motif
q = 3n An integer q ³ 0 (quorum)
q = 3n An integer q ³ 0 (quorum)
Motif with wildcards:A
AA C
BBA
A B
1F0B
AQ��C'
�8��C'
?�:�
2017
2017.10.02 �������� 4
:4<�c_R`
L p�t}u|�d�ae�,!e��[g]oNL :4<�e�8dJIGTi{r���~[`W^ZRN
K '=d:4x�q~n3R`SVg\N
L �5!K �z�y����w��Ov����zd&�b97 -�(�����PCB�1FH+ ��6^UM��� m]`/EDDD\kNA�N�!@cQkb�Rg\��
K ?�*�CB)�;�Ov����zp�t}u|�PCBs��+��v�xd�,!N�� �d#N2(a���>�
http://www-ikn.ist.hokudai.ac.jp/~arim/CS2019/YYgaegoogleaO"$ �.Pn%0\lf\Xg\N"$��HPd�d�dO:4PTih��uUQjg\
2017.10.02 �������� 5
9/Z;]�W7�
D ezipjovZ�V[E%�Extzq'+d<�P\QF
C xtzq'+Y[E%�E*X�>WE9/V_McJSROWEcJ`XJSROWd�M$d6N\QF
C 9/�Y�=d�SU5�PU^`IE9/Z-caY� P\QFObd��&WP\QF
D !8?[EezipjovA@&EhrxzpfyklmpuA@&WPE�WPU�4B@&��d�#WP\QF
C �"(Y[E !8?Z�&V�.7�P\QKEsznzwgyLaLaZ�YTIU[E��&^0�PU��P\QF
C {�0|�17�Z}3,~G):HG�2HG��H
2017.10.02 �������� 6
� ����&5FI2�
7 ��l3�I� ����&5j��kF.@D-%Q/NLA9
6 � ����&5EJ8 YibH:Vh`diYWX\b;�YibH:_[]giUFUeS^;I-%H2AP�&Q'<LA9
6 :Vh`diYWX\b;I�&Jm��8BI=C)#�RiT\UZcH2AP�&Jl��Q��@D<LA9j*@<�"J�&I�1H+�@LAk
6 �&!�J��@D�&Q'=?F>0(GIE8AKDI�&,4H�O$M8fai]Q��AP?F>�&I���I�(��EA9
2017.10.02 �������� 7
(=*0+.7 ���>��?
• �@ (2017.10.02) ���(=*0+.7%'• �A (2017.10.04) �����%�"��• �B (2017.10.23) (=*0+.7&���!>@?
>�$%��<�&5);19=4?
• �C (2017.10.25) (=*0+.7&���!>A?>5);19=4&��?
• �D (2017.11.15) (=*0+.7&���!>B?>3)+:2:-/,�#?
• �E (2017.11.20) ���(=*0+.7• �F (2017.11.22) 568(=*0+.7
2017.10.02 �������� 8
��a6`=I>HX!d�b2��
• �� �1-.4A_PY`FBDIU• '"�2����2+0/2��• 6`=I>HX2)���0K]`L;Q• M`L9:62��&#
– ]CDF,�"�,S^?[U<9_F, �JA`G,VW\a�(�b,ND,J7D>a2�(�b,��%$
• EQK9:62��&#– ��*,Q5`U9:6,;T]`I7_?BDIU,A_O8[c8_FS\F,EQK9:6[8R[\,6S\@`BZ_S^?[U
'"�6`=I>HX03
2017.10.02 ������ � 9
������ (%')#!"$&
• 20����*21��������� (%')#!"$&����������� ��
!JST������������!������" ���"
8��9 ��#���"%��
2017.10.02 +6247.,-03 10
�JST�������� ��������������
� ��5*/1!(�������)�����%��� +6247.,-03%��&��$ �'���
1�6�[^n����r^�4�
2017.10.02 n����roqv� 11
V BDn����rU e�p� �W/A �W�iq� WOPSWeb}uk �Wy�c�
�n�s�Wh�z�W=�HC
V ��J@�q��x�f��r��ux7'U wpr�h��WK*��wg3W�wgG@WJ����Wqlp���82WJ@�W��WQRSWE&W%?WJ��{�,.WJ�tl
uxWJ��ujW}�n�yW�+?W��82
V ~xm|�>(U MNNL��^�I��pdjx[���^>(]9ML�XXZY
U �[_WA4MLLLy�[WM$[>(���[-"�<]�
V TTT\):e�p�U �[_W#;�0W�pg�v��!F]�a`6����5]
RC9��=)-��]���;,
2017.10.02 ¢Á³»Ã©¥¦«º 12
u ¬¦ ª¶¢Á³»Ã©_ghpiqmn^fmknrqho`t ��}���"Q8��<�Lz��}?>wba _nhopmldj^fmknrqho`������w¬�¦¶¾�v�øîv¹�¦���{�w{����� V.��¨´�����=wU&�v½ª¶ª¶v°Ãv©µ¾ª�X�w
u £Ã±_phosho`t N1¼Ã¤�;���<�/�w�~���v¯ªÀà �W���2�1}�=w,H��\,}YOw£Ã±=RC9�,HÂ�5�v=V�+��vba@(|�¦Ã²Ã¢Á³»Ã©_prnho^fmknrqho`��%'ywche£Ã±vRC£Ã±v¬Ã©·Ã¦£Ã±��w#��¬Ã©§Á©Ã_gdqd^fhlqho`�6D�����x�w
u F�T�¢Á³»Ã©_hkehgghg^fmknrqho`t !=¶¿¡½º���¶¿¡½ºG��L�����vM��F�T�������RC9w [v0$vI�SvJB9���A�7w3:P{�y}�1���>��yw*O4"Z�,H�Ky}¢¦Â[���E���yw=V������\,�YOw
'��e{hpiow[��
2017.10.02 jytx{nklpv 13
C '��e{hpiow48=<>A@9?37?8:;@98@A?95[�0�\Fe{hpiqG47?8:;@98@36� �5W]cbE
C �*Z�QU�-Y'��d('RbOWL��E
B s{rfgeWmuqfge[��dXJRbK
B s{rfge[&!.dX[aJZ/#z/"RbK
B X[aJY�2V%+RbKD��`,�dXJ'�RbK
C ('L$IK�IKd��RbS^Z\F)� �GL�&
B ���VMb �LHc])�P`RIE
B STP���PZNI&��1_HbE
("�eygnhmt[�Sb%�
2017.10.02 iwquyljkns 14
J `a��Z47AA>=978=>=DH5
J `a�'�Z�1d497A79=DH5
J `a2*[4CA;;:5
J `a2N�0�W��Sb4B;>=78=>=DH5
J `a�N_SN4EC78=>=DH5
J `a���Z49@CD6;<<;9D=F;5
J `a .x���Z4>@G6A@G;B5
("�O�]cbL
Y\|Ud�TV^�N[! Sbzovypfr\+�{I 4�{*�X��K�N_SRX*�K'�X��
J Y\/�^-,\ZN%�WMbQXO�NL$N���4DB7:;6@<<3A@=?D5d&UPbQXO)(#\�
��������
0*"�������z2���
2017.10.02 ���������� 15
f �@/!h0*6�h�?�h��h%4;�z=({h��p�s����uzw$5q}rjie �@/!{1�>�z���w,roxl�ji
GdaUEBYGEBLGEBIGEBPGEBg
e A6�{�)9y�+wm��� �}&* �w2�p��iLJNOCLUVRBJ\`a_bSaX]\`BNU_BOUS]\TDEB
LHKMNOCLUVRBHK]RaX\VF^]X\a M^U_RaX]\`BNU_BOUS]\TDE
IHKMNOCIXVRBgD
e �?�{h3�k~#z3�|wz���9w2�p��i
LPGHCLUR\BPX[UBGUacUU\BHRXZb_U`D
e ��{�}��w2�i%4;�{Q�|s{;�8QW�w2�i
f � �x�j}rp{��l�:ie 2��:tl7.i0*"}MOz��'-y�mn�<qvj�i
1)$]vakbisQ21MR
• ovn_`]Q� #�0*\:NQV>P�SK:NQV>P7+GY@\%TY;
• $"3Q��fjm(instruction set)\%TY;– $"3��R:lvh\ND@WNDP(G:&)GY:!���GY:ONQ� 'O��\/> �
– ��fjmR:ovn_`]Mgqm_`]Q^uhq`veMOY;
• ovn_`]#�M��fjmR:�=P�8F�>QL:VXZJ21QJTPR:����P,?J�A.=;
– $"3��\95P�/GYJTQovn_`]#�Q��– ovn_`]6�Q�-\�BGJTQ$"3��Q4�– ovn_`]#�M��fjmQ��AGLP��EZK=K:IZP�[HKU>��\21GYDMUVC<Y;
2017.10.02 cuptvhdekr 16
���%" &����
2017.10.02 .K=EL4126B 17
A0L@L9���N
"#M?I35/N
CDHM���N
��F:58
�� �
" ��
,L@L9
A*2
A)-
��D:4
2=L+L
<L97(2-MO���N
!$!9G)>
?HK4
����
����
M;58JL-'N
��� 3@2$%"!� ��
• CPUA������B(Central Processing Unit)– =+,-(register)– ������(ALU: Arithmetic Logic Unit)– 6>(;7&$?-(program counter)– �=+,-�1)@.(instruction register & decoder)
• '>/'��(clock generator)• 89<A���B(main memory)• 4,(bus)• 3@21#,'AC���B(secondary memory)• �����(I/O device)• ����(power unit)
2017.10.02 )?5:@-*,07 18
`PQR
• gbdWe�4?��32XSVC9@64XSVf?h*�L��$>%�7I��0– )�@/gbdWi`PQR?XSV,– CPU?+>��j� �#�5J:1I0
• g�?MaSMe� ��f;�3(D/&D62;3I0– g��3(EA/."L�G=1-H��;F&D8I0– �61UdRL��37I<�?UdR@�KJI0
• UPR_.��';!�5J:1I0– Z^S[ZaS[�'L32�eC9@64�f��>�B:1I0– �)?Read/Write��;/7B:?XSVL��>&D�37I0
2017.10.02 NcY]dROQT\ 19
R/W
39.3:6�LMNK• 2C$b-�Fb39.3i8S:6
– �Wb��32yvxd\c64yvxb2C$i!SP– �=(CPU^cO3O*@�BOq{x�2�O���ZT^V`RebeQgP
• J)7`CPU^cOJ�`,��$/.3bALUi#]– 1�"9>3^c,��$/.3UD<– n�{kvm>3f&��0a�<`2�.3i�+a�8^Vg.3�i#]|�svpeQgP
• 4 `.3c�m�vm^�8^VgUO;G`.3^c$m�vm�<a`gX_UQgP�b:6c5'U�gd^�ALU�Ab�H�U��[g%Ed^��\YhgP
• J 7`39.3�Ab?>cO>3)j�lwmu~b�^eOI�aD<`"9
2017.10.02 o�z��tqrw} 20
<E4B=32F9
• CPU+�'��)��1�%D789+H%�• ����+��������!0&�/>?C�1��"&�/�– 1����#/$-*1�.#�– � ��'7@F<#/( ,���+>?C�1<E4B=32F9*�� #/�
2017.10.02 5F;AG968:= 21
��iVWX
• CPUG�C$E��O�AiVWXGpA3• bjRgcQPlXF�7N?deh(�7L2! -��G\mXO.J @B2��*F,�=M��3– ! -��H1km^nI?H�km^oG21�C�7NB6M3
• ��iVWXG�`Z]G��H24��\TmY5FAE8@B6M3– ��\TmYH2��iVWXG�`Z]G0/1_XmlF�<B2iVWXK#+�O";9��:>M���O)&:>M3
– ��*FH2AND/OR/NOTEDG/%Sm]�0K2.J�;�'Gdeh�0EDC�LNB6M3
2017.10.02 TlafmXUW[c 22
q�wq31�
• �Q_@8(Z`K�&4]���q�wq[�b�^�&UYKVcY_'"?9P�$^y�v_fi�im>NL– �?9E�_��%FPq�wq�&^F^�N]haKq�wq�+#PJMd\K@8(`JD^]jL
• CPU_q�wq�+#P�Oa�GHz_��K*720�_q�wq��PKCPU�E_Y_{�zopn'"?9^�;TkYMjL– CPU�E^`q�wq��<P6:_gN^!i�hTkYMjL– GHzq�u_JM�+#^]j[KH5+^]XYCRY>XWiKH<_F^=/31Vjr�y�s^,kWiUYKH�-A[30_�IP. ^]XYMjLà B Z`Sk��q�wq�+#m�Rj_`G2^BM
– �XYM]ME�_q�wq��mKE�4^)eWiVj��P>lkYMjL
2017.10.02 r�|~�vtux} 23
nosz�-�{
• lv]rmKgycZ (CX �9• 0$�<W�SX2)CX$�z[iua{Z�G8�$�N|wyiO23�Z (J>X9– "�JP��5O���nos=�#@YI:X9– �0JP32}64GBOnos�5Z�HjyhPCU�/@YI:X9
64GB = '80�wyiOgyc�5• .T�>AE:$�Z��CXK8DO$�F?Z%�[\baJ>X9zrxdm[\ba{
– &!fylOV;N7$N.T�>z`y^x`pt[\ba{CX�,PM:9LO$�UQRB�6J[\baJ>X9
• EFA��5OnosP8[\ba1�=4:9– [iuaZ��AI1O.T�>ZCXON8�\ve\}��\ve\<<XOJ8DO68�O+*P�E@YX9
2017.10.02 _xkqyc`afm 24
ABD*��
• 0<F6(:I7(�#�,��/��%'���&(���)�#�+.-!
• 0<F6(�,�%��/��%'���&( ���*:I7"��$.-!
2017.10.02 3H?CI7469@ 25
0<F6
01234
FFFFFFFFFFFFFFFE
�GI<�� :I7 ��>8;:I7��
��>8;:I7��
0<F6��
�,�#����
ABDB5CIE
����� =I<120��(%'*��
|t;2 �
F 7,%{�znolX]GabR`W\$�6/��stuG',�+�\=Xx�uj*�Rg 3�MIgHE A@#�cT]CB#�\>2jIfdg6/=[;2Rg�6MIgH
– n�\$�6/MIh^G}vy�Dn(n-1)0\;2M�6à ;2UfP[ZVWTJ_k
F R`W\6/\��j�8[�1QWGx�u*�\um��pj���Rh^G;2j?0[-.XNgHà |t;2 �Y�^hG�O�ihWJgHE ����\6/:�M�![���z[ZgYG9>&M&hg�"�G(�Rg�\XGSKZfZJeK�Rg�6MIgH
E ?�\|tX]5��l\x�u*�]�![]XNZJH
E 5�\|tj)�Rh^�4QWx�u*�XNgMG;2<M�Lg
2017.10.02 q�~��urtw� 26
E>1;JD
! ;JDP��46.0"CJ?�9/3#-7�7�),7+8>:A@
;JD9�%��*8������������PCJ?�9�+��(3#
��1)0"2'$�$�5��1�$�5��-&9�%
2017.10.02 <IFHJ?=>BG 27
;JD��
K��L K��L
���M
K��L K��L
���N
K��L K��L
���O
����~���I&7��] �7�pB)|�xl���c�{yx��,��_
] E<����}���kdx �����pE�_
] ��k��,�o7�52|6/%�?k�+gx_�I&7�l�q�
\ IGHJ�o *kp^����~���NMMKFNQXRFMTYUFMXT[S�c"t
�����c�`_�IPLk0H��.(���k%$-n8s!dgxok^����}���c3�_=1D�|C&}���gxop'9-E<_
\ ;�^��������|+`hOOM�OWVTRFOZQZSFMXT[S�o�@c�<n��fj`x_NMMvwpE<ic^�olez����}���p�7�vwbmw>`_8s�fn'rj!d:sc>`_
] 6/o�4p�7�o�k4a_I&7�p�@o�����u���|A#�gxon�{yx_2017.10.02 ���������� 28
�����
# AXPXK$Q>E$I<EOU=$OTWF$Q=B$EMX@$LGJVXB��32%
# � !'7�91$��� 1��5=WFN?XE0��,:9+1(�&%
" �� 5��5�(IXF�*�-5��138$/5�4�6�);.91$IXF5���(0)9%
2017.10.02 CWMSXFDEHR 29
W6IE
n ;���¤�¢¦����¡�oW2��£�¦�5P{�o&� <�HsG�1/�q�p
m �0'JC�5PW�����v�t�W6w$Jp
m W6w�������o@8N��|�y��q�p
m �¦� �¤����o7WW6§_]^\Y_eceibhhjgicadbY]fkbhY^jggdl¨�I{�oW-��X%�>�|�y�w�r
m *"1���oW3�)D-V��W-VwUJ���p
m +9�~����¤�TE��o?2�4�¥9ML�UJp
m �¦��¤��R�,M�����~��W�w7K�x�rp§�¨=:!� ��¦��¤��MEà �����w�zr
n §�F¨�V�©�q~�u�}[ZZ`�5P{�r�p
m 5PW�q~��LBS#��O�|�A(��.Q�t�r�p
2017.10.02 �¤�¢¦����¡ 30
irm_`\P"�5,• #!:
– 8*#P� (N �P��@• r[�w_`\
– o�n_`\P�-V#!:P��hkmZ9�IXKUP%Nt�b{w@�$Q3OQLFNA@
• au~�l]�bfglw– 8*#P� (N ����4.P��?r[^}+&?t�hg+&NM�Z2BKU�� �IX%Nt�b{w
• d�p^{�^�jt|j– �=C;S�D�0Nt�b{v�b7:Z?�2�0N#!:O1 ��?RKQ)�6<HL�2IXKUPt�b{w
• \t|c�fz�t�b{w– 8*#Oy�eC�T��ZGJXKUP�'t�b{w
• irm_`\{^s{|– WE�'GYX� (N��Z>UKt�b{w/
2017.10.02 d�qx�jfglw 31
2017.10.02 �������� 32
��/1-2
• ����.*+3@^OX_EACHT• $��/���/(-,/��• 5_<H=GW/&���-J\_K:P• L_K895/��#
– \BCE)�� )R]>ZT;8^E)��I@_F)UV[`�%�a)MC)I6C=`2�%�a)���"!
• DPJ895/��# – ��')P4_T895):S\_H6^>ACHT)@^N7Zb7^ER[E)DPJ895Z7QZ[)5R[?_AY^R]>ZT
$��5_<H=GW-0