From 85380dea8d5979d5129623c5d9f93894cc4f0a61 Mon Sep 17 00:00:00 2001 From: Pingbo Wen Date: Sat, 26 Mar 2022 20:43:25 -0700 Subject: [PATCH] articles: add riscv atomics intro Signed-off-by: Pingbo Wen --- articles/20220323-riscv-atomics.md | 105 ++++++++++++++++++ .../riscv_atomics/riscv-aqrl.drawio.png | Bin 0 -> 13288 bytes 2 files changed, 105 insertions(+) create mode 100644 articles/20220323-riscv-atomics.md create mode 100755 articles/images/riscv_atomics/riscv-aqrl.drawio.png diff --git a/articles/20220323-riscv-atomics.md b/articles/20220323-riscv-atomics.md new file mode 100644 index 0000000..e81737a --- /dev/null +++ b/articles/20220323-riscv-atomics.md @@ -0,0 +1,105 @@ +> Author: Pingbo Wen +> Date: 2022/03/23 +> Project: https://gitee.com/tinylab/riscv-linux + +# RISC-V 原子指令介绍 + +RISC-V 把原子指令划分成单独的指令扩展，命名为 'A'。该扩展中主要包含两部分，一个 LR/SC 指令，另外一个是 AMO 指令。 + +## LR/SC 指令 + +LR 指令是 Load Reserved 的缩写，读取保留；SC 指令是 Store Conditional 的缩写，条件存储。 + +LR 指令格式及其变种如下： + +> lr.{w/d}.{aqrl} rd, (rs1) + +lr指令是从内存地址 rs1 中加载内容到 rd 寄存器。然后在 rs1 对应地址上设置保留标记(reservation set)。其中 w/d 分别对应 32 位/64 位版本。 + +SC 指令格式及其变种如下： + +> sc.{w/d}.{aqrl} rd, rs2, (rs1) + +sc 指令在把 rs2 值写到 rs1 地址之前，会先判断 rs1 内存地址是否有设置保留标记，如果设置了，则把 rs2 值正常写入到 rs1 内存地址里，并把 rd 寄存器设置成 0，表示保存成功。如果 rs1 内存地址没有设置保留标记，则不保存，并把 rd 寄存器设置成 1 表示保存失败。不管成功还是失败，sc 指令都会把当前 hart 保留的所有保留标记全部清除。其中 w/d 分别对应 32 位/64 位版本。 + +为了方便理解，我们用伪代码重新描述一下 sc.d 指令： + +``` +if (is_reserved(rs1)) { + *rs1 = rs2 + rd = 0 +} else + rd = 1 +clean_reservation_set(cur_hart) +``` + +注意在 RISC-V 的 Spec 中只规定了 sc 指令如果失败了，会往 rd 寄存器中写入非零值，并不一定是 1。 + +对于 lr/sc 指令，要求 rs1 寄存器中的地址是按宽度对齐的，比如 lr.w 要求 4 字节对齐，sc.d 要求 8 字节对齐。否则会触发非对齐异常。 + +如果在 sc 指令之前，当前 hart 观察到了对应内存地址被其他 hart 写了，则 sc 指令会失败。相当于保留标记失效了。如果对应内存地址被外部设备（非 hart）或者总线写了，外部设备需要主动把写范围内的保留标记清除，不在写入范围的字节不需要清除保留标记。 + +利用 LR/SC 指令，我们可以实现 CAS(Compare and swap) 操作，代码如下： + +``` +# Expected old value in a1, new value in a2 +retry: + lr.w a3, (a0) + bne a3, a1, fail + sc.w a3, a2, (a0) + bnez a3, retry + success code after CAS ... +fail: + fail code after CAS ... +``` + +RISC-V 对 LR 和 SC 之间的指令是有限制的，一个是 LR 和 SC 之间最大只能包含 16 个指令，另外这些指令只能使用基础整数指令集（指令集 "I"，不包含内存访问指令，跳转指令，fence 和 system 指令）。具体可以参考 Spec 10.3 章节。如果违反了这些限制，LR/SC 指令的效果是不受约束的，可能在一些芯片实现上能保证原子性，在另外一些芯片实现上不能保证。 + +## AMO 指令 + +AMO 是 Atomic Memory Operation 的缩写。AMO 指令有如下几个： + +AMO 指令 | 格式 | 说明 +---------|------|----- +AMOSWAP | amoswap.{w/d}.{aqrl} rd, rs2, (rs1) | 原子交换指令，rd = *rs1, *rs1 = rs2 +AMOADD | amoadd.{w/d}.{aqrl} rd, rs2, (rs1) | 原子加法指令，rd = *rs1, *rs1 += rs2 +AMOAND | amoand.{w/d}.{aqrl} rd, rs2, (rs1) | 原子按位与指令，rd = *rs1, *rs1 &= rs2 +AMOOR | amoor.{w/d}.{aqrl} rd, rs2, (rs1) | 原子按位或指令，rd = *rs1, *rs1 |= rs2 +AMOXOR | amoxor.{w/d}.{aqrl} rd, rs2, (rs1) | 原子按位异或指令，rd = *rs1, *rs1 ^= rs2 +AMOMAX | amomax.{w/d}.{aqrl} rd, rs2, (rs1) | 原子有符号取最大值指令，rd = *rs1, *rs1 = max(*rs1, rs2) +AMOMAXU | amomaxu.{w/d}.{aqrl} rd, rs2, (rs1) | 原子无符号取最大值指令，rd = *rs1, *rs1 = maxu(*rs1, rs2) +AMOMIN | amomin.{w/d}.{aqrl} rd, rs2, (rs1) | 原子有符号取最小值指令，rd = *rs1, *rs1 = min(*rs1, rs2) +AMOMINU | amominu.{w/d}.{aqrl} rd, rs2, (rs1) | 原子无符号取最小值指令，rd = *rs1, *rs1 = minu(*rs1, rs2) + +和 LR/SC 指令类似，所有的 AMO 指令都要求 rs1 寄存器的地址是按宽带对齐的，否则会触发异常。 + +## 内存访问顺序(Memory Order) + +RISC-V 和 ARM 类似，内存模型都是弱内存模型(relax memory model)，这意味着，在不加额外限制的情况下，内存访问指令并不会完全按照指令顺序执行。RISC-V 有一个 FENCE 指令，可以用来显示添加内存顺序限制。为了提高效率，RISC-V 为每个原子指令都预留 aq/rl 两个比特位，从而可以很方便在原子指令上施加额外的内存顺序限制。原子指令是用来在不同 hart 之间做同步用的，而内存访问顺序强调的是同一个 hart 内的执行顺序。 + +在上面介绍 LR/SC 和 AMO 指令时，每个指令后面都带有一个 "aqrl" 的可选后缀。aq 是 acquire 的缩写，rl 是 release 的缩写。LR/SC 和 AMO 指令就是通过这两个后缀来添加额外的内存顺序限制。具体定义如下： + +Acquire | Release | 含义 +--------|---------|------ +0 | 0 | 没有顺序限制 +0 | 1 | 该指令前序所有访问存储的指令的结果必须在该指令执行之前被观察到 +1 | 0 | 该指令后序所有访问存储的指令必须等该指令执行完成后才开始执行 +1 | 1 | 该指令前序所有访问存储的指令的结果必须在该指令执行之前被观察到，该指令后序所有访问存储的指令必须等该指令执行完成后才开始执行 + +为了加深理解，我们可以看如下示意图： + +![RISCV AQRL 示意图](images/riscv_atomics/riscv-aqrl.drawio.png) + +aq 标志位会限制所有**后面**内存访问指令，rl 标志位会限制所有**前面**内存访问指令，而 aqrl 是前两者的效果叠加。分别使用 aq 和 rl 标志位，可以人为的划定一个范围，把这两者之间的内存访问指令框起来。 + +虽然 RISC-V 为每个原子指令都预留了 aq/rl 比特位，但对于一些特定指令，aq/rl 不能随便设置。比如 lr.d.rl 和 sc.d.aq 指令是没有实际意义的，RISC-V 并没有直接禁止这种用法，但这种指令没有预期的原子访问效果。 + +在软件层面，除了使用 FENCE 和 AQRL 手段来限制内存访问顺序之外，还有一种手段可以用，那就是依靠数据依赖链来间接限制内存访问顺序。[C++ 内存模型](https://en.cppreference.com/w/cpp/atomic/memory_order)定义中，给这种方法命名为 memory_order_consume。我们可以用一段 c 代码简单说明一下： + +``` +int *a, *b, *c; +*b = *a + 1; +*c = *b + 1; +``` + +因为第三行代码依赖第二行代码的结果，所以第三行代码执行顺序不可能放到第二行代码之前，这就是数据链依赖。 diff --git a/articles/images/riscv_atomics/riscv-aqrl.drawio.png b/articles/images/riscv_atomics/riscv-aqrl.drawio.png new file mode 100755 index 0000000000000000000000000000000000000000..41da493b5f84efd73e5e31f1c5986b99ce1fdfd4 GIT binary patch literal 13288 zcmZvD2|U!_*FRDbihLuKs8q-{W2|4Y55~@nnXzTe7zQ)e8I&z0vZNwWw2+vY2-(+) zvPH!tdy$m2tXbl@QqS-CKmX_T%E!m&-h1x7=bU@)Iq!3dv$BBm?GfF>#>U2HVr*c; z#>T+_?`2%Oz;mO$F%$e^53qsju@!V2`o_k#drzPtI?yNB-P4=ECI!{sev^VIdQbua zrJx2<5Qx5qKgEXtUcgr$3f|M*lYrlDfha;Ca*9wnh^n0;L<*{_qy`=kHF;%47h9|A`9G*^eWVin13W3@?Y$_e$V248*R2LZpeu3vt2GQKXQDz?a|?|^#No&|FFpq;s!TIctgD5s-7r6Pk##0)PH*- zvMXThZzf9_s!HkVZ~X&20Y6fP>QcH&QhKnhj!;8Ylt0eRH-KhnrRZvFS zd@apFE%6~}J69`DU$~w(LeJAwk17SxbEhCo)O1aZEzOa3MrNuAya~eJ)mj~^YOm@^ zba%C|AQ6x@9x$k~r-7QTE+v%gN({Be==zyr{nSFicvGyto0q2#!pqRtU4`VUiz1Q% zStGbT(p^7@jKC}Dxq)83x;8{#FL!SY(#(*8rO=R+5LlvV;i%`cK6IDHw0Yy_oU2~j2$uNYh?`1{yS0kEQ8=8|X zsA@rEch4;*qJt?EA{C{k3f{etG_(&90YRb+j7-qxc5r`d6B^XOA8X@jg;6F`;J&_8 zTRjBcUqw|9PerJhsarz4tPJpQ9L^dHhhs@p8%sAIaA@`Lo^C#H9NEfDS4A0POfaVb zHif8xhr7Nmc%s$Skh*xhn~4EN&)3`7lZb{9jg@gwlC`yWFvVC2h9?H%gYz$>NAz#zo{Jw+AWP!D7XjvNA7Z48WTO=y8|l()LRF$9X$hZ+Ub z)PhZwr~zKCNYDWnN-)L*>Cub{Zt6h61KicjjlqtpB88psuy5o3V7iG zerTj1SJ2DL!UJz?MxuEK1{)f~tZ}YB_JMl-KKcmI232*l*HbmuC4`_MC2QiL(SewT^#{+HC8sl(!jEez^wypEfiP)qrXP_x5Wm3|GD;{ zhMIZ7Lu_mkY$gV}cEQfmnLNISS?S|v`t{1zb;^qH{}>;V5WIev`^J+J&Jmb<&SCGC z9BLeq{*+2mu{ba}*lsGKKqaVPPNRzrMG8;axO*w5Czhmt@SwgbP2E#$AY;Qedi?Z_ z-FgMd{LW(H#Zph?)|1z-msz|Jn9iN89SmDr(i$A^LCPbRvtBL#stcfOE-v;wBAQ!T zTJl^j7|#dl_D`G5bYDkc-Xmg*f{u`)z}+JFLz9h zXH_lKhpkc7&;NYlH`LS9)7FuxDb1}Y4>`!W-SgBw&@-eWE$BU;n2H+CiWL{5?*2Ms zO!jx`B^d&UFsXsD21xkW5w?; zB7GWpPWZj`NS$_0eumNx^B2B;ajc~!>bHrB>t$ss-=?Ml9eWD%?+P$H(R?4cwzsc% zn+-_hXG&vLMI+q>qf=DPe(G{|pZ$I`@1E@*kvbS|2~^va`hRc04@5irO`JrrjybT% zJMgGBK?nCs+v~w60v31)@O`wDZjwo7v9aId{w;DKj3_XCM|P{li;6}W7^4>>7|ii! z?o=>$cXP^{0x-8``~*>66`iUW%geXj{Ny5NzOGX}n1Eo?m3oP+=Q}U{|%51*6zP-7HFhjVl)IQc~pf7$&38uSPEESsrT15)uL}Wt6tUh50o~J zuXBBuiaow@V4eon+1YhS$Mc!}-F3q`z(t{g80A>jWleFpb9nhe%&F2N*waTg7fOqL zO_06Q&)BvZ9+|k+)kupESL&F~>Y`Y-rvETe*V6v99`WOON{L=UeaNNr{?o5cJIYn? zZtv}s!j{&pq!E??{cqpC6+iK_44wFSk(cjZh59wtwe&Ox+JH5+S`p~-*5NrT$lgdd ze;eLo-$<&sSO245DP-i6i&`eRc5)Zyt(7pD4XgjBD}OqW1f*(#YQT)SIvAII@?rhj zNsCw2WrOkoub_0{NWx=OdI;W z=HKPfw6Sc}!sOd|E`0Gb#JHB+ z*}+1BbV=yXAHw*bal#Kjl}+Y^zlNW7)cPx4?QrfqN3NUsy;d>gf!(XyVEO{Fo#7%t^td8rSBE1 zF**Y&n0>+gH|1mkP=eEN)yoty74PIPU)+0ZLQ4FGW_wHETbIY?#;=#Xxx9KzQ4yhp z3tQ$Sig(Kts#R1v+TwiImZl$+J%mhKRr5>@RCWn;oe+=x|7l;PIFxx``|-mM944h0 z9WO72oxMGRMk`lR3E|Uaii(NyM*k+Aupf|Cexf^Ib7Aq#ef{E~Nff4>?35?^USf2& zXEw=hZEcOPJTq8KV##D*qR;Iv5XH9i)@_xB^zpav7vGd@{mTq7rb?fXdjGS6(JNfnB+){mJhLFG%V9kicy^eidU0wGt z@9}qz8$B<;s(Z8d?K5Mr?qe@(M6+vLWPlWJnBP`0ad5Z|b+xxod;0XLF@-X_#(VJ4 zp_JU*-1MH^yLP#UciQjzxN-emCUW@Y%a`dzH9i-ToJ37m;D*eb(Ha4IY#a|y@FRIw z<5+p)@#nRTN(;LO4xSMK>V;PmQ$olWO{mP=zbt)x_49pBx+pCZVzAkjBe4V0; zzsh{e2PqSstXrEAd{0)<{^t^S)->{P-9ku!yFJVPL6*XvYjGr(`+gy34g)EFi?x-I z<;naW5XW*%+gQvAPYZeeUShhh6afya%IIYwhVu`)DCc3ZB2f=a&I9ZFrMLH-RNT)Y zy~T~t&V7D&6xJ1uN)?(Up9KoDPqwk0=rnI}IiqoOlkAh(&bX8Lt?62!JCbM?5N49s zGuUgtEVTiys`F_-YjLot4`X}m1_*3jg2c~1qxUsmSBOBmBVQ||IkW?B3T*+F%zG3S zeMe!>r>lRL%oJu^<-42wYTwnij8#%)t*f8L1EIIAYE7i%sqxjt$+3p09cd~1f}#0U ziEFtG2{*WbRbY8V)5Nzr_-8Yh!gh+Y0#C;5=|1gUTXv8Cl8&9yK?CN?ADQB;x>KjW zx{0$hn&_?cjj>~e@vANbGmx@3;k}tpvCIi3JxT9<2}8G$K0KCjk2ZC# zBxgqKVU4U)JnNoY+OHdP1?+zAs2~(_&4|iMIpwySbLtp>8d{D;3$DnX?KrR!{Y8IW`P>&yil1 zcX-Rl0nT?iTMAHpU#5BG=;<4IOP4Y)FS+l3f?|f2(97`luN`C3um|8_w)yM8=>gyH z_J{*YFM*GBfnU*yH-qfL|MF>^MT2S4L>jVGs#-KG|9B5{630?tm{MVti%n+ykqv9y zx8!%3mtTb;u^gx?EJqBonDNlbTNmD0g?^oi1fv2kz1hpbAA39U8}3cu+DOvwQ76*| zjiQV#DydiDk{nGp**~|@uRF;Z++CJri?R^_lgq5d99i?pALtyYNb8YLF+>PAKX^F* z@PWU@#IF*IEw021+cl@gE8K9Y*Ooj|O*c)tqo#1u!o~MO#$qPBO}&5HXPqJ(D-)Sn zvalyTU~%`@KuM?Z7@uluQ;&0M{Hr1Vf8B_Yke#_RS}I!cYIyiFx|elqn-g-z#Oacx{p!74E|qC*q!RO-Bibp;&VtqFYZW1FtIxi5P<}W!G(BJi&IMVW8!d9i{QS^=jr3`tI5d+ z_=2SFLJPS0881%WY1`<|ds&)OthE;h>;KWD$@RfhLb_-ojF)CL1bn*gtfys~ehWDZ zwEBS5*#e*Pwt(`_W(v5r@H58ct(7H}pU zqa8ZGr&3yKkr9h*Bt2!3Jrx@152IfBfV}}-ss$Z^RpFnAg86>{WQ3N-V45fl%0;XS3_s33dKv zGZkw>7%VMhA!`3b9NLh1;%RrW5+4pG<_8S2&PN*#*T#vDAMf3e^zrn(HZn z(-yU3w>u>F&#k3C>&ZSDp4d(bvHxg0EOs;P@=&tFnRC(1Jk{l-zLA;DjsfUpMS(5`JHIZ?vyZ9+1md$10#MJFClWjz6Nb zBJJB#t2e*4{x`8CwE4<~hVxwbi$HbX$T}a;t>uJNq!^d%=S%nVy0~q`(#1`MMAxHKInJ1&2;+l zB5rY{`|0`VBhCjFH}7tI@~@<>)Yw2Rr+==ty(-jhnNHb=U;T4upDf*26%k+FeW)lS ze=G{hZ!8z3h=UDhZp?@xo$gNTz9hzMt+pG{PD||*n{1+UtS?(8wFDGqUK;~eC!&64 z$3yq5z8?aNqka($0*w4$YG>6rA%;5Bmo=1?j|T-ko8?`;VmiCOB8hL5GbHOXh*l8Oi%-MD?4Tf)DXd$imk_uKY?s`0-AfgZVL=e`@Z`P5k4w}2hCT>F-+ij^ zhsuCQ$8yz2K)9cH*=;2Ij=H8)#C)`Xy5H&r=yH&K$Bl@^d_r*^$zr7Jmd5?N=pY_s z;b1K5`85Nkkh=lUa0wBP|G35`?$6muo|cuF1_hM{(rCLq%mvSIC}_=BrD}NScQE5*g=>c1Cy6U zCX)Vx^IWo$+doy=!ZY`)@Qh?CGR@>g##OZkELl{lvDSKHygzxQ=KL2#xye|~m7~PO za!nlT@;J{i!MPG)itmP~2hvFR>QfzLipIk zq}SNbw>SJ(8!yf~|MKZkzwrL)jv}nYQMb|YvBx*Y$3A~HRM%36%_q2ZabTEQ)(}Qz zBYi0PYCGvuo&<^q`e5hp2<#uY4$;2zZrG#lx3d-Avp?LH9NZW zqn{86TyE_J`W|X)4pP7kQ(E9?QaIlQ9uX z7^xCc@AX$spsy8hojsy{v=wAzfk}uH8#EF&tu?lc;?;3wF%;4 zM&Fl~u;3%z50)FK%Y{c6buI}cNI?m@tXs?!oSw7w%$G`ULICeD?0k^(Oqhm ze_qlyY}JnFdEL~OYb6rdV_!d~OcPV3X_fUafp9{-jP5rvF=6mayz%m_o0g|v00w$C z0|vQqYes(n!79o2>5l^(KlZ=rUk!n?I9g>}2c}cFej^O;%d*EJ@xhR_Fmw#lXv;mSUJq*Tr@$> z9@6yxY%J46pVKGWcO?S`zFgC4^bq3LVPg65jwzIgwf?!m*>HRJ&aCNm+vknH>W96m z%-<~eC45pPD$T#@rM=F8%{rK1KLRjSbM~8ej!+QUHFqcTE;_J2w z?GxccVMV)l?>_t~e`k)W8{NBSezJ05AlwqN(D!KlePPJ-ynEbWLU*S#d8LtF_Ezp< z?LOv@+rz&y?xI;L6+UfJWk=3UDTU0noZJx+GxF1n)9Hn~Rq_)6-)x`J4aKiM#^ zGxUx6h{vNd22&-iaoik|0E*CWc;HFm4h#%z4qF~f!>+aY{7gEmX`s{|6kKvC9EapN zL+d|ZxZ+f2KR-G3K*)KhZG`;eVPEyQ?QEstlh!F2G4Zek>)tY-+ZE8VK6{Evmn^C_ ztY#@By;9-Xdvp2$uY{4Sh7n47)*Io_+p;vEfr7t~|Xi{VM8iT|Kh%w|m+ye9>$pCu>%Z9|&o>!UCvA zx>@#e4E_9r4q3zf6LuAj1f|M)(Z7w9FvvV}IS{Nc`zv?W z40r6ha!u1qEZ3bi`>s~#ejl|y16kg@*w5GCbR`mPJ|lPuZJtyb1YHSJe{`4w2b&gX z3>V}2%A_x`E>4jO+Gbl{szDelGa37e#UhtaNR}%u4kbMF-Wv+99p*y~!M=8strD=c zL1i-=eS0Z4m0dh9oT~#-qTG%rpGt0~T#aSr7(1x#!_+?m>JwTkZwiWdEY)(HfptD$38VF&hTE7 zWo?FTE60VYk_np0@bshVlxNd7M!pC!t1NotngtlH+EEWZG&2nwjpB zSAGKAYKTcU>1CY`Q26X1|I9wmMSW;rNtcfLREeKOBR$dj>c^601;6@7kriHH1GKB5 zn^zJQYn7b%880t#=u3Rp<_O0iyNVfQF?>ZNug{}DK>WV%mD$znllihU8hMUB{~T;2 z&5Y@a=;WT!P)k#c`W>rr?|x3yXe6z;CA;(RGj={uRS9<<(g<<3uy9U+-mrx%&fI{% zI}~`PzYwEssqLuQ*&|1JR$buWA8%DpginIYHG7UyhYx5JA3<7Z%c$;02KA zzQ@8wCq4@+WL_7(YS#L>GGFmu+kUEfSn0sflMg-N6z)jckux;E+TrZ4TSU6U6&3%5 zaSmWu>WIQ*b^8db4z0BWyCL6f$Me(3%HS!vSHgnSUB-NNyq6*+f#MhFY`G_!lW%U- zKs40nNsH@yFg0hBPGiuLX~1>pE#ZxGY$SysH4;h? z-f@xtl(7yGNwi0*;{t~skq=PfUVpYd<0rmf5vJtYSjX6z`GB2MLQ$WsXjT47T!8J| z>mv!xMYh6s?1872Tzc2>D9`w7*UDh7;PMsUV3@Mn<7Q@zgM2qLX4KG&>!*N~p50;7 zoQY#S#I`~?I{^Ha09e<@h!Hinv6No!qNz2O0`ksmC&MqxQ(isc^rqsyo zo34+A8HIHrs11MvHDBoqDX#Pj!H&da5{?2eQ!qI9k`90XS-uV34>za#%j5e7o1SLZ z)j3mV224yMJ)=zCh=V{!!9_!Ac&(n&G8^Ghx8Cx|YrjFKohM*`xm)*>UZX7n*27O+ zqmS)EW_sMxA9kD^jOf>jId|>_h#;+D`L27BXBdqO8^6|G1ZMlhaG@1Y5v#Y$$KJXe zO1pig$~c39&A9(evG9|+x4B}x7>Aorq{3o;52W#xaWj9?%YM?%{dI7*v-_5Wbf z5L&eQ^OIkQ_s@%;&t15YiP%y23k<~w^BeC511r>|-+rt0RB7fiiA56Nc54@Y>WIyA zgIQCpkQWXVkv4F!XL^lvZtI3!T>k*?Nv^$l@aXT1-s-nYq3cmm?4Bf&e|VzJE|7f@ zZaZCO#5{^BsVG2v5yX|^Jwy(26ak1j=7mTadT|f3@BrAq-~B~RaJ*uX+B|RFRbsC=Km&c+mm~ZDv3(uef)9rS9zLPv+w)V{Xq7pT< zBQ7-qbWECC!>6K=mW&J-;`2){p^oIv(x6llBgxWn&AET>G7r!7!G0X8LVIKt@*vg2mI82#|ui31GN9D0~Nvj5CxJJP~ouO|1M+cgryo2!C0 zn4olJ=1S}_Y%LBM*Zsn>=G6F!jy7Ul;BC7O2G>rWBGEmWz0``lA#-u$Y7e*M_Vj<&ci;X@Pu z9>2E`uW%|~-Jgw(H*%{MfDg)hX5+#!BUaH_ztq!}{?}@jCao)1SF!5h3psbRl|I$j zNAw3J-QznafqJn&TZ{98V8ze(xBb0e+27gAa@a7FnH0M~D`OJuiZcE=(KU^@68(4{ zeG(N!4VqiG>$uff?X7}AI-C&@uMeUwuJ_V5Vt;7L-*ym?X3$^iF^k_wSYbIHEp1ZL zgU`Q7$G1dO*~@727uY>|`aT_6^&47jkHf3T61kZ}xF~;!60{Tc7z&anof$5?TK1e!Fvx+JJ-z#i#0^@?c$p!qwtx;zRW7G$$zr zb_wQrhkd1((S%0=9O#m0G{o%VRA<)B^3Cz`L;HwGyXGk=1b%5m3PNnLNv~y|c#*X` zz{j;M6QZScnCT~il|;3%4c?P}{0{?A!6Qd8nN3rS@fokyG-AONNoi|U|9T}_OYo;O zbm!ape|fvZf2Puwd68cpVQ%!w*4TtQ_FJbs?iKHxidPJ48{aA9!!ESEBdIJ+}8IxY3GyaLO zz%AC>w@QO=-?At2^8e1NTrNBbkUkp+hsl~pP1zmyWTJvQwU%SofXn#=8%s|hQYeM9 zAFS{0oEBn`pB-A*#aNrEwnSHppev4A913_m=p7s@%&&M`#|Fn=L|W2NWN9?g^RLC7 zwZAV|SI*gRE^aUkQ&&;~eX=uj!0|$fl{-uJq5vc6Eiu;>q)VBk_y#`4wdSe4MJ%C+&Tw z^d{a#*xKIM5f6!6C`>=DrNca7(toeA#zk4CP4p3(uUL!?m-_0l=)$#zf4I=*5&+e` zVx_7U)+FyD)<|a|uCuSOxb|^*wdN~zuGbIAxGicZh_3E_e}aA+W=uV z9@SM|_v9c4zp*Mn#8|V=yTW!9cHF9(HF-0BXc-v%u3G2oW#UB{%0D0-X>ZO zvB)~^w%NJxf;o<9dYy90WE*eMYHT~D&Q?gdP+@f9EC~Pr?px60vgYvG;R3aZfH>Mo z5%QDbkW|Cv!$qQ*PBQ00oAQR!5@>gka(1aNDoNJSQzci>VVl?QyTekC97~AN`N9P_ z+8R>-csFZumF@@-NUeRGJ4Ln-$anJFxh+AI`*wj$lN?u0!XKcK<6=9hRVeb)m!l}Y zef(btpbljlw9dH%lJNAxy2`?K&u8@VqdD#{xoeh}GhZ^@d)#c@4+^Xn@-cc#Nj*X=B9SsXqfSC6kj;OgDDb3j}xc72QOin?8{1X#r zrHR^fnSwAB+{g$&)|%SUC9FOLyp2-m4Agmfaj_*!>)hv$&!RhC+nOAK!C=Lqi=?f5 zwX&+}Nv*Knas4eE{vfCrh;0Ti;GNmCi%#Bs_dBd797`iM!@JC0WL*T_f*^;_i1HTf zrhj>F3jn4Rp8{umwCmHpOMccXrw1G&zW*?pf0RB&nMqZ z6P!E3ctdb}G`DZlInge1y#UH5q)7pQDnhTxT-NK<)=GDbcc!n9hQ?ve_QH`0A*VMkHf z1-Mn+Eo>@M4!96y27P11TfY_tg0J&4u>XMiFb4sVM*0EQmnOdpWlmiHVJcU!=QKDO zhqu$dBL9%GiNC7*1TB5c4=lx!Tt0-Dd0a)qB=>ySF3LCo#F%j?bAPW8a6O<5=lc^d z;UcVBBtST~;Vw3gElFb!ZdNps&Yi0c3<`={TY0kzyL6xk8|)|f9~ka~Ie>#)*GECf z0b@4J?79cauj-Uz_7`Qm%yWhQM(U260OdOFqyOcK%&yvzZcAp>-JRy{rM?Z8Giym^ z8w)4>SA=J7R^F}1_uah()^1fdoIVD0=k&)WynJ*l62kZ-)csSnPJTRm{?6%@xrm!r z7=?R#(%=87u;AIkFu00)nkpcSZl+LuaMEBzq2nPfnYImwwDt_m@}KM??7zuMBr5^W zH({r8tR`^SXhJNCb1T~%e01bCrS->d4g69up?HCDSXU1&_NNFb2uR@lrGHoX%)(*x zsS?pJ_S#>MDXqOO8;)PXR`0ewcyIo8_k)w$MIjO|KyQ(~Wci*4?x-7jgsLzJBCM|ixsy0*bJ@j$|IR) zpC0&rvT3hL#P(uz+(B3c73&*FO5aLFDok8Y*YMLjk@fT1ot01f++*@q81-=)hkk7p z1p+>zwh%LcFNjR#tu&*>;o#$f*V01+%;d$-oUlEa)YkoD6cYC7!f4Of<`*8w^4*OR zv!Aho+dPf30S5f$^@96uk93(y;Xlaw-wai~I_6{_&W&ywd@1y~*2^PobR;(Gj|l#| zzy_p%WYbw!`mpJ?)sA0IyU3S(=_v6n{RG+O&^=H#!y5Vdu$Z=;xs&PL0{^$y`vXk* zvJHA58ypjX6A7SZ<9CCO!B&Z0bWS5ZJQft~ZQaznPGqKpMe#k5{5zBY)J0Bgb*pfqax4uHIlf{%74o0bnY>Mpa@MaSuHQFuwGo=htSu5A@wpT zDaq8_{B^t6_VuYbUtP5@+}-_o-9khsWTc(>hc%}GUjdLI83qzXwMVi3yExG2m?<_x!45~MBXFWHJ`CEo}3k-JS zNY8bB9*d-K>ww~pKq}RFguHzaTZU@S5k_AoLTCM=kr}9+WuSgzYh~@g+`^#pQl&DW z$SJ0xB!~PW=JMr-ATk8S8kAisdA6?8JR0)Tf4I$Wd<3v&6^DA-)D){*?#sfUAPmFH z7uo-|H|v6v{plUpByHO(5?mgOkV6L@mW2U%9Q|9obR6Kp8T=kMa=DM8<_Evc7Fe?u z^TWgaqf<@Zz7qPQxK&_BT?Y!$Oyt`Ay?lHoPEJlAf7IZ*&q0xnYs{pCgyz;%S;Ohk z)<3mZU^`o7f>EG&)HooZ1jO*YYO~A#oe&Bi^?o6-O`47K`biMfg2Ef3-TzV5bm)(M zg3d*xZ=xSSB%g5gD#Ft8suCyG!Qo+56}GCnIFZ;X7>#bD^$~FZz35eNxM;wHnl%Wk+7u{$CIrGt)$rL77O62dqBQ!x|)}t ze~rbk*IX=dT(!*5p8svufvmuqVP}lcf67I{c9~M&H`!G^UOjp6-RuJRuRCleh86|| IdS@^E7yYu<;{X5v literal 0 HcmV?d00001 -- Gitee