From 173c7568ca0b3390bbb78f4d947aa8df92df615e Mon Sep 17 00:00:00 2001 From: Arity-T Date: Fri, 8 Nov 2024 16:44:57 +0300 Subject: [PATCH] =?UTF-8?q?=D0=92=D1=82=D0=BE=D1=80=D0=B0=D1=8F=20=D1=82?= =?UTF-8?q?=D0=B0=D0=B1=D0=BB=D0=B8=D1=86=D0=B0=20=D1=81=20=D1=82=D1=80?= =?UTF-8?q?=D0=B0=D0=BD=D0=B7=D0=B0=D0=BA=D1=86=D0=B8=D1=8F=D0=BC=D0=B8?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- report/img/transaction2_1.png | Bin 0 -> 6207 bytes report/img/transaction2_2.png | Bin 0 -> 5949 bytes report/img/transaction2_3.png | Bin 0 -> 8580 bytes report/report.tex | 67 ++++++++++++++++++++++++++++++++++ 4 files changed, 67 insertions(+) create mode 100644 report/img/transaction2_1.png create mode 100644 report/img/transaction2_2.png create mode 100644 report/img/transaction2_3.png diff --git a/report/img/transaction2_1.png b/report/img/transaction2_1.png new file mode 100644 index 0000000000000000000000000000000000000000..593e0ff4ca102b9b8bacd115da18d0b31fb9d3f1 GIT binary patch literal 6207 zcmai2c{r5s*MEdIk&+}^A!C=lFnoz*-}lTYA-iN9JC#Cq23acmHbY2e%vio(k+EbM z`yjFnV;^EL@AT_;z1Q!3ulKs%Kc3}0&wZc!oaebe=X}n2V{E9+eE#}*005YE9%z~Z zz$qy0{`uL{v~!7}OEB$1_uN!l13>g~uh0Yr7j*-50H{r3I(o!Nlh64)uz3yum;HVp zbkoj!K>)xptfQ%J9t0r~)bzP@D6Lyd#|@KTZfLEaFSJUW-cM~8F%e|Fb@moYlsS_X zWRK7(lKT*;bfxG`x?Et2WZaYM6+>FD(_cU6x+Uo=;u94w$aqB#F*9>CNnVF}B6~ko z{k<=6cdNh&T&Ju|333kDgHjJRTBsnJIb9vpCMq2OB-2Mr0YD`8rBIsiQ#fo>zD_b? zIPgi`B1APrY?3VTOe+5G;<{v4uJ?PP+9yE){TR_22MVflV^wBeRkYazcfYD9>E4DF zCQoL(k+bLw{Xe*Xiwrv>bzr#<8dBW zn+Cl-x(g@n*;poFK8I|Wu8^c}Mu`Z)RclqSVvvy0bWe(PM)fNSHz2cn%m`KYsS)zu zw|s=BrY;Vr9=tq$Uj(5RMb{ptrcY98b!SfBXp>^$sW&ia*FKpMc z5;Olc*C^OD(`fN8o9PEibbddZoeFxVnjaMaUEj+?i;J0ld9Adr>MU48vTs)VLR!O&#rFnL-|uT*_V3F&!tTY!enPYd zq`e`Qui;g{k-q!pE#gu>uC2q`TTZV98a4Sda;-H=ZNHxhJRqFj%Q)P8AkiYCZckK& zzt|m@D@%e<2p3>~t7f#_9zaM$JO)3O5 zv%!R(@9ao5Ws5_LJ>j1lp2@#d-!9;;rS7w)C6v3r;BEz7%No1up zm$qkD#{V=}FL+!Dz@&aEKfyk=8?-M#2`N;jt zlbe^vNdsUi2(AT>l?@3W#P#G&da_d~yeA62OA1h592_!6I;*yA7amrmV57hEs;7KG zlXRi3Czfri!br;Hulz*A)g9jxRDU2dSN!l8JhMB}DmzJDdOEEsPLy5UszB1mO8`yA zxao=$@qU6;0jVs}J-$-Ki^7xE6o1-zD5+mioR1w=7ep_8r99!r$dqP$IW>2ft#{ za+T`mI*>FC&EU_lz_8@;8G$3*lVlqtx4gdP+DOKPuCUc8m#m$u3`xk2(lVh4S^X@N!>?ujZ_37kWZhEO#39~B8LaQdUR@ciJqQ6ESzh5NVzi3f}JZ~hd;n^JI zD2gK<`#7zgigvggaeS*`$S<9{;-C48)LBHOgV-)uL2Ba(LF&tidZn1lvAc+Q>#>8N zKda16p?*2_DAbmS))+Vz4(1cY!-k`jOV0=QBb6Eq22Z+irbL;7G`W@9Gvqhi3^?xY z5p4_0;cqLSmAmUEN(--r=HAEUT1L=d%%0G5hzpv_^X~-1@((k3i)PYNmF~HuN`)OU zf*8U^j8~r{dj;yfJZHC5m8)g2Tz7drVIE;mnftBsCG7L zRdfStrglHTH|UJ(o>gZKY%ytpxbxttFYgr{?am;=WqZrH8L;_${IYmD$DzHbitRK- zuQ7i)pvA2){XnHiFR5BC^%tn3YHvmO>sTqm-U@#J%yFTu7*|!vs=)1}L(XXuto~);&=Jnln)<%c9`-{! zP`{P^F2%Qv-mI}~+)|b&ay<0qyYRa15EMC!eqYx}HLd^iH3Qtk@8mUG2c=G5hx2;U zxVnQ|oH|AuUsBuRvXLihuZ8wcWlwcyoolsUg_07}C$%dO=Nn~;FxU8JU~5Y6h7Umw zUyoOIdB0U!I~36y6YOnWU)tTT%Lv}I*iCag-gy&;eK=Zp&@quRqTMp6a+OW_{#UJ+ zyyXIG9yvO_S;7s?oJp6jID~xsL^oWP#{4Q=J?kVyYIr~2VtS|=)O+pXg&(#IyIG=k z3i-Mg?eto--8NnuV}@D2qo#6P> z+T_FFAC}jTah>4aTu%5RiyMK=uDN1sY0y0`mo{BS&o3!^haQyV*cIZb+sY$? z=;l(JB%b*J9^l?&Rhhqzyg*<6^mC9KyWGJL zS{R^wm2}4fbO!wWOY;>Gv}}JkJNRvnh5nT7n9Kuq^KY@OICC0g@Jd_Knz znksf=SL#RWzgWf&nG_mpZH%o?3Bn4GZmAu4QSAKd3XVfJn*|5_HCHSPyBzjDD7PY% z!!^z#YM#ApSklGlJsO(x4oowWg%4^q)@7zs+k%Z+@?t&iflT}4%tq!IA1W%Zwr@a0 z!4$v9dRJcC#m*nywm&NzZsn9r%OIJJjJ6d+Qwd#otGo>JO3$YYv@q=F z;W`3DeQ$odjj{>toYHCQu?*9JTM96x*?#po5a#NbBjQnLv%jidZl5>44Varl8GYWHaYNxR2Mtvc!}7g`j6cio*#rk}l#j&ID@&R=s3lR&@BQx=PE-FGFAhp;F$D zJ8*|1FM{SQ3SLPH8oNT+4~B}Z)b=JIMmb`YFdn7;eAtQQRjmb+YQ1JV8JA2k2bvjK zH{cT_YjlKFb6?7lO>(V`>!9PtsR;fvZ8EW+$R><@G7^pUH)MA_Al*vWm>NvwA87Y#3;@HuKwI2v1PO4fhe~SGJ9+5H`zxW#)x}G}GcQ z!Dj#m(}#~Y8~7V>{COkc>R!2dlHd$eZ8o{M&7$-GcB^BLGE=!qO5l_ z>Dd|xm)Qz3;5`o=f5dWfSvbHvtmS$!jx(pV1-(M*f~#SgoLlS z1!_nryAICVHqEtZ36^F3BdIWIKXx~@MVpj!VZ3Spa~5dTvVXkkFMLLVos_;5Q#tFm zikmZcX%=ITeHyB4K@B+5q35ahnZx`B`-8N6zqXevIm1>QhCP^T_Sk5#tL%XbOJ$gs zY4AV*h;v$-6;lcCO4ye+;~5)00dtVATnbR4r<|k>V#TSSXJosS*~s$2__YVYZQ-MP z(Or<+1}`#%z~r~~uCd#f!x@GYvRoC0ea|@-#KDrf4qxS|w)a!^=2N*7rbuP_zxRT0 z>K4cbqw6J!sJkTOX3%NSnsfV66*hbS@xdn{Hq4k{B>*`1>i>)kQRaZFk?*~74o?>$ zLkIn?NXQOy1HkNKp&P$YAou>!dyX}hKclcn1GF;dQ|GB>D~OY-(xSVwefYo(r@kVs ze7&77wicj|?R=cnmm*FBJ@_0M{~A65hUX&kDT2;%UfKYFi2ugDL#xMce-QHRp#i_yze>H~;tB-w-E;IFcrI zcx=Sc9EPO_ro5Oten{&@4czeOCn1j}Fz<>4dPgfi;f0NJ@>Jk-z--8n;xCQ--AGEQ zDR?qt;cehL7yvfGA15#US@E~de;eueuOOp|`*(!;|7`s;QAv z+c++>UN{B#*qr?nvPjX$Y!`1QG_|7AZjyat&%JT?5YsSjmYRo+ zQx#q6b@S6`T?MdF1%K~o`1J04+EmFZD-fyCw5K?tK$m^a*3zl+rfCRPAl^)So7iYz zBE`cqrIJC+KHsGKFi*V!-g%bBGsV%E+0}1QddXYqI4TCw|XROMr^6`Cba4{?s`bQUJJWp zg7oUT$arm%U0PO3XfN(e!X?p~91FVC^Cj)-j`JN{Y)>*=M(rcZ?b=5KCvKAsNBpNP zfV~@!fbpKX17p1$Gm$r?8r3769~sI3;7TW%1?y(_sZ1btuhhErLsRB^8eB)`=)S$! zqOad^+<&!U%wj8gxUDPmeCHL66#f0nA;`6oTH-ZbhYXWl-PXgW1;~z6;FYY9;PRfY znY8>hdgqt#e0on%N&YiSn8&bLc|9ai{&Zzoy9CTc(Sylh>7ng<-Vbvh6wFGc;rQfa zd3sx3VZp@Hs;|NbZ3PiZpq>I|l~DO@aNe{hUq$k|AVCgc^YOXm)NUp{e!h?MsMDV> z*x!OXBV}e>^ewNK4k|TDII!>c8P_4+ZF~M|e}R~I4z7U)I?60E0g*MU9HER>KgwGx zOO?0sjtVKGe(r`p=@rYswISOTO>!ZPPY}>u{1^uTZG9r5O43w>zV$98`WHxhHYf`v z6BB=I7un`z8txcu<1^g2`d64Z4#QZ0R`~!-G%_j*ZV?e7$g_bs+OATDl|qj3VqDePE-e!ymHVPl=ZA2JcIacvKzYXy zwW|;Ey3`BAR9&3C%jKnKd4Wj5QMY_4*;uRo;$Xw4l9gV`i}9!3-#mYG(7viedb|^Q z0NdeUk~x0n6&1uv9K3|HEp=Uz8#-zR^{)7r%(ypsmX?;EUAon*Z#v9GGx!+^WFzs) zBO1AOMS`}^Le&ua=4`)lE%2XY<=XF%mMrjxgZv-SOW0|%7(|##QPXIg$~K2x{pI-_ z$3tuT9TlI)9))o2q2V)v()(WGQehlXf&h@EaxX?IOsb{BS33up=B??uK5j*ed9b6B zK1Tdlx;CHTKb5L)r=DD=1*nVnqLJ*u#^j=*Pyst|VBBZ>l*vl|Grfr+-WtQBPmmI( zkg>~iv>sz}X;j;2PhGHxo^N2`dR$dKqs4aE9L;iuHHd8V4FYNgpFv&jbl4$#Bsx>X5e* z#k&#Wqr4TJdaeN_P6HRq^dmnDni;UKW%u)SSC(Y84A{q3?4-Ypf9u0`3{KE` zMJILLp#|@mX}*LU#~`zVrE5o*0@vT-@B>l!S5*60UkCoeR5`!>#kG3fE-%3`_vWC& zQ*tTWYbZHv9x70Nl!pi%xI=4O=xFza6cBZB{y@N#3XSst1&M^v98Vvy?XOijmI|hb4 zuYLLOu}sRhM58LztG$Ad;!AmuljmdXFA5Ejyhav>}!%QIm{7{xRbISZP#+pXEt70eLAfrXGJL8(0!)C7n2q-v8b~hBu#beOM3UF z`Z3KF_>Vt5?4^9rceZp%ohA%d&gnVIdyunzu2QO1%kO*~d31r(hiZ7Dkmjm|J`#d> z>RrXv!+t+!#!Q&>H#%*^+_|aP$9sR~Z0Ms2eIhD9sMLps2Ar(iuR$W$VSriy@s*C% zZvs2!aX?!%nDcj30stFb{5B0}kshr7>X!eHtp6uNzwM&ZFKM@bH)j#OOq&4cXc=lE IG#sM;3+k3HEdT%j literal 0 HcmV?d00001 diff --git a/report/img/transaction2_2.png b/report/img/transaction2_2.png new file mode 100644 index 0000000000000000000000000000000000000000..809434a8f9a259945805d305895e733322e0bd1b GIT binary patch literal 5949 zcmZu#XIvA{)(%~YC?X&Ng7gjo(wj(Ciqb)fqI5$?2puBQq=P^pgqqO#i}b1jqI5!U zp@-fKH6ieZd+(R~{_cm}v$L~j_UxIn&pgk>ywKOWNp+tJ007+7(N;GE0Ei6;*Jd}! z31_zX{I3K<2B;cj-6S+f9iQku0RX-xQeV6wBeW?!v@N^=fIB|d2NBAF-5&s8 zMCzzNG4{9FombLj>6@WASa08z7R~!D7dawSh~pK=LB^66kZL?BMZOkTekSL9M?jB1 zkCx1tlSgkbnO4mUVmuOaTYygcH;-r-F;k!pg!eOAd*a>_ucrf}jgMvKBB}$Y5plK@%WO>VvTKn^whJC*!|nA? zR^lUS0RZh42Xcd5Uu@xd+82n>7}7S~bX&-m_d$%%XFbb`=pjE1@$mrlag->qcAPs_ z{%eyNEvrwkW$`OITZX*4U*{_V_`?LSNthxurID6%%hu2=n6AL(jqyN4KzxfPF9_;h z_bA8cg=S=ALiTU(yi$$F)tRw38l*iNW2wdzfBq8;gbEziA^2BU8b38oQcT5L-ZAb7GI4X zE9^^Z^r3=wN^C>|)rR`!J;g$X?dEFyd)k6j6R_MNig!n=Q(uJ_h9aVmjkdp&&D2yK zF0oxewov^Q3#3)&S+KMPe9%QC;~dn7aVmk^K`waf_zWXwQf{;q%s<(t78rnF;#0MadL?7SufOj~$E)U=bZV zPeEk08RG;G{iSfx;IH4Cq}$OkSE>59Pq#K!@~3=>@H!BN(PZtras#K5UR%|1o0-2} zI=Ci?4lum(uy7j})XK&xyb8={wj;@zvC1pke>gCqzUPtME4#7@tz19Ne;U4#?x|i5 zz9%;yxOIeZdidPi5))%HD8c3}t!zQJ->_M5X(jR;4vtQ-=Vii7m?YPHFY)rWB?>lP z4SA3RFa7&zDvGn_YW70Z=7d2NH(zsUW2F>b+63@j=drm|5-nM=G}%Gc4DSYZ}-w0f7QL^6YO{Q{nc`Vjjzbi7${ zq;WLs+)RDBlz7n9?`CWN6V#m_DRr!MBCl#)B>s`}KQH=Wrevxq!`IZ$*Kjw;jGtF; zzYJ)QA=4#IS~YCBa0X!H`Wg55N%N1LWIc>$&qP2 z{!_TK#^II*Qa*0-QtvgEmoCQvFS zPaOC8Ju14%4Ia^16-mmU3>=4r*hH&PnsIhgiVC%yv{*0v=+)IU#7Nh@_yH|$a9#GZ zwVS2v9vknB^>@Tdbhi>m-ehr`M0(XVGM)?nyU;dZm%*5boXZY@t2Wr&ExX1L9c z6R~yYsC&(cwi%RTJR2S+zGbKN%+XxEX{&l~<9F*!uWL&UJ0enoXkxAO^5;PWi3#Hd zz2*xfnLYZgc;sI3?`d>bQ7`Z5vo=#Y`*Pq5)NjNNFkWiNHeXR#eY&@VII$Z2$t9e! zlFR7HY$MSmLQD`f2+sJR>t||75wJrOd?R0s=K}0i> zCXH9&PBXIwL)g|ki@_)B##)M6rXztkgX2;ivFh4;kAmw4@Il4_ZE*Q%=sgTdbbCwx z1n5x_Lb)~@wbskhEiH7mVF~kq^$8Ce9Y3-=-&sFutdDc;4&d89!l;e!^;y=8tw*#X zk04)I3Z-f!%EDISaIT(<>W;N7d5(&1KnYKJ zLK4c3X^)#~H?u8uuhbGJKNn!{bssGxo!5!!v!?Zh=xeR9R8?j&fD*EU&xq5(>RDt) zFzUb0M@Q0GoO?e;q&I)=JwHRT%{OK1omG7Z4vPF6WJUk(zExazxJ_dUC$B$pcY9o} z0Sl|PW8}py|HE2w{>4?}0@|Na^7H$43EK1zgC-DW6sQ(whd4RGQ}UNfomZu&#J4P$ z_p%o_xKH8VBaMAUbyH=I!X07UM{FFZCvF?gmFLr%S&V;he4X`tcjcRa8Rk8U^Iytt z!6tQN@HONJ4dt5E_#eFiIkZU26$pEa!|?6M+BsU!nx%x6ajkac_wh1ACVYqP1y0ZuAz#$XuH?$JwH4{(1A2Sry(V5| z&zznS9-eA9ajs&TH5G)jWL229yOY6^Iir`;``t5lHIovpy~6LSXLT3@PAu|4tUwP^z(s}Pe(Loj6fxJ)?{^vmutHw|(?=m4@%K#6Pka zYpy*E>Nnr%Ue%%k>{-4e@9!T zVBLr@S0ww85cx=z*@TLBii-Smq|ZGH{+8FHrfx^(TrV4_GH{~C0Dk(km-Yvr8JlKw zNFhJk!8dXj8E>1dyYIHh9}&?7oO#hM@0Hv!OTJ2`c=K}u3GkrK|18Kz-%rC^be=KS35m4urgm$nEmP;Ckrpr=q9K-3o5 zDkz1_oH8w>qCkrx7@Q$S$#;XO&4mmmC~8;K!g;XCW{B8-0sIvZ;py6abp;{?Jy7k( z53)~rO3fP*Be_=h2qA@~1b(x2)gzP9$H!dqZiGqOyf;czPpaEtPq?%( zAywwvuASVCib`P5N54A$=<*;%X}^bx5YP8xQ&kv(1pDXKAhT24Wis7_)Bxm0DF{~P zquC=;aB?Ydyt|-TQFn6p=@hF@}mJ)%741Skj|=ZygecN=FD z6f6)iMlK9m7v)&lKfDTis+Y(z5#&=^<9+4S(CeXlU%x(BB|xjf(^JRhvt&Wl*m3h> ziw74vC!U6SA1;?@##|A6@KO}wp&*R#IDm?dUU9Q!sm!~*UF{kqLgDUkcjWE4aK0fY zN4~%iHAzR=Kd?p^*O3x_Ku9aJYkqQDiZLuGy@#;1(#e` zTv#^Ef0vx<0V&~j648Gvxc^tJ@2GRnMg$3Zu8KY5Czofa8!&Bu+B-n$d6OH-fzx(q zJE%luo^w*F4FFjDphnPWhg|k3Zq zR6q&nehbNr|BvuaTOYZl7wHLIfroNu!*5FsGOUlQ2-Dm~n5D4fXa3^ilOGiC@cDG0 zP7$>;hQYZu<3r8}kosxGCKh^n)T7`Q@~kI2(HfKYMJa!s2T=+|Mlq>4J#w>{^FyzZ zc#ZKLuH=(f>-xFQt_A2Covw(Q z*!-2+lJR4Y4sNg2i5dOvqoXaB&bwFra0I8_FIKBWn4$BSYS1!$GOf)!y&E0M4`N4O ztA?gHbo+1<3;svMw4sX?+|V<)Ac9TzeA7d zc-_T9f~|enk@;OTs4rn${zfT5&D6K6vif)~b`kwEU0 z=(nCVd+f-CaC+nDmEp*$n3Tp_i8o%9Np>IgYz8;Dgj#C-Et2=-10Hy&21*1V`P>U1 zX-RyLe_6*6FXL^zcAvZaqyWDs#!NcKUOqVgNio0WS~rx4xTYEB(Vt5YnLa0dKH)W1 z|9+(G27L7c1ONupR%IoJlTdKmh||$<+Qq28Hzl=(qlbAWo&+;)D@yXX7VLn^fM(8R z*IFRBhIM^z#taU3I*>|-gk%?a4wNc8hpI;kqwYj6uj)D=} z@DTN(7U}JC7(2MHw+ioOMruVn?$8?ceB3+}lx}<;cM&Yu`owhiKJRcEHlwJ;?z||A*Nk_# zHsU3r>{}U-Z*tt5#HtCX7$f@~*lhH}umfX4@mx^+k)GX2-}a;wFO!NP>9<3d);9tX znP+)4&@saQLPeR2%q{9E_O&~1Nv;zK-rCC!TS|Mk(*sQa*J)hDmOP66QZp?YzEj8z z&tOB$hw1yGs|GQ+Ba-L6c_+^vN33JT2*AI~Kp>ugpQZlL(5xMb;)Na~y%4iXo_uuh zwp(@1pAd_(O?_$mV*}?Q>*)=2(@u@dti}?&^))-+^i>S*-5*eK$G2*H92h3h%)|uT zq&*&QxeT%XV1)KpU+)or%*d!INC61r>?Sp6PJHe=*w*sdoy9hDBWk~%+Npibk}lM7 zn>#->;J_3+SGw!%V&L?Wl&mc{lw%b8K|8qpn?d4*HDf!v_KnMluH)tTcWba+Xt~0s z`u7Gg;%{4A3s7GIK(D=^g1WD4Juf1$6jIUjBH0swbUUpA056iJ92EA>T1SlM@ZCv-}Lv!!sJlD3{9|ntWYw$?_ z(npOIEv()tJZ+Y)F26|v+nzp^+E`5DnKUHK8Vw(T7KLqh(^N3uPaw28_^zqXy+p^_ z-)!5ssH0oN1pMc};gY*Ze(<1}KHwcSVYMBkqRB0Q#WCIS&t)cHi)vOr`rqv22=u>b z$^Tv>l4Om;L35E&Ftoc$i>Pd_5lo(az zRDLP1$3<;crNG8F!Sw#J(p5*C^~_Yq-G`$^Sm@16w9F+f!9S0*0F3y>`e&-Ng$38& z^oxx)XmDf7)d1roxA7G?;yIK*)Bn^31&yU?MCuWU4M5zc8wE5gPkOq3WTgJO(miS! z;|-}KC$5qjCG-N)x;8!uUPJUpow0Kl-%B*@(w9tU!N+(;Lg(v#!plx>HQx@+nPKhr zm2tU}XS(`zq?J;qbNNZ3fUp7{j!iZx3jaGVEA&Q~E_`AayCcM5r2sKOcdQ<59QuAQ z3F86d*?V7w)wucP-#Ms>2G+Y)0?QXS*5J(~gWW5Np5JRVu6(fS<65;S;|}o$Fz5Uk z#2~u)lJ`^9{C#Z$Nze6sEY0=jIFMi!fg>&$f!!n7FsvHv71|e;aQr=05k87Ml`I77LhmJz&`W^O z6p&C8dKHDxlF&m5fxA8Dz2lzuj&Iz5;Qo-Tz4qQ?t-0q~^O?_l)+ZgUr)mZXcXHKstjEk2H=Ca;~2Z<+)&r@=cF|Dm080LYq&re%lWh6g1DOm}A_3DRzQ=gK2 zwdHm8<6oLLujI}}ulQem z{@q4K#BQ}IT>vLk>N=C-XA5M88D0S+&O3`Oe=kb{CH*XvSz3p+TaGIEiD;}9#0o@iDx$A#o_LWf)r7%;U zZnA8-NxVSK4)*mo2q{}`IGP+Yhxk5g+k4mvl>I6RliB^X0 z-lWum*?`CfAZ}i()n=V;bfaDUDwNB z+>7_iTr%FSf#s5@{;f?XNq*6FJ}3A`D_k~ikQ)zd7-_1FZ!_|sUtU3%&EOw4#v}{i z)3hGe{r51Dd206~vW<>BJJy-zTS3O+rI%%vJc4f2?@ ze0Y{Kij*%APZLzxuPk6}(XDMTf;Yk)HwP}2vYYMWNZK`P+gPLgDp_^Py=|PbCej<# zBDKstH9(EYO*bBP!iIU(^(k=(sryXAjgK-)35!lTO&J^lhf%L|R;04cW?q=`Z9A+> z7;wW@4)jHIjq#iPxZi~|e$tLck9vc=q*LCdX168AQkvEn<4c;njWbFqZ|FD8naE`d zt-e3N-qi?4)~wVHydDNtGw&k0|;-m;qCj_Q-+aj?XED zza5Zem)JV?4NJVwey0(wPEVyIZ}V8yOWmLx*%!_tH*~-xeYqp#NVkHvR-1_7j=3&> zfNN1S2p>kw*C{XNL%iP@B^S?HLa7@2;p91Cn{QTVv`nm41LC~-UO@t1d(#6SmPn<>J(geJ?KyHY&>v-Pj5bYVGg_C09H}F{d-q3lUo-BssS?jf zu19<>R62AsUT%D}giW_z6(;x(Uhp<{ngcg258B3U8%zsWPZQnaa_>{sVK@C+q-f=b zMowbOKRxA{0ZOLvwYla+l~I7QCl8zA;MA9P+E%kkXhiBzJtO&#$BB^9S@`kyGSH z5hU4enc?YxeG%<(xgn%r-zqyT-C2@PyRT5Mf1uOz-kXjeUi~AuwTCjcDqdTzhR#3w zU|1vaW-MDtPg_RboooKNSDTbOHmL7HB zu2f$u%>ImEgGn&gFT+|jD`6XA&mS>t>B>zeFaOT0x&j^STk|4hPyJ=Q-899t61e2_ z#cX$&!udu;tI2dNqR?T`u_TH8l~-M>e$#tns^jJz=%kp!?q@|4ODS=}LqY{I$PWA? zZOky#-A|_Js?hur$pAm~M%-YZBWpn6p>T~;_whFdG=n;c@5G>SgAj*{rN=1LO>QHSe z=)dLO%BLY+xWt*8Crf`G%r?qb;P`IYyR@ZW;uIlZHDr96sfsj4{E{2ZYK1$RkkNJ!_a8| zes4m(xmgCgKMrHWUvr6m?-}b9@IY|FKXIcLnzRl!v6@(RPeo`|`-XWL34N@$Ikm06 zneOgVE9j8$&tUQMEghvg$w<6hT#c)AUwB)oji)jS+6guyN#E5q0Uz}2EOHib{<1oAnXM5J&PE8_<1dK?;YUk)xh4D{Wbz?=%~rTb$Q z>opqNIl|HEjU=yb;k!KxN&O4+dE3d7a#(L8AZN^#%NsSVf|<(tcf`uUTgE8G$U&LJ zUI`bxH$Gjv+NqchvG27ms^0)rsh`_r9Lyuj zr-@(sxuE#lkX&$-ADC7MwLOj=xT8D4@>P4V|hnN$e)2xS_Fq~vz@M$ zFzpDzGc~6s5L~~XRC=JIb#+O_Ai^a{Oyui8k;LqvJ!@Bivt_Nnz%4iBU0z;F@kjHECwM?0NO;Q!2^djRY2>{-;i<$G0>8q?WNe1b zf!n@Jy=@~jd&fvJfx`4px z#Ug>c+6@G%ilM^l)ymIl=byFJlR%))!RqYL2siW%ygiBiM@U6QLcZRjqhqD9+i-v2 zb!$vco*iGi*6mUF>b~TvWs@>`BQ4o-FRtvO>`#;i|L_5?J=HPwlaZBeu3RyW9n}0f zqYZY<vJBH{CxTSc)N65h z5UA}}TpL_L$1g;lQf9qxT1SJU+?4bxzU1CVC5rKh3uaoJPacK1o3A`LT&l5?v?_VD z3GAf{u0LiSpj2K_@_F0fik}{2+@#@(zpW@$hvu4f=;R#^@4`6t771{5>ZUo)wn}L( zSFk)K8h>`K3%<+Eoqi>JDUwIVZ5eUTJcF@X1zH>Jx2j|i(5S!EeOp#CN?XD3;(Lx$-Vh6nCDT1#bS|81O$l2o2?%4N#YXN?l zJQ(TkAMu)u>lull+yQ}VqfS9pAMzXr{ggcOH_mwowT*m3a+DiQ+0O((V^8lGPh=H` zLfZid!f49QfuS-08x`Em-B71W!Al#_?Aic;c(oM$0~3*+ z>7JpV=WQ2M6jf-Ro+TGC&rscFcEaYJpNq9}Tx}ehpHY&eh@S__uWN4a?ZU7cO}BUC zKp<7`yKQiGvp)Wh`R@&$y8jCG9}vm%6gW~gdy_iOnS33M5OZJr+{0dFI#3evy?)*N z`Z!J>fHA)OEj#2SJgZWVhijxx>G01&-gGwGUFL1LN${EU6FBl4qRixkCEoB`K4P`w zwDQy+xqmIywf2UCO$r)jbmZ?C8dYj5W889vi+{*1DZtd1Z#~Fp=)T7-b9aNO8Te`* z;@0`C1J{Ac$A27?4?Uu#2Tsv1Wp4Q5yh^pRXaRegF%MNYRoW0UTZuRBr+0fS1aPfs z)kq9>6ua+PTp_G3aDNQbF^C$?s#If6 z+}yLB!*5DYcL6bLSG&-gTh2F#NIEpk zOC#2~_PV%%Iula=sF7;jcQreB&|{N0SS#A;b(J(UeNcD|q3UX{Vy~n%S%Gk1-|l;z zva8abbIle!n5pvXZIXJK_Mm>Sn$8M(MsBf{n38FMMA(U(|xjgX`ry_Ixsv zu1m<{p-=v+f0+X&3qXaqu=uLv%N@?zUEjzi_ydgajJAS^=2!<_u6|Svh;|TTzk+{K z-hG2)j|51^?ysrcf-N%VG36-bow^atC_+&Krm%8Xtj`kflHf_K?j(HHky?!)DX!}s*z*0Y4N^R`n5J$`AO zTGk>w2Sco~nU%cts6>aySgD@WxkHP?v6S?Ya}MACtPlBrN7s4ZcX%HWnVQFK4IF+{(pb4eE};Br2OT?V*SZB1AeOtj5uX>?alnwprl8}B8!AWKL+|4T(F0612jJkrs)63^hLDg z_2p1Mh2sCC(*wvCpB_M84LtPR;anU~^x-;{^+$JqHbmX?eXbar+LbxUqB-(68S~gQ zk|FPXa8UePdrz_hhzw;+)+e57hFR_3WcoGsboo1@G#zoAOO@iOb|d}Pd*3B`9MTmL zKR*L~R;N(W?+}jiK{Q&Y(GK6J6N5RH{;Iy*xVuV-vw5MU7;E9$uz6R?TB0*8xrV|o zbA3YON(s{os_V`JyY>Z6=xV05?0l_I;sU0n@o zDCq4Rqs8wqBhY-fsMC^ns!Z()POLq&pj z*nHsvga$7uHewX%-3|(Dq^=s(!c~7>N1=JiWQJYh+ zi^FN*ZTjisEgpvlEV_54jb(0Jn?88=Qr}!`OVP_n#!4mRPDM(tp{h%n;lvhNP3W=+i ze^Ax;l-ludGX`r3dY74S4$D2CCZ}4%TTd3Q*ZZUR=1lxie508K-Ya3-XOMwavh|{+ zKDr2dCK(gUUwsqk6A}E)Q*M#;bEgxiq;E1NCKbh$Jy@Nt^DI#(AA{h_$$~XdR3CEP zIh<}(hTjch$tXKVVX{=Ll58>#GI*IQfNCyTed!H4OoPYl(nfBf zn{xlw>$aE3!x|P7nbBQM-&vD-=m^(6dg2wU$A&@f zzVzT~=ODE*XMK$0@>7fQY)T~BoHm<;y24XYg7%KPne=9H7|?yq8OI_#A$ zXSjr(kk2pRT=CuJv(r$ScW*mz@lS4!(BSwk&tZ{?g0K_ zrZYN6{C>DSL;9*LtI|$;n{)`pXd{vgsCUI2lsw+@!u{;*dQxL_8ZMDXxShird4Eh; zUYFEZX_lHKqY;rI81Q;qK82esSET*&Gxg_uK0ya(6c*4b_gnVU?5}h*k*ZT6O zi_F=F>qYyzbq_9&^KqUCf_DK~SH*MN6y8V!TAJdWOn_ydX#jy9 zha)5)jAZqPo)EWFpm$f?Kh28mVPe1*Bb$ssJ=k0DPfZE?kLvaROoq?vT|DBmdmzuA_?mu}hlm689XW8# ze=j?<<8cJD9$Mw)OIc-6nY9m3xuVTX(BSUYk#Pqm%$wb3>B78JNS#)V^+WiT=ZU~q zfi~ddBw%IK9|GMA@GAFwWCd9L#QK~v7J1x&{x*Y8DR#-?W~p@&z|DRlI$a7rjiaRW zy5sg|GJ7{Mk724^fA9n#DYpSN$bg)jQlw;N_XLkI845@#2z;?`nKWMfx-GjCIIH%% zyp%E{f|CNAk}Z}?RNraR4FnDhQxma8VR*f>$b){R$7Py3WBAl0U$xdyPpZ%lJ! zYOcC+G-x9D-Ny(yY9OVcI07lVw$0%{Nji`6DiM?I86~UH z0NL}^H_xTbsw-j%9p!{U21j)nvbHs_*-Jp{)c1@EUfVMUk7iM>-dl;e}o00 ajU(-l6Asb_H9EknAT<>&Wz?fr!T$@4knm;z literal 0 HcmV?d00001 diff --git a/report/report.tex b/report/report.tex index 8d46860..27f363b 100644 --- a/report/report.tex +++ b/report/report.tex @@ -750,4 +750,71 @@ $$; \end{table} +В таблице~\ref{tbl:unrepeatable_read} представлены транзакции, на примере которых демонстрируется наличие артефакта <<Неповторяемое чтение>>. + +\begin{table}[h!] + \centering + % \addtocounter{table}{-1} + \caption{Транзакции для демонстрации наличия артефакта <<Неповторяемое чтение>>.} + \label{tbl:unrepeatable_read} + \footnotesize + \begin{tabularx}{\textwidth}{|c|X|X|} + \hline + t & Транзакция 1 & Транзакция 2 \\ + \hline + + \multirow{3}{*}{} & \multicolumn{2}{c|}{ + \specialcell{ + В первой транзакции происходит чтение записи из таблицы \texttt{judge}. После чего эта же \\ запись обновляется во второй транзакции, изменения фиксируются и вторая транзакция \\ успешно завершается. Затем первая транзакция повторно считывает эту запись и получает \\обновлённые данные, а не исходные, из-за наличия артефакта <<Неповторяемое чтение>>. + } + }\\ + \cline{2-3} + + & \multicolumn{2}{c|}{Тут что-то ещё. }\\ + \cline{2-3} + + & \specialcell{Запуск транзакции 1 \\ \texttt{begin;}} & \specialcell{Запуск транзакции 2 \\ \texttt{begin;}}\\ + \hline + + $t_1$ & + \specialcell{ + Получение имени судьи с \texttt{id\_judge = 201}\\ \\ + \texttt{select id\_judge, name from judge}\\ + \texttt{where id\_judge = 201;}\\ + } + \includegraphics[width=1\linewidth]{img/transaction2_1.png} + & + \\ + \hline + + $t_2$ & + & + \specialcell{ + Изменение имени судьи с \texttt{id\_judge = 201} \\ + и фиксация транзакции\\ \\ + \texttt{update judge set name = 'Софа'}\\ + \texttt{where id\_judge = 201;}\\ + \texttt{commit;}\\ + } + \includegraphics[width=1\linewidth]{img/transaction2_2.png} + \\ + \hline + + $t_3$ & + \specialcell{ + Получение имени судьи с \texttt{id\_judge = 201}\\ + и фиксация транзакции \\ \\ + \texttt{select id\_judge, name from judge}\\ + \texttt{where id\_judge = 201;}\\ + \texttt{commit;}\\ + } + \includegraphics[width=1\linewidth]{img/transaction2_3.png} + & + \\ + \hline + \end{tabularx} +\end{table} + + + \end{document} \ No newline at end of file