From 211fc37e1d1da508892bcb0c76fb00d7b999fdc2 Mon Sep 17 00:00:00 2001 From: Guide Date: Wed, 8 Feb 2023 10:47:09 +0800 Subject: [PATCH] =?UTF-8?q?[docs=20update]=20=E6=B7=BB=E5=8A=A0=20Reentran?= =?UTF-8?q?tReadWriteLock=20+=20StampedLock=20=E5=B8=B8=E8=A7=81=E9=97=AE?= =?UTF-8?q?=E9=A2=98?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- .../cs-basics/operating-system/shell-intro.md | 2 +- docs/java/concurrent/aqs.md | 12 +- .../Executors工具类.png | Bin 22235 -> 0 bytes .../任务的执行相关接口.png | Bin 14432 -> 0 bytes .../java-concurrent-questions-02.md | 276 +++++++++--------- .../java-concurrent-questions-03.md | 185 +++++++++++- .../concurrent/java-thread-pool-summary.md | 18 +- docs/java/concurrent/reentrantlock.md | 39 ++- 8 files changed, 351 insertions(+), 181 deletions(-) delete mode 100644 docs/java/concurrent/images/java-thread-pool-summary/Executors工具类.png delete mode 100644 docs/java/concurrent/images/java-thread-pool-summary/任务的执行相关接口.png diff --git a/docs/cs-basics/operating-system/shell-intro.md b/docs/cs-basics/operating-system/shell-intro.md index 26f7106e..c718db50 100644 --- a/docs/cs-basics/operating-system/shell-intro.md +++ b/docs/cs-basics/operating-system/shell-intro.md @@ -124,7 +124,7 @@ echo $hello 输出内容： ``` -Hello, I am SnailClimb! +Hello, I am '$name'! ``` **双引号字符串：** diff --git a/docs/java/concurrent/aqs.md b/docs/java/concurrent/aqs.md index 3ab60f50..616e9b8d 100644 --- a/docs/java/concurrent/aqs.md +++ b/docs/java/concurrent/aqs.md @@ -22,20 +22,20 @@ AQS 为构建锁和同步器提供了一些通用功能的是实现，因此， ## AQS 原理 -> 👍推荐阅读：[从 ReentrantLock 的实现看 AQS 的原理及应用](./reentrantlock.md) - 在面试中被问到并发知识的时候，大多都会被问到“请你说一下自己对于 AQS 原理的理解”。下面给大家一个示例供大家参考，面试不是背题，大家一定要加入自己的思想，即使加入不了自己的思想也要保证自己能够通俗的讲出来而不是背出来。 ### AQS 核心思想 -AQS 核心思想是，如果被请求的共享资源空闲，则将当前请求资源的线程设置为有效的工作线程，并且将共享资源设置为锁定状态。如果被请求的共享资源被占用，那么就需要一套线程阻塞等待以及被唤醒时锁分配的机制，这个机制 AQS 是用 **CLH 队列锁** 实现的，即将暂时获取不到锁的线程加入到队列中。 +AQS 核心思想是，如果被请求的共享资源空闲，则将当前请求资源的线程设置为有效的工作线程，并且将共享资源设置为锁定状态。如果被请求的共享资源被占用，那么就需要一套线程阻塞等待以及被唤醒时锁分配的机制，这个机制 AQS 是基于 **CLH 锁** （Craig, Landin, and Hagersten locks） 实现的。 -CLH(Craig,Landin,and Hagersten) 队列是一个虚拟的双向队列（虚拟的双向队列即不存在队列实例，仅存在结点之间的关联关系）。AQS 是将每条请求共享资源的线程封装成一个 CLH 锁队列的一个结点（Node）来实现锁的分配。在 CLH 同步队列中，一个节点表示一个线程，它保存着线程的引用（thread）、 当前节点在队列中的状态（waitStatus）、前驱节点（prev）、后继节点（next）。 +CLH 锁是对自旋锁的一种改进，是一个虚拟的双向队列（虚拟的双向队列即不存在队列实例，仅存在结点之间的关联关系），暂时获取不到锁的线程将被加入到该队列中。AQS 将每条请求共享资源的线程封装成一个 CLH 队列锁的一个结点（Node）来实现锁的分配。在 CLH 队列锁中，一个节点表示一个线程，它保存着线程的引用（thread）、 当前节点在队列中的状态（waitStatus）、前驱节点（prev）、后继节点（next）。 -CLH 队列结构如下图所示： +CLH 队列锁结构如下图所示： ![](https://p3-juejin.byteimg.com/tos-cn-i-k3u1fbpfcp/40cb932a64694262993907ebda6a0bfe~tplv-k3u1fbpfcp-zoom-1.image) +关于AQS 核心数据结构-CLH 锁的详细解读，强烈推荐阅读 [Java AQS 核心数据结构-CLH 锁 - Qunar技术沙龙](https://mp.weixin.qq.com/s/jEx-4XhNGOFdCo4Nou5tqg) 这篇文章。 + AQS(`AbstractQueuedSynchronizer`)的核心原理图（图源[Java 并发之 AQS 详解](https://www.cnblogs.com/waterystone/p/4920797.html)）如下： ![](https://my-blog-to-use.oss-cn-beijing.aliyuncs.com/Java%20%E7%A8%8B%E5%BA%8F%E5%91%98%E5%BF%85%E5%A4%87%EF%BC%9A%E5%B9%B6%E5%8F%91%E7%9F%A5%E8%AF%86%E7%B3%BB%E7%BB%9F%E6%80%BB%E7%BB%93/CLH.png) @@ -66,7 +66,7 @@ protected final boolean compareAndSetState(int expect, int update) { } ``` -以 `ReentrantLock` 为例，`state` 初始值为 0，表示未锁定状态。A 线程 `lock()` 时，会调用 `tryAcquire()` 独占该锁并将 `state+1` 。此后，其他线程再 `tryAcquire()` 时就会失败，直到 A 线程 `unlock()` 到 `state=`0（即释放锁）为止，其它线程才有机会获取该锁。当然，释放锁之前，A 线程自己是可以重复获取此锁的（`state` 会累加），这就是可重入的概念。但要注意，获取多少次就要释放多少次，这样才能保证 state 是能回到零态的。 +以 `ReentrantLock` 为例，`state` 初始值为 0，表示未锁定状态。A 线程 `lock()` 时，会调用 `tryAcquire()` 独占该锁并将 `state+1` 。此后，其他线程再 `tryAcquire()` 时就会失败，直到 A 线程 `unlock()` 到 `state=`0（即释放锁）为止，其它线程才有机会获取该锁。当然，释放锁之前，A 线程自己是可以重复获取此锁的（`state` 会累加），这就是可重入的概念。但要注意，获取多少次就要释放多少次，这样才能保证 state 是能回到零态的。相关阅读：[从 ReentrantLock 的实现看 AQS 的原理及应用 - 美团技术团队](./reentrantlock.md)。 再以 `CountDownLatch` 以例，任务分为 N 个子线程去执行，`state` 也初始化为 N（注意 N 要与线程个数一致）。这 N 个子线程是并行执行的，每个子线程执行完后`countDown()` 一次，state 会 CAS(Compare and Swap) 减 1。等到所有子线程都执行完后(即 `state=0` )，会 `unpark()` 主调用线程，然后主调用线程就会从 `await()` 函数返回，继续后余动作。 diff --git a/docs/java/concurrent/images/java-thread-pool-summary/Executors工具类.png b/docs/java/concurrent/images/java-thread-pool-summary/Executors工具类.png deleted file mode 100644 index 5ef33155973951fbcf94a6132d000be22a525040..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 22235 zcmc$_1y~(V(=Rv&cXxMphY;l8?(PnU;10o^5F7#ox8M%J-7UCVupkNU5VGX|e((3) zyLga5fHt8sJJO;DPF(ato$sDEc~o$VgdqUYQ`$^D#k8WRxa^T@$KzT zp#Rwc{`3Ku2*4&(I5da~fWibpV}kw+0K~5c2nGH3Q2(<)!+@Y*;o$$Q0to-2KcSNL zymCP#L4WJ;pEGNT>jTd2@{3}x`+p13!l6C5CjAzt@}Zo+PW^ea_Fr@Wj@g~}GEs^F z09brE{-Hr*7<+eXXkU3YHXa`JAG)KFYeNV>`*eJ&=K9O$96d=;8b7wqZc_M$Pyc4k z&E>~9$-^VBd!*695}y6tQ-I8zTD#?6sKwCL{u=Reg|$E@>eK4IkxdqXCA1;2)X#?T z(7GP_ox^G)k-Ujy?S(rVYUGwDBo7!W$PcKtC300_Qs#Y38XHiRWx zi}%sF1lI!&cLDrH3!`33+q?HiCjR41a>P%mLPI!%~J->Ok z#oY%{xue&PBxvrVv$Negq;@qv-K?8`B@6fuaH~h39E=TmZ?7`C*=r$Rm&DmRDfUw= zR-KVA;_+=Z$3YCr6Q+(jhH8HTj0OiID0!E z*-lP0;RR8V_sL88{drTSyQgWZIMcy=D|c~AOR`q4%B<Ifb~+!Yr&jjAIZPd@;8yu1`Ck@mQn z)0`y~%35Tbo=m@s@x6t(G2WaElgkgJR$l)!z9b9%;Ph34x2_sTNW;EJ=v0P}ZptkB zt&jWclH#RtjVS;~x?aR8e7q1=HF-scOlXVg)Ik}g{=`rQphtZ>gI>=iZsm#kA0XkH zB#ynIXlJKeyV&Ps(4|T0MpS9;-yn;@L3`h3$hSuBn_rukZ(po7Qv{+y`FLW6c;oR- zC=Vw9_@o=Z*TIIFhBC)XJd^eBs5|%ku9n(HO%&Wu)eD!laPtoZr#Fe4R+-*sUg+&li~tCbVqt)V2hcrOhtN97LSd#R_oMWFd$}JFZNL3J2n7NY)k>D z)Kx#dFYZtue?d%MZ4M#mU*)yazY7Qo1{(Gsivxx6O54fN{@cJlzE?IV>iMgwTT6Re zX~$!+V*sE<_Vzg{pFvLyVDP@Xczl2q!%*1*NNGM^7mxR+F8;6DZaU(E;l??kq8 zOJ8figgsEyf1E-1Rlk9&(_voPkn5{G0K`Z%tRnLf@bP){=>Y&kr@4OFe8!WL*QqMF zbj2x2rQwjK9{`Bp-G-$RWWe|G&c!vS z&*{yN&lwx5rtP+m=M;mWZZB=hortgWDo+S6zLKtQx&zP^DFDc2?z30h!kvOm=>^r1n{~hK*K=){q=gO|E>@KHXa-X77i{Z zB@YKDpDG2f7?n5|x9NW@8z2Or)80FCd7%jj6j`t(#Cr9=th&VEF<2tSdzf*`{$Eyo zkmLZZccn)~U0PhG?6NFCe2e^C+;m;wNIsO|up(mfT3%~e)VUimr+(g=v<5H3IsXCf z8GpA#?#xZbk7;CDG?gjzQ3&mpveb4m&3gs4qD&UbdhxmC+(9zV_dg ze6D20!VH3fEhRYodG|MTWh^DNVwx-@4SPuonh}AX2s2;%q3+be-?APlZ}1F_Js4{I zW;^V)cs@X}FVc_weAGt}{*v(rh+*gW1F+iXP&nExAn0h7^C~RO93z}qo^I)lo2)fftj3}J_WN@EOr=_ffW1?Z2%2NH4a8i?Gwp28 zlm%Qrh!8??mib!W8ZUvNt`d({pVC=+{e!4Qao(XKiC_HzaEu*8HHpLRw8gtt;55|V zE66=AZFtw@oD9CdGiLtLc46{%Ddyp{L+6{vPM2Q|?$v)XSzeho|3_w;Xbd~Hf$9rA zDYLxc3qz-ag60cjv3b+$Xgd|}$jxj>F3pgLew#@LYc`@jt~N(C1y<)!-WOhp?pF*E z1WEcc{Qj+W(#kCFTjW*7d|dMxE!wS=cxWdLFPL!>{%uIJMO-W5yop#RSe7wBc&h`A(+VT;h^I zie|7mw=uP#Qfqe9qq}K`4CVCGNM7x!#TOm<)E>&GJ+9bowa=YN3LMu8D~dR0ql(ZB z^UW@1>l5^7rD0aJ?UR-;75fy}fyq%U=fB}TLo8m7Y#DyPHGK(&8Ec3eW&Tix)WJwb z36ow>L-hwx07o~)>52@5Jis!2n{g1{VTZgoAgJc7@kBpQJM8dPmX7}em}ZRBO=F}E zE2~Kd9R%*gPy7MWz95zVXgSr7b{L_3f$k)E7 z_E}Qhjm=#SES(7cGHfYvbW@i2;hYZ7c)BBHg$2 zc_-4sm*nzxCsFfL_4WI`2)3+*39|7(wbF?d@4=|ScN7yl+y zCi|7~{grX}@1b6M{ADP_IFUw%l$B6z>1Ly&sU|N;Is9ml`*oe_;sp-_f1NxaiW6XB zQUm?m^cw0Q%`VnI0hAT;hTY;)+bk$`m_uuNfC7q+g@}atB_Fr-r*2-)!*H!;{7K4zr%ZLDT6yj7yKU-Gl_9n0Q z)JP-aygc6{5t(fBW_7Brk{}!R^je$RikN*Vd=)!56ofuVp5C3-F!|W*CdNe4uDigp z*p(?|iXe-qa3wD2?+wr6ER%1(`MXP?0E4$S9|D!-MK_tTHu%h{5Y2h%qKqt=M>2}R z+23dRxc{(AplJq|(%JEbBU_A?Lr+ZpiPPJ~ry#{6_Tcyas&q@`7hh$M^F6T+R>h2V zjQJ_KKGRy*;%K0A^3vbdNUlpot;VJA-kpDrxb;ucJ>R4HvnnbV9pub4f zGl4VC`poC;C5biinTJ}MLuM+TVME@odF$Et7{-2_^O1;x(Lv7BqCYUW8(=I#O4{NA6e+!g1~U32trL zs`n+ljLw%Y#ITKyTl7?H$rXzC?{#oty*Tyeba}kqGEr24Bwueb<@=A4`fW>Oeb;N; zR~sW&?TJ6UsHaY4ve)C^w32zb3ZL%z{J%pk{X4d2e*Z5vrPSQGe6Kc-Id3OA*=;DUFIhylzBLr5742+Z( zddPE2x-;^2_N%WdaQB5?ilNv^Z`zpYjo1ebb#}GPBFZBaqKcrQI(K=@^)O0XQJL!1 z=)vFIXP*xJ;-m|b?J5<54r6B=q!zP?m#@zp+v>18vCQF%)GMz zAPO@k#vv;#;w#aKCGnBmdqTmnl_b( z#X-|=&04v@{EiT=gyp#kehU&R>z`wxE+2vz7&DLMo4!R){us2r+G+5)(CfIb+HLU{JielnSs54^`;8_iPekm&c=&W80Zi|!{f?tB`RVl zNE|+p7+Uc`qT&YVG{_l+(vgSTReAC3WJcq|q4Bv^2g24%~qe87<>v*Uw{r0R2yNLXR}X zS6PCaj_m8D?r1(H1EXBzx=ytmGi#Zj2Z)KBC-1qgk|-> z+We4{UX3faDa<6ng#b9|Tu{<*sHN=t0;9$tV(KEsiDxa$9v<6!)vPMx0K8B6$DW#w z#ME*nRak0PGLK!9e*lZf_3&DM*XSNi?l3S1Ei~<$G2B<% z4=&pFA7*9zT=|?b+Z0zLc0B~&TzkqhJ`2=%M5|}*Xo{?uLI;DG#^EWrs_T?oH2TYC zzf}EqM@{lkKY%DL|Jdfr{|`{!U|5crArQc5r#5J_J(~&R)%>=aQhOVvnrPPTufr?< z2Ve<|d~Oot#w6D(gAaTWo%Ig=9YIg%lUBp@!)BK)Wt4t2rb$!|mN?+S(s!&2dXN!n zRxz~BPG_lQ)c50!0@#>vp#$#{sd@EIV_iesAPL@}s|t}SxueHM+8*BuvRviY^qBeu zHZT9cysk8BK!t3YsMluB2=|ei^;bcv?VHtK9Q~T%c14pzHiuW?*m5znw~;ag#B7hK z`Ut4}(q9(W94aKR^0GOR7`fa=3pxrvDpUskhsKVRe}4@~lpO?rN%_h0=%$r3Pewb> z&g-ov*}k#se7Dash~DAB>`V0d$C1D6+)oHQR#8{Xm9+R(EE=*#%acrK`G{B4T2d3C za)`npH#y&G9)F9IPZKh-f-z<4X8`i_t6j@MvAWF2IjttTK*x5P^3kX49XV7M-YV9p-ux&)SC+N6RiP16X%yCi?x5p)q~pcgOMDHuHp3%sh;nFBW7 z&2liSx#Z8!Qp`|9&bB-%g>4QWe<8T-feB5E{no<@xDPH+%YQGK9Aw0`T0f3U1e{O4 z6A9UAC!9*$7aDjC6835?hwlT&H8NLNIwslGthHGUjH#%o1SOYncdpIM_(T%p(>}jd zF4`~VsB$&)SzwAS>)0Qpj-Mgn3RfF)j8+1}*1IUW|ym%US7$Lr!rp z#b=u`*PE*Mji+1fnHCgurIX^3nPnkrYn;sVlC18`Jx79C zaNAfKM}?myUWTy~p8~(}RFyQ?6+7^LR${iRTunckzGJ1w=AUsH*eNuE+r6kw6Zh|&h8iN2b% ztfmwB$tr0HpX;S-CN-@6VnNqfFH%RaDo-mSHa5BLWveYgW%7g-;Sm`91s&rLQ1@!q zXMU5$FyV#ds9?ON8l;Ce;NkcGYhd zn|n6FtEnX&ZfWC`Wu{)jYF%M3&AqopO0~K%UKG$-UV4*!6hZ7?gI3#n#T}Fzb4q-4 zLPH19@!(q!E`ht<#5NBWTAR|+aN(spGu+nDkiMRLS7vvZ+4>QmhVnfk+m!g}qPEZI zse*2?cU9Cb>MR}?b?hSs+IGc!3 zwt*7TAhv%2fDOX^!kn-_-X)EC`90Qv*OO@heCx+IuVUdh}? z6)yR>Op;n>T7ssKhZS8jr5GeX1{sk@doQi?^)`!6+e}<)lsUxubur3IC2CJavvx+M zM@@r0hDC;YO$$ z+|`+RY!h0{!%4KPPIxkx=-ECP=|@o+YGV8~wgLY(wgTX3t;c1@nA__=Kq3N1+#b~w z(_vfrxnkI$spj|3M)naUAD`vQtWz6}>maY|;CsQoDm(KJQcw+6Qu~*B=e7DBj=P%; zR9DQDh+=Q5$}+#R(RTM(5xzANz4*t7$owL|(a_-f<@YM_13F!Cq_lAL2*XHPj=}BU zD0kFkKmPo0q|3jadIFio&eyKM&y*9FU!gmrA@FJO1m&8uJUy09Z^tJtFhdd3mdtJ=Rbn)un1Rj@++NML@mdg`?PTGpq-25WhXYix{-{|kZV!8i{{^I{f z4Ag&uynprBp4q=yZw>SFLi-2$H?;g$Jow*?fnIciQf(h;)??WG?X+Hu&8f zoQ`aw0vMjZVVEpRJ&ol-F>Gf6+3vs z2^qNh_3bP1JBWH(_gWkeE%ZY7TCVKQN5tA2JCs?&w)H1xmgzf4)05jPOl18(nn#)c z_?Z$oLT79KRrb4Ho_y(kGgHB^`Gu%4-v&-GYv4?SMMa4AKN+F@*BrFuYYrL&4T6J$ zgF}FY`J03Wy;d-oSg_cXoCUK~Y8W`;=81LGTpDH}eH3D<>Mp@a$+#TcJZ>~#*Lqr0 zis$~a`;>PJ|kYozu=T(4=SvplUWv5Kx>9e=3*HRQ5+ezG@B zlmFide4UJZwf6-Dxq~y{3_Wx9ToFwVXn-fW^>91D@u7s1WHKaCyJ9IZe4fMD;e-Me z#2-9*n5;OnO&=UL{s7`P(kH3!Fcbd(GjGpwzid6IZWsM{m>p6BAsr914o64}kPDIY z!uSt09d7PrTM)VJD`e0#C*t@d6(OxG)lEp6k?nl9M)(8Rwx%hV2Jc(6n#a0eKs>znRL8~#FuX$;ZDBCP zlHX+6Aq}=OA*xa{pd6|SFrn%2^l+k#b*zM3%@#%vV$8HfXy0PkB0WK02Clrh^YHu_ z6=Jk(b%1;{_lQ=U5Oj==OJfOr=(VV$he+I&vR`%$o$t>n?@`!%&Zg#`z%jh6?CtCS zdhvh$0hnei*!C_oLc->gI}8q>HH(9zhI_ViM3@eE$PbE$bPyEq#!M|QN>VNDwm}7t z-xVuL=a)j3jZ1XTez;(Mh)asC$6eZ6aP#3Zf)A>d`BUvy%0fB>E4LuTLE1_`jGGS}w1AXJk*U9-U|~gal%8?Z&!_Lh!!o zB{Y7aY&w-Y;l+jv8}5L?EX12?T(a$ZoFBr>R{Nv~*(=??Vf|6rxf`}KS%CV3bQP*| zf%WH%f-B&^Fe@y^p4OZmvhYG@3U_4Kmt0vKxLj;~@ef2Z151ow&Bn9#e4 zZ`NM+mnPW3Yu$2`&19kU7gkqEmIF-piOW*Wf*nbsO#}bgAAscN?A#^|d($wEjY{5) z6YpN}p>f;r+j+_+#dY3~i=Co;)d+VwY`MNXl{z!Gq}OO@f>`Ki6d??}116sQA2!tC z$m>d0naEDRhfytjrB!K^t$Ts+2VYCFE?3mywLP@J$36z)8g41rI`$?@>R>9CVlR_! znj_CTP$mByFi>Qf6-dE%vhw4~-%EN!cZA>wl+XR*kr2RV7c!FL<9Wc7d5Ou9i?(5!r5@^)+eS#t z?k-(=RgRvT4uDQ}2P(+kT1+o6vbV#dA@4r!u`Y7w&G8U<)L8{V0CiWT+5a@D4+@<_ z_OvS7v9u5=F9=@i-94eMX^1#{dGmXuJX1i%L%08e^yXb+IitE(Wbp*|E|la0$6j9{ z0^)a}i;wNLAqc9bWSgsY2SHezydbZP zfMPz~*a7-N;u)Q{m_u1`=ns(c(qG%UQB;GitSHWv8*id=$Y+eFM$t>a0*x+JJaJk| z<3Co05SD;Aue04MlFp4xjsHoPh`<7xWU5A`^XTqH6HXt66Y>$qDI;(i{9-S z?L&5(PHQn+E!vZN+Kk5Z!njUFWoq04^ zs8!33Hd(>54X#x|e71vre$X|f3$B?U6>EA|qiYBC;Z5G*TU}TrfJLGtVmGBK)A1mk zqPcT1Xze@rAwr2YZA|BpxrsV8D{&CDHq_+O_rDi`oU$@X{B7G>M!7)O%+_4@SD_A> zB>G&uh@t>jE{DC=e(B5ce14b3E!tGK|Ni_bi6LWf;T!RELXW3U2UNCy@x=i+Fe@wqrk?0<{y$&DhP~-L6ssIFw5Q-Cgvu0PJB7x? zyU?}rD?de~jY_1V3C`ef_5clNO?D2kIqaCnk)Zx8j}(HujENQ}FtY^f$af_Ue&ZZ1 zzeM=jeRPtjWAY-%>wr5TXUk@Ew~7c>nFs0e8cUEQm-EP;mYNJZF%9MkiSx2>aAe0eX z0ImNNu7+X@uP5HSZFE0Y^LCP`C`5B9L!!)BVg!1pst__gAeJP~g#-41<7JW~j;$z! z(Gd3p)R4cwR4GG?)iJ^6;h>TDsHQk^SsZAaH~1iWV`!PjBgJ7{#t#HW0~B#AkQ zIlh^1(b^Iws>3@Bxp2`?z_MC5qE?{k-AxRwk4UDCW>z1#^E=$c7o7Xx3M1Z~bWw)U zk0i|oqGy}lPpH{}C}=>IHtVey`8)U^d0+HKWo@MnBN zSaw-Zt`}BuCgGVHR1Y+N!^o!Ih*;3%U3I{Zt;n_MqL3m#jZ$MCxZd#x_*KHTVxuO_ zhtc`)2e`FDYkC`JxiacF%3bdq`}I*mZYkSPJ+-fTqB*!=v&|~`1H2XmuZ->O-TmSv zH}e1w!Uz&>Xb_xs(yA_d5ZYxc7R5AnS{l08NJS%-KLx%&aWLpvGaTklC{a&7o8bci z4LMi$4?1!Z5@$0L67j~U_YxyyfCMg? zDD@vg&Vv3HF_ue7ND(mS0%cH=NFmEKR#9r|a^DlARr@JE=@EsTjx1?>SI5t&k3%Xa z;S(o>(OPJfDv37Mn@*8T)e9C@Z_eT#ZVmm7AS-6&n%@ugOq3(@C=<)#A{;x!9l=zJ zND0w)Jtx%hz@7}h<+eo)*3m9pvWV6lb)1qQP%Lf{(%h>z>?OhtZ)9sp&H%zuh9e5q zlPGAdgvgP4!e_EfTW?tjYhy9;LzG_g#{9k>^Km=oy_i%!G_(Tz!Qy6LlC=gvU-&DH zy$L%o#*4j~WyA*>#5);b)Rn=P3)>oDW%?R4V9j;Ot9x|%H+jn%%E=PPY4HGwR#El_ ztcjCK6%A4}v^NbW{B*tq-hv$WhwK9q$$RxMsH(mUEJbG<@G<%(NF8!I&tzOl{u&=a z8AjvD`2k?*A&gwQ5*KbftqEn!3^-XGYB{Q+ zgrWv{l2b$Kfl*OpU1;x2B_@BZ8xB)t~^)(t2_kFINN1L!$Afi54ary z+-v{Hz!F-I2cpyspUw2S*z1n$ zv*bCl`Uu>)RM8;SnBfHyHMNoKVXYW_g0OOIsoOvWU}qK0iZI^c2)Yj*NDgAsiKdw8 z#Fo6^f)`NN>fvSKu#fZ(IiS}`PZF1e$v2|VtR}%Ah}uXbY=w75D&yr&)4QXI$|@Mm z7DBcF7Vc%g$M|1znaM>}8yEn9yj>qwd0W*!%H9PCr6E+Uxw6jwyo=a%x#2I2}Y+Dq#pW3m?y}4?(k8!Xi8*E?0UL^cWmkd3)m9Y z0u$ptd7D^HL}(oBg>l`*s9BL`edJ= zm=lAFrl9pYtbrnK<;UYw2ErZL4Xa4sB565wsCo=($j$59IVG|LN@#bgQAt(bZO<1N zSrYVV#Did(iXx2bA=2Qbo%2G5vFxEA;#Ac*9U6usT7^?}Zy-#<5-{2yU&6U;2~?MN zW0N)9I{Aef{{RnnH+-Te>bpdNuB?lh3Nm_@Ixf7mX<|BehMBD~O7pWVbl6?Y3|1SB z;orhNv>t`|B%=}}ic+Ul;T*KQ)e0*CX1%F{3z~ z)#B#^dQE=-uFd$`vx-(Ki=W#^=e)L`5TB;A$d4eN!M`h*QmC@^R2ng)P}jF?n})Cg zE+Y~X_Z&nkHrE_!GxZvIPz(vtTuNn`_JlTsRM=WVp#f3LmPJ050kpR4}*~;5%?u z%i=b~@YQE{&w+xLLPH=!Tl6Z>1h<(@&6`-#Fk-H}4Z9vXQnQJS=0+h%D;3a1eWddh zNSv;1_nZ#64KsBx_2HTyKM+KL%QX`W=qj(lRhT)pRcSi1```zyel>jCG=A>LXzGoz zM6SJr7TCde5zz_KBk@>}1V#6fprQ*41D4fE+{tJcDrq#jEOs7N?ej=GGFoQ}5zf5~ z_BkE4mok!Q0*;=JZ5O<|Q5ZOIo$=m4aZ zi=DlKp+_p<(>6z?#P#Bs8RjYn*bzz^BauOyd_X;yrX5hkesXrj|J_j4o6f{7+o{$d)fEY zRuG6bH(9{nE>@bptS-couj$u?KG|z?1Uf*5(0^6w_Wo}APe>J|G)aak6ax}e*VYw# zUQnJ3FSQCKO%BTf-YFkZs!JSPUYwHPP!nqG;zUE5Kv8!6Flw0Rtu0R-UBR{(M}c`i z5oGF$m03_tlrt|hh#Y`|Yzzd{_e&1Qs?4Potw`~b)9lCI0aM{*5lssG`80|+W-y-i5)@5;hGx@o(tA?9W@*L?0 z3aY7RSjU+KD0{6xMi5n(e9)=b2c)I8FgOr31~g}76|zo{kWz)@?*S5ovK{em!-%ME z(pev_S?-hYg*_!Ed}^44pGmx}1-L?%0MwUtDzrU_#*R(%CNg&$mg2z7LCbXkJNiW?SpTRu@?*Z2>*8m>SAw z_H4C#v8_|i_s|hyyl!qFZl1R3GEcz_L(!^zSB{S<6rX~Q*6XW7VJ9UUsF(;bxRpWInV!a`-aO1EC!o)(zic11f0!##1T zT}>73AG~b)6xx_0wFE&;6@fe}JT#(@fjqO`0EK9s{kPNGv%9jnN1^uk0N(prSNs z0{BFWM9Gv0nvZUKh0xDuU!TVhiPs{xOPMed-{3ooNUD|~$@MxxYSPKvwI~?d%mxzD zhr{OV1`@lkIUwz!27BC&pN0H`Fm?frVa7O_O%i7hh7l3-#%y_+CVU(Cp5*c6H zQlN{@_|pl?Cf51^Dk+l+>|^RaM*JK^S8tooehNem8dwA)@E9_z!sms{43rxqgFQQh z@?5SWK06HMh067^$_iMO1eoW8awJx38lS)q0!Rq`?6q3!gsJ^mJ?nkpzaP{1WkwRp zacG_45)dKH&27YuQg+J8;WU@C3s`;m3FUozK^P$d-(3`nN6fZu5TH3tix>^VC%F!> zg=awrx-DvVP`3GAalAM(zp22yha7vSt`Kg6 z+rL_Z#06o)@fqD{;(iE=r|hNjRwc61HdEwQH{i19#@jI)$lvV8D7h#qnoCl=iiV{K z)sSN(ziWj}zZ&g<`l~HJ-!N}I_>z!s2b%xxKG0XybxyK=Oq}7GTG!V(kh>novJhMh ze^G4WG5NK!pv{Fq;giNo$)?JW%S1d;Mghe*8cSFIsLLiAjbllPfWq%oY4a(Pu#6|_ zrK?u8W>dm+#-GuSC*3=PYdqH9l(E3Q#WX{bK`V;&V1bgRPSri3D9)6VfR}Q_v?!cb zTsYWKY_4qM8xjR|5E@>!xoxVP5T$A0EhGVA$tK(wZ^uiy-PTg3sxyHHO_d$=J%VAI zPZlVnj@p&smO?v6rMcQhEZFV_+P|VGb2+z+;D{D+8Ji!T&NC271k`{Q5$*kfvMSJw{^|zehJ;_~N5D3P z^eCU;6fgUqr0Cbh(c#rkg)qhjoqE^TF|{^7TB(0eA^i3V6ZFix9-?Pwe@{ zER{hIP`UZHe}D`-F*1p33m5uwuEXAiEOoxruPL0D^va-OGp4BJ5{^wc6ltQOHXlx+ z24Qhxv3J?j;Jug#H!{|AC*J)&PHSi*g9({3-Vpcd4L0vPNpw@f=yRGr|$1!#(TUG+Bo=~ksuY(aHnb;978kx78 zwBeD)t>yeDC4pvlH5M~W1yDaFUe&>32*0TXH4y<8h&sBo2kF%K-ODD4w=P&XO*1=5)b21e)q5fhYPmWlnz zTwYl`nI|`8xWhu!AY{ZbWqG?(fzS@jgRNpb~_6Cp}hhjH(9$)5HkUmXxko6A6vB>~B#(V=V z8V#CF!U&0`<##9x_&Y zMj)gCO;>w4GD$cchRO#NEyP*w@&bR=V@_*5LW_A0Ff$g8rlnY>J5xJUF`76Enm8^_ zi%;18-7NklfUoMWA6%*z(>LRtJ>u?YE~ZR=p*}Wtp00dpM@z-sQ~t?ZQ`6%m{2}&O(MhpoFvw6v3gXeqVPSJ zEI6{E(oLz9d^eUFX1>r=*sSDW*$3w0kg>z+E@h0MokEXfCRsgFwU|qmm{+5Qv7v0q zg_4W;NvIr_nY4YaJS(y7y_Kvmn)~dOCWi;BaPf2;v_#r`BeDDsqVxtAL7E0EIo{U? z&E#e)#;?zsqo8u*AJ{5KdIVswiek4PNwtd1F|a`9aL$Zz7vU>HDoQaKcA<3OqWLJ>L=BC7TjIMH24BTmiCl~2J5odG@a`qqZbvZqe>Wr>kF zou&2^B919@w{5f(#hy&Z$S9924JCczkgMJ6pZZWtXxylI>KfaZ)g&$-<#3q@Y+Ct0 zKndFwdk=O_MJ5K`Rd}o0NtU6>?h3U?pNJYhraam zyUQn6_{|j*HQKVR+Q?#}HED;p;IT+N@ah>zPZy2ECNibKEg(XLSJuQZX?&%8VP5*8$J`rQ&bK6$3O zwXHP+6Nb}H3s&zzI8T%*Op3!x9b_z|%pGR)U*4;w*FT~SbrDY(VfL0yyimQHxkN!kJKM{+fRY|oUL8KZaNG4T2 zv_fmmVkx_zTX!Ibi-r67&9o-Q1L(c+dsuN|XRV!}bBP4eAYm!}e&zu;!bIp)5&O*g zuRbpe1?n$k)E{-%GL}QEIN9pOVXVq<#mxr*IJq6U;l_n5%&CVZCh78D$;nAfQwTqj zh4y6^jOtxorGyh;!}_mv4Ttv!h*V31m`b++5`etazx%*s@z$gIA)1wKpEt>yB(o_J zj&z6z#j*SK1zV!JuQyKh8*FF)TQAog)x_5AA%qrsvjBPn3DWsMq$`ks2vO-BIz3t8wU_l}`&fHzZ&rzNlIv ze<@KyXiKBiWRJtRyr#{HUKA>kyKbeMAIWg`E{qYAX0g_%c24T86_OKF=$3q6VBYvl z4^_GjYa~+IC%G_Deh^z2D5SSQQRe%3>5#b_h{$jh%~TokR9C%|7D1`{K}#^6%bjy` z0q-X7*?BlNueQeyOnZnIU#z>@D)XLZS=uhM}Z z-A7eNo;#fAG~)81dY3lB-bozWh`UXedM!eGBOw?hRiZ31DLYIpL>GnNqaKHL>I^tt zeWx!K(iSRqqs3^adOeF^N;J8qlCv^tnrj{stPm1scl;0F4fkMXr=p?DfG+vwf*VX{ z`K}s+rrWuM5r#~Gu8S#cL%EF-EL^uh0fZX`07a<$rn32Wiev?jbEf$e@($0m_}^FZ zzNHXtBJ)5YTgZR}a0n_$%b!Z&zKe(+XTGloOW-&=s?gzB^X5pzjJ7^|#31cvxdwtT zM~`lb>>KyyBe22`^xvp`M$)ueXHYsG$DECNntcy4sG+8G+#_&bgRwFK->pdZnxdQq zMuVP=w2O67n~?~-kb{fJ&b!Oy!(V*=P7yLPk}417X*5z6_QB9mT5=S2E6{_k#-IO_ zqr=yH;FAT3LKW)H;6t%u()Hy%KoYQ*_0-o^dD!A5@nS?eO4aVsp(rSnF>$(4eOT$2 zJu{UJ)C)t8hT1SkFKg~LBElLOvo?&;jU0At3u~b}qI*iM@9ntdY{bbxT|3;6Zl-X# ziN>NpJD!t!GNZ~<$`xHP6ynzM^tGzTz_?kn^WEdNw&;?&t=*_7Ufe!HsJPfh7?0G`oezs@;S+}z4a?+m&mzDHNm z?&0$}bS-Tdothl6Awtkax!aP8AEaeyJR^faw32o4jKs$orMgHf^_V=w#cMhR5?c!B zNw+*TyY-7Z5KVR%E7mhf{ll~j7l|l7U0~x_dxOn#uE>RgU)c2x#`OqcV%sOJ%-^e> zE4;($Y1A|Gs8@gsRS5djB198Ur>1RokY1wMW@VU$)mi@Ofi+L8#!BN#;=v!ww#eP^ zNPgCo)<~%BkV_ZDZ3{hF&hW5lU~EwF7VI{7({EDn45^UkcZwJ-rv+?U!jX^l0(aT_ zM`#+pVA+*35N`8q1fQs*_@rRTQiCYZ6I(yAyf!X$nR!Dp38dxfNxV2uX$iJbr7m8X zrATb!uO;ZliLlZu%4zrQq025LPVS6h*+8lMPnlNX@zoETrbNG_nh&mOAefx18(9?d zcC|P8k&vf-FdKBn`P8aq!llvDj5p~*^ku$-7Gm9<#gcTqDU+0>1WC~nh7W5bJT7le zUVm0nfohHvj&%#9?EgD2{Xa3>f0EY#Xy@-V_$kAEN~r${>K=Fh3ImJU?8`}F{{>V2 z-*xuXLmk|By#wKohzo&7jT?j|>@<)+FV_6Q+W(i~PE;Yw-_grkN}Bq2?7ln+{ZPA- zdd!AQuIY?znKQS8`nw_%8FDs0e>8s?Dqx9hW3~l_OEN(?fAd5oY*77L`}}|_YUO$h zm9i|uvN1zZ3Yc-vlq5_}5KH@R5zXjvz=>~bs@hHGt5jAFLWZ)8g;2S?#&mvC!+rzZ zT1DUb`Cy$Fsqba;$>-sdj-Gb6{JNaRMo)BEr>J3G9mkCW*SOL6^bc(PMmvq z^VX*|UIwV!q!A2Myf*t5ahV8npb10ocsyO?tB7=FRE5K9X%1Zr_l z#p!Zk$D+|sK{xMe*NH*UD*#x3>@RQ)`F{s)Jkk9B3(gtnE5h4*=Koq>pFV}X6hwvZ z+cEU2x=kST3O4t=1bS~j8DAEgN6ewK!n&&wt%sD=Zh{-IL;WcP0+nMAW= zk^jpTTRf4V1R&Pp;&gH!Tg_t?muo zL+*(o&NpP9b#5F*^l!?26yA5);i;Wn@QFDLu2-dGrB7lMjbes&g9A%HL`RyqCGi?{ ze^B=a2}+j6jxEq=1Q6X!xPaoN8<{Xu1) zD)4B|;sU9Zb%4Eeu?oEDU&DF#0am5k7zO6rO#1k3rpa-Al4V5({c&4J`mCtgW1~`X zH1AbitNvb+7tyMrqY+FfTx^@3gX6xJ#kVyDVKRxyUj2L*!((*zizFE}jqAS3;>a#` zGL@=sJCiyKMTAr8T;&}x!cFnMHO}ozR4#gnAP|I){?1!F#$84tg>JlVXQB^qUigk! z4r|=DaK~~J*=5oCRQzau{QFa1oR0xw0-5=wg1IC@;#+S{? zyexu(uY+SDI@AJM`rbwQL@oUX59?~a68$(oE9L!hRfneoYF^>KtFlH&^HD)=2*BD= zO))qVkPR(k3|0iE9s%V?z~iv9W6kH!A0XrNghNDB_4!%%05h#~zSePw*%iel-8v^k zZ=CE@;>T4X-GzA$J`eXp#Sk%X4RwxN>x8dYw4;&Lz5Fm=-+SL4SS^bTkwm7qbxD$e z_{!8%do!&}dJ1EEbzoAfZblLr6TRDq_9=WQ;|N$xA9~$k_|IzW#A0fuM@kn-xSFmU ziKAcrFJ}_I>NNrDq4LRkNJ$N*p#y_yfz(c?>md~zn4Lo}fs@ZLkrgVXZ{T)W6`_W! zs2n``p@!eWGKdrD*EM3s)eAmE6>R6HK6& zt6@R+z0_38n)tFzX5t4#*E{XFcCG*I0Qp&q!V9?*gSPmst6{SF%Rt_>P_(t@JP+Zu zU9JX49n7+NPaDHj(2A24)skt&jgyo)2<`S8&uc|>o_wl6KNb{^8lG2hGR~y$If3e{ z@1=XLWgGsh?Z#Gr>QaRlI>4g)lGJKnXMMOqPJxVmu@R~moJ4OVLPY!V$gQ!YUC)Ey zKazhOyLvtDxK6NQc&|}2mMboEE3N%WZ66m)=8UsAN!HFo#k0CDELv?BbJN?d`lJya zj;tkY3@rJ7v3F%*4qyMPaVC_(;Gdwd@KXuzY7zT%DSL58m)bx%IK6$L5Z%I$lz>4U zt5myr9g|&`y>NB^l=9-numV=%j4soKCmC*x=uLk_!2%7K_ zjU`}Wzzy$M$Z2)Ae^^z+9qzJv#IgDXgebgSeM7Rz&RNH=xflbFasJM$dDyq3b278Y z-y~9-Q$j4=3)6xZ#~#>9Y52-tku~1t!qY-#Eh|=!M17*(hJ?CGnQmZ7i=y1jTrb+K zCiZ>;-kkyzqB^QJ{(dgbb{^Afd@b`tZs0`jVt;F0Y9T(u0_Nov409vt*g?*J3L3F0 z+7e2o=~0maOB#Y*Be$$1h&&L6F(I9wk*S%U*ZT-g%u|yRkC+v{Lf-XY&Mgip-8yevJar+) z%oE7+!@=ah#f%EaH9AnUS#>y~>Nh7L(4ZHrg$^Kb{)md!Wc%4@GbMyNt6Z?+?CO4O zq}gKEg)xJpCjVrnyy*9+22D<94jx2L>ZGrrQi>rg=~$Y0ZYhK6Xa z=@IT7)@a!K#d#4eyWV@1oB^7DfyDr@@qen)cOCQ+kwW*@j8K_dVy_rp+L&50MrmD2 z+q@DtpPlW=CgXz@>g1i%n%4gIxz1~|o~^M^^8zZzy?WRLh3kV}T&n_X19CeB$JbKkACd#kejQzl*^dpIwDKI-<2D;# zA1x>ccUd)RR@P>+0j7=zOr4nxa1lhSTwJxCD2X1b26Lch}&7-~;z#Fo& z_dVyneeZeSz3+SXpI2SI*7_}}u3lZ$Gt*sjw{W)#U@FQg$O0e`0Dxc{aQ6{-384Hc zsAy=Y4=^z>AK>HS;Nap@6B5HVYA#ATN?7G$;bUfC=3~(i=jRvKFjZ4jGj+ALc8!mS zZ)y1f`tLSy*9Bl9fxf^+f(92N+S1-k12NMRj>1B34S`ey;b!+{|Ph)8!!0MZ}& z>xDmU0J!om@m@dz;KX6>ZCXN#RY++zlkY``>XS<+yazd}3LW#~Ne}?y!S|K=NEE4Xu{;7e(qhS6a+VLj@tRyyWL+Ad2 z5bdRnzW`j}Jmp^i55MUz87QmI_!GbZI!l23Z)8CTI4)B1A3Xkzr&HaVd9^;Flk5vM z?DiMvx%}31_eXr(XJl)wHzgC=^ZKa!baJ}?>oZo`Kf~~%MM(DEr$4rC;BMJx{j;^c zTn)k};;;C((%6cBdjj8l118W!CC;B`2mMwdj{7`MhpXMn-JksJ1;)hg4;g^y7y@*Z zznmC(5r`6NIw0Eekg7i#M}pQN!%W(SBSH5ba7@e_F!tv;gYf1!VGt$SI0yneRd*YJ z^v4DudyxPLyx#z@V99k~8@6CE^nI;(RMlC8Q7R@4J;>x--TyQ{+EOsyu6u;mqRub0 z#5Yv^3FfP=du{57@<6~($H}Y(sv9k8YI=+I#kuV}?@wJ8Qd6~wGwX_IZ)U5fG9Qfs zb*62%o4xlYKlWO+Pw9RP0x(n+^Q53p#drz7&W34@%bCU;FSg`i9JP^6j#r1QK$Ts$ zb6>S3Lu~}s_|JFdXY(lZ0z5kapsWKx27x_`T}~jukRY(mG3<^H16nhd~2tm=abPSc_p4&&%x> z`g^0U&%Ke*5g-+*0dhJ3c$sQ(m;xc@s&<)P5z039Mkr`2uha-ITuofC*2x0HEw6 zLxO%`$04wZ=WA);5z6goEj5k#FC~ras8A0rAgMvg|3v&=10wxoYBY6tP`N!l9ga8Z zytMfBW48MD^DjpBLdGrLpWMC&-MhgFT>AGH?#{OiFCDMd4=&aQ;$%ICsxkIrTe@3mVSh@}(v0^zsadj`t6r@&YcjG%R(tHYT8^b)>p z=>klmU}FJ&Jc0?}=sLHv`%ZIdjv^<_!ouhQ!UX_9Jcal%vV9JX=!S)hG@0u<7SBd&Jh6G{W<`koq7hrS^!e+2_zqObEO9h0)UTg)&#R^o;b2N z@Mye0t}e9k+Oz{Z=#Ll#57@EQgQ!_xAvv;0SC0z>{t6ZqfK1mp+7qENRF8*A>Pbtla4nbqjQJ^RNL-D3d3ut9?o z#<}yk?xFu3kS}an6$CRd>V}y+zyw%2`#JzX5rCZlC^w*<`JLuwth0eNb`8+9gNM&y zsE^NR4nQ&i1pnu&0IU%Gx+Z8l_c8)60IVO?l+fNcL)3GU-v@&Hmwl6l=xAZX@Y{a#EA4k$_m+Pu6tHA)VZx#T5Eu-H00#oY!|Y%HHfZ3n zuyJtlsMHZKDLJ^f#m({Ac@U{-I3*-qf_{HSf{*}TgQLM++m=Tqxd*wg{A&I`{MXqC zyg+L!qNVqY&`h&rdWW|Vbs*zK-GXHjQQf2WThYsJ9?K9^PZ&6ncarqxhbxm|5m>0+ zDT1syV;ld)=&Bvoa$zi#--t*2^pa@_J%gNj`|#;^T(N@oP1*+&*fY^>Brg75yG2OC zRI`ROiB8$Je4wlW>Xb_T3iLya^IgydI(^3jTk%T&_oIH>rxI?pwiX(i=!TOkc#g5D zeMMiawcn^lSebs^o4O5WyI~E!2FX_7_zidj@onFb-lE2LmbIVpIU6i;bFYpg@t=P@ zJ=|yInJ3J)<%^&OxvKN)5MUJNYt z+*UG(vibh~w%~mvdO89Q;$&)!V}fsI0@F*)+XA`ozIVV(+3i=e>r{&6{X0Oj=to=N zF8T1s8&XD!=DFKAy=M{0&QR1BtZ0pltI&{Ylt#|g!G$+hZ%YWgZ6b|MR)=4(qQFdl zuzK^E1+MrplC#(g-k0!vF;WF^qxmPvGC7|i!6fMq7hYdj8w%e7>2fcWjiJ6e3}ZC( z!(a>u1${}79Oqb5za5DG!%};Z(YDI9tl1A1hO?>n0$M4?poB5j;}V3EZIhAiP3yRy z)eiFF^|o`{GLO|PKib;0DJVC(PkGm`h)qj4JUKsgmqI9sBa#MFMrOU2dkcw>=m>;{LNqlQsejYqIqVp;zFqR~ll{_c`~=aj>SOVk^uAoR z4ZpMX4&9f2Y5Rai!uyOM&Bw<(?VcnrPCOkS{LtD`{&g{CmG9&$8|z7G*0-Nav)`Q! zN2-_1yRQl6h;zyP=E5g4pUVhnKDs8mH2l$b^dl@PsOg>8-pxzyb>9cYaZX0moA5+FAP-qD#*p zzrm&-inJlcF|p+5ap1_x74wvQK5gl5`GiA4z#kCX zV*5#JW8mpJ4a9qzb5Xf-D!Xk;o;=!5c2zF9boYzw zb^al@a^IXCMbC#C@kMVAwg^05To57H$y&*@%Y&(ubPt7!+-A3r-7l(&WH%yFKHape zTd|9Nx`74`o88jGI>zEYV$m!+7D<{KDF~kd+{kb+<%JqAANNG>DY0PcmX$uuD{Y|f z=$kKb^OSKZZc(jNuQnt*Ofrlc3nf~1Kb&rPQ2J)%^mP9~H-gvWjH^oTCG*NMPu5yK z_R2(yQ~HvgMSQ&t9o1>whvL>E5fojwmKms{qt({u#EVh(81tOAOUZOaqh_69M-Iu& z*BSdEH#x-NCE27Ic4I02=NVT!H-pz-47r{KXT;O+>?OoK&THX^wheeDLX8t6zPxH< z*wtXMNOPEhcfgsga-k}Kw^F_Jt_a@t_DWzmUvfNO8>aBYpI zt-7#qI>J70>N2A?m9JCzYkliDP;HID|y!{jd)MybC{GU(Uv>d-9uaf)JCCz0Fapw!k~SnH9;Quh>` zH9INe(d;bVa_ny0H;munWazz$PkP2uh>^@_IZ z9qRLyjn{K!Q|xB!!Z-~9g~!I$s}y}CI}4LYW6Q%9Wz+LTdeI$#7Q{eu4mf)Y%) z#5+t8{Aq@q*C}iI4k&HeY+}loYtLceHu$Xlp(N$DnCkHg)p?)p?aaPzQS{mT%sDIE zjl58+!OB(4hXVY_(=B3_v$2tAc3!RJV+oQKs?Z-a{y>a^y%G5Rz}oYX6@aMo%nAL2 z9O{M5C5Syh@#AkbRjs`t+n~k02bD^_Q{pXV^3IDvZ|2g#Bh1X-3+2_JMCTiH$>GMEPz^1ueq%4&i2>w)lK(H zfjdAYer4j8@>kb>(#20^GXJp5&YXSG)PXg}(AkqcE*k%X$;>v-*}t@ZAh4Y9>E^Bm zLhm~Q)72-3*d7f}N4}CsUMCdf%nPsR%|6fdTU@O+pZkVfRmGU*A;r|3rsh){>iQ;c z_=(~u+Ky_BXekH7VjH3J3N8zWnxkrX$ecIZXWt)d;E!`T?EuZfY>n~Ky0gX|5Fm9K zoJ}D+@o|m$dCE*i2|@J7k(AFO9y=<{hKjiG$TEu}9Bmh^(TT?OY}(JZ=JqFjx^bU# zROAwhAC0^Mg@X)A%~R~-h0%?rJ0U-g1ANT9Z)7S-7tGzW^p6Qv{hD+nI(lMOy zX3-Oj6`GuK-H14FV8ZsB6VmfrsoeGf_xURf*jGNPantskd89i4a)GGsEEz2gA4!L0 zKPNzpd2U$6id6?ia280DhKtx_(?GNy2`z-{Ns48nsdXMHI3-!BsrpHVJwWwx?FQ_3 zq0|1tKM~V{Ay9nfCgL^agE*^wR-8GIHazXKY72y~5i-!vKDlIw}RNFCaA zYx;50WLzCcAok?z(8_?=K6E?X3aP_u+`Q+RtpOG7mmDY#qER0_k-*MkgRf7&h`BMk z16`ZY(wr7tDwUZ)jC$mVdvQxR>e+UYx+;9 zi&I{rPnff8N(fwu`xcX^z{irTb@v_PH?L623W$Z>M zk5bm_UH1xFERrydN{@js*Z#;;YSmS`$0~$VmEr=XUgZ4_Y9_}{L}wVAZ%Vv)gs$~% z+C})hyHhHNsb1Nn?!OjUn&J7}Cwz#r+chBYhIgo5J>|({X_kk_d7t-~SZEx4Ao*;O z-54?d8(Xz8$IC|oR)llIGh?Z4x&+hH37jC`3&+N?Ht>d7+vb7*{f-HTn*Hvs?mOw( zx|6fB5%5SOXU@K^4Wl8hvr(#&f#7sixiSH#n!{YNHsjuc2(nqL zS6;jquGvguZn7R`HE-MLimJ25^8bn&+O_7=cn7GV#@_*G zfv~3o3YY-wsQ?H9MnOS>hk#*E2S9LO0D^@L&ykdjL#2Uh+``p8 zrC^GZol__HUEMSujazLOmq$n^!e7q}ki~$-i`L?*JjWr$|1bPMNrKvK=K=Q#wuXWT zjb{==@fHtvcHisd^qDDl;!IU5Erk&Wdx2P$M;zt+Dh81N9-%Y@1j;D}x+1O;dWY8U8w|~u6*3A%m z9nlS72(>e)ZHZc35MS1pWy;cPGgcQW>>=daW%y=u?lQZ6Xmt%0tt9rx^aw7t0_f(bCoj+J%GH;<>(&)4KJVyCVic$sYejExR-)j$+V!HQAcs}IXlw60 z>h1TlDwq#0x)7|NaR^Q{86b1+@vNmFA-+7n3SV$sp9@B;^CX6EpPj!R$LsppeNbFa zpQC87fL-KD30AW0y8~W@rjgtl#!aWg#G=|QvCRUj(ZFHJ{>*z*mM{iZN8)uP(W!%w zs@1Kb5i5)+{WJL^^wk2R;QNpRHN6SFEnQCND#o0MxYj1Ck#h0Hy8)|H+08G~w7cqz zN9t7Rl&gB>XfYAEO`jJC2d|1w>h1s=u}m{2wF|4Ol7EMK?*L1&^lbURmgV9{q$xSXBZsi(FB1#xlFcIxv zqlv!A-S!u%%p_5%8wqYf4V}K`qOO`mJqZ;us5sf8d1N)6Yi zj0q76M~X6tHwQn=(snCs=0zHMJHRipk}7rR4HxNzeFaoJ zdq_=>gq#Q3@QcLa-0h))i`JGP1I74tCL6`TQ^iHCZzWGME|VIJKiL~`nj@T6G1(3c zb>LA=ggnsasj*#GT;%#j_hhhfs^RgyhckCo1|PBRP+lyP^=Mye?ZYpMi&Kc^isgx% z;=e2-Sul%QUuw-3%yRPjQRFbbCZId`>A3}|ifiiit1M25A7YBn%WKJsb|scT-L6{J zwBp0(Sf|8W@bMrGRX3=fditWyyEV9hJD@yK)7FG>G@I2o5}M8D9>#?BUc^l$_gDf>x!`GKL-11RbaX=KZ^Z2u#H5A^Zz*v+57_ z3Zhi76hloV^BUAckaSNSy5_&C+%&(f|1lltT*>nMY~>>q)vS&0V((uYh6A1R$VykT{9Ctu^Q4qZd`98c3 zB*`}ju6nIehMxr|9Js(Pp03z4hbG4)H$EtBp^j8cL(W4g<9|e!)2}DhloBEqOg7wT zCBGt7J5W)v9HaV0Pkk(Cm+d~(I#BflIg=|~e?yPyJoIQFhc)S%lgECHD{g$^GW|K~ z_WRRlik!Pd-QYUW zAWeilFNRD!8!Z_^lAf%yE%1?&RczGKdw8NyX`4yKE;Gq24R8kgaL(gI$E8BK(%9AyYDGfHToJ;blLrih!vOf!PhD28_gieB{>16zp&3h#9M&sr+Ff&rNPh|~T0D~1*gS`F~P=~8lovo2Y)g*Bi7a@ScV^s|48m4qZn6m}#bESyokvf_5 zPLvPp%%^DwGEDU)v_z)6=0XrX#jlzK*(G1hAq4hGcYOHsWmQsK!^{0!ED+2cu)sEtC%Ud80A9-ZPNM8AOq(74 zp*&f!dIxUaHmwtJgPP_$NRVi@PNO@s63#|8CzB%(tkJ~TM`Pn-Dm%eP&#C}uYjVo( z)6^;+Y)*uf8ql3ImU*%az?mPI>7!uUYVe@ey~aVdxAuvbRrSE3a)=z^l(wWl5emw6 z2!EtF**r^(t7lZ6daNqXT#a02FfxH;Qk=LP6A<){R@==HDWccfa~F>f8K4xq)xklQ zN7IDXszAGup#5gngBaUxn=%8*ky9!KG9q%7O(JKf&pYyFLo0SU?(c$x;c<4Wfp_3R^S%BbL)5wiJWSCYn0V?i&i z)XVv#iE5K5P%s};)ZnrRzY#$4F5`UF!GoG!99cj=)e;&ThC*rS0bZy_dZt~V zL;KY*f;$Wc`4KJQ;GiZW!ZTCRn0}hpD4bFCjZj=#x_7UV^im^8!b+K4ehpl!le=5}>vG zztHNx=q3}qon@bPY|j-cVv!oif4dx2(WF%B@F#3#&ufu=Q7W^`Jo+Wa`WQ#6DgriL z2W6a^J77*CnFQA}Upuj7ZE`5kLsdTCtVF^#sfY%Jb37VE%6Ci=mU}h+|okuf|A0955T?plVmK={3i}EHWJzM_qK?O zCw!3#=O_%-;s++3=5PT(Op*#e+ZRS8h^-egw@Yu@j4E9^QCWr;jl}Sr`z0-E+g_}pZ2x=!i8y{>s&`_p~ysIi} z;zDPmhZ0DI5C>3HVV}yp6|agP+Q_;yr924INfQT^qaa@pD3tc`WG+lDnUHX!y6oa- zs1>-)Iz?DYQwdSi`=|8mIlos zDT&!xUYf1N(>PN`MP?~s$Gi*?HkyZMHp-kXB=0{-{^Y}6NeCy)DHOBRgFxzOKc!mX z!)?;i`VuR_^o9KU#@)pC=9J24pjMRD=EmSP_MOx;l<>Ftnrc(Co}M12vxn)*dI%4H z@EEqYBsEHTxc2bc)Ct6{InG}32Q!2}2V2d;YF zeAFtUB&oV4k0{?rW5S`EF3Yb=CqA?co=n)lLn&}r-*OKiE*?AJS`EpsP5_|$#m)N7 zT!Lr5%kJ6y^qS2QpUW939|^|vaB(HKCJALlD;!XS{M$s>FvG;-oEg-jQ%?N{#-dz* zkM5cF@GqP8JxW=N@V5uv8r&@upv6wVTlzUYS)PWAHdJ7Aa$8ST4sN&BnN(# zt`_+Z2xqP-2vBWCkWhf5R7)C+7|~`icB3{ z*Wa3}9=V3+e8SXWVEgdJ{pvrb^d<~GSOg};J3Im?2nL89O7`$_Atht_s{k&Jk_$Jh zY8kDWx;13V7(q0kwM^tmVbZqP#q@JSqgbUa38r|%^5X1pB4YEzHVf?pd)vuutNdg= zjO?jT=%~pR$OJP)5e_Hb6|LcaG9PH%femwr1Lbn{-reXnL%QplaI>^Vqi_Rj+uWvYX4$A?N4-NBt*nI@-E?mZ-GCK z6f>^-6GXK?4_!&E@2tKP2?)|w)S#m`$qteKEDlVL5m3&>FqZFsR>EeO{ZNQb#oFx6 z;8r1zwkCT+-2gQ;%*G3#HxlRry`<-{_k3b_K_4YpR13YZV`W5M_0tSqPhfDLdfq3< z*|Aq<+mHmWXZMLoK#yOujmX8#0X2d;+E&SxmbFYj#Ue~IG?Z!U+@NTWOhV6KR)J-7 zW?h-q0?aSlDPpY+QdeW1ZjE?LuR&e+2m_-K*A6-yZPU<{PN^MFN$cRj@8R&FDW|%m z0i!a}Il;36A_FxlGn_3nu(Z|+XUZ@}k?X8H$Qc<7~I zFq8T?cxi`Ib`|!4#aE8BGmJ25q~_@HDxQ-etH7Vg}YS)6WZ z>d;5zBuU)JFv&HJAR}6xl3^q)!_5>bOgOH!OOwawYm7^NVKEGeUywA}zt9L~DDdxh zO({$+jeO$=9@k)&;yFwj8A&D)MJfYQ*rQ>OAS?#UohyvW*z&kcs}A3|@I-2bQFTn9+=<_TU|VlUuBX= z^9>)+I>Y9(dG&e8CznW*Khk5@+->dC8mF1Nrcuwtaz889lDLj&5>yR|0NKF`12xu# z!(T9G&!O99VSGw*_w#<44FLvE!n?_aFuui;rJc~lp)|_9VaBPY3jLz;ot#fi96JMO zP;~GSP)Y6DiALbg?m|YV){0yEY zkrpuvEHqNBKKRZWdcp)bzrm`CzP?jqRGeP#CdDKv8avp;9MM(J%-)uAL(33LFQFNVk<$@YP8GKM zV+3anV4iA%vv!eieoSfhQU1L)R#1Ar+VwW#!K-ka{`q zf8@Tp&>JGR-OUtx!yTye3!%s(iYQB*hcFU|Cf=N*=E>h)hmIEq21ssCiG3(=-=$bl zZ#s+rT4sDL_kD&nfab^E|FGj(iB6WrFivt1*PI$`QP%xCEp{vb1i4=qjRgA>$glOV zu)l*~VS_m|Avjdx?CKi0l++TE7On-D$26RY=6@`n27$zYQ#bKhlZrzKSt6 zcI|VSSZk7qxO{$Hx+C@F@S}EqE+^xdA9}UhOHIbIvqS45VveajzR%|$ zMP!5yt@GZ(gtMD!*#IhYtMmb{50XB&lMX)x{aV$y!@?k4N`}Ui-{(*y6Do0EqGfzH zDXe*W8&WBj4}Gx1*nN#j8A&!U;e|eZd!dWcsm}y&UWpfi0U$H}mcvi)6>sltl;VFm zK*)r7yHD{`d$_IkW;n;CN##?J*_|pNIhZ1r0}6YUHn?Z059O~y=iMNgg_rDMkz2%y z0dQa+M9J)?Vjr(i5F$w4H*9BBU@QBdiUV%7OW$t$x*h zu;I_j2cAZ!#_k+wwUHfl*Z%Qwr@G15jkb?@A0Rdf=8cN~A$UqTy6y#5_apPK@q{ZltR=)moX<)mnLmEw>D#b>*XVMPq{X z!;q6KQOxPajxihEy7Z@`uIUERY@K)_FFcNvjFp3Q$m%MD>~*}RR|gP~b;&D?_DVjK zzm|KpazTzX^L?rW4n#3hu34gXD)MoJJ2jkuqk+{xp=Ynj9WUlKHM`PMC%YIbU@+7# zZ7Qy*ooZF_4i&XZq|cr3)7x)PdzP}@YBrzi35+>lxERkLO0i1hOEGmsQKhcAlZWYr zj`>T|q)~Ck=_TUAtb0x4XU6kAk^CYRKSfm_!n7 zC>ppmczj?ot1Y!ujS5}Hj~UR4p2d%ra%f?F=$|xrEB7*tn}&Y8uK#K7G}#9~I#?jG zCVgSl0b!DB1r>t=CyV?YQ0FP>rH5FGI9^Z0_*mProB-F51wUHW?p3tZ%G>wrVyRhd zyYKtcdT(tC-%f^Y(#s5LZP&87jr3U`8MLSkv&8JL>}JfjPjkHqd~Iub2PluV-M*Yj zt+syBgyeK`m6E9-D#=iymei9RLt>Omfvq38g`+aBvGb(SG_AYj_zmMDJ_7leYND6Z zvt$$)_1#7%biLPZF}9?Y-Q8i>#Y3@+c6El_+}zfMlLdD5oz99_uPPN8)N86@QRVgw z#WZ2sIy*bT4Wp6*{CzXir_7J1YP;0%w)GSJ$5kbT$5kb~(hpCrg#B&96@}6XS6;Dx zmvm5^tpB!ej9)IwEvDf1tdXO4*g2E^ZPCkeWLY6%V(P?#{3O}1uoo*+#@!wfErusp zA2&~Vqh*TJWa@HwZQ?FshJSFe9YoiA2c$axP*h#vk1@l#+)R}YqqRlbQM}YBN$qM) x^JjXog}=oXrk^xYBF$ce^jK1nF;Q2O^a+#!S3`a=l2*fTAr<=$kO{n7{9hGU4iW$W diff --git a/docs/java/concurrent/java-concurrent-questions-02.md b/docs/java/concurrent/java-concurrent-questions-02.md index a75b52fe..e259c744 100644 --- a/docs/java/concurrent/java-concurrent-questions-02.md +++ b/docs/java/concurrent/java-concurrent-questions-02.md @@ -449,6 +449,10 @@ JDK1.6 对锁的实现引入了大量的优化，如偏向锁、轻量级锁、 `ReentrantLock` 实现了 `Lock` 接口，是一个可重入且独占式的锁，和 `synchronized` 关键字类似。不过，`ReentrantLock` 更灵活、更强大，增加了轮询、超时、中断、公平锁和非公平锁等高级功能。 +```java +public class ReentrantLock implements Lock, java.io.Serializable {} +``` + `ReentrantLock` 里面有一个内部类 `Sync`，`Sync` 继承 AQS（`AbstractQueuedSynchronizer`），添加锁和释放锁的大部分操作实际上都是在 `Sync` 中实现的。`Sync` 有公平锁 `FairSync` 和非公平锁 `NonfairSync` 两个子类。 ![](https://guide-blog-images.oss-cn-shenzhen.aliyuncs.com/github/javaguide/java/concurrent/reentrantlock-class-diagram.png) @@ -466,17 +470,34 @@ public ReentrantLock(boolean fair) { ### 公平锁和非公平锁有什么区别？ -- **公平锁** : 锁被释放之后，先申请的线程/进程先得到锁。性能较差一些，因为公平锁为了保证时间上的绝对顺序，上下文切换更频繁。 -- **非公平锁** ：锁被释放之后，后申请的线程/进程可能会先获取到锁，是随机或者按照其他优先级排序的。性能更好，但可能会导致某些线程永远无法获取到锁。 +- **公平锁** : 锁被释放之后，先申请的线程先得到锁。性能较差一些，因为公平锁为了保证时间上的绝对顺序，上下文切换更频繁。 +- **非公平锁** ：锁被释放之后，后申请的线程可能会先获取到锁，是随机或者按照其他优先级排序的。性能更好，但可能会导致某些线程永远无法获取到锁。 ### synchronized 和 ReentrantLock 有什么区别？ #### 两者都是可重入锁 -**“可重入锁”** 指的是自己可以再次获取自己的内部锁。比如一个线程获得了某个对象的锁，此时这个对象锁还没有释放，当其再次想要获取这个对象的锁的时候还是可以获取的，如果是不可重入锁的话，就会造成死锁。同一个线程每次获取锁，锁的计数器都自增 1，所以要等到锁的计数器下降为 0 时才能释放锁。 +**可重入锁** 也叫递归锁，指的是线程可以再次获取自己的内部锁。比如一个线程获得了某个对象的锁，此时这个对象锁还没有释放，当其再次想要获取这个对象的锁的时候还是可以获取的，如果是不可重入锁的话，就会造成死锁。 JDK 提供的所有现成的 `Lock` 实现类，包括 `synchronized` 关键字锁都是可重入的。 +在下面的代码中，`method1()` 和 `method2()`都被 `synchronized` 关键字修饰，`method1()`调用了`method2()`。 + +```java +public class ReentrantLockDemo { + public synchronized void method1() { + System.out.println("方法1"); + method2(); + } + + public synchronized void method2() { + System.out.println("方法2"); + } +} +``` + +由于 `synchronized`锁是可重入的，同一个线程在调用`method1()` 时可以直接获得当前对象的锁，执行 `method2()` 的时候可以再次获取这个对象的锁，不会产生死锁问题。假如`synchronized`是不可重入锁的话，由于该对象的锁已被当前线程所持有且无法释放，这就导致线程在执行 `method2()`时获取锁失败，会出现死锁问题。 + #### synchronized 依赖于 JVM 而 ReentrantLock 依赖于 API `synchronized` 是依赖于 JVM 实现的，前面我们也讲到了 虚拟机团队在 JDK1.6 为 `synchronized` 关键字进行了很多优化，但是这些优化都是在虚拟机层面实现的，并没有直接暴露给我们。 @@ -497,176 +518,146 @@ JDK 提供的所有现成的 `Lock` 实现类，包括 `synchronized` 关键字 > `Condition`是 JDK1.5 之后才有的，它具有很好的灵活性，比如可以实现多路通知功能也就是在一个`Lock`对象中可以创建多个`Condition`实例（即对象监视器），**线程对象可以注册在指定的`Condition`中，从而可以有选择性的进行线程通知，在调度线程上更加灵活。 在使用`notify()/notifyAll()`方法进行通知时，被通知的线程是由 JVM 选择的，用`ReentrantLock`类结合`Condition`实例可以实现“选择性通知”** ，这个功能非常重要，而且是 `Condition` 接口默认提供的。而`synchronized`关键字就相当于整个 `Lock` 对象中只有一个`Condition`实例，所有的线程都注册在它一个身上。如果执行`notifyAll()`方法的话就会通知所有处于等待状态的线程，这样会造成很大的效率问题。而`Condition`实例的`signalAll()`方法，只会唤醒注册在该`Condition`实例中的所有等待线程。 -## ThreadLocal +### 可中断锁和不可中断锁有什么区别？ -### ThreadLocal 有什么用？ +- **可中断锁** ：获取锁的过程中可以被中断，不需要一直等到获取锁之后 才能进行其他逻辑处理。`ReentrantLock` 就属于是可中断锁。 +- **不可中断锁** ：一旦线程申请了锁，就只能等到拿到锁以后才能进行其他的逻辑处理。 `synchronized` 就属于是不可中断锁。 -通常情况下，我们创建的变量是可以被任何一个线程访问并修改的。**如果想实现每一个线程都有自己的专属本地变量该如何解决呢？** +## ReentrantReadWriteLock -JDK 中自带的`ThreadLocal`类正是为了解决这样的问题。 **`ThreadLocal`类主要解决的就是让每个线程绑定自己的值，可以将`ThreadLocal`类形象的比喻成存放数据的盒子，盒子中可以存储每个线程的私有数据。** +`ReentrantReadWriteLock` 在实际项目中使用的并不多，面试中也问的比较少，简单了解即可。JDK 1.8 引入了性能更好的读写锁 `StampedLock` 。 -如果你创建了一个`ThreadLocal`变量，那么访问这个变量的每个线程都会有这个变量的本地副本，这也是`ThreadLocal`变量名的由来。他们可以使用 `get()` 和 `set()` 方法来获取默认值或将其值更改为当前线程所存的副本的值，从而避免了线程安全问题。 +### ReentrantReadWriteLock 是什么？ -再举个简单的例子：两个人去宝屋收集宝物，这两个共用一个袋子的话肯定会产生争执，但是给他们两个人每个人分配一个袋子的话就不会出现这样的问题。如果把这两个人比作线程的话，那么 ThreadLocal 就是用来避免这两个线程竞争的。 - -### 如何使用 ThreadLocal？ - -相信看了上面的解释，大家已经搞懂 `ThreadLocal` 类是个什么东西了。下面简单演示一下如何在项目中实际使用 `ThreadLocal` 。 +`ReentrantReadWriteLock` 实现了 `ReadWriteLock` ，是一个可重入的读写锁，既可以保证多个线程同时读的效率，同时又可以保证有写入操作时的线程安全。 ```java -import java.text.SimpleDateFormat; -import java.util.Random; - -public class ThreadLocalExample implements Runnable{ - - // SimpleDateFormat 不是线程安全的，所以每个线程都要有自己独立的副本 - private static final ThreadLocal formatter = ThreadLocal.withInitial(() -> new SimpleDateFormat("yyyyMMdd HHmm")); - - public static void main(String[] args) throws InterruptedException { - ThreadLocalExample obj = new ThreadLocalExample(); - for(int i=0 ; i<10; i++){ - Thread t = new Thread(obj, ""+i); - Thread.sleep(new Random().nextInt(1000)); - t.start(); - } - } - - @Override - public void run() { - System.out.println("Thread Name= "+Thread.currentThread().getName()+" default Formatter = "+formatter.get().toPattern()); - try { - Thread.sleep(new Random().nextInt(1000)); - } catch (InterruptedException e) { - e.printStackTrace(); - } - //formatter pattern is changed here by thread, but it won't reflect to other threads - formatter.set(new SimpleDateFormat()); - - System.out.println("Thread Name= "+Thread.currentThread().getName()+" formatter = "+formatter.get().toPattern()); - } - +public class ReentrantReadWriteLock + implements ReadWriteLock, java.io.Serializable{ } - -``` - -输出结果 : - -``` -Thread Name= 0 default Formatter = yyyyMMdd HHmm -Thread Name= 0 formatter = yy-M-d ah:mm -Thread Name= 1 default Formatter = yyyyMMdd HHmm -Thread Name= 2 default Formatter = yyyyMMdd HHmm -Thread Name= 1 formatter = yy-M-d ah:mm -Thread Name= 3 default Formatter = yyyyMMdd HHmm -Thread Name= 2 formatter = yy-M-d ah:mm -Thread Name= 4 default Formatter = yyyyMMdd HHmm -Thread Name= 3 formatter = yy-M-d ah:mm -Thread Name= 4 formatter = yy-M-d ah:mm -Thread Name= 5 default Formatter = yyyyMMdd HHmm -Thread Name= 5 formatter = yy-M-d ah:mm -Thread Name= 6 default Formatter = yyyyMMdd HHmm -Thread Name= 6 formatter = yy-M-d ah:mm -Thread Name= 7 default Formatter = yyyyMMdd HHmm -Thread Name= 7 formatter = yy-M-d ah:mm -Thread Name= 8 default Formatter = yyyyMMdd HHmm -Thread Name= 9 default Formatter = yyyyMMdd HHmm -Thread Name= 8 formatter = yy-M-d ah:mm -Thread Name= 9 formatter = yy-M-d ah:mm -``` - -从输出中可以看出，虽然 `Thread-0` 已经改变了 `formatter` 的值，但 `Thread-1` 默认格式化值与初始化值相同，其他线程也一样。 - -上面有一段代码用到了创建 `ThreadLocal` 变量的那段代码用到了 Java8 的知识，它等于下面这段代码，如果你写了下面这段代码的话，IDEA 会提示你转换为 Java8 的格式(IDEA 真的不错！)。因为 ThreadLocal 类在 Java 8 中扩展，使用一个新的方法`withInitial()`，将 Supplier 功能接口作为参数。 - -```java -private static final ThreadLocal formatter = new ThreadLocal(){ - @Override - protected SimpleDateFormat initialValue(){ - return new SimpleDateFormat("yyyyMMdd HHmm"); - } -}; -``` - -### ThreadLocal 原理了解吗？ - -从 `Thread`类源代码入手。 - -```java -public class Thread implements Runnable { - //...... - //与此线程有关的ThreadLocal值。由ThreadLocal类维护 - ThreadLocal.ThreadLocalMap threadLocals = null; - - //与此线程有关的InheritableThreadLocal值。由InheritableThreadLocal类维护 - ThreadLocal.ThreadLocalMap inheritableThreadLocals = null; - //...... +public interface ReadWriteLock { + Lock readLock(); + Lock writeLock(); } ``` -从上面`Thread`类 源代码可以看出`Thread` 类中有一个 `threadLocals` 和 一个 `inheritableThreadLocals` 变量，它们都是 `ThreadLocalMap` 类型的变量,我们可以把 `ThreadLocalMap` 理解为`ThreadLocal` 类实现的定制化的 `HashMap`。默认情况下这两个变量都是 null，只有当前线程调用 `ThreadLocal` 类的 `set`或`get`方法时才创建它们，实际上调用这两个方法的时候，我们调用的是`ThreadLocalMap`类对应的 `get()`、`set()`方法。 +- 一般锁进行并发控制的规则：读读互斥、读写互斥、写写互斥。 +- 读写锁进行并发控制的规则：读读不互斥、读写互斥、写写互斥（只有读读不互斥）。 -`ThreadLocal`类的`set()`方法 +`ReentrantReadWriteLock` 其实是两把锁，一把是 `WriteLock` (写锁)，一把是 `ReadLock`（读锁） 。读锁是共享锁，写锁是独占锁。读锁可以被同时读，可以同时被多个线程持有，而写锁最多只能同时被一个线程持有。 + +和 `ReentrantLock` 一样，`ReentrantReadWriteLock` 底层也是基于 AQS 实现的。 + +![](https://guide-blog-images.oss-cn-shenzhen.aliyuncs.com/github/javaguide/java/concurrent/reentrantreadwritelock-class-diagram.png) + +`ReentrantReadWriteLock` 也支持公平锁和非公平锁，默认使用非公平锁，可以通过构造器来显示的指定。 ```java -public void set(T value) { - //获取当前请求的线程 - Thread t = Thread.currentThread(); - //取出 Thread 类内部的 threadLocals 变量(哈希表结构) - ThreadLocalMap map = getMap(t); - if (map != null) - // 将需要存储的值放入到这个哈希表中 - map.set(this, value); - else - createMap(t, value); -} -ThreadLocalMap getMap(Thread t) { - return t.threadLocals; +// 传入一个 boolean 值，true 时为公平锁，false 时为非公平锁 +public ReentrantReadWriteLock(boolean fair) { + sync = fair ? new FairSync() : new NonfairSync(); + readerLock = new ReadLock(this); + writerLock = new WriteLock(this); } ``` -通过上面这些内容，我们足以通过猜测得出结论：**最终的变量是放在了当前线程的 `ThreadLocalMap` 中，并不是存在 `ThreadLocal` 上，`ThreadLocal` 可以理解为只是`ThreadLocalMap`的封装，传递了变量值。** `ThrealLocal` 类中可以通过`Thread.currentThread()`获取到当前线程对象后，直接通过`getMap(Thread t)`可以访问到该线程的`ThreadLocalMap`对象。 +### ReentrantReadWriteLock 适合什么场景？ -**每个`Thread`中都具备一个`ThreadLocalMap`，而`ThreadLocalMap`可以存储以`ThreadLocal`为 key ，Object 对象为 value 的键值对。** +由于 `ReentrantReadWriteLock` 既可以保证多个线程同时读的效率，同时又可以保证有写入操作时的线程安全。因此，在读多写少的情况下，使用 `ReentrantReadWriteLock` 能够明显提升系统性能。 + +### 共享锁和独占锁有什么区别？ + +- **共享锁** ：一把锁可以被多个线程同时获得。 +- **独占锁** ：一把锁只能被一个线程获得。 + +### 线程持有读锁还能获取写锁吗？ + +- 在线程持有读锁的情况下，该线程不能取得写锁(因为获取写锁的时候，如果发现当前的读锁被占用，就马上获取失败，不管读锁是不是被当前线程持有)。 +- 在线程持有写锁的情况下，该线程可以继续获取读锁（获取读锁时如果发现写锁被占用，只有写锁没有被当前线程占用的情况才会获取失败）。 + +读写锁的源码分析，推荐阅读 [聊聊 Java 的几把 JVM 级锁 - 阿里巴巴中间件 ](https://mp.weixin.qq.com/s/h3VIUyH9L0v14MrQJiiDbw) 这篇文章，写的很不错。 + +### 读锁为什么不能升级为写锁？ + +写锁可以降级为读锁，但是读锁却不能升级为写锁。这是因为写锁降级为读锁会引起线程的争夺，毕竟写锁属于是独占锁，这样的话，会影响性能。 + +另外，还可能会有死锁问题发生。举个例子：假设两个线程的读锁都想升级写锁，则需要对方都释放自己锁，而双方都不释放，就会产生死锁。 + +## StampedLock + +`StampedLock` 面试中问的比较少，不是很重要，简单了解即可。 + +### StampedLock 是什么？ + +`StampedLock` 是 JDK 1.8 引入的性能更好的读写锁，不可重入且不支持条件变量 `Conditon`。 + +不同于一般的 `Lock` 类，`StampedLock` 并不是直接实现 `Lock`或 `ReadWriteLock`接口，而是基于 **CLH 锁** 独立实现的（AQS 也是基于这玩意）。 ```java -ThreadLocalMap(ThreadLocal firstKey, Object firstValue) { - //...... +public class StampedLock implements java.io.Serializable { } ``` -比如我们在同一个线程中声明了两个 `ThreadLocal` 对象的话， `Thread`内部都是使用仅有的那个`ThreadLocalMap` 存放数据的，`ThreadLocalMap`的 key 就是 `ThreadLocal`对象，value 就是 `ThreadLocal` 对象调用`set`方法设置的值。 +`StampedLock` 提供了三种模式的读写控制模式：读锁、写锁和乐观读。 -`ThreadLocal` 数据结构如下图所示： +- **写锁**：独占锁，一把锁只能被一个线程获得。当一个线程获取写锁后，其他请求读锁和写锁的线程必须等待。类似于 `ReentrantReadWriteLock` 的写锁，不过这里的写锁是不可重入的。 +- **读锁** （悲观读）：共享锁，没有线程获取写锁的情况下，多个线程可以同时持有读锁。如果己经有线程持有写锁，则其他线程请求获取该读锁会被阻塞。类似于 `ReentrantReadWriteLock` 的读锁，不过这里的读锁是不可重入的。 +- **乐观读** ：允许多个线程获取乐观读以及读锁。同时允许一个写线程获取写锁。 -![ThreadLocal 数据结构](https://guide-blog-images.oss-cn-shenzhen.aliyuncs.com/github/javaguide/java/concurrent/threadlocal-data-structure.png) - -`ThreadLocalMap`是`ThreadLocal`的静态内部类。 - -![ThreadLocal内部类](https://guide-blog-images.oss-cn-shenzhen.aliyuncs.com/github/javaguide/java/concurrent/thread-local-inner-class.png) - -### ThreadLocal 内存泄露问题是怎么导致的？ - -`ThreadLocalMap` 中使用的 key 为 `ThreadLocal` 的弱引用，而 value 是强引用。所以，如果 `ThreadLocal` 没有被外部强引用的情况下，在垃圾回收的时候，key 会被清理掉，而 value 不会被清理掉。 - -这样一来，`ThreadLocalMap` 中就会出现 key 为 null 的 Entry。假如我们不做任何措施的话，value 永远无法被 GC 回收，这个时候就可能会产生内存泄露。`ThreadLocalMap` 实现中已经考虑了这种情况，在调用 `set()`、`get()`、`remove()` 方法的时候，会清理掉 key 为 null 的记录。使用完 `ThreadLocal`方法后 最好手动调用`remove()`方法 +另外，`StampedLock` 还支持这三种锁在一定条件下进行相互转换 。 ```java -static class Entry extends WeakReference> { - /** The value associated with this ThreadLocal. */ - Object value; +long tryConvertToWriteLock(long stamp){} +long tryConvertToReadLock(long stamp){} +long tryConvertToOptimisticRead(long stamp){} +``` - Entry(ThreadLocal k, Object v) { - super(k); - value = v; - } +`StampedLock` 在获取锁的时候会返回一个 long 型的数据戳，该数据戳用于稍后的锁释放参数，如果返回的数据戳为 0 则表示锁获取失败。当前线程持有了锁再次获取锁还是会返回一个新的数据戳，这也是`StampedLock`不可重入的原因。 + +```java +// 写锁 +public long writeLock() { + long s, next; // bypass acquireWrite in fully unlocked case only + return ((((s = state) & ABITS) == 0L && + U.compareAndSwapLong(this, STATE, s, next = s + WBIT)) ? + next : acquireWrite(false, 0L)); +} +// 读锁 +public long readLock() { + long s = state, next; // bypass acquireRead on common uncontended case + return ((whead == wtail && (s & ABITS) < RFULL && + U.compareAndSwapLong(this, STATE, s, next = s + RUNIT)) ? + next : acquireRead(false, 0L)); +} +// 乐观读 +public long tryOptimisticRead() { + long s; + return (((s = state) & WBIT) == 0L) ? (s & SBITS) : 0L; } ``` -**弱引用介绍：** +### StampedLock 的性能为什么更好？ -> 如果一个对象只具有弱引用，那就类似于**可有可无的生活用品**。弱引用与软引用的区别在于：只具有弱引用的对象拥有更短暂的生命周期。在垃圾回收器线程扫描它 所管辖的内存区域的过程中，一旦发现了只具有弱引用的对象，不管当前内存空间足够与否，都会回收它的内存。不过，由于垃圾回收器是一个优先级很低的线程， 因此不一定会很快发现那些只具有弱引用的对象。 -> -> 弱引用可以和一个引用队列（ReferenceQueue）联合使用，如果弱引用所引用的对象被垃圾回收，Java 虚拟机就会把这个弱引用加入到与之关联的引用队列中。 +相比于传统读写锁多出来的乐观读是`StampedLock`比 `ReadWriteLock` 性能更好的关键原因。`StampedLock` 的乐观读允许一个写线程获取写锁，所以不会导致所有写线程阻塞，也就是当读多写少的时候，写线程有机会获取写锁，减少了线程饥饿的问题，吞吐量大大提高。 + +### StampedLock 适合什么场景？ + +和 `ReentrantReadWriteLock` 一样，`StampedLock` 同样适合读多写少的业务场景，可以作为 `ReentrantReadWriteLock`的替代品，性能更好。 + +不过，需要注意的是`StampedLock`不可重入，不支持条件变量 `Conditon`，对中断操作支持也不友好（使用不当容易导致 CPU 飙升）。如果你需要用到 `ReentrantLock` 的一些高级性能，就不太建议使用 `StampedLock` 了。 + +另外，`StampedLock` 性能虽好，但使用起来相对比较麻烦，一旦使用不当，就会出现生产问题。强烈建议你在使用`StampedLock` 之前，看看 [StampedLock 官方文档中的案例](https://docs.oracle.com/javase/8/docs/api/java/util/concurrent/locks/StampedLock.html)。 + +### StampedLock 的底层原理了解吗？ + +`StampedLock` 不是直接实现 `Lock`或 `ReadWriteLock`接口，而是基于 **CLH 锁** 实现的（AQS 也是基于这玩意），CLH 锁是对自旋锁的一种改良，是一种隐式的链表队列。`StampedLock` 通过 CLH 队列进行线程的管理，通过同步状态值 `state` 来表示锁的状态和类型。 + +`StampedLock` 的原理和 AQS 原理比较类似，这里就不详细介绍了，感兴趣的可以看看下面这两篇文章： + +- [AQS 详解](https://javaguide.cn/java/concurrent/aqs.html) +- [StampedLock 底层原理分析](https://segmentfault.com/a/1190000015808032) + +如果你只是准备面试的话，建议多花点经历搞懂 AQS 原理即可，StampedLock 底层原理在面试中遇到的概率非常小。 ## Atomic 原子类 @@ -677,5 +668,8 @@ Atomic 原子类部分的内容我单独写了一篇文章来总结： [Atomic - 《深入理解 Java 虚拟机》 - 《实战 Java 高并发程序设计》 - Guide to the Volatile Keyword in Java - Baeldung：https://www.baeldung.com/java-volatile +- 不可不说的 Java“锁”事 - 美团技术团队：https://tech.meituan.com/2018/11/15/java-lock.html +- 在 ReadWriteLock 类中读锁为什么不能升级为写锁？：https://cloud.tencent.com/developer/article/1176230 +- 高性能解决线程饥饿的利器 StampedLock：https://mp.weixin.qq.com/s/2Acujjr4BHIhlFsCLGwYSg - 理解 Java 中的 ThreadLocal - 技术小黑屋：https://droidyue.com/blog/2016/03/13/learning-threadlocal-in-java/ - ThreadLocal (Java Platform SE 8 ) - Oracle Help Center：https://docs.oracle.com/javase/8/docs/api/java/lang/ThreadLocal.html diff --git a/docs/java/concurrent/java-concurrent-questions-03.md b/docs/java/concurrent/java-concurrent-questions-03.md index e00adaa1..6476ca05 100644 --- a/docs/java/concurrent/java-concurrent-questions-03.md +++ b/docs/java/concurrent/java-concurrent-questions-03.md @@ -12,6 +12,177 @@ head: content: Java并发常见知识点和面试题总结（含详细解答），希望对你有帮助！ --- +## ThreadLocal + +### ThreadLocal 有什么用？ + +通常情况下，我们创建的变量是可以被任何一个线程访问并修改的。**如果想实现每一个线程都有自己的专属本地变量该如何解决呢？** + +JDK 中自带的`ThreadLocal`类正是为了解决这样的问题。 **`ThreadLocal`类主要解决的就是让每个线程绑定自己的值，可以将`ThreadLocal`类形象的比喻成存放数据的盒子，盒子中可以存储每个线程的私有数据。** + +如果你创建了一个`ThreadLocal`变量，那么访问这个变量的每个线程都会有这个变量的本地副本，这也是`ThreadLocal`变量名的由来。他们可以使用 `get()` 和 `set()` 方法来获取默认值或将其值更改为当前线程所存的副本的值，从而避免了线程安全问题。 + +再举个简单的例子：两个人去宝屋收集宝物，这两个共用一个袋子的话肯定会产生争执，但是给他们两个人每个人分配一个袋子的话就不会出现这样的问题。如果把这两个人比作线程的话，那么 ThreadLocal 就是用来避免这两个线程竞争的。 + +### 如何使用 ThreadLocal？ + +相信看了上面的解释，大家已经搞懂 `ThreadLocal` 类是个什么东西了。下面简单演示一下如何在项目中实际使用 `ThreadLocal` 。 + +```java +import java.text.SimpleDateFormat; +import java.util.Random; + +public class ThreadLocalExample implements Runnable{ + + // SimpleDateFormat 不是线程安全的，所以每个线程都要有自己独立的副本 + private static final ThreadLocal formatter = ThreadLocal.withInitial(() -> new SimpleDateFormat("yyyyMMdd HHmm")); + + public static void main(String[] args) throws InterruptedException { + ThreadLocalExample obj = new ThreadLocalExample(); + for(int i=0 ; i<10; i++){ + Thread t = new Thread(obj, ""+i); + Thread.sleep(new Random().nextInt(1000)); + t.start(); + } + } + + @Override + public void run() { + System.out.println("Thread Name= "+Thread.currentThread().getName()+" default Formatter = "+formatter.get().toPattern()); + try { + Thread.sleep(new Random().nextInt(1000)); + } catch (InterruptedException e) { + e.printStackTrace(); + } + //formatter pattern is changed here by thread, but it won't reflect to other threads + formatter.set(new SimpleDateFormat()); + + System.out.println("Thread Name= "+Thread.currentThread().getName()+" formatter = "+formatter.get().toPattern()); + } + +} + +``` + +输出结果 : + +``` +Thread Name= 0 default Formatter = yyyyMMdd HHmm +Thread Name= 0 formatter = yy-M-d ah:mm +Thread Name= 1 default Formatter = yyyyMMdd HHmm +Thread Name= 2 default Formatter = yyyyMMdd HHmm +Thread Name= 1 formatter = yy-M-d ah:mm +Thread Name= 3 default Formatter = yyyyMMdd HHmm +Thread Name= 2 formatter = yy-M-d ah:mm +Thread Name= 4 default Formatter = yyyyMMdd HHmm +Thread Name= 3 formatter = yy-M-d ah:mm +Thread Name= 4 formatter = yy-M-d ah:mm +Thread Name= 5 default Formatter = yyyyMMdd HHmm +Thread Name= 5 formatter = yy-M-d ah:mm +Thread Name= 6 default Formatter = yyyyMMdd HHmm +Thread Name= 6 formatter = yy-M-d ah:mm +Thread Name= 7 default Formatter = yyyyMMdd HHmm +Thread Name= 7 formatter = yy-M-d ah:mm +Thread Name= 8 default Formatter = yyyyMMdd HHmm +Thread Name= 9 default Formatter = yyyyMMdd HHmm +Thread Name= 8 formatter = yy-M-d ah:mm +Thread Name= 9 formatter = yy-M-d ah:mm +``` + +从输出中可以看出，虽然 `Thread-0` 已经改变了 `formatter` 的值，但 `Thread-1` 默认格式化值与初始化值相同，其他线程也一样。 + +上面有一段代码用到了创建 `ThreadLocal` 变量的那段代码用到了 Java8 的知识，它等于下面这段代码，如果你写了下面这段代码的话，IDEA 会提示你转换为 Java8 的格式(IDEA 真的不错！)。因为 ThreadLocal 类在 Java 8 中扩展，使用一个新的方法`withInitial()`，将 Supplier 功能接口作为参数。 + +```java +private static final ThreadLocal formatter = new ThreadLocal(){ + @Override + protected SimpleDateFormat initialValue(){ + return new SimpleDateFormat("yyyyMMdd HHmm"); + } +}; +``` + +### ThreadLocal 原理了解吗？ + +从 `Thread`类源代码入手。 + +```java +public class Thread implements Runnable { + //...... + //与此线程有关的ThreadLocal值。由ThreadLocal类维护 + ThreadLocal.ThreadLocalMap threadLocals = null; + + //与此线程有关的InheritableThreadLocal值。由InheritableThreadLocal类维护 + ThreadLocal.ThreadLocalMap inheritableThreadLocals = null; + //...... +} +``` + +从上面`Thread`类 源代码可以看出`Thread` 类中有一个 `threadLocals` 和 一个 `inheritableThreadLocals` 变量，它们都是 `ThreadLocalMap` 类型的变量,我们可以把 `ThreadLocalMap` 理解为`ThreadLocal` 类实现的定制化的 `HashMap`。默认情况下这两个变量都是 null，只有当前线程调用 `ThreadLocal` 类的 `set`或`get`方法时才创建它们，实际上调用这两个方法的时候，我们调用的是`ThreadLocalMap`类对应的 `get()`、`set()`方法。 + +`ThreadLocal`类的`set()`方法 + +```java +public void set(T value) { + //获取当前请求的线程 + Thread t = Thread.currentThread(); + //取出 Thread 类内部的 threadLocals 变量(哈希表结构) + ThreadLocalMap map = getMap(t); + if (map != null) + // 将需要存储的值放入到这个哈希表中 + map.set(this, value); + else + createMap(t, value); +} +ThreadLocalMap getMap(Thread t) { + return t.threadLocals; +} +``` + +通过上面这些内容，我们足以通过猜测得出结论：**最终的变量是放在了当前线程的 `ThreadLocalMap` 中，并不是存在 `ThreadLocal` 上，`ThreadLocal` 可以理解为只是`ThreadLocalMap`的封装，传递了变量值。** `ThrealLocal` 类中可以通过`Thread.currentThread()`获取到当前线程对象后，直接通过`getMap(Thread t)`可以访问到该线程的`ThreadLocalMap`对象。 + +**每个`Thread`中都具备一个`ThreadLocalMap`，而`ThreadLocalMap`可以存储以`ThreadLocal`为 key ，Object 对象为 value 的键值对。** + +```java +ThreadLocalMap(ThreadLocal firstKey, Object firstValue) { + //...... +} +``` + +比如我们在同一个线程中声明了两个 `ThreadLocal` 对象的话， `Thread`内部都是使用仅有的那个`ThreadLocalMap` 存放数据的，`ThreadLocalMap`的 key 就是 `ThreadLocal`对象，value 就是 `ThreadLocal` 对象调用`set`方法设置的值。 + +`ThreadLocal` 数据结构如下图所示： + +![ThreadLocal 数据结构](https://guide-blog-images.oss-cn-shenzhen.aliyuncs.com/github/javaguide/java/concurrent/threadlocal-data-structure.png) + +`ThreadLocalMap`是`ThreadLocal`的静态内部类。 + +![ThreadLocal内部类](https://guide-blog-images.oss-cn-shenzhen.aliyuncs.com/github/javaguide/java/concurrent/thread-local-inner-class.png) + +### ThreadLocal 内存泄露问题是怎么导致的？ + +`ThreadLocalMap` 中使用的 key 为 `ThreadLocal` 的弱引用，而 value 是强引用。所以，如果 `ThreadLocal` 没有被外部强引用的情况下，在垃圾回收的时候，key 会被清理掉，而 value 不会被清理掉。 + +这样一来，`ThreadLocalMap` 中就会出现 key 为 null 的 Entry。假如我们不做任何措施的话，value 永远无法被 GC 回收，这个时候就可能会产生内存泄露。`ThreadLocalMap` 实现中已经考虑了这种情况，在调用 `set()`、`get()`、`remove()` 方法的时候，会清理掉 key 为 null 的记录。使用完 `ThreadLocal`方法后 最好手动调用`remove()`方法 + +```java +static class Entry extends WeakReference> { + /** The value associated with this ThreadLocal. */ + Object value; + + Entry(ThreadLocal k, Object v) { + super(k); + value = v; + } +} +``` + +**弱引用介绍：** + +> 如果一个对象只具有弱引用，那就类似于**可有可无的生活用品**。弱引用与软引用的区别在于：只具有弱引用的对象拥有更短暂的生命周期。在垃圾回收器线程扫描它 所管辖的内存区域的过程中，一旦发现了只具有弱引用的对象，不管当前内存空间足够与否，都会回收它的内存。不过，由于垃圾回收器是一个优先级很低的线程， 因此不一定会很快发现那些只具有弱引用的对象。 +> +> 弱引用可以和一个引用队列（ReferenceQueue）联合使用，如果弱引用所引用的对象被垃圾回收，Java 虚拟机就会把这个弱引用加入到与之关联的引用队列中。 + ## 线程池 ### 什么是线程池? @@ -32,20 +203,22 @@ head: ### 如何创建线程池？ -**方式一：通过`ThreadPoolExecutor`构造函数实现（推荐）** +**方式一：通过`ThreadPoolExecutor`构造函数来创建（推荐）。** ![通过构造方法实现](./images/java-thread-pool-summary/threadpoolexecutor构造函数.png) -**方式二：通过 `Executor` 框架的工具类 `Executors` 来实现** -我们可以创建三种类型的 `ThreadPoolExecutor`： +**方式二：通过 `Executor` 框架的工具类 `Executors` 来创建。** + +我们可以创建多种类型的 `ThreadPoolExecutor`： - **`FixedThreadPool`** ： 该方法返回一个固定线程数量的线程池。该线程池中的线程数量始终不变。当有一个新的任务提交时，线程池中若有空闲线程，则立即执行。若没有，则新的任务会被暂存在一个任务队列中，待有线程空闲时，便处理在任务队列中的任务。 -- **`SingleThreadExecutor`：** 方法返回一个只有一个线程的线程池。若多余一个任务被提交到该线程池，任务会被保存在一个任务队列中，待线程空闲，按先入先出的顺序执行队列中的任务。 +- **`SingleThreadExecutor`：** 该方法返回一个只有一个线程的线程池。若多余一个任务被提交到该线程池，任务会被保存在一个任务队列中，待线程空闲，按先入先出的顺序执行队列中的任务。 - **`CachedThreadPool`：** 该方法返回一个可根据实际情况调整线程数量的线程池。线程池的线程数量不确定，但若有空闲线程可以复用，则会优先使用可复用的线程。若所有线程均在工作，又有新的任务提交，则会创建新的线程处理任务。所有线程在当前任务执行完毕后，将返回线程池进行复用。 +- **`ScheduledThreadPool`** ：该返回一个用来在给定的延迟后运行任务或者定期执行任务的线程池。 -对应 Executors 工具类中的方法如图所示： +对应 `Executors` 工具类中的方法如图所示： -![通过Executor 框架的工具类Executors来实现](./images/java-thread-pool-summary/Executors工具类.png) +![](https://guide-blog-images.oss-cn-shenzhen.aliyuncs.com/github/javaguide/java/concurrent/executors-inner-threadpool.png) ### 为什么不推荐使用内置线程池？ diff --git a/docs/java/concurrent/java-thread-pool-summary.md b/docs/java/concurrent/java-thread-pool-summary.md index 6d898ed3..818707a2 100644 --- a/docs/java/concurrent/java-thread-pool-summary.md +++ b/docs/java/concurrent/java-thread-pool-summary.md @@ -47,7 +47,7 @@ tag: 如下图所示，包括任务执行机制的核心接口 **`Executor`** ，以及继承自 `Executor` 接口的 **`ExecutorService` 接口。`ThreadPoolExecutor`** 和 **`ScheduledThreadPoolExecutor`** 这两个关键类实现了 **`ExecutorService`** 接口。 -![任务的执行相关接口](./images/java-thread-pool-summary/任务的执行相关接口.png) +![](https://guide-blog-images.oss-cn-shenzhen.aliyuncs.com/github/javaguide/java/concurrent/executor-class-diagram.png) 这里提了很多底层的类关系，但是，实际上我们需要更多关注的是 `ThreadPoolExecutor` 这个类，这个类在我们实际使用线程池的过程中，使用频率还是非常高的。 @@ -154,20 +154,24 @@ Spring 通过 `ThreadPoolTaskExecutor` 或者我们直接通过 `ThreadPoolExecu ### 线程池创建两种方式 -**方式一：通过`ThreadPoolExecutor`构造函数实现（推荐）** +**方式一：通过`ThreadPoolExecutor`构造函数来创建（推荐）。** ![通过构造方法实现](./images/java-thread-pool-summary/threadpoolexecutor构造函数.png) -**方式二：通过 `Executor` 框架的工具类 `Executors` 来实现** -我们可以创建三种类型的 `ThreadPoolExecutor`： +**方式二：通过 `Executor` 框架的工具类 `Executors` 来创建。** + +我们可以创建多种类型的 `ThreadPoolExecutor`： - **`FixedThreadPool`** ： 该方法返回一个固定线程数量的线程池。该线程池中的线程数量始终不变。当有一个新的任务提交时，线程池中若有空闲线程，则立即执行。若没有，则新的任务会被暂存在一个任务队列中，待有线程空闲时，便处理在任务队列中的任务。 -- **`SingleThreadExecutor`：** 方法返回一个只有一个线程的线程池。若多余一个任务被提交到该线程池，任务会被保存在一个任务队列中，待线程空闲，按先入先出的顺序执行队列中的任务。 +- **`SingleThreadExecutor`：** 该方法返回一个只有一个线程的线程池。若多余一个任务被提交到该线程池，任务会被保存在一个任务队列中，待线程空闲，按先入先出的顺序执行队列中的任务。 - **`CachedThreadPool`：** 该方法返回一个可根据实际情况调整线程数量的线程池。线程池的线程数量不确定，但若有空闲线程可以复用，则会优先使用可复用的线程。若所有线程均在工作，又有新的任务提交，则会创建新的线程处理任务。所有线程在当前任务执行完毕后，将返回线程池进行复用。 +- **`ScheduledThreadPool`** ：该返回一个用来在给定的延迟后运行任务或者定期执行任务的线程池。 + +对应 `Executors` 工具类中的方法如图所示： + +![](https://guide-blog-images.oss-cn-shenzhen.aliyuncs.com/github/javaguide/java/concurrent/executors-inner-threadpool.png) -对应 Executors 工具类中的方法如图所示： -![通过Executor 框架的工具类Executors来实现](./images/java-thread-pool-summary/Executors工具类.png) 《阿里巴巴 Java 开发手册》强制线程池不允许使用 `Executors` 去创建，而是通过 `ThreadPoolExecutor` 构造函数的方式，这样的处理方式让写的同学更加明确线程池的运行规则，规避资源耗尽的风险 diff --git a/docs/java/concurrent/reentrantlock.md b/docs/java/concurrent/reentrantlock.md index 49d86210..2d361937 100644 --- a/docs/java/concurrent/reentrantlock.md +++ b/docs/java/concurrent/reentrantlock.md @@ -9,8 +9,6 @@ tag: > > 作者：美团技术团队 -## 前言 - Java 中的大部分同步类（Semaphore、ReentrantLock 等）都是基于 AbstractQueuedSynchronizer（简称为 AQS）实现的。AQS 是一种提供了原子式管理同步状态、阻塞和唤醒线程功能以及队列模型的简单框架。 本文会从应用层逐渐深入到原理层，并通过 ReentrantLock 的基本特性和 ReentrantLock 与 AQS 的关联，来深入解读 AQS 相关独占锁的知识点，同时采取问答的模式来帮助大家理解 AQS。由于篇幅原因，本篇文章主要阐述 AQS 中独占锁的逻辑和 Sync Queue，不讲述包含共享锁和 Condition Queue 的部分（本篇文章核心为 AQS 原理剖析，只是简单介绍了 ReentrantLock，感兴趣同学可以阅读一下 ReentrantLock 的源码）。 @@ -202,7 +200,7 @@ private volatile int state; 对于我们自定义的同步工具，需要自定义获取同步状态和释放状态的方式，也就是 AQS 架构图中的第一层：API 层。 -## 2.2 AQS 重要方法与 ReentrantLock 的关联 +### 2.2 AQS 重要方法与 ReentrantLock 的关联 从架构图中可以得知，AQS 提供了大量用于自定义同步器实现的 Protected 方法。自定义同步器实现的相关方法也只是为了通过修改 State 字段来实现多线程的独占模式或者共享模式。自定义同步器需要实现以下方法（ReentrantLock 需要实现的方法如下，并不是全部）： @@ -268,7 +266,7 @@ private volatile int state; ![](https://p0.meituan.net/travelcube/f30c631c8ebbf820d3e8fcb6eee3c0ef18748.png) -## 2.3 通过 ReentrantLock 理解 AQS +## 3 通过 ReentrantLock 理解 AQS ReentrantLock 中公平锁和非公平锁在底层是相同的，这里以非公平锁为例进行分析。 @@ -312,13 +310,13 @@ protected boolean tryAcquire(int arg) { 可以看出，这里只是 AQS 的简单实现，具体获取锁的实现方法是由各自的公平锁和非公平锁单独实现的（以 ReentrantLock 为例）。如果该方法返回了 True，则说明当前线程获取锁成功，就不用往后执行了；如果获取失败，就需要加入到等待队列中。下面会详细解释线程是何时以及怎样被加入进等待队列中的。 -### 2.3.1 线程加入等待队列 +### 3.1 线程加入等待队列 -#### 2.3.1.1 加入队列的时机 +#### 3.1.1 加入队列的时机 当执行 Acquire(1)时，会通过 tryAcquire 获取锁。在这种情况下，如果获取锁失败，就会调用 addWaiter 加入到等待队列中去。 -#### 2.3.1.2 如何加入队列 +#### 3.1.2 如何加入队列 获取锁失败后，会执行 addWaiter(Node.EXCLUSIVE)加入等待队列，具体实现方法如下： @@ -395,12 +393,13 @@ private Node enq(final Node node) { 总结一下，线程获取锁的时候，过程大体如下： -1. 当没有线程获取到锁时，线程 1 获取锁成功。 -2. 线程 2 申请锁，但是锁被线程 1 占有。 +1、当没有线程获取到锁时，线程 1 获取锁成功。 + +2、线程 2 申请锁，但是锁被线程 1 占有。 ![img](https://p0.meituan.net/travelcube/e9e385c3c68f62c67c8d62ab0adb613921117.png) -1. 如果再有线程要获取锁，依次在队列中往后排队即可。 +3、如果再有线程要获取锁，依次在队列中往后排队即可。 回到上边的代码，hasQueuedPredecessors 是公平锁加锁时判断等待队列中是否存在有效节点的方法。如果返回 False，说明当前线程可以争取共享资源；如果返回 True，说明队列中存在有效节点，当前线程必须加入到等待队列中。 @@ -439,7 +438,7 @@ if (t == null) { // Must initialize 节点入队不是原子操作，所以会出现短暂的 head != tail，此时 Tail 指向最后一个节点，而且 Tail 指向 Head。如果 Head 没有指向 Tail（可见 5、6、7 行），这种情况下也需要将相关线程加入队列中。所以这块代码是为了解决极端情况下的并发问题。 -#### 2.3.1.3 等待队列中线程出队列时机 +#### 3.1.3 等待队列中线程出队列时机 回到最初的源码： @@ -549,7 +548,7 @@ private final boolean parkAndCheckInterrupt() { - shouldParkAfterFailedAcquire 中取消节点是怎么生成的呢？什么时候会把一个节点的 waitStatus 设置为-1？ - 是在什么时间释放节点通知到被挂起的线程呢？ -### 2.3.2 CANCELLED 状态节点生成 +### 3.2 CANCELLED 状态节点生成 acquireQueued 方法中的 Finally 代码： @@ -651,7 +650,7 @@ private void cancelAcquire(Node node) { > } while (pred.waitStatus > 0); > ``` -### 2.3.3 如何解锁 +### 3.3 如何解锁 我们已经剖析了加锁过程中的基本流程，接下来再对解锁的基本流程进行分析。由于 ReentrantLock 在解锁的时候，并不区分公平锁和非公平锁，所以我们直接看解锁的源码： @@ -782,7 +781,7 @@ private Node addWaiter(Node mode) { 综上所述，如果是从前往后找，由于极端情况下入队的非原子操作和 CANCELLED 节点产生过程中断开 Next 指针的操作，可能会导致无法遍历所有的节点。所以，唤醒对应的线程后，对应的线程就会继续往下执行。继续执行 acquireQueued 方法以后，中断如何处理？ -### 2.3.4 中断恢复后的执行流程 +### 3.4 中断恢复后的执行流程 唤醒后，会执行 return Thread.interrupted();，这个函数返回的是当前执行线程的中断状态，并清除。 @@ -839,7 +838,7 @@ static void selfInterrupt() { 这里的处理方式主要是运用线程池中基本运作单元 Worder 中的 runWorker，通过 Thread.interrupted()进行额外的判断处理，感兴趣的同学可以看下 ThreadPoolExecutor 源码。 -### 2.3.5 小结 +### 3.5 小结 我们在 1.3 小节中提出了一些问题，现在来回答一下。 @@ -863,9 +862,9 @@ static void selfInterrupt() { > > A：AQS 的 Acquire 会调用 tryAcquire 方法，tryAcquire 由各个自定义同步器实现，通过 tryAcquire 完成加锁过程。 -## 3 AQS 应用 +## 4 AQS 应用 -### 3.1 ReentrantLock 的可重入应用 +### 4.1 ReentrantLock 的可重入应用 ReentrantLock 的可重入性是 AQS 很好的应用之一，在了解完上述知识点以后，我们很容易得知 ReentrantLock 实现可重入的方法。在 ReentrantLock 里面，不管是公平锁还是非公平锁，都有一段逻辑。 @@ -923,7 +922,7 @@ private volatile int state; 2. 当有线程持有该锁时，值就会在原来的基础上+1，同一个线程多次获得锁是，就会多次+1，这里就是可重入的概念。 3. 解锁也是对这个字段-1，一直到 0，此线程对锁释放。 -### 3.2 JUC 中的应用场景 +### 4.2 JUC 中的应用场景 除了上边 ReentrantLock 的可重入性的应用，AQS 作为并发编程的框架，为很多其他同步工具提供了良好的解决方案。下面列出了 JUC 中的几种同步工具，大体介绍一下 AQS 的应用场景： @@ -935,7 +934,7 @@ private volatile int state; | ReentrantReadWriteLock | 使用 AQS 同步状态中的 16 位保存写锁持有的次数，剩下的 16 位用于保存读锁的持有次数。 | | ThreadPoolExecutor | Worker 利用 AQS 同步状态实现对独占线程变量的设置（tryAcquire 和 tryRelease）。 | -### 3.3 自定义同步工具 +### 4.3 自定义同步工具 了解 AQS 基本原理以后，按照上面所说的 AQS 知识点，自己实现一个同步工具。 @@ -1011,7 +1010,7 @@ public class LeeMain { 上述代码每次运行结果都会是 20000。通过简单的几行代码就能实现同步功能，这就是 AQS 的强大之处。 -## 总结 +## 5 总结 我们日常开发中使用并发的场景太多，但是对并发内部的基本框架原理了解的人却不多。由于篇幅原因，本文仅介绍了可重入锁 ReentrantLock 的原理和 AQS 原理，希望能够成为大家了解 AQS 和 ReentrantLock 等同步器的“敲门砖”。