From 1132d9e9a71c30a0c967a56a04cbb6ca9d5a5ae3 Mon Sep 17 00:00:00 2001
From: ChoChoX <xky1922@gmail.com>
Date: Sat, 16 May 2026 21:52:40 +0800
Subject: [PATCH] =?UTF-8?q?=E5=AE=8C=E6=88=90=E5=B9=B6=E4=BF=AE=E6=94=B9?=
 =?UTF-8?q?=E6=AD=A3=E7=A1=AE=E5=BF=85=E5=81=9A=E9=A2=98?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 exp1/badcount   | Bin 19136 -> 18568 bytes
 exp1/badcount.c |  59 +++++++++++++++
 exp1/psum64.c   |  79 +++++++++++++++++++++
 exp1/task61     | Bin 19112 -> 16400 bytes
 exp1/task61.c   |   2 +-
 exp1/task62     | Bin 0 -> 19088 bytes
 exp1/task62.c   |  60 ++++++++--------
 exp1/task63     | Bin 0 -> 17008 bytes
 exp1/task63.c   | 185 ++++++++++++++++++++++++++++++++++++++++++++++++
 exp1/task64     | Bin 0 -> 16384 bytes
 exp1/task64.c   |  89 +++++++++++++++++++++++
 11 files changed, 444 insertions(+), 30 deletions(-)
 create mode 100644 exp1/badcount.c
 create mode 100644 exp1/psum64.c
 create mode 100755 exp1/task62
 create mode 100755 exp1/task63
 create mode 100755 exp1/task64
 create mode 100644 exp1/task64.c

diff --git a/exp1/badcount b/exp1/badcount
index 23534afb7080541493025396afd30ac950faca73..50e9bf999fcf44583ec4dd3b8fc90d8a32ae01f8 100755
GIT binary patch
delta 3719
zcma)93vg6d89wLUJ-c_`dv`b4EJ1b`p^?&L2{hR}*kmEBYyz!eq!s93Sb;QYLui@h
zQA9UPN=q8igx}W4;F#30rqi+N#4>fN5=2X>kJ8#vk<lR?aJIG`X>~MpD(nB>M<A&>
zo}GKX|9$>*?m7RtJNY<2I?RX4{Fi-9YbhOArg`|*rySE(ot?H0|GvtxQ`WhiGWhwO
zts|8>JCdA@2PB>EGmsgfiKTeshTpj1H$L$+-_K+JEnJrorVCcdk>H<SX|pERymnNM
zzIOSAnvRF}Ub*rP<m70H10!=|1jY^{#h3%0mMi!|sJ4{D4oi@?z^ihIw`u(`$XY_+
zYp}rUauBXr%J@l=a4TuW?dZJ_-j#w-D^_?qI<_Ckc64_4W_!91?t}rcFHcFy_+w1E
zsizbq){atR&TQ|zZaZ0SF=XE#egfA(Vx7oSGZ#<MSvINa#Hg`2ro7LPD=AG6k6P~t
z3&V%tTC>j30xR&2HRPrRG23@RwT0lQ%@wwoBE(6<$A+{OzHJMIi89-To3!?c4Z(o@
zxNo8DV4Shy;zO{+ch4t_i+hpl^hVY&_E+zMe-;;)&fz_Cc<UVgdev<Izr&~0MeQ$R
z3dNFNqwa5=Ro=+MT1J^;$@fu`IVRpCsGrW2WCq14qK{1G?8VF8NFN!VH4yF3YxXri
zfuF1M`4K3n3vNAvBDQzwU77ymXNb%UT+O*MgUL>03Ky>zi-jG<V(~?>wF;K`7eO#k
zkry5^doeTc+vh2M;V@dArq^Hi7E+nP^o30Sq>>p#qjQBEiU!hG2GdtE17|YFO1@5G
z97`8|Os-_G9Svr*r*-YM8EsmRc*A_-^}II54U-lMAP(ah!f7uU6#J3FfpTufZc6eG
z|0)*Wnm;Hu>)M^OwWm=_W3$3lr0CV%g$t1x_*?;}Qy55pa4tPf>bC-eq9=qQ`X~8-
z@DP!n=7Z_!#`Fh!u4>D%_3Zz4zjzxu70~+v5g+!}HcqDhZ6(wHQ|0W$_hRRqaLxAm
z@#y->%(Y^16tmcbNMns7ZbKY?w^+P@_>K39#kUcs5MA(4w1TH#ELzUD!H=RJ<)bha
z4Rw$FrC6lnXtpvWzJSjUFqWUnMcU(gL~3!<v6+w0I6mLO_)Um2y1gzN9YfN;gwHSk
zlYSx_3%M}!XxKc#=82_IsI|jzWklT+(7CV<Yy{3!Mkv|Jcx=)*oRkc;=Z$)6p5#+d
zT@_bHjB{y}MRoultcv*i3@7shPYQUl>dx4ZQ6q3u@1~GuGB|yW-v?^^UTHjurLGi)
z;va+G#d{s+jau_XPU8G1jwBe@Dv|p*2Kk7*wp3<Oiihonwa!z|xsoA}Y+DH|wj%_J
zt&f0P+Xy64f#9)-?%o{g1ZC<~toI|x`^kV?Hz3&a#K@l~iDLUKf`eX8c{vT>djKa?
zC)L^L1Uc`<u0her)hKUt?LYxj$^TdQ_{k%|9OToq-~=*u664U=GkFhof$fxwLr~Us
zIhaCVdB$wji1H;DiObPj`VtZnQB0<MZTBE4zpUxgq;I2cBXygp+l4kvCMPSY<%>jp
zf~Zep7o-ro$c_kRdjLDj-bH^z=tpT@>L+o@2Ba+x+5H4rQYNgFh7o(XHtw?|Cd&|W
zEkIa7!NSIFYeJeDKlu-eavydpO36SP-XywNjc1iccPSyn8dc|dm<vlE%P%3rOMdLI
z-H4RJZJ|Y4a#N(Gvmz~>iBz@^eYsm(SaZW@=a0lEElEts?V(9Y!|N?~6IXs!<5EhV
za`O81oHmMFHS>A3^~cn6%bCxwGutrGBIa~9Ic3aR608;HE_<0XrVwQjO!hRyc%!r4
z*&2|r4&WUxE3+ilgyv+c;>}?+c9LyHINKUn8Ri&5L5JBP?6+tRj#5n_>9KJmx@Yq)
zBcL{V%vKR@4XE62OO+ke;=197x0m&JjO6i{c`<7zZtf75Jx-^d2PL3#-WnjnAH#9u
zXcExope5QGXb#h~f+d^=AhVL0i3pm=qdcrnq!ij~O06NPg=NrFQ*NI^N-%}B!B9<X
z<vQeg@sW5$@>)|!aq1YIJ?Sy*<S$eAHR=RscFBC9vYW%Y+Vbpq<-8IQZY3y`PGMiK
z{6YxjS;3za^Ii~Yn{X$E$O+dn5n+-=enSKic$;uNBKYR&|HDR-ps#iwJX5>bk<IPy
z>0!IF-Mw&I;w4*02Y#U4+Y9d}YVGl^-Me<iw|DJ^RNX>YT^ED{b?e}jx?23!vw*99
zeb{G|Ih=>qqS#B!!&2~IeJE^}Z(YY&D-xW|V?G$G4^^9=XQuX$;cFIuQ+`zQD#0@U
zX8nFX4%vn{AA#Y9W_|~}+E8BUV`1h?nbtZk$L;Tzyv)2ROl=)x8$;oBs3k8p$7>U5
z1)c0DR_y?P2+lNyV5rfOSLtIksz)(y81}dpWgaV=6NQS5AJ^bAx=_1C2X?}+pPTDb
zhP}B3%rpIrCfA(d{zf<d8D&@V8<eWjhiCi-$#HG<f{TaM81+vmr`ZI{u+~sobE}XY
z4zCRH7^un6l9gm5;azE@Zp2`#4d0nsIMJP4&f&SHD7@LU4YoFaWx|<yj>G9yQ(S?u
z)p6ClhfO>MQz+f1T@#F%SPHS0xWl|)hXibCsdY>mMtJ?6XsK1rTiL_|Fx8UB50vbh
zxV_KFvk$(yCZP@)oQdr)wI;5buffFq5KG4$=Em3*nAnou$L;2Sh!ME>@r2#nnxhb2
zo3PLP$%4&m6EoiqBXNCox?pVWZq<CLzGb>pfvHsyNM%N0TU+#aYnk1#LRaj8SZl(5
zi2fX5y9!z4vNbxFhcV<X*XrCiVG6mU37u0Q)|RjjHR{|t$Rc+ssdM*X%*ek12YR~t

literal 19136
zcmeHPe{fvIecyMdC!KuyY1x)#rRW)3#uV;k8QT~W*=NhLPsCuy*pom>Pp7++?m)T|
z@7~!G2}YpQv7(yFNhfs*&3HOY(spQ?p>Bp`rj39U;ttcX8D=0;+VRl1BbCsaq)in<
zeEod)?f2>FSr?d0|43(UHE+NB{d|Ay?)UxL-FvIYdJgRKX`0~V7dr)UeT_B}QG)T^
zssIuZ+eIDncClVmg0GO6Esxj)Qad&H7t?^k2_`#B$-VSrN{=bGkSN)eO0!kAgsEt-
zd9u@~sCX~^q;krX<xYJD86z1ocj)t^fW*{oN3j_VNwFC1T1?OSY(Aj+&vpcp-6>^v
zO4%{Js_J9P@ucR{aY*^|()Ey0VoJJ{h|-Z>OWgHzlMM@|-ulieJ1;eq9aFCF-YZt}
z*QxK2vfHj4dg)$OA5*UHldz+Be$>R5$6-}psq=SAoj<1Pw8&VlKxK3q_TO_<)Q^9n
z@bxdhKK?)FqD?2>`Rn<AS^rpT$55t!+m?=@WN0XpEsTanw{Ht=+Y-*_!kY!Tt;0e7
z>~=qnl8q6)l={bEqNUR95G-Fpcovwk1l|j5Dg6ga;PDdp!zJ+ZzzrPUR109KdN-E9
zSCznD0&d{&rd9w;`PWL|hk@VdbwYeTH5^N(@|Kw!ljTe{V~Nx#vJoq7rsB!igSkxB
zVG@9>l!(P}juWxG6*sNea2yKc=Xe}uu~=d>9vjGH<3pK8QW77@<>AiEWUT=aw{k;6
zf~@I+*e3QL=-tyD+Z^5;-s+TZ+ahAUNA5<u%+z2eZ>7v5cXtovvZ*8S{voP-a5$G$
zmB(z=B^A*<y54-aTIrzDVoKMcPaKDY?~B5kOf_BIk1Oo_nXlk7^@-EqDe-fTpA!*v
z62{eYjB!3WfrvB{j5Gh{E*qzNfX*4G%Pw5qf>Jc=!qqE4;#XaGkez_eyKuVSI87^@
ze5gmM6rFY9{A?k?ITtS9FH&2GKXc*k=g+rXIQN-Mo_FC0u#;w7_%a6-;s-9g#)V&W
z;dGCcQ#k_V2$UmGjzBpA<p`7`;Eljf>u-2JI`QK`bV~nWhY-=<o3VVwi_wYi2WVt1
zL~-l=fQ#)9Ag^zW2+~iJVD9Z=u{ba-c^aV2y|%#9z-;ct1)c^{bI&dCG=Q4>(*>Re
zPIF&c;Ay}#_rwBEgRwbtfv17fT))E?+rwzxKz$n~f7G60`?tf3`EPpouY35fdHAn*
z_$NL5Ne_R*!yjA3cfQ*@dFgkflW#{SesuNFk)F<(&I{4gU0+1liYxDh>VFM{>)Sq$
zPT>Tc?ivFUJ*}HW?wGe$;?!)TGEPl(@p66JIO)BlDD-=!{?<K2ZoU?syc&JsKXyf5
znD<Aum!p@iSu5Z`R}KQj%XXaDp5is$wGv`cxaDYcqU-GtiqXj{R!wxO>)*i4e)U?h
zIGaSYU)J9RuYCr#PW@y*cN{`09EBY&CL=oe=xlVVXLhpZgI9Xysk!fTqDNO@9i4n-
z_S0}UrN0PnVn&<PzeDh8{WT@MAJU1Qd2Om^{?48c%vYW#`wK691pm{@!~8GFe?R%3
zh5!3(|E7|@59zP=ziIN(x1y7Ui^=FzMf*n79-Zu&@0^)<^evyY5&gOtokD|G{yoOs
z(aD#ilW)i-&Ypqe@6n|{`vyu<Z(;^FmhAH%0-Egk5&HS>w+iuHx?}zhhm@UyYznf;
z7vS|gx*t8=GwVnnaZ7(@ORqZ82kfdA)E}~e1&#a3UO$3baRJ>hrQd}T>S;ymU5$VJ
zgJSWWk4@>f+R~cE(r-hGrgxAKC$JeVzelZ~eHQ|G&&g+q^VA?&Ih7+&jzBpA<p`7`
zP>w)30_6ylBT$aOZ(0QC_no8p_+V;>(VjOxjvu#DW`5@~(PNr9bFGocT3zkQWuiN0
znyG}f0BEiLJ2BlBG&P_7&th>D^wia2@f_$`P?{2Le6LvS18w|Cv3L>mVbH6fmp~iT
zk2>^QDJAWZ!$KQv&{}J%0@IKYPQU%nz}E&+*jpukf?AK_7945Rc@9+6HSDWfeOG<(
zcwk)YT64#5-?sing30~?9G9WTzg;nIq3|Z~X#!NDx_%$W9jeWur>^0oue-L=_bIf<
zZp*WfkCl+GhU`@w-+_Dw^^NUOq*Q^!z(GqL^t&+Ti8F-pZ%n>%n^$3x`qXaXNuLtw
z()_ZV$`L3>pd5j61j-R8N1z;mas<i|C`aJ`R|NRGIQ|Zf$NluJ9i<wZI3M2CDt<3b
zY>--P;(TvM-#b#GpGGOIv5DaC?r45PiRJ%&t(YTzT1`Os+ciTK_?xxom7Kpl`)4vj
z;&16_-a~1nO`M$PHKXc#G@iG-sWenK<ouDKW`#GXkM|T2hg3tj-7`v$zmenmZ%{bv
z{i1014{?<cem9f-HIzU6Vkvo!JEobEzoz>CbH#H%l>7fP!ryay9d1&S)rg{p6zx-V
zMA30YrxiV?=(iO0`u#ATzq{Pu-Mz!uc(lKewF*Y(R(y84Db%^GAo<Rl6(VkhJNt~<
z@$OY$dA`r#^i=l*!l(;PDmT0U;cxl(ukt$|+%9GA(*pNVExxKOk&3GGL;_WRMMSIo
z9VyedgEUs?_;MC9ozC6zK;R(|Kix>s>jw!^*?)q7K-FJ>R3D^rYiksw=}*w+?Y`|*
z)GU3F1Umw<OqZnZ&YC2Ms38}ZaMY5`?V_5jd^>M=3S5wI)Q;TN`#B0yuTA((lvf!3
zb=3w8q<epRU=E;8?)@8V_tnor>c7c<4cJPoxgb>fXHc&8M<O6ds~(1iR$WDIs{MTt
z35trZfmYm9L%LZ~piKBlsbUXG`aen0lO*~B@EVnbp8`~I3Pt@Nq?|S{Xn#xDE0n!T
z*)Vj3pNs+|_S20Yc#%q%kTsKw%cMsIQPD=(I_Zoq4A~BiTBYrl@-HH<EUbSUWEIIL
z2wi;w4l0-VYi}lqv_;EtKvkwDJ?&=AHKO8i2rC99{3(KEM=PcYy<MWi4qEqBpzG}T
zHKB+kS7bo7r(c6w<q#@aS4S24&K#(mAg+~8n(s_x*+$Uz-I6&{Wp#=T^%Mi&nNL?)
zo5hCZHq$5SI)FA;QSbj;UHpA0Q_`Le;c~D1Be-o|MG7#MZd+`(L-jMtVvp2EhcjYL
zvn@;u(OO4Ng3>qN8GTAqds_MpF7jK;e*3QXTesj>Xu9Y{Kz!>(Ft{`5M>YO>5nLM}
zup+GOYVp_Y2;LdIBY0CwZ_~$HG{AbTV34#bbz;|Qq}1Ew!^5{~i|_{)A%WXvE!C?Q
zSuTT~vRu2|HVtl&iZz<n+eCHMt_9x_#FCzBi(L;jrcqm76<Pf`*`)fQMl9ZpjaqwM
zQ*c@fp3y4(ZLMttH{iBvR2>Z9X@CyGV^g!{uL}n4-cemEnl(4OQuadjy|-ys3w3Oj
zZ15ted8I~;A^X)%xO58F7qk{TUM-7p4&xenO|?2Q6=LocWb-(5ys3_WYMS<ox>_Q*
zf&>l}+Gwp%rh~}oq2klpeD#67C~1_5#|V3pGyfl><bQ^;zobmpM757ECVx=VTYsuA
zze{iK(sfI(-lW%D(W|fMx8OPJzpNV|+Fg3hDP6m-^P_79!g^p<uTBRp=&R4^bx-Iu
z<mXvk-x-()T)<zGUK?1U2L|-&1A$j{J@CydzGdhfHZBYrGNZ?MCQDl=^0bQq8zctp
zjT3Uyg}pW{k}0K-Pv=a_Ae$w3VpyV(&BH+|X(ZBd6aMmYzlF4NL}X4|GvpQwd+&v_
zQ^VP}!TUcJTDr&{>$67p=G)ZE(FhG&g>0&8FqKW2nFQFlnMilpn|zGWpb;8~=f|>%
zw3*B13i(hWdpwg(hAi5;k%tg_MiLK&M$DXr1^1j8qOB(g5DOAR@qC)anOqiv#K2<y
zk(8MWQOH6g@nkZS9SrqntbA7-`%2>GU_uNRtkfv)H<4Re03UOrsJ5^i132P<amzAe
zcBm}Tk<JaLIuhwzM|VeeC^b3~N?_9pnv3>yfbINnjgJ0!GLge5Bb*Q&g}m8;^FCBa
zraBO(*tRWdXVhS}&_Qiqq{3~o#zs>4aGFkEd<17Tg|fO52(^;fL}M2+InZC7=vJ!`
z?-jjTG|trUYXa|YGn4|J0ZZ!BIMjz7T+?d*q*51#!e>1AZ3^dk0PFXnpkWkmL~MlG
zM~Qw3(8MZdTrWXnpTj}*M${{S@lz;h7@hOJ9LB$a!czS$)vxEIpXDOCmOU)crTolD
z{bu1E=U$LzjbghY3r_YHN}5<Lc)q}bpP=CBk`&b=AO<VB=w~I~B1FUmqIe7NrTpvy
z-iSE&DSbnk^#E_cEUQ7`3Kj>*kFQ?vJdE+fCH$vK;A6_ax1A?T=${2{aAhv~4d9Kw
z7Qy3p7M&*?Jz%2>C3p#V1Nu82VNIJp27EcLAKv%7L5Y8$^bL>x>q@_xE*K;pVf|3z
zHs;RXErD10mOd}5fm6S{@n26k+8>G7-nm~JfgA1$Re29^>KDKJ`V{^NiC=G!0Dj~3
zusA{bcwJFQ-Rbis{5&P`y6Xmq;@*U5b%t~Fdh5@`toWb+khcm019%cHZ0L(w!?6Ty
z>B~binTrh$<@)18u_WFI`B=O#DiXQjk)f28N`^NrtwCE1GqJd7#>Zl*tYwag0W&_F
ziX{uf!(%XUaWQ&XEK+qnonx_mhj-uI6YIHWZw#9W_uhBU?z?-t;Q+6_SWi?*qk9jF
z*!}|t_v}6pJGgJ(y*)=_M|STy&;twaR>%l%Y5b6FjQk#U>)WrcSSlH};zIUNy~i9S
z+9$~`bO)rGVq{})inKRbI#M$6?wO1w^SM|$o=wtz%HD&p!;3Ul$fuG5(L@&O&*zml
zXPiJ`biATY9+%i}RJVlQx(;vGk1d=k#xwzx`#YE1wCN0x*gNe%b$rR5x;L0Q5?Kqi
zP=-ehX&fo+oPm`H=f{RI9s#vXo2I#x#jqrd*K)YOkiiD#Oj3j~gi4tsLZWF5PDD64
zmW2nKTBa>IhVKe6JXplUATv`#aWYV)ks*sbqLpD3!-F|h$fpt_jA08{x~`#}lh;5v
zl~z}BItg#giLld9jHE_VrZuLZ-Ftd5)*7@cv9EdCC702b_;3cb+5T~wMHn~RFzz8>
zss6$sG~?Mp+?k5aWCwCwj`#PQsbkDxe|L(@h#(gU#<gR*A0)qKnb!SitqhMFnM&>Z
zS7N;L7pE{-JenQ*QvZj6tw`6Mwt@K>*2=hkUQcAYUMX|En3F9^5pbBGIrZ~;Bh$31
zkXBcy$o4d$q7=nJYjj*cuU|5yWea!mw*L@>v=+$ry#B|O#&eXo{jA5777=J|k$GNU
zWV%UO)8uY(`xPvPP$1uI&+DB`XOtq>@9qCFWxq%1@%ky#H(mA=Gq3$PFp3GU_d4%4
z^`7H(WvIx+?O^`1D7ftnWyka!D=MnQPBkYz_A^R>DeJQv=9$uZjJy7eO2BlQ4HacO
zre{6&JpN(&uY6)W_Ux7x;N11|xR5EY+q1qme$Oa-ry4_PD!N^<OuY8bLO}JiJ&&uI
z?qx$oz4qVr*pC~wBGXxA$AqsR=D&}E`}yPjKO&o0QBkk`8y<U}XE8NA_TKhift=RM
z=ovtX=Q;d;JG}KV&-6Xm)Z<`#{=H;8MBWze7n@t)+5VRh(7nU<Jm2B}-@^Z=MXnCJ
z{PFci3!`-Y*q-M<qqM$=bjl`9&h;{_gt6ORM3kxuJlDex*pB%c7!$_z8xdR5pzQl>
z*2xX0WEUD${Yu@DvOUiuSU_#1#B`0ax6y@sn{w#&%XX}Ja|!zaWq6W1rVPCHTT9sg
zm?q{(Pk9VHtmrOb|Ano#{RcL2a<BbCW$*3h1ie_1p7R(m%k=&d_FL71<8N#?PR@32
z%Fhl*35Bc5eq7yf>wwYxnXjMKN}1M2JRz2nkuF=|8IN<WSD9ljx3v9=h^_IU$H2pi
F{{<;&RG<I=

diff --git a/exp1/badcount.c b/exp1/badcount.c
new file mode 100644
index 0000000..2f578ce
--- /dev/null
+++ b/exp1/badcount.c
@@ -0,0 +1,59 @@
+#include <pthread.h>
+#include <time.h>
+#include <stdio.h>
+#include <stdlib.h>
+#include <unistd.h>
+
+
+void *increase(void *vargp);
+void *decrease(void *vargp);
+int cnt = 0;
+
+
+int main(int argc, char **argv)
+{
+    unsigned int niters;
+    pthread_t t1,t2;
+    
+    if (argc != 2)
+    {
+        printf("Usage: %s <niters>\n", argv[0]);
+        exit(2);
+    }
+    niters = atoll(argv[1]);
+    
+    pthread_create(&t1,NULL,increase,(void *)niters);
+    pthread_create(&t2,NULL,decrease,(void *)niters);
+    pthread_join(t1,NULL);
+    pthread_join(t2,NULL);
+    
+    if (cnt != 0)
+    {
+        printf("Error! cnt=%d\n", cnt);
+    }
+    else
+    {
+        printf("Correct! cnt=%d\n", cnt);
+    }
+    exit(0);
+}
+
+void *increase(void *vargp)
+{
+    unsigned i ,niters = (unsigned int)vargp;
+    for ( i = 0; i < niters; i++)
+    {
+        cnt++;
+    }
+    return NULL;
+}
+
+void *decrease(void *vargp)
+{
+    unsigned i, niters = (unsigned int)vargp;
+    for ( i = 0; i < niters; i++)
+    {
+        cnt--;
+    }
+    return NULL;
+}
\ No newline at end of file
diff --git a/exp1/psum64.c b/exp1/psum64.c
new file mode 100644
index 0000000..70f5bfb
--- /dev/null
+++ b/exp1/psum64.c
@@ -0,0 +1,79 @@
+/*任务4(必做）：编译、测试和运行示例程序psum64.c
+1）测量线程数为1、2、4、8、16时程序的执行时间，计算加速比和效率，并做出解释。
+2）改写该程序psum64.c,保存为task64.c，实现计算02+12+… +(n-1)2功能。
+*/
+
+#include <stdio.h>
+#include <stdlib.h>
+#include <pthread.h>
+#include <semaphore.h>
+#include <time.h>
+
+#define MAXTHREADS 16
+
+void *sum(void *vargp);
+
+unsigned long long psum64[MAXTHREADS];
+unsigned long long nelems_per_thread;
+
+int main(int argc, char **argv)
+{
+    unsigned long long i,nelems,log_nelems,nthreads,result = 0;
+    pthread_t tid[MAXTHREADS];
+    int myid[MAXTHREADS];
+
+    if(argc != 3)
+    {
+        printf("Usage: %s <nthreads> <log_nelems>\n",argv[0]);
+        exit(0);
+    }
+    nthreads = atoi(argv[1]);
+    log_nelems = atoi(argv[2]);
+    nelems = (1LL << log_nelems);
+    nelems_per_thread = nelems / nthreads;
+    
+    for ( i = 0; i < nthreads; i++)
+    {
+        myid[i] = i;
+        pthread_create(&tid[i],NULL,sum,&myid[i]);
+    }
+
+    for ( i = 0; i < nthreads; i++)
+    {
+        pthread_join(tid[i],NULL);
+    }
+
+    for ( i = 0; i < nthreads; i++)
+    {
+        result += psum64[i];
+    }
+    
+    if (result == (nelems*(nelems-1))/2)
+    {
+        printf("Correct result: %ld\n",result);
+    }
+    else
+    {
+        printf("Wrong result: %ld\n",result);
+    }
+
+    exit(0);
+}
+
+
+
+void *sum(void *vargp)
+{
+    int myid = *((int *)vargp);
+    unsigned long long begin = myid * nelems_per_thread;
+    unsigned long long end = begin + nelems_per_thread;
+    unsigned long long i,lsum=0;
+
+    for (i = begin; i < end; i++)
+    {
+        lsum += i;
+    }
+
+    psum64[myid] = lsum;
+    return NULL;
+}
\ No newline at end of file
diff --git a/exp1/task61 b/exp1/task61
index 1b8468a66e3ee244cda18fffdf2470ef0938bcd9..6337b1d6cac15223f7798cc7a35efb78dfc276f9 100755
GIT binary patch
delta 2254
zcmZ`*du&rx7(eIsv9^q^ck667Hg-n}+d|f^^4NnF+I5dRz{mt*B9AfmfI1jt>kN>^
z4hF<J3hTZM6JvB5qa$hnYodu5Hit$CBtZB_L*n>@Py!LgOCiGbJNGdj;%UzLzVG+_
zzVCeJo^$T)$PgXqr320al1}92R|Hv6rYb1>q>NZ`%p)`7OX3!%NpU$%@!#EMuU@gd
zz*7%6f;=?P@A#wn3OXeri!0zKRCG#01ENzLEe4{9t`d|CQxe9wkL`^ITtA-Cm00ez
zA8$J>HVKdJ9{2#ly0x?c&g&fXFf{2MgL;wvjEV<F^-k)O9T%Ac2J}u4%JpzbZ>P%{
zZfM3yX2B$9hkV1V)W*hbouQ6!TVwO4cBnE0GdG9cY<72TbuT1!%j>IxjW4_Bx#z=>
zp({d&ju;4s;T&r0#~LMi(uvY0TZDwOLS}-z9u>2PLemLy-c{}HZ06UILDl{?e#po&
zex$~4_bH0{#L0xZOTDnem_~;oYFtB&aK(6#rX;#k+D+fsT4+S<yHV&pCB`x%lo0Rz
z7O}r_b|K~wqdhLC7`>W&Uy>y6DerwT*5fiE?+fH5cgrAJ*W@VXvn976h~X~p{bZ-C
zVgTxGs%}I54Oy>tIa|cJdNxlE=}z&EihU;w$CHmAOH!LVEpLy!jI=yIH1atO0Su8c
z6UBtwec}{jzTXfLV}=V%l>Z&h6#ET_n7(&3Y?da{@_Jd8aaAJ!u*_fZX)&DPXK<~>
zaE;F`YDJKA&s{C{`Kp*IMz4fZ#eQEc8p#KbBq`Z~v;Si7fhRpXq9(hOHuK@i9}J8h
z^XaA|^E6}DVEJP6x#*Y}y0EdWt!?Z<o;da}zvy(#K3H@vww)$3kkNOYcK_-fT{He<
zG0)`tBNg-QWclvl@JznQe-e%(<$n^cUWq%4kGVfb-OjZxlTvf^idRb3v*gj6VpQ)+
z=AwRr9ZoT}U>Qy?Mt|~-CQA`bb~2i_rpgyC%8wLQ!<S-zwacXKE9o}lraEz<>&BC3
z|B<A`5qrb5LDT+0L0|OB4xyuIOREs-5|+RHR;Xj=rmY<tNwB-Kv$Z2EghS|>-G%iK
z$Q9-+BXovtk%$&M*Jo}@61yLpZ%NW;D0@&IN0~Y)No9Bzze3r9_J_A6=_1M-C~u*x
zydz1e6h0SbW%-dZ2O(0OBHuh0s`Igna9JpbjN$~^g=8c<_AvJE5g%ZH+MFo&V;{wA
zwG6AV+WI)oZ^bH^Zv^|@7x)ShKZ(5%3j>raZXXx0I{S3h))KBTVzD}dR$IVo3QUs|
zvFh2X*{vrcQubJwFL5OQ)U-jJDNDQM!|H9vhak63h!^Kk7aS{&&_BWJZsh$biboZs
z7d~;nN=snUoyS>?iFA*P!fh@aUwQ(afIxWx&4K)KM|}Z?arjOzQD;!H5K^S#8=k`}
zRa~n`<G%*SFxz@GDS3(Xs&6aJyH}0U)}!HZnV(6tx0{B`wSm9FL`R^$qK>YDc*W~<
zA6%>0h^uZ`R6N&81~L@3{Gd_o!H1KME4igsEN>j*dthvlgT~=}g#+J{lc;|U=1Nb~
zapc=bHgWouJlgo4ng^4~O+HSjjj4Q_U%|EUtjgcOE6AYgxBwLAy3R(g0dF9y&9Bz1
z)ixb*p35T7=gfl3l@2-&c%OqVW20dmGTG-TgKmcaqVF&iw)rwl;ij(kg<f|v?Dh?T
zu=phWwRpYr>F<~SsV`Py)sho<5K`(ABLRWp+2PAG;8InN#cEW_wi<y8F62v8Q<E#8
zKIk#`s%S6l3YMC+Bj-<y1?wm`&Vi-IZFaFsh0O(lnmW1?qBS1#Q(x|yQuDAN6UZ>o
z+EVk>Hy;9MP5mE8?5e#=<45&yqu$P!l_(LL^oq;{eyPViJYTU6LjBTGi>FkvvME@q
GX8sFvQAdXW

literal 19112
zcmeHPYj7Lab-oK=Nl<)>6!ol4$d=rw3P6#fXh{xjN)#l}kz`emR7&lvKwt^L0s$6S
zNTixLY}7hp6eU!rP3$&x)Q-pX54X|OokVeCmy$DnWcrXh8P`eEj>Z#Z$g$JXaob^H
z$LM$N-m?VOpzV6vf4H38bI*5P_nuws-n+Y(pAGNb?a?&B#VhU<#2sI1BmGK{+@UHU
z{bH+V!hXG2Cu+d^BxcL|Z33xXTD;}duW*9N&QfwW{S~Fhlv_xY>=rBYwYG$*Xt8;+
z)2XU>H+@<;Wy*3VUVw~I0&?$AzsKg8mfBHn#)7tdtgoCtr0gy#%67z(-C1RKR@pI~
zqXwZc<$O}}X*;0u>89(*2!$!>QXxv)<+a4Un{KjU!PFgZM%lS(K-n?nc!zFS@edR4
zfU-NP9J=XV6^|*$`*qk+K0j#T)8n9ux7hJJtBxB}by#FBmmwG(hCTa_h}_nL>yOnG
z|8(wKAHR9m%a8qN>f-m0bf!~7y*-`jcrcyH6vl#MTYH1OJ)wLy)Gf$u6E^Z^xBGWc
zvoWGCng1|Cbg{Avg4PPcuL28H!0G2wNxxwcoOCPcn~UI20uNwwmqq}U{Lpz;3BL+F
zfX!WQ1yD&}TLiyr5&RRtZ^8Dil24oFs2D9+c@eWxBc?EnycLa|Fk;CQ#&9&17Nb@&
zXGY`3{n=E;VPb$RQ{<wVI4p3$V`P@IjFBj`3?nucHHK4}XgYP;6r;IR#u^r+MQ1^;
z*t2(V=YY{2>Tzn_p)F2*bB{0v5AQSLX3k8c@|Kx9yl)_#&6tOyLuqPYVkDbU;S5`~
zqN0#zn-}M*PoA${$$L<zKf7qCrBUVI#j;ciht4NXDy*<NRYzz0gyR4D!dGzGdc+sO
zQ{n3#UpM;I!J1IlHOBcM`unAsV4V3^=)j@SZ-S03m+K|C`bkRBObM=T2@;<x!I!WT
z(D@Raet%r16iz-kCnS5Q1m|lF;TKDAdA}hL<?#}{^m=ru1m`}J{^b%J33keK3107@
zLcCCd({Go{wGy0ubJbGKKs5u^3{*2v%|JB+)eOAZeDg0NXI}S5&gnns6e99_)0U@r
zEpq0&{%2)!id#MjxVZja?3+9K1?eYAGW%+=SR9^`JPpWZ|7n4zf!OTT1)c^@vwyX~
z(|~FA&lY$ZD9!%<0#5^^+0QNTH29j$E$}o@njLcZ;`$I;H{9HT$q%)sxc-}=a{ez}
z{9`Wu5f}dz7yl&}|DcP1z{Q^|<GX%3IQi12B9pI1&ir`pz~OM$bk~cK^L-hlsn~u9
zs{c70YVP=5bP5OHeBU^b$ay_SWZS&ejziN+bsU<y;`Qc^3DSF3QRoj!{Vh9*Y<MR!
zITyL|?{`J6%zGo+bCH+cv6jJst{nJ_*X=y9J>_enkHn&|@kr!M->X4XBa=6*hRC_T
zpMaTp_?=>LCXQ@Br~fN>?LOE#@yUMn6ogbc0y~^cfym@%W}XkvQ#)VVkFI<jBhSd>
z^D_o{`XP3cS0b@1k<@fzcz8H+WhO9r^`&1-zHnu}W5d<SYgev&v}+r#On&eDPHi&$
z_POxeF#Q8qoe9rtXFfCUd*F%7<od;D-z(;Tiuu|v5p(!M#SFYp%uVR$EAhxV-};ZB
zIg!cmeAo2z;TdY%Yx%z=GV>RR4#8aHJT`P=MDkaWljkr>k4(M{P<Cb}PwjjLyZ=RQ
zUOyLp9Ztt!btXK6+|2kM_`Gx%Id^0}9@)4|w#?FJbf}c)%hm44`S$JTF4}qh+tl)B
zXh$u6>uo~YFWADFa^b((!WmmQS1!Cl!gJy4j;m=Km~nt_*ub0vJOZF%`@;~tNLM5}
z<nnsuT%o9;)l$tsH3QWQR5MV`Ks5u^3{*2v%|JB+A0z{seCH#?zVSdNI${P=`M}<j
z_op(ali5rH4uI#aLfp()flOg!$jp&O_onWip01wmZJWBfd&EE?mm@j79SeMHef~~*
zucEE--mw>yrs^;JN3l2onw%>Z9|s)+od)&4Q7k4w-vE6D)cjeoI1l;*(3N<m@P}^}
zi(A#p9(t!rMLT^^Xk#tfnuc2c6l8?cHv$jA=WV30t5&|MT8C;6wtmFE2r8Odb~mlO
zySe_9e?r`~dfTsUUMFAok^Q~cE<=ysagjRV7Pd>krwCAmVto<YQnZ=mBHYySpl6`5
z#&ZHKvfJ_mVDmlXe+T)uA^%R9{gaOU>%fm72h(NpZ%H{pROk^(02@6zq4&&qmM~2i
zzoYU@*t|-g)TjOtPx@3ymmbwrOEm-43{*2v%|JB+)eKZKP|ZL!1Jw-t|7L){gX8bs
zc$}VAVH-HSnv~#emMoWOVuG^DCeHVDYZOoOEh?*RBKSKynzvA4`G37r%o0DPCJg+o
zT0m9!8@0<y&fm)Yh>TG9+q0E6E7}!h!t;<Z_5B&oGiaViMRh~)w|OgUSOgTn_;J+`
zZuhj(<8R_P{>=(!y|;>X|BzP+;SH7SZ$SCO8%xP^-Z6cY{M)MkKUX~WL%IJyBm6zL
z+u<g4y!#bBpy+W$M-`n=bV|{Sie6IG?f3n7{?2mGz`*vvM~(~?GFBnbwI$RY+7#^S
zEl9p=gF?hd;m$sycD@JISDkS_%&u@Jkw#r;Qn~p&gg1HjEVom;5nLs6kLKS(Q9QMD
zs(F016GZ&AzfDA|xt)kdKZ4`e;?wc@EM$5gxS9hbxwtwGvefTC1>!wJkXCaiNFCK{
z4idVg^#lQ5rurAKgLC?-wT4>cTeBtt(rUruR^QfII_(<=u-opJ)!o4FXrLIPjXctn
zeHmHYE^5fecjwKQ!POCthS5`uS~^Abe`&Z6qyxP61S%TUgqK=bYoMxsPs#^LzMpnS
zX?Gv(#-Ss;WaKBYcb;m8s5XRMJGuBR(xZxKBIBBzCcRA(d=cn!QF}K??R3)vAYUh#
zcEbC|gwijg_DD13<0%r+PI!rJI)keJn%2Gp%*!OBidaF8>vni#kR``}Y|yE9KW!r^
z9!SVNw7>RIoEJW;OKfbW_IoZI@LAnrW2?;^^;w(6#&(-IE|z4Va#JmJqf0sZj^pT2
zII7Pe>`f&1T!`ogl+NdrjxQxT8mSeY3rF>1N+^HYz<ici+d@6^TsYo92DjRp_oBLF
z7`s*(_i1%H%LhC_wXe}K78$qIj(b%9d!<7Ts37h#6*sBBtb~+pDl*mzJ60O}%1>dZ
z)yiOe@-GCFfuv0K;oX7ioIpdB0?Fgyxj=!0ri(!&!Lv@(*WX$1ZNd?47WHfW1p0b}
z*S~$Oc1QiT`oT62E~R?Cwp44ywYO%u@HTC)w<S0&LfT!c82HsygKZyMrNM#!cImwC
zHc6H!CEFosk+1%hpO(7yI(d|`we5Da2E=Em(S{luCFJA4O-^8aTm3@d=B3*DrndSi
zt^R^m<Ly|}L6KTk;98*ii7U-g^b?nk))kt!slMLs3pKh;(+1n9vTQAy-3gWUc8y#U
zww&%KD?&o`)(MJ3=ClOaD(xH$cH)H8ai1BYglpPcO^rkV(&IK%I&`|G(6$fTD7J^O
zd9)5s^O9Ro(`YBYN!Vl9dA~umXR!0VK)Y+S`)Ar+r=6~eIuD;UtMtY<b=}hIHtDNx
z=xcGI)GWP`h-Y1^UYF2UqVD}8y^Wx|^@g;r9qalqHb2uFZ&09RoAeg)^@v{gaiTRp
z)>qf~6N`p^*a<y?(Ei_iO4onl{~P>0?Qiq9=?&PlW1i(mlU!+G$Tb%EWHx673YmN=
zkul=|y1Z9hWnl?NCzg!nXl(|qr{IMe<jb&xTyk+Ldjjhux`a);72PbbZXywoJI57;
z!!y#rK=)>K!wUpQtU|`@OPCommx_Un=3>b{d*MzXm<R-iqxtbnESbw@vW0xGkU5pg
z#Df;C$H+q{SBwNlb6LxbS=n4LZ$Xi)Y(Xp?%_mu$%4Q&l4VUw$&0IE^%A~B|Xfz&A
zWfH-ml$Gy`rqd-opoSX;)|4c$5XD|oVrQ~6fof&S$!IQtbuDV`O4PD)$dtX<MJ`(D
zOlC*S&R8<rInX%}G{;7Rv1~ex=A(U`V7of4X#PZRS12alS5<Tt^104bCYHvVgid75
z=<QK!pAwluC-vk5sB~K6qh`6Hu#a#k$sLg@3oL4RE1t@Nk|szYg9S5j8^?MZRNlML
zkJu;PD7v+1{Hb9SJG0i71e5}<Ar<xM=I_DEt|_&yQmKo8!lzyMW`*<ofb|Da(J;Di
z>9-MT9~F9{ui*yI<9!KY_i1bt*O_l9!C6oZqjp}OqhRsps8s6jV*R=#{j`cpDi7?3
zXeB>%Rnx=@;U51!FAbN9qXAiQc0WW-6DtMJBUmtpin{kPBxxfO5-3A#=3$Ai5~9Cc
zxB+-2Kih$~V3x&sW~&{G=+i)~)zd6^e#ZL87SX3cVx_pBmw3~=hCW|bIA8a9wD48n
z)J}K59t9rYMwHMefiLx}5<K2#(KO-k#76Wki3;7?Dz)<;fw$m1T-h(xoZX*D{U&Gq
z@NG)+eWmZt=XIs;9y8vMxZ~ET6qUYvh*s;d`{nlE20Y+cFI0lSEA=b92>u(uZ&@&R
zYB|#PETLqSm9a(qh(ocQ)fLLpb$TdeSkZ(4fLE-;!?=<ztmreW5hF%x`ts0>XN^QU
zI}}YDaoj!fMzk;{V%d?=v}u{~(5A{7w7f87M02_5xPjNRxp6U^!y8^BUKkk}he-)%
z(2b=`)w#AC#_oeV_Jxh`{#^#v67D*-f5*PT0hr?kX@nz68rgMF7<=~KvvbE@<DT8S
z4}}jKhj;AU8-|5@?PEW$ZG4|qjI`p?(WTXoh8d4qQTyIrE})JgQ2DY<N2N#I3LSu)
z*`t8Xigv-8oZD+A!IUqcG~)TJk;F<)T3k7J543OtHVSzYOFK=uzH=y_SGIDj!FN^r
zR_g>tk9qWA7+A8&Nu{-%6&Gl-A6i*j>P6nB9Y7|hY(Z(chz_n?h*}1VP=0&_0~Amz
zXVWCtG8m_XaAyt;6;fEGoQjJOMi6FhR7f<5(TWJg$20I?Q!8gnPMWzq#s_7L0a?yW
zN6A3dM$;B~M6*Juh7ws-$(u0|vdl5C@|cElS$WJuW>TH5$vC_*Cqhm`F|-;rbJn<m
zcI+I);45JVu}^H<CD+lG=tv6DZ2vfZB7|Sm2!1HQ%%MU8n$b)GKR?B$GQ(M}M~8-T
z=1JzTh}+~kGRReeaZ=>UE(;%;q33(_ObnM5Sr%L0uf(|bmKXZKAD2$YezE_zz*eMN
zT6)3!H=c=ce12}obe&S>xR`*Im40xTYB}-wxgyh~3P_LNsLJ*<AEOe%hB>%n&(A5D
z(o>nz;%@%|2<e$0x1XQ$F{SYt6>dN4F{QaXJws%kpCdBuCu0<M`)yRnHPqyr?T^>k
z5~kBik>k7jPfw;uwo~cxb5f?Sl-N_w-1ZZ|C?_iH!u?9!xA^%nRAk|HFi(%&O6>#6
zj_E~KRFrRrOdoXFPb&da)?+u!Go^<%rSY#R0n;fqRFv(QKIF3J|8K%{ADvt!h3y!6
z1eMbGJkDdv&*xd+oxewwJs*D&P@0N<La|Kv_%Z(kDiojXd7R92FDokQj{lU){_%jV
z$h3i+mlSvW??P63{c-=lkWD4FRCU|a<BL*zo;NWKkWoo-xBmuYczES}-^BA4{{I~A
zc+4|>1Gdd2_B>CT2m(Z5J)2wL8UG~&^xNUngy%2(e_Htev8dMvjz2z+z5rWFG28Qe
zW~>t+%2}H@dydPr2F9iKqF<@1#B&^Wz;?{j@g<Do^EkOh*}L^AR%uzP;wyDW#P+v2
zh+ScOrmK~`OHK4Dhi<=Y$NDr+b7LeMR)(j!W6Hp-yJZpk>on0uF<k~ORtzj+AEuWS
zDD*<0w76JtkFt07^Bmn+QNH9dV3z487qMTp)wZ9tiL+<BQp(p3M+p`GHk(VTAKa~A
rX<o$V1Kmrg)M0a_SmL97l88x{bB=3EX>M8B{^#ob;QcNG7c2e;mkh27

diff --git a/exp1/task61.c b/exp1/task61.c
index 67dee6d..8560f8e 100644
--- a/exp1/task61.c
+++ b/exp1/task61.c
@@ -31,7 +31,7 @@ void *wokerT3(void *vargp)
     for(int i=0; i<5; i++)
     {
         time_t t = time(NULL);
-        printf("Current time %s\n",ctime(&t));
+        printf("Current time %s",ctime(&t));
         int sleep_time = rand() % 5 + 1;
         sleep(sleep_time);
     }
diff --git a/exp1/task62 b/exp1/task62
new file mode 100755
index 0000000000000000000000000000000000000000..0bb620fb759c70408c79a6ba52eca12c59213498
GIT binary patch
literal 19088
zcmeHPe{dYteSdqWl}^@g|CUXyHQ2@!?qnHT{y}7)EuVd&1{-5HB|o}8-JNs?(w(xm
zXG;W#Knby`x|Nv>m?=#?Oxt8qN*IP=nEXNHl7Tprc1-#Qv`J??1b3u?Bqp>Shk&o2
z@7woX?Jc^(Wco)tb5FDTec#Xb$9wO)yKmonw@+V*9o!$#G{Gq-b_wE+w>d~u2@da3
z8IY*hE}C&(FV=}#@HG;1<WYw}>ZI0SISnbCV6wB7+)uAldQ7>7M9HpFnyqsrOhv21
zlbudk#rx@9$|+NpyX6^VjAY2OOJ5=dB&J?Fip^+Pip6M8IXxS2_>gKp+YwB5r<C0(
zWykc2Dvv40ld4b0Vdc+H*Fi>!Dd|!oN=IfbaUZ9f99S^*mv>g#`Kh7om~we{U$#@f
zOL>Qt-FD^BPxq<vm~we{!H(kjX%pWbM^t&0uHPwj{g|rDB4fD}h0$d=aOW{$-nik=
z!1GK0`T5qTzSSH1$4AUB|N61cp=^Kmmd>G6cqp4Ij)q6KcZa*TL<;%HW<hS7agaZ!
z-VY<^U_@U}|I;whN@*Jeix&`{1!gRO_W@f-|K19Cq5}S<3iu1a4IKW|1Yn_ZH&(!x
zSHNEZZs72z)c_XquT{X00KeYvg!n>w*i5Ahwv``~`D`w0i}WZ?BX-70CsO9U`E1T*
zl7Q^AFil+Jq*<^NmTe9vpg?|3CSYco$<c&4kj*8AviGMYK9VoMot4em10rGPhlT`M
z(+$xr4jk;;+iPx)Y>sSo^S5phX5Y~}P%kSzm@U|8>*yW5L-}0#Xrh0J3LhNK=TzaQ
zqq?9Xnn(9r0Cy`Llq;un9|pupNcg!ZuFBTa-Tkn_UO4kOZqtA`4W1JBbKFlv)kPRr
z{TSnXaY9jPCKzY_&D{=8&j4LBPM18mdIY6t)`P28fW)tO@CJ4Qdewu|^Tugf;p9Vg
zrBZa(gLB_Pf^!~RzF(xa5a0IT-u~w~56*2Slb1X=0_>(455CAnh4`TdZ}i|7JvcpM
z)l`i@H3HQLR3lK0Ks5r@2>2uLe#@E<;uG(N;#2y+bP5sw+Ke42U5rosAVec;Axc|6
z2e`EU3plrQL<Q+*NHF(SsZ<)6mOKs6=6*8I)4*)*ALe-)NX<Pz&(i>E?&*1+22OL2
z&GR&1ntNoPr@`2qHP6$)X|CVpOY0-3-9SqRCVy0)()t%8<@~cg{%?K!H+}r$KK{>q
z{G&epAs>IDjPLqI-{k9m9G`qEKJoUI!$)IXGhG+rr+a>cR+N_A4b}e`h_rNk6)Y~m
z>7Fql@zc6RWXDx|87@sX<#B21OP5+Y#!2rLMWNp(^|$UNa?`c=<dyjOU+#{dzZ#5d
zuf|`$W-o;UT{#GqE;(^xdy3b1&oYQb@#bUkiJrH@$i^ox+l}$5o__~3`{cD!X*Pvu
zzpDQNy!J)dy5*Do+(`&2a}0L4nKn&6__O$A@nR}IRkMDhbQinYH8b(x&jR+w_*Cp-
zd<qR*_BD)8<CCw(C*ODpI%4)Nl=FSMb!MMHPU=m};Kqc~YqLiIO~&3vT)u-ke2?z9
zm&uA`amc11n>-J%&k}e#HtR}vdZkw!=@nOcom14j`pph7ud#~k^`$5k7huhlz6d##
z^HYqvJ(d5)N2Ss`*G=i~-Xf(xE|;Ew6jlEf2~puUz<!@<Kl}H{c_L@TCm)<e%V#HJ
zAHEj5N-FPk!SF?8xCZJ|`YCV|Guov76@pLeXO+}|bRu?Dn~Gh%E%u@HnhfiOS3ZUR
zKU5xG{*e4{B>%JU-{JV*uB0=NF5q82bFvR{dkw01HB}=}jX*U5)d*B0P>nz}0@Vmq
zBT$XN|FsCv?>ol|iNW+vV|~H+41U~7TZLVVM9i}C)><Q(vwPO37Kz@xWu=q$JfN)(
z-iGP6psD%nuS%s+&{J1RrE{QXL22%>@x4;%IB46iOQnmTfAD^(^e*V%fi|iib?CQJ
zO4|KLgf`l$t!}IfO+!XF{q{ctUmHkaU!D93Y8|p$aAZ*CIZ)Buy1#kl?JW%_L*rui
zsvW<7>$>X+Ci^eoxCA}^?TT?5nKyw?6QI&c&_Bho19jd>b&EB(J{st4qNNC`$G35O
z7VS6=>dFG2MQt7V4*@?>K~5$$I1C)L)Iq-sW1c%h82`o;7<YIT7O7A5CZ6;ukuJ@T
ztEn1+Y6Pkgs79a~focS*5vWF>8i8sA{(nV)zl-DV;CS3m-`Y`Xbcp-m9eyj5X&+5&
zklG#Mes4$LJ5s`QM5a}W@^^PMhoQvs|GZYp6F;pcApGr`p)xe@q4biH^S5XJ=D>o#
zrK5QhrDYCr&pfXgRo|oWyyZ=$p_(D*j|8nyc&qw&PZ4ogRfOw3qxAS2IWB*V!ddUP
zC8vFetAy|)o@}q7{NWc%$#dK>&6NB#)&Acop4*|^|F04Lp4;zmlbWnX6+NuzaYaWI
z9anT((Q}GEr>NiWC-MB<<$>PboyNvv{l%PJG`hCpv(ruCuI{4byKYj5xCQQ<E9%6%
zPkrV20f*C9oQW{%LX*lZ=OO&P;DO~qVJNkQ%mZ5J9*6^hx*U<3x)+Fq>b^@vtNpx`
z>DxhCYjk`$3z<&Wt}PV04<twr67>2(8Ymxph=5StcR=b7QGWI6ILP9^M4h(>w%1X$
z^g$Br49Ps*l7ZVAQy`*|T)d8>iEOrsda?@aTJsm+8VE<}I6Hd3K}PCzh@gf15+is+
zy#WL1KDa(K2T&*X!3~c4`ez^w-Wa?FY$?`UgtkckBJ%aYXcPo#*_WW9HPn%t`rz@X
z1Vzompf!Vyq?;oJI*A}D)l8FUn-opDqMC0KdZR@DY98GSRR5_&>8Ew=&%tZ*NA@5E
zv*r{){YO&%Hp%Dc^gf-g(rFkvB1lFd5(lZ12>p_BAK|o|Tr>utM;TGmL8lv}vs(z2
z6{i+xd!+nNaIP(`dkbVQ$tMV1@en-KE($gsBZ#!c%9DWVEKPbEX3cid+zH_}D(mM<
zNKc64@(jDDUW8ih6R_JRYZW;2M|D}TqnQd0oXITO2)d)q;f6$WGuWHS(Zt6bmDthE
z9!KFaM`72|swd$?Ym%3g?{&GzMDSC!L#R(vGqovj=3wmvajWSb3Y>|`8nrBTYIL;D
z?h>sn6lbcqy;-y_c9`Svql-S&GO$iGH0){!qUymG(Xci|U`<5Z-5zY-*>GFKj)oiC
z`<8sBT?4E)2?j~4Rws6?MoN840_a)mwuoS;3<+(MrPMDkvs?tda?6GdQm;|d`j${p
zO>4n-Hek6<RYexFwvH;(rY)|Eu6#gNsijR@-@K$@T5C9?)do9OcaX3Zk4md*7rKx(
zv<sdVuh4?c4Gm7CsEj2mG%veUR$ex_Z^`a<YR@uR&oXHFGL7m$_AA^d=@g}}Ywb>$
zR+i%&y>@!_ta4>4vfLQRKER>l?Q;}V)3o0<Hxa?r6*!RTp!GkQ`fwh?5zsmUEwU%p
zq9hn2>=d7Z-#{)%4{-2Xbka3ZAK=?5*rbIbdT3U!&x9`ME6?f8kLZo)HnnGTeOG8A
zbOC=$^rp~KJv5-#9}N9i*F(=<*0rbgRqyL<x9d$kx^C<BoAk!Zdi`a+1E#@C`cm?6
zyWV(8*Y4^1)S7_+nuqNOgN8g&=bX*a#)ty#O~AH?L1#OJ+)ClBIEz$TDHJk!%Qnbn
z!TlAsDCP=qkWLxNOu~Y{g4{(Rty~eA(}oMVvBKF=;qJe1cVqCbj`^CF*<;n!=-qs)
zdgU46VY`@1_Y9_UX)Buqo3N6Z9%t*05gs(c1Bt>|E}60NxqPt@F6K^VbE&XR8!`$I
zVkb!QzVL{Zx3P?#x5Bic1OZ|}awt*AusEB~L696M=kHHj`7nhnJd#MIvbn)<f7UMa
zB(Pf~VGSn5aM4bW@-7m&K?U#$H;QUw$_aoYE|{=w%XC6zi_T1bINh1d<U4!A>CusJ
z5*txaS=6QzY}Y5rJMBc_zV6MDr06UbtWI3<p<*iCi3pk9Thvac!CbMEYF(znwXw%W
z(uGKdE?i;+*E5a0x(5igQ`i*aWU_hC|2ffPRwLdk`L$@=sNvTE-mhjT1w8)?>aPJF
zz>chGwI5Qc3q#>EKKxdN^SGY%=@Hk&Dq%z&gz86$R`xZqT<|zuf;c^ZgUXGnkrm_A
z8)z79^FABKsYh6-y_MSaob<C;q}H;BdAg9Fm!<v+;UBlYCe7N!c4OY2a{r1$6DtLe
z|5<tk8DEp6s0jfvSjj`jB;GDW)B_@W6Yz!n^Z;)|oR2GgLz(pgZ^f*sRpAO2x09bh
zi{N<`<A*EwPgcNbEJFVM_55lD{l|eDT$qRc4e+)=yWsISi=HPOC9n~{JI(`dMSI7i
ztm)7PfiK4W!~1wQDDkUG-|*@GMCtSUgoh_@NW9!Paqm>X^}xc{WjSzamp}g36OQ^v
zReiW!8-N>BkS|4nQ@i{lvObCXl))x|U;lAfJV5$^MHIZU^hgCiPfEP`V?#=Dcha)E
zB6)hT^=C~xF(?2O?Bc)xdcye)dZs;WCTWXa0h+12IXIN>PYjtUybB6uqBts&`QeeF
zw4F{xHZ80{TL!ac!m<)$W;$nEV`9Kc45!Uhad>zPCLYeD*F>4B+c%r${v&(th?%iF
z_nFulxbL1j_uSFf3v;~g%vfAW<NJ;X^T5GFd-ohP5AEN7ckHNnbkE*{F<AIFHb!}a
z;wNlM<oB;v-+5)3=~Ti_2-!aM{&JOQ*CW5kU64vL$;R2@=xmvErDWpY0coZRc{7v9
zrD%6#-yzuH1!@)x>6Ab$aWeZ01?9~hA5aiouPBqpBhH)DE1|co%RA*`L#B!`P3Pop
z%>}n$x&tHjPP<86U$Uj%?V_$kmO?d@;ZZ{wR|-3KKqVrDv0;ouKyAyR8P4S}9Esqi
z9O*A+u^l;^5)llY($<KOXa<845lM~Z;K8A`<w#E8D*+4)$`}(eD?OAT1C<*YvdJTA
z89_EOm{*xXIw>L;u7IVx8rpez4@A-#bsuL^@Wz~oxD~|+Y9wvhV+z`{w+~~iL8lPs
zj(1#g9(73!XHlBtAD3A~@Td*r2?CbxFAhR8ksHKwsn~38AkX<kf4`MJ!5nsLr#X)Z
za+YA+J62gg^1Cv$j#q~R-Hl9@_VFvR{7!)LL?bxRHM{ne{;vY*QX*Y%>IU;)So`Ag
zd3})SI;G70H0EPvDGCmgGq-$RKV+Iw1=4B>W!au4Q<UO3uvp~U^LivxT3YZXfBg?b
zNNamse_qdHO5-_7Tz}SMO0#fUD`cM63z=?`)-<szufKxjG>&|;J+EIfol%NhzQ6q^
zASc;grN`@`OyBg_Q_TGK<G?5;yngGx-_(1K*NLGb6W4?JFC*i%H<TUIbF8SS61&Ab
z>a(9w3QSp_-7wFT)-$~2UsM97(`=|H+c7=sv*+;-)1UK&@!7LmnqGU$=W!uZUWaFW
zfBgPh*}KIUN>kD8ie=)re+B|7pY3^E&2%3dD(biYp3i>Va1@!&Dmx~8|1kdpWW4=P
zX00P(x``DP_1nMUv*&phQ^RNPum5GpY1xhX07^X1;s3+oFOPYq@4==82ix<!Y8<<E
zD6yWy&GU?Z1OYueY|rx@{(mg|e^=ycug4$Xf3$c>*N^Ra{xjMM5b2ad+%uQUv=+u*
zdl6NtD)3wmJ77EJ8(~Zsmv2NJNvpCy?y&CJaC1(kO_i_IT`Al1Jc0#OS4vD*DSHQ<
zKX)sKe!pzTnl!KTV<a0;hDmOiGVtqetzdtFCgw<w`3!ulpn0MnBfHOUr8C|Q4sp+Z
z-9yUW-_CpJ#fn7pIB#N>>E|lgH>i%|yIy1D+0IM3@9?V5DEo2sz})~L&7b-HS*et1
jeZ&`HDT($t3Qzl-bGgbKbGe1>-%`H=-s>~)vEsi0!X-!%

literal 0
HcmV?d00001

diff --git a/exp1/task62.c b/exp1/task62.c
index 717bcd1..2a3c4f4 100644
--- a/exp1/task62.c
+++ b/exp1/task62.c
@@ -5,51 +5,29 @@
 #include <unistd.h>
 #include <semaphore.h>
 
+void *increase(void *vargp);
+void *decrease(void *vargp);
 int cnt = 0;
 sem_t mutex;
 
-void *increase(void *vargp)
-{
-    unsigned int niters = (unsigned int)vargp;
-    for (unsigned int i = 0; i < niters; i++)
-    {
-        sem_wait(&mutex);
-        cnt++;
-        sem_post(&mutex);
-    }
-    return NULL;
-}
-
-void *decrease(void *vargp)
-{
-    unsigned int niters = (unsigned int)vargp;
-    for (unsigned int i = 0; i < niters; i++)
-    {
-        sem_wait(&mutex);
-        cnt--;
-        sem_post(&mutex);
-    }
-    return NULL;
-}
-
 int main(int argc, char **argv)
 {
     unsigned int niters;
     pthread_t t1,t2;
-
+    
     if (argc != 2)
     {
         printf("Usage: %s <niters>\n", argv[0]);
         exit(2);
     }
     niters = atoll(argv[1]);
-
+    
     sem_init(&mutex, 0, 1);
-    pthread_create(&t1,NULL,increase,(void*)niters);
-    pthread_create(&t2,NULL,decrease,(void*)niters);
+    pthread_create(&t1,NULL,increase,(void *)niters);
+    pthread_create(&t2,NULL,decrease,(void *)niters);
     pthread_join(t1,NULL);
     pthread_join(t2,NULL);
-
+    
     if (cnt != 0)
     {
         printf("Error! cnt=%d\n", cnt);
@@ -60,4 +38,28 @@ int main(int argc, char **argv)
     }
     sem_destroy(&mutex);
     exit(0);
+}
+
+void *increase(void *vargp)
+{
+    unsigned i ,niters = (unsigned int)vargp;
+    for ( i = 0; i < niters; i++)
+    {
+        sem_wait(&mutex);
+        cnt++;
+        sem_post(&mutex);
+    }
+    return NULL;
+}
+
+void *decrease(void *vargp)
+{
+    unsigned i, niters = (unsigned int)vargp;
+    for ( i = 0; i < niters; i++)
+    {
+        sem_wait(&mutex);
+        cnt--;
+        sem_post(&mutex);
+    }
+    return NULL;
 }
\ No newline at end of file
diff --git a/exp1/task63 b/exp1/task63
new file mode 100755
index 0000000000000000000000000000000000000000..7a7c4af911f9824d4ae0c10dea2d2c248b39e7c9
GIT binary patch
literal 17008
zcmeHOdvIITnLm>4AW|cXN5F(fL~y7BiLmlo2jWEXBe@0#Ok&fpAt<sW$7*EDBV9p4
z8e(clQ56%HU6^!twwvyBSvte+GVSgT%g#`xCZRh^*#KJ>mMKkPQ?4L^@MuT_iT3xM
zdp_y<)?y#i{i{A6`8(h5dz^E=dmi`Pd(W<puGLP5LvX4RD+O^QvrHtQ1W(<dG9Urb
zEZq1%M_egpfUlOADG!(gQZsp~CR3Nf2_`#T$?f!VrN@+ONR;d<rTUqsgsJeDJlWMy
zR`GT^cCM+%l;x%Jyrx{(=n++ardB(OO<<vE7igJG4?9i1TiLT6!DQF1?7Ed5(-Tx7
zB&HlsiV6MLpPe?45fW3<r9_l|<5v^++qB7q1yg%@d1Ys(US-FW%Ugd`kN#iE>sEHn
zSDB9OG^)yD%H`b#JBsK3G;#M>r^>5z{qpMiF;$mE#_}Q*MwfNXExqE3C)*GH$+<6o
z@BYE1%WnI|jMK+%_@V#$M7(d=lIs)Eg^Bo3X4}GT&C3=pTjEP6eTxLSrJ+auWW62t
zBPX1MU5wvLu@?uIf0W~4L9$6{Ik*cZAtv)c1$+hy@=l@uXBG6%tAJlt0sp58_~RAu
zxfSZOvVwkh1$<`(d_e`AVm4LWHdnxt6>xur`nOfkhx(M|{#6D1N#Jwwv!}-ZoG)ez
zZ@`rBI2GyGU?>_(>#5{+F`UuU5{M7QbrA}s^>AcsC^E1$)E|x~01T(%LwY|UqCXXj
z2|Yd-6T|vIDi)50zM6~=K_{M0MiwoGZAwojO2P<K^cckb79WG*L?Rghhz=j2(o%Y8
zFbpqgJsL};WL547qbliCcqj_J$hL5(KRy&r#P5ws>2NZw3$musu}rM#>TGQbE%Gh)
zEh*=lOIZt8&MxvT6`{_awTMD0wk4j{W2v6CZHeSitS8);pek<}Ob)5qg-q2c6%kmc
z9M@H#)yUCUbz)U<Vx(5#kH#xer~EUog9GyCkmY$rzch}OW`=lCVNZYSF__he|4{rz
z@i>N9wK%HyzmxJR@qywqv&r5mPJ^e!>k41*%`{0MX=>eI+^cX`K#B$9%)hqE#HkI`
zE>1@*IL&FC3=6K7PANKJ!Ov%9&{Gy%-C9T~_g7k*RTU+^LFu0Zj>ZV5%@&;Jc#;iR
zaJkMagJBC!ZR51ff>RlsMl3kTh-430aCM6zO~x(wm)HsDJ_}xJ!S`EmnoBu7VZq%D
zf<9%z>n!-w7M%MQiSriRI-mW-f?sIybJ&8@x;34qBQPC-=?F|m;P)c}AJ<)ZS{ps)
z(sDJgUys{{2lKkKcvu^K&NU$eP+U3}aB*G({@2Y32+|)QN#U(xvDiN@d0L<gFPC|`
zfhhdA%+rlS;Rj`&7Vg4dlzCdP3y+j}TBr+OFY~lO7gA-O7Un`<nWr0&!n!g~3v{8i
z%+tbLSXAa|K`zWK^Ry5bE-3S~02iEPo)+H1M`yXc#d**Agy^rE(=KE@iu2qyeuj-d
zyKu7pNgMyZjsKO6f78alYU5wD@rP{uvo`)8Z2aHY_{VMhcWnG)llb6Qg0}~IgFU_L
zwd}{*{l}g_xT0FFdR`+kTK0j4eW3pQXt7%F)N*bu*Fyfav026Qgm{)Zi;+RFpQdi4
z<^EWzN44uNlJ<2E9)gB;|8wMZ<EG%9!A-%tf}sg5cc1GSy3qcUU1QM(ukjYHkCxlv
zQDA5Gpz*IJR9}J)Y1!(A&d71&?;-IQwd{mHpRH*|ZHzwxl6~Iz8ptzL5&ubTtYsxh
z{*feac4gn`jJ#=Fj=rjmtvC)1VeEng%+HC@4!m962?tvV%YL98c&A#+wl}zpKa{{P
zh^g<)9x`r{e0zhZ<H6%~5C1jF>dKz+zfm`5gxsvnUNbu3Fdl_cFnd>RSN2147CD?f
z)H!;{qm3SPY4Ml0^!N84I6Fr>aQdqGANfy?UG&KO!wBbo1Zp(zaMWzUE;pE6eadjd
zP5biqGT$Fv(ID<yt>x})@O0($2ABW1DsS|lqbqy0mVLb|`)PKo3tn!*Xhq{kCp;+8
zW&F#TV)4cW4VhPEbsJG#{~P`NzPdRNP<2ITZpAO8w!=68&EWE%?>hD@E@lz&GIn90
z%aRwOH#BIut_Ihr;n1=_)yD2T;F9A<%k7k<9dsG@!(KyWk0J1Xjv;I0Kc_1?>zCJ2
z$d`T}kU#$;*<CIs)!eKfLE_It_Fc$K$>-9h<}b-+dClV>dK~`F!;m+IA?wN(4NdBN
z4cBI+%GDc7RL)~uE4AJ+9zh&nc_UmHCxQ9%g%FCR_SEhD0RmfU=00c^)}YN$kD?~V
zIZ%J^(UN={$xp+=IQtpqkW%b;KJ_2(%)WG&mVHYb{m&EKJstkM|DWONyYNz+wfI^g
zJ}KJ(zXOOiR<n-C@>BXOOx+h#9#i+Z#UtvvPACff`BH!BTq5(&YS|Oof%jKw2ToOK
zjzii@XZ4HV;OKnQfvb4LoY&Z%=J%17GZ2f+b-mhX%a19mWsmB$7{`ae7=_blSrm0W
zRP!_Nj!m!?R{O#|5UTo+zuX$vgZa9LUxFi=I6C~tgFT(u&wJOy&iGS=s57^qA&8!-
zMPB>17JuWFwS69KY-h7};InJyzY>4NKs@Ik&Q2J6Q8EPe#%{_)dQqhggl1=b_VV#u
zM=i#}w?EzK%J$Y8kD8hrj6E{b5~GTDoB2DC*CG>|qvjq$zX~*%>uIRXzApRLn^<kk
zzO^5cj^&94SKZ!Tv}mJ0uco7k^7ZlOC;G=N<Ad5ubE9k@Ewt|i&3-@D@=HvQ#tXlZ
z-R5V=YmtMf!+V7O3MkdVl`Y6RWJ-0o9Chf-UEZLL?bu-KmBu^Je#%5{_Gq~aA*k1~
zKglilrfmKWS9ZO}c+6C6HpY+{JyXn#m_D}FL%rEpL*ncQ#wzJ%J;GQ8_W9~@w6d6M
zGXqJUYK<<_(*~oBGPq6f=gmoZqP!l`I`EkmL03D2Y0ycnHhQ4mUpI7+s)zX^TO}vi
z=iB7owZHDwHkWam>AE@luK%RbuG~X^ga74?{*#*uen9emL%PqcGDc2O?9lwLC`;oO
zGqYi1f$VvF1$%<oPs~b<?P}J>w$>ZHWQrEAB^u!tw`Uv1CpUMKS;PivW1$<2yq<EU
z`%D|#wZW)073z&D>8bK1xX@H=HfAD|HOS!v1_1e!_g|$uE`ZZ%Is(%Xn2x}71g0bK
z{~Q4ap7w9-P9>w6NG#=@7v1C?Hkl}xnPOvGawwe{RHBH<n4+02EiK;LW2tz5B&^4i
zL*8|<bS9yvy}*U?81=&V2JgH?0=|^1NtozOhquI_k@l|Giq}tOJ<=<^D+WWVv=ni-
zg!(f5{jt=_nJON#;J7L|ory$Z>2!Z4aYMQKDA_w0)*}P4w6|1ofY_QNO|qxAU$Lmo
zHkyRtP*OLY*j+d-tGY1?Ke*i&#{0!0ZE;V1P%P#_T_=jg*NA>tELPLz^^;<81bp+a
zi^UV5jVFu6CTyhYKP?sqK(~R8gFXTJB<Ly7*FY)pGkM3o>x5&Q$8lNhIWE#AoL&Ow
zKQ0!pA;tD{<gHW#vP<yOP$v)haC=s}>u;+2(mk#bv1<16YZo`n1uE_D1Z_f{t?v)W
zuZ~|MaO;bg6~Ol37eHIy1{JrtJr6ru-SuNt9d7TQ>UMYI?wX*xX>^A3Z{3Y;ZZAZw
zZcnS*b@Rlb7k>I8)#(NNPQd<MvS01?jFJ7Gs&=<`cXiO+I9k*0ZgL)$)<L$W_Ee)C
zPat+7vg>erb~_;+t-8(a-R`bm<My<<U7{YM1<*SJy#-2d)Y%6K+Jc`3*(Z>7lMH3=
zakjhbcUJ}7-qGrv?)spts?yb=TaRnBwxo;llr9y`${OVRq5C;vy$E{}^1GMX^l(+H
z+dEd>>TcXaG1)yM=x!c8=O*_Nhx7KC?q)z}E>ub}3Q{+c2|H%t#g86|(f0%BK6%2(
zJtgOe$)i}ANJiI>c+#gty0lH6PSX*Xj=*#TrXw&Nf$0cLM_@VvzxxRA_g4IU72lUV
zr;4iOBGpayd5Ryo)XXSS`i_gfqohRlt(0b)r1U)(fB4DrU!N@|No8E!Ao90QM^uKt
zd3svOdH-~?swm%h()}|f>$h3N^L=MPeJ8~Cl_ScY_6wBw8>&l8R_s$1WIV4jTyNSR
zQ99Qo^8TH&S1O+M@HRlU55-9cZ&4(_S^2{QYL-h&Y`rAEK*{kKSn}Ks<^Fd@_`7Vo
z!zOjT1B!Mlx>?a-MMo4JS9HIkPbr#L^su5w6g{CRKKhi&qo~*V(Ve|gU%<Nprf^ML
z+YR2v-oDI`p7HvZ`WE?`7W$WEB=4WEkT38<-J)82ShTCqb#`Fa$=`{4l>&W>HkCg0
z^QrJJ19#%|!Be)5iZ?eBKVrja-%9#CKEcYg4*wk(U5x>gSKV3MCGm?(<IR)`@gOqf
zhsQhP-;(;XO5>ODO7(wA>R%upx|%i1bgK3~EA=lC_I~!fG&^7Lckt|mz9V&DH1T+4
z`~)%=p#H<^Bg?my;5QOytumd7fLOmDWXYF-dzrD&cO;J4EMNhVZ39l<B?lBv`&CM}
z0-wr%qykQRa;kr~nyBQn0Qk92`5y_8*YdoX1MU%*3Qs`7rGJl*A7`E5`IiOzq<`kh
z^oJGj=OvDQsOlr1Il%0d3i?NZQ+@35`3ShTTwE#Va3XHbO9hWh7PtwACpO}EUIBcn
zc={^fozl;2@le3@%=7K-74+l4J-CkJN}ucV9_mlmh0hDgXHgIiDSfX^|6b`Ir-xK!
z<#QA0?~*usEz^A!@Fy$a^sxx_x6P_tuX07_ZK$4`)dKad!e3W-lUj)7Gatx~k{`t1
z-hVz+`bX4t?^b@!NL(=%atRh5uZ8EVANW+)s}uNKR<h7-6ldp5^I?w#k5=&WZ}PfW
z6jgQy^rt*0us)K~{k|kVhY$C~Lwb0N(8KAi%NF}00+O_j$FInizo8H5ctT5G(WhY&
zO@_84l6~PsD5@t@=}<VcO+=D|!-<$4i~5?T)}Sx_<DqaW72Y0-4e6=vICBsljD@0^
z!NKh?v2Y<eurNtA6k5G5xV9tIaZ7s$AMLl_aZ7M*XB({W5G>T8DXG@JPK4HU-P#)L
z3f;PT_4<yUP*1S6t0N@%QL{Yf5a4qK@~nXUv_eU`c*z$YB+!#O0ua|@gXSR%I@w^g
zrPCKBo=QsNnYL^hVkMulM?-i%EkdzqSPu&s9yDn3A&ruQC8hHbB?$GCE~7DdzC#|W
zC<)D`k!SO$13XVY_YjJvlc52e!=N(}owq_O8XpQ}(y^#K24ZtG=@dvwwz!!CYc|C^
z08$dmI>h8jkG^zT)k7W#u^v4ssnaPBI=(`!DT7OFXHKjVgfBFh(PPy6%=Z>%L{hQA
z<lS`C11CRJmr=n_$5M0>#&T+<><`7ugCkR(2C<%sDVxAz(jk_TL|$*SMIFT{;dIU9
zVVDv^n!=afKB$NLKyl1Q(gDull|;<9Whmq8%fxYnEFKj;9NLMchJ{22!s!9wi*6r+
z2b1b4Q*w7KmBxFTNlXZ`R4frD1C<+2=;RTna(u}8wj@<19g7GbLJO7#F0_-fpZa10
zYN!rG;f*=rD^(O@Z5UzRuApFR=R%raWFh9DHeGTabqNo~QJU!=T}AjXn+#%-`0WYp
ze~Hlkina!ru4SrpPEv_+4>~!~+apY^CHqR}R@sVlt!Wt;yjn<d`Mhsq+NhMdTwa&i
zM*tbxv#~wz>zFnw0d4=NY_?a+mC%4;2`Jg~K9MQ!3!x&Dz5cY`(VmOT=Y1Aa^X(el
zyPJvim~H}0dpPEKA6KHv&R%~7iv%*{o9**zpU3nyrO4&m+kdyRZ&iA{Ph~oy8cg;S
zGrRo=FjC=tHQkEIq$uy-6<Ue|^E;5S+Iy89Q~A!0l|gOp#crE@liKewWqo$RJkz~4
z`+%}%Dl5mvplru<pWR;F#PI!Gi@F}{g6)|9j?JF$!<q8)5!UDH$o%(|Jzsy}RT4%2
zKwUqDmaZT3Pa;DqY|r~ArcqW@)L#BGHv9conTkx0{Ws-52X*WGV?TG@q{?N&{g3&7
zx7qW4nyHr+6}8v@C~!A^GzU=P^MicO*<K#=Oh1H89e!-j=M1%l<gGkjOs>qc{TT>o
z?65uWYx%tU2^BvY|CHE{`_VUnkqX=MJ~wbZX$z5;|I7c_o++Jow%Ut;(p7=ya@Ygg
zF<%Q~!nk~Iz?68D{V*#k>b3FbtMZk4Ny_%uln^sRb){sb+;>fh`M+5?JgfqD1z;MQ
qTz{Vb={XG7-Ly3SyJ%rTde|o9a!o1i9j3N_Y`Lj1+h$;6#eV_u4?~#%

literal 0
HcmV?d00001

diff --git a/exp1/task63.c b/exp1/task63.c
index e4e3a28..3387ad4 100644
--- a/exp1/task63.c
+++ b/exp1/task63.c
@@ -1,3 +1,10 @@
+/*
+编写一个多线程程序task63.c，创建k个生产者线程和m个消费者线程，
+每个生产者线程产生若干个随机数，通过由N个单元构成的缓冲区，发送给消费者线程，
+进行输出显示，产生Pthread信号量实现生产者/消费者线程间同步，并且设计一种方案对程序正确性进行验证。
+提示：一种非严谨的简单验证方案是，将生产者线程产生的所有随机数相加得到一个和，消费者线程接收到的所有随机数相加得到另一个和，验证两个和是否一致来来验证程序正确性
+
+*/
 #include <pthread.h>
 #include <time.h>
 #include <stdio.h>
@@ -5,3 +12,181 @@
 #include <unistd.h>
 #include <semaphore.h>
 
+#define POISON -1
+
+typedef struct {
+    int *buf;
+    int n;
+    int inpos;
+    int outpos;
+    sem_t mutex;
+    sem_t slots;
+    sem_t items;
+} sbuf_t;
+
+long long produced_sum = 0;
+long long consumed_sum = 0;
+sem_t sum_mutex;
+int total_items;
+
+void sbuf_init(sbuf_t *sp, int n)
+{
+    sp->buf = (int *)malloc(n*sizeof(int));
+    sp->n = n;
+    sp->inpos = 0;
+    sp->outpos = 0;
+    sem_init(&sp->mutex, 0, 1);
+    sem_init(&sp->slots, 0, n);
+    sem_init(&sp->items, 0, 0);
+}
+
+void sbuf_deinit(sbuf_t *sp)
+{
+    free(sp->buf);
+    sem_destroy(&sp->mutex);
+    sem_destroy(&sp->slots);
+    sem_destroy(&sp->items);
+}
+
+void sbuf_insert(sbuf_t *sp, int item)
+{
+    sem_wait(&sp->slots);
+    sem_wait(&sp->mutex);
+    sp->buf[sp->inpos] = item;
+    sp->inpos = (sp->inpos + 1) % sp->n;
+    sem_post(&sp->mutex);
+    sem_post(&sp->items);
+}
+
+int sbuf_remove(sbuf_t *sp)
+{
+    sem_wait(&sp->items);
+    sem_wait(&sp->mutex);
+    int item = sp->buf[sp->outpos];
+    sp->outpos = (sp->outpos + 1) % sp->n;
+    sem_post(&sp->mutex);
+    sem_post(&sp->slots);
+    return item;
+}
+
+
+typedef struct {
+    sbuf_t *sp;
+    int num_items;
+    int id;
+} producer_arg_t;
+
+typedef struct
+{
+    sbuf_t *sp;
+    int id;
+} consumer_arg_t;
+
+
+void *producer(void *arg)
+{
+    producer_arg_t *pa = (producer_arg_t *)arg;
+    for (int i = 0; i < pa->num_items; i++)
+    {
+        int val = rand() % 1000;
+        sbuf_insert(pa->sp,val);
+        sem_wait(&sum_mutex);
+        produced_sum += val;
+        sem_post(&sum_mutex);
+        printf("[Producer %d] produced %d\n",pa->id,val);
+    }
+    return NULL;
+}
+
+void *consumer(void *arg)
+{
+    consumer_arg_t *ca = (consumer_arg_t *)arg;
+    while(1){
+        int item = sbuf_remove(ca->sp);
+        if(item == POISON){
+            sbuf_insert(ca->sp, POISON);
+            break;
+        }
+        sem_wait(&sum_mutex);
+        consumed_sum += item;
+        sem_post(&sum_mutex);
+        printf("[Consumer %d] consumed %d\n",ca->id,item);
+    }
+
+    return NULL;
+}
+
+int main(int argc, char *argv[])
+{
+    if (argc != 4)
+    {
+        fprintf(stderr,"Usage: %s <k_producers> <m_consumers> <N_buffer>\n",argv[0]);
+        return 1;
+    }
+    
+    int k = atoi(argv[1]);
+    int m = atoi(argv[2]);
+    int N = atoi(argv[3]);
+    total_items = 0;
+
+    srand(time(NULL));
+    sem_init(&sum_mutex, 0, 1);
+
+    sbuf_t buf;
+    sbuf_init(&buf,N);
+
+
+    pthread_t *producers = malloc(k*sizeof(pthread_t));
+    pthread_t *consumers = malloc(m*sizeof(pthread_t));
+    producer_arg_t *pargs = malloc(k*sizeof(producer_arg_t));
+    consumer_arg_t *cargs = malloc(m*sizeof(consumer_arg_t));
+    
+    for (int i = 0; i < k; i++)
+    {
+        pargs[i].sp = &buf;
+        pargs[i].num_items = rand() % 5 + 1; // 每个生产者产生1-10个随机数
+        pargs[i].id = i + 1;
+        total_items += pargs[i].num_items;
+        pthread_create(&producers[i],NULL,producer,&pargs[i]);
+    }
+    
+    for (int i = 0; i < m; i++)
+    {
+        cargs[i].sp = &buf;
+        cargs[i].id = i + 1;
+        pthread_create(&consumers[i],NULL,consumer,&cargs[i]);
+    }
+
+    for (int i = 0; i < k; i++)
+    {
+        pthread_join(producers[i],NULL);
+    }
+
+    sbuf_insert(&buf, POISON);
+    
+    for (int i = 0; i < m; i++)
+    {
+        pthread_join(consumers[i],NULL);
+    }
+    
+    printf("\n=== Verifcation Results ===\n");
+    printf("Produced sum: %lld\n", produced_sum);
+    printf("Consumed sum: %lld\n", consumed_sum);
+    if (produced_sum == consumed_sum)
+    {
+        printf("Verification successful: produced sum matches consumed sum.\n");
+    }
+    else
+    {
+        printf("Verification failed: produced sum does not match consumed sum.\n");
+    }
+
+    free(producers);
+    free(consumers);
+    free(pargs);
+    free(cargs);
+    sbuf_deinit(&buf);
+    sem_destroy(&sum_mutex);
+
+    return 0;
+}
\ No newline at end of file
diff --git a/exp1/task64 b/exp1/task64
new file mode 100755
index 0000000000000000000000000000000000000000..b5000305cab9ddb143bf69fd43bf8a81ddb11d48
GIT binary patch
literal 16384
zcmeHOeQX@X6`%75F(LIiX#)9Z$r3I!eE8x^9AiU1?i@Q=Q#)}J2Z9Q0&Ub73$obB_
z+XI`A)?h%n8iPSCN+r}rRgqE^sZm?1fDl{~NTGiq2og<cRV)hS3;~>vCV`f0-<y5!
zZoSy0tt$T7k?wx;e)Ha&**CL$Gq*F}Yi`|8;_(PhrDCl>DL2Prf>aQ!rwl+))Qd{^
zUMwya=Yd=%IjcNq0hC&)s&q0|5RWw48C34XuaO=jw-6ESrb|a>SS5_2%97Ep9J3@l
zae$mMa(SUX1&tvo^1Fy7Bs1FT!`SSqw#s*{aUkh$r|akXkVd=RWVf5_7$>knkQh0h
z*nIr7lRqc=&<GME>S98~&%R4g`aITHv|x1BH%4|&RLG8z>)ZOS5&d84YbU#Ya_Gb+
zs*jQD`xe+?Jpa?g!($88H(merQ~xnix5!w|h03rSHg4J`N`Jjz`;zysy|nE}u<OdV
zZXCY*iR%N)<FU@V+U4<Rbv%~H^jG)S*Hzcm`qN4O3W08C!3X_W?Y;+c7Kiwn{z@<6
zbm?X&pj&s6N)9At5@QKi&s6%pY4|?_ufWHd)&en=ALORuH%-GYo`(Mbcm+Pr6aZo>
z|4HDNIF(V>w6qb9?9?JXJGHKGEDl6pDwZ(1kP&)+%n;qWVZ?g%WLGpiAo`4+lpc<1
zw<co=(2b>&krgY!N6JXX3xyF-F?1+~o{eAyDMRZGOM^&%SnG-<!tvN0y1-)W=Q^>m
zwWV>rw!**CUt7%A7qTn-s|tCWLaoqRI@+|Tp3=KxX+uwSw5^XP6M9FuGmh1F_a+lm
zy=JLSsR&`faaJlvYdMUw5}Ctq4?HEm3uSyC7z<+O<4D{^-2O)%gJD@Nen4_&A(oek
zpO8E^7W)c%{sqauk@_X#DUdPobC91Sd%kM%qx76(eh2XtL93j3mXEHpc)Uk&409T@
z@pOyIqP&flzXN12VdH1A6Tq`J9`8p^dx*!M8GdwQ*<KsZ&mQFW*?9YNXupl8pDa`t
zIUCQ{jQmSB9s*uSuiE$v3ap!PBj85Bjer{gHv(=1+z3n`fs@{gKUIg0Rj9+|e_Sqv
zdVkI+F<(`OUZ^-Ejm%ZI0&Omh!?$;FP@sMfmW;n`nr7FilyL$!exxYl#B2OuQO1eV
z_^*mGPLRfbT9k1@HvVW)#);DSy#?7^x(RCU@-A)?vVL>v-~5y1zc}PK9P%p;`LIKN
z&LRJHk{r4rbbV-BsAJn!HG5LM=U5(^7gdMLmM(*gn!V3=6flq*GE0p`>hOin<K?R(
ztA1W7ME)+gih!B_A%Hsk-HK;$ju|)|dKN>L-z?cXtB7rloXxLB{Ug}}E!h`aUVo=G
zJJy=@`C87LQM2WbK%??Ef%6mI*-gHRw);)v?$!~**RGDleN}-!wPjCrjb?9#7LB)N
z-&05CjX@=W)9TP6k2>^XSqt=O{<CwY+0yV<=4jwUE1oUGt3N`W7d?3owx;2O%rP)+
zhPs*qraDsgrgyRE>hgOR-v=!gqP6rIb?9J)+Hf#)3PRv(%8oxHulM!0)uB98^u9-Z
zee7xMLDl=qgMlOJnd7b5Pg@(#8rMQhUV+7dj87n!4?|n>4?-JHcyEI1;jldqD*I)4
zf}jAgyAc3P@3xs<2Gj?KcsvF^Y{|ZMi<*TNyfe|>(HzJHURFoegh0uhck(JBP8Hh^
z{DNxip7J>e(5!hd^xps_9Qx;*W8TGsc%9%}BIu7};mE4D5iUQcW+&7GAFWdloGn#7
zht=248FRtG6Xc-69JAue_IQ5`u6YWIMdr$F>d=~dF{@_ZHD;;9YaRe0zu+^7LloM2
zxO@a;&&^<4s2}aeZ->I-B@}a@hvjNyojSZK1-20G>{*EWVQgB%M0)P1nmqvWOX^V0
zqk4X?HXP1;2-n^Px@var*+5PP(bm7x-_WsTfzvR;SJMc;%Qs)mzLy{UCp5$RaSlE&
zpHRJ5K&K(h@}2PBQhw<y?8xm0)Zr%I{HS_mnY7K6!=q%`p?ou#T5ZK=4U9zV=>nl}
zlN$jy0&WD{2)Ge&Bj85Bjer{gHv(T;1U&LhkPzF_;copJWocSjov_|`rPnH}<H>F<
zp~v;!^xBzXeKM8OBZiXF)0wydy772srnn)MOmsWA4tRT}7~!3I0<^l6v>r(&qUplx
zmBIV`A<v@HYhgJr@ZHDWk4>{5aM^@u?g6X^+>bmUzT8nynC1?U)sv?AD&TIwcK|Wr
zyH-q|JGKZ<f0bv^tQi%fV1qpF9T+=qnwOzM(+v4a%Lmz7_$-4u2LVN8)rQLX*Lg3v
zy<$+TTi9^LO5YNs(f%g*41ylN3uE4ZOh52_NKitZ2jSBPZ4D7OA8-$Ro&@gO$f=bz
zC2cb+D?%5@_vz09wFmq>j;q}bl~oUyG*-@ksI;+C87XV5T=rmjsIumP^Fo#NLo=?c
z+=HuZ>s`G9h<};j`(<ErWsv80Q6+<xj4m-@8MX~&)W?LnmNzN7Uv3242)Ge&Bj85B
zjer{gHv(=1+z5Qh5#W7ryzh<Y@3<Ea6TDrq5-mpHWtdEHT&O@=U_oJj-6E2C57|PJ
zd7mAwjWBWf-_Myzlt*bH!F%K;Z~*}cU+7`lPvyLrE2oC?-ZNbDV47z^;hWbdyJ)`}
zuRr#Z23>|+4<dCD@inwLj`zs*QA4=hInv`jaa{k!#IxQ%OzZlfxsrl+gYtT-$RE66
zlQPF0mYz~RO@a7?WWEk^|9=DC-|ci*L;W2jY$x17*he@>I7;aB^F?w+(9+nre*HDd
zvTdE2gppAKtNbhcHPwN-jFbbH6Z3DJVf@O(anq@S{o{dEHSZHwNCCHbPNk3Ib1MED
zz?Z=3g9*o`-^+<tXx}J^GOdPh)aUz(Xt4z{9<fj;L5tyjzeVyF3cgRQQX%e#4Eo{w
zl=(-b{=C9{$NY5d-zW9wh$k;$%_2^9z0XPgi-dE0{7#z97Q7Fhy}T*)=L^2in4f^m
zY`ESXL5mr*K%4<|gi@Bwg@7oeV~2+%4^Nw*ofV=6_$qh`RXO;pfuB?275toHt2M~8
zV8iXx@ZSL*+aDzVd|wYq{Yp_q4-ol33;4r*1=t>EJAVYcVylm{dx4)_vOw^C!2DCd
z&w+l=(YOjx!PBS@H3-Eb=rJi?lKO02#J>Vx1??XT7CFp4D)qrX1>-U*&Xc|pB!b`+
z=_|7>LjHFI*-s=tSr?@_B~!=ws%iK&z+)Vo{n!G$@_F|nGL4@*fnPF({$r?L0>2*4
z=hW6n$_V(Au!%j~8Pkk#w=lx#op3B7BA_H~WMGp*L=<<vYeugY!M*QkFo`C$?s&2@
z9M_^oGL_cCnSK#T_V&efLy!7vrq;l1`7te=N`(hBJz=B<L{}=@t839rZ|?w@*dz@!
zjY+DSwqZ-Ctyyc{)TF^y`=%Q=h1y!ygBASArZuZnsy1yA+Q!z+jiFX;^M(yun>)0Q
zP-APeCi>Eu-a6RM?>sROEF28@g1!EFG;D;0yaw<x`AkE>N$sSw3<Vlb7g&GmYJGZ2
zv;OZzRSnNQfIIYUog)BY@}UAPnoepx;Y1V;9KbceDTB?R8I2{hOj?hE`lJ&Qg(_Fp
z3kWincc#<inodX*k6#qE;Zy`4ys*wz6pL!*A&r8J*P>}~4uZP^4@gXT>VX~NNsfZ~
zO6&vs8I3}Tbd3Ejgg-sdYlJ%i;n;`79?m6_hVJi9Wc;0(7#!${MTH*@ljx~FA=#dA
zx<~k<0}1e8p^>smZqrlgSTZq5(4Z`($HQnqxxTo89-$R}$ojjJl!5=$h2PNoLBwGU
z+DSPe{CW=!+@2_SV@dc64ed)Mq0@~4qC$-=)p)nbN~|Gnx#T>wCEOc>+AROjeZmj-
zRxjK#Q{3PGErs(`oZG=;L8j@>tx>W3Kb!N2uuo0Eqpx5;-8n+k#e}-{R0qOonA>sv
zJpX0%kupEu`FDqX1R;ZSU$*D@F=IVdh|@^SvOUjJRp4+=$@V<oX5{%bsL14Oe><=^
zcV&B?uQKwypWDxRjCfuQ=fW)We3)^EtkrtoU~fOsA`Th!&GtM$XUvfz*YCXk+sM9=
z^mx9{xYuTnF>~4v0*CG5^-1A(g??Xn9Rw;eaXVPP6Eb#th3psyS&@)`wiq99*zchN
zM%H6DEHggru-``ojD2iK$aajo9ripgVEm?I!J;_){n%m8^E5_YXR?_yem^67?th_>
zCSgB`4BUS#KM5I(Kil(sma&Ny37z#n<FL;umLlT>*)cfle*p^Y&mZSG*cvt@blU&H
zVbALuM#W+8Z2!AZ4*P@)@9+409G^RN*2gmAaj^B;?0MZX3cFh|v7RLrW#&JF0=##4
znD9D-&mZ$SV_F6m{PFnvKG<Uau|2Olb}a`I(scdL^`8gEc6$+&X0V{Jkn16~P(RDF
zz!-gT{Yua(sUrKFB^JJwLe9#}rus>}P|Ef^ALjyWD<(Vg*tJTm?|O3BP96SrpmB=N
p*Nx9IOt>!Qwo8J(cGX&$#~seOUe?8Bz*P3Wt1XR%4g-fM{so_X%isV2

literal 0
HcmV?d00001

diff --git a/exp1/task64.c b/exp1/task64.c
new file mode 100644
index 0000000..03c405f
--- /dev/null
+++ b/exp1/task64.c
@@ -0,0 +1,89 @@
+/*任务4(必做）：编译、测试和运行示例程序psum64.c
+1）测量线程数为1、2、4、8、16时程序的执行时间，计算加速比和效率，并做出解释。
+2）改写该程序psum64.c,保存为task64.c，实现计算02+12+… +(n-1)2功能。
+*/
+
+#include <stdio.h>
+#include <stdlib.h>
+#include <pthread.h>
+#include <semaphore.h>
+#include <sys/time.h>
+
+#define MAXTHREADS 16
+
+void *sum(void *vargp);
+double get_time()
+{
+    struct timeval tv;
+    gettimeofday(&tv, NULL);
+    return tv.tv_sec + tv.tv_usec / 1000000.0;
+}
+
+
+unsigned long long psum64[MAXTHREADS];
+unsigned long long nelems_per_thread;
+
+int main(int argc, char **argv)
+{
+    unsigned long long i,nelems,log_nelems,nthreads,result = 0;
+    pthread_t tid[MAXTHREADS];
+    int myid[MAXTHREADS];
+
+    if(argc != 3)
+    {
+        printf("Usage: %s <nthreads> <log_nelems>\n",argv[0]);
+        exit(0);
+    }
+    nthreads = atoi(argv[1]);
+    log_nelems = atoi(argv[2]);
+    nelems = (1LL << log_nelems);
+    nelems_per_thread = nelems / nthreads;
+    
+    double t_start = get_time();
+    for ( i = 0; i < nthreads; i++)
+    {
+        myid[i] = i;
+        pthread_create(&tid[i],NULL,sum,&myid[i]);
+    }
+
+    for ( i = 0; i < nthreads; i++)
+    {
+        pthread_join(tid[i],NULL);
+    }
+
+    for ( i = 0; i < nthreads; i++)
+    {
+        result += psum64[i];
+    }
+    
+    if (result == (nelems*(nelems-1)*(2*nelems-1))/6)
+    {
+        printf("Correct result: %llu\n",result);
+    }
+    else
+    {
+        printf("Wrong result: %llu\n",result);
+    }
+    double t_end = get_time();
+    printf("Time taken: %f seconds\n", t_end - t_start);
+
+    exit(0);
+}
+
+
+
+void *sum(void *vargp)
+{
+    int myid = *((int *)vargp);
+    unsigned long long begin = myid * nelems_per_thread;
+    unsigned long long end = begin + nelems_per_thread;
+    unsigned long long i,lsum=0;
+
+    for (i = begin; i < end; i++)
+    {
+        lsum += i * i;
+    }
+
+    psum64[myid] = lsum;
+    return NULL;
+}
\ No newline at end of file