From b7b0345f61ab7d26af9a165bc2d3e55cb9a3331a Mon Sep 17 00:00:00 2001
From: Simone Piccardi <piccardi@gnulinux.it>
Date: Fri, 25 Oct 2002 18:19:56 +0000
Subject: [PATCH 1/1] Spiegazione sulla implementazione dei semafori e
 correzioni su alcuni titoli di sezione

---
 img/semtruct.dia | Bin 6549 -> 6929 bytes
 ipc.tex          | 136 +++++++++++++++++++++++++++++++++--------------
 network.tex      |   4 +-
 3 files changed, 99 insertions(+), 41 deletions(-)

diff --git a/img/semtruct.dia b/img/semtruct.dia
index 0b7703416d1b1faffb709cb47ac273518e6af5f5..0744183d1a366cb2d7b2b3ddc1b6782e41b7f429 100644
GIT binary patch
literal 6929
zcmV+s8}8&EiwFP!000001MOYgZsSOjeebU@+^;q(FU$+aQ$3hoV1We|sKHL}yc)8_
zcBw~}Jd)hiH4ppkn~{{P3rSHDgCSFnYLwezr5H>p&xy#$xcvDqe>{(`e$Qv~(RA|p
zS|;N9DxW+~hoi~U=j;Fd<v(xz^<RGa;m^a-;7{T2(`@j372YwK!>iBNUl)s)KYjZ2
z?c29x{Cz%HOlQe>^qS1`PyaU<j|ZQ^pikF7{cv@)d4u6#F@S5!tAoX2HhOqn<X4ly
zbN>1IVet6Rr`hy%GQ2KEEyq1h$J5!>?}PE@>mPrOf380*Z}VyEK6~!{GI+^nySIIQ
zna)RH$m07;X-Lg|;OEAe<*0cWG<o{z$G@gO7LT;Nu)bH-gVqXJJP&41qe)rLEFX-E
z4?-ngDYg0>ju-LJy@+x5B4*u-7|rirrnALtFj|zwJWQwKd@v~_EoQIz>2l_egK=0g
z`=%mKzx%JF#bVm<{J##y^Ft<3Tz*5(u}FNHjfVSyxHY2YF5gDO#n<~k_I+F;Y4Noe
z_y6A6{eK_LM-St?Y6hdpqV@N^y8ZW-w{QDhzmA6ayy4s49#eCtughVdnkK$G?$8+&
zmv$6Y6fqur&u7cq|GZXFSIf_M3H*&uVfye}{<v69@9&GjWH^`&uWqmYdo;<f*D5zC
z+|ls!^%t@I`RvXp+$}Ir=>vM1zI~BCNpEh`#O+SH{B73V|KVZx_Omd9!Q^S2uS94s
zq>5r>=KY;CNt#)Ib1M@qr9V;j<8(5)&nLq;nd7Ed9s`dA&tpz|mdWe$<IC<NRDtD~
zn+8hH?<1F#Kj1Zw2z}b!!zXt?n9Zi&c5j}C$t=}h%RAqX^U2fxr*AEy@$)%Q0<5O6
zYy-IFJ2zYZ%hlHaM*wX=-(nijr{(q4`ky~vr==xU@n*Svv$S^m-MUOXJI_>HE-2yv
z&iEz&V^P5wvMpywkp%Fn4k=?PA+gfQ^saa%6A!OWle&P9qV(NtE0diub+%Tt&bP+x
z81gk{{2n!2XLwB~iz-2IeL3VmrmwS6*m-<vBj;;Adiq)^X%k4kosjJ%b<napMNHi9
zRSDYM2#WZpouFWGKTV$V>ThVxq4Gc}m8M3Wxr9Oksx=Lm#NOPV%;AR-!BR$qzP?+%
z6!21I%mo+A1?9EHY;Y7Cz)s_33kP-l@bmPK3VP5@yQ(rlR8o2{tIg?q(Gp42+6y`h
zf&wwzNgd1vF!*(Ly4-x6Ki@x2XOn!^?F6HsT_d)HINiow5Jgnrx`b-m!X-GJ4f9#^
zL;`iUn92NWu=p!Hy{&v|W&E6kmlO{#t-kH!5EDebAx0&J3^DB&G-Ia!m@$}`@pPE+
zZ<x`EB*cto%zSvvSUk+6NlJy8AZi0Mjtn!crpTDN5X?Bly-b^L;@I7c-Pp}!bi0{0
zQ)J9s2xdGUW-Q%)#%}Cq4B>vp@_vRf^CiQ?49$MVnJ7z{h#D1NNoVMA!+V+|aMR*@
z8BM}Ba$k0cm)zmGf&cmr(7Lm4fdWwlE0<*R<h745aY7Z=ptRD$1q~NYe}d`*uEt}q
zV-CW0j>6^vN&kAyU-Q~CvAxGGho6hpo{Zi8JRJ|WPhd_FS$RZOf!4IWsPaMCL5uM;
zVO57^2OgK5BChVptm)8f|KVKq!CCjbBC&XdfK_5Bo)+G?JNR8E8T{TSE;$>8TqJui
zcbu0y6c%?FicNz|j3~AVO9n~O%z$jyHx`+Mdohz>GKtxZ3}P-J<`Rv^C5nPeQm><@
zZp9@=I(RMn#w9Pa{CDOOTrN?}B_v!@lUpRy{v81n?o0*l%pg~poA~o|(X~lN2TrtR
zm}uiX+D$e>O#Q1&Icn*Mtjw%w&aLs=$uXkhQ{9tXqjqv@DxSCExzMz*>5(@;LNeZ#
zOCV@t?R)7Lc%2NVtcBS(a5?t8#bOejkZ_5WDpH4Aaf$XWO4q%!=to1Q5=<)5d`NL-
zGI3aBqG%kA%EV>!=4f<j%nI(EqjA0%EMDi#CYWrZ*wskHCe^V{5-~tf(FN72ji6dd
z7*wk`sP;nz2-d0K3{M4<_~)(8qOdmyy|yAM;of=Z=g$Myz_=Qi9rWkaz)B!$U^@LP
zHuNuDiav+uv-bU>(4zDtg~cipXGIj2t+cPwSuBNR`lfx^nTD%;cNQQkUuxy6@RYBl
z%fpr%dDwz54_k5`HY?zO8no~<NfPJ^sWx(bE}lXzjwrNozjAM;FYJEC)xWHL&#8S8
zL(>FZ<sh+9IY<yz4icPY%i1@f1}!X2&;*lcr=yt~^(`o1s~lX=y;Hyw*1*^rSa3MW
zd3CVG)WM2Q2ftN_38E#P3T6*9tKcsRD+Ei>9RF(TV;yd}R>4|A{({Q33$VX`6+9R(
z@)@gOL=`Of0QkHaS_&@)OAz^>9i(K1pR00H#Q9kzc$7wk$Kv#?=Jc$+30BAFXSr_j
zv+8hz6NLp!g(kC6CuSqFksLWy6J_WiWj3mJiJThyRio8UOKBn~q%4HJMNs(g2QKt3
zf?__-^B1;Yk<%MFi~`GqEv{^|9l~itgc7o45=GI5$Ru*rg~%r<SrekRvt#$th14I`
z3Jok2J%|dp#1=#aTxdEFwVxjY=28Ho5dq`L0OMDHp=m$Vetry?O94!Z1{jL&Lj_=B
z^Pv@B92H==^$-Il0LI|$UkE%Vs~wD8?_e^r9So;PGhn`Giv}1=wuiCnJ&d8-!*J6f
z2222qLj(-T9%kKh$j2I;R4s?v&yhP0amS%!Ps~taG{UN-X*m>(u&s_mF3Gsz5H}oZ
zT8n&eMqSKLXK1|AJ*yOAmWh<{1vee~z$fqJRmc26%^#^i;}43qLtuYwbRBYu;-*8)
zB$exrxrCfcBqEn60xnUTU58wvx#<vdN#*)uE}_n8Nmbwc|Le$n13w7^^Q&fAJ&MEf
z8^iLoZPjter0487l<Ho21JqW>p`d`d;Sg(J_6xiVTRuf&5{i~XHc7WS4!J~f!y%@U
z$_2<|LQW<IjZ74YlTmDT9CC@_hC|FIH7k(Wgt*{TiWeEE$U<q=I+Rw@h0=1jA+9zB
zh;fMOm%=ZfZgm?9wmdf*V(nYG09pG|YhRD2eaUpMSnFQ0M0}3PXU+R1#f#3PXf<RL
zv(;(HC4w6bvEr>-f2??k6|WI!idT}QT+4OJwV+G6<}O35d;u|d;b@W~uywP`kV_Od
z8DiaAwftD~QfpqkP&7eS9Z0OJ0|~n7K-^)7H7_6rFAPnP1dqtA4nr<Uxxo-?-<l=J
z`j=Y&ril7ik?G%6DHxjeLhYx=>i1&QFIu>jAUW=p+uenN`sL<AtbVJPAZuUhOe}*I
zZzX8_&TqYiin3C)d035|g?!sCOCKW*Yi}Oa@o8AJjfD(Kz!j_%lH^4n`*AIk7pXy0
zHA_YfQu3mDm#C>TTk%Syr6hs9*;Z2_mssv8#D;6_B4o=IyQ$EzT6rCebs)R!eyutf
zcrwxJsn<>5AX=#+6`e?Lf(!{o1SI@sPLo!vfg9&kZP%VW?OnxNt9FmMX{E|7E8G(w
zIecvQgV}8QZTIHu<*!=a`F@;Fp7uX|YY~l~&w&yuZILERL`u1BOQfY0w#N{WX}10D
z(l=Rps0z|Jfg`MF%MsC@4YomtBoXX&FLkW>VKd|X9rUzyvM7NC|I#sKl&4tN?%tkC
zU(6aGk~MbsFGrCE7G<>URcIwnTj3j$-l!_cvLMN1cM{qc+<@KD{c%;>+3{i3g|scO
z3JEL}6$1;fzya?YSUe3_44>>WSiV?|rCEreqQj3RR07=-=@kYF10_WQ3PtUz6;$*Z
zDuM<oniFLhEMKfa0t-cLCIE{wL6mbQ!bKTa#>$WYMsa*Qca0*9<g+NTH!|2>Hx!-R
zrB00X3Sg2sP-oCaN_vnDulv?D>a0~=FSBV>)l%exQR;e()}he~MK|K5AP5K6cPpvz
zg4;%Y#Ndjmb;le+&LJMrH1QOsNeUe;!~Y5zF^PkYmO*yknB-+PeZ1%XQ5~2iT-f!j
znFcoNnb*#N?*TFm0=o!h;5djVYPvkhnqwo+A=CRq4s6=0--}h}?DyhCzYO_6u~5qO
z&6YQbhElIRH0S5}^I-TJYhX6&FG&MCi587Pb`)SXj{-<FaH-*FX-s%1*1-qpVAU$w
zZ};uA$$kzef(e!iiQQ^rhV0UAB}YxgG#NKowyS!VxT&*UHJ<HCVYz13rVz!nvRswc
zV6liETCQ9i8QXAWv-O<5XqTc<NlKxDb>gJ+5a+cblhi8(vin9Rqak~u@#!SxigWKO
zbJ!V-%we6#&NGL@mN+`2Wwh`KQir!DRpY0YoCC-?fJbBw>lR6X*1VG}KxdI$X`U>x
z$*&WeJXK<o=foxsLI2_$8dy9TSlkLM8A*lLwzFffTnbn`5?CBrez{xcmwT%Ga>x1Q
z43;krE2hX1LB+09W*t?^tYe^jc%XQJ1Qbgbd}lWgF&%{9k-)`r+AL=Q5@rE<iFUkU
zX+rH|7GQwMRu-TwvI02^kh1_QmLeZ=P@kH5g+?nGg^v;h`66BCZY7no06+9WX~vnv
zXXX&RATCD}c@eV!-8%9jW&yhXMP6_gU^kTFIQHVaIS4-OmB%i+A+mK2U`EzCWp|2|
zBQkE9(iCvuvQ`;@&Yd#@(3^f4@yiUrH#>fr0oX%Ro-+X1pua%vixsw%(H#S1o5uj8
z`Zqf$lZkb3vkrExG5~kqPMZPf9a;vUqssqV+N|W5DNT|wgJrj>cZr!gyA`i|l&7g&
z5%d52x^hL#|MR`9T*3K&$Y!hO!WC!sLuYt&LYDvM*2%;%|Iha?nV9qcI-wILlXsN;
zm$mK*xU72NI!ylqv))U{{}aZjI~lmd#WEjG`pk8l2w0w9#Td_-fSd_<R3_kVd6VN>
zh-%ew3(>z#$KUHHL!wYd+G($0sbb1-nkXMV0bWM8z-ba+!iRBx7*VAAyA8vW95lu@
zq#mn89XQ4{q%hl4shc_G-E+(-$;M{+W-rc2F$#rZT&JCimlWd?zor-|PHhT&1jo3B
z?!>?!hm6S@xIsl%W%HOYY283F+e4UTE{SEFuVon=qNs6;WV$s;z<yM2ZGZ7uB4~SI
zB1pgi0>QmLOMMg@UY{m;$IEe;C**KH$d(r*Ns?L*$iDsUf!>dUd>_Zksq}j^c|DF5
zQucTpu)a<aRORkC$k}nMpgKp#em6(G8?V~MQ8^ybc1SVm8OcsfhoYX*Z7{v>pe4Bh
zak5jxp){xRko2%2;i=8OF{U(z)%``4FcS8JU4>r0Te~yvDq2@MlR6Okt?ATr;S&wq
z;1VMZSPMW8L8S8CZY;_(tJG)ez(H<5Nn}ZS*q8>g@ue|LHW#(GXyL%nuH$`49nDxQ
zn(5Sgp%df7&OD&UX2$!N$?T*Dx!!|=x#MG%@*FD$85ndjzWHe7Lz2e1{1L7#?v>tc
zAd3$BAR@XW)G|jw>B1eMcXJfj9dU8)i1PAcZv=`rqK*(e$|=UJ?bbnQAgm&aal#u1
zM;R$lLb#ye0&~J8yC};mj7b576zX;dS!*jnb{=pQL~I6J1;s%aa8;gPl`7+aE8Z0x
z=eN|d<9)%;`M-l&sKLDy0>Lc+hI`trR{#>IWa2X6BJd%FN^Pf59V7K2|Mx-8$DN7Q
zjFCGP-gd{h#KX>Jf2igG_wm6{Zn%#+;CWQ5FRZB7cn`~LUXOcGdVoq!*!R8;c&=%+
z;279av=2oD53=0MaKXnE6z^0%NKu(G_D*Jra}E}dh1c)jy#D(lpU<aPP?QILp)|FB
z89nFo+y9w94<?skZkLuDTiYlM(V%<V#}ft`zv(n!Stcgv+#6NoE=QGn6E2EwHSf-}
zDn>|f8a2cKLcvShco)}r7uR3|z+Gfh&~v&qgf(uboq(i3DUv5{ZUsU0-XKKCC`#UG
zs6ropm09<7wcAdQ3(;RlA$loNG`J`_xTqyu1W7ZXwzFfjTnt(a4q603y`};zBGFla
zm0-G&U`24l28K$E%0z*RBq%sjKm|5D1ymGC+pLyzW2jsVR2&Xe6qyO8pn2&MDxL%?
ziVZM^N`Q(-+O9|<3rv|POPRak=qg-u&XDX`BpYJfIg7A!mJ~R3!63w1b`DOF80P>a
zS|}^;RAQ9|bY|hD$a+^}@P0VwzFD}%!Ak3pi-S>D8kACCQHmm96zRN=$LJ8r4jn2a
zgj<Ln7A?Jh$tT0`f@=+8(g~N_r(u(t&4ZLkE-5nKZT9B7wKNVX-Y|TiJ$9|qRcLlR
z#X*NCI^e?28q!0eEe|bl!-beHBKxO%XV0v7QSErajpoj*do`Ai+mrdY-BSB%q9_B!
zAvx^h4p2b~$<bs%2Kp_?ASDVi(Cpi0Qx&jcuuN4=pjeicsxBHJuk2J^ls@R2l{yJO
z*h<B;Qg@ah8>!U&7^Sp53mz{{l)W-{#fx-1KcmCua^*=@jp4p>jnxZvtA@y6EmCwu
zu0;$=>=NXql3=DtCtgCPh{&LWOw}x_M=@-Ug^g+n8%GQqq&OzBASNBt0I3nPGeHK+
zX<*r_Bi;{KYBzZq-X^d6FaVi|%x)C4O9EF_)U$j4o4l~wpYjF|cZ0_f0OyS-QfTo+
z6#0%}aT*y<ujJ}v)1^KI*?~+{-=Y-nr;E{Z&Xj^lDS|2G+>|2mD8*AzO3~~`Wot(9
zy=0U}W)yrzVK4NV83ir=O45X1c@3h(>QGBss4129@lfkwFlRbJr4z}KSLdb^jg~_}
zkc%%@{Q#oB<W3gt0927w(I-0DR|K4y<dp1*-7<yDB&RY-ab=^{+G)hny0f7a+hzFB
zs~Bd9%N!H~EGnG_Wh69I_3Krk(;tFmGWc~m<4UJTa7fcqJ4FiDIX(D*Qz7*>Ogrr>
z08PhS7NsaD4D=i`It^lVBDKnBdXA+HEzJ$|6x65oc;xN^AF{iEKA}<J+j+0m9XCbY
zUmaPsZdmAdqbWP+ifWvJ3{7Y5vP4N)1oC!T9NAZdDOdC;Z5RR-zg5#+8rvVlyEHwC
z+<ymq!*!9n>O`Pid)s`w=vD`|xllUxtSF3g0Fy1Y`n|Bu|B){i(^-Bs%ttE=eZ&@e
z8w-86${Sngl$FyJN=#zVgDHiZ&?Q+GB$@0E`g6$}LsGM|?d&-9>{7BcRfdEXLlKi0
z(PE%#=L#*J1}%o`b~0MNNG-5*3lUZ{)ZQtul9CkPX*V}U%Ecf>A|Zt${eOiOy~c{5
z!3q}uV6*^Q6cSn}>dF9G9CR;r&P2S#ysA_g62x$I87>D+TAM@T#2sZ+d0W1y&H;&A
z4iuVLmFH0Kx^Iz;XU*Qa(2CF*=WxA)ct)L~@rt4FR2G7k;fzbEeG6vfNJdl=F&xTx
zZW1ww#)+pePEzgDb?GpXI4f-*YllJG_WMb=A#)0{VZwP^=dB*5ZO>eH4*U-q+PnK$
z<i%_UFm+hir98=+(<9HtT^fqJXxXlSn94{Bh}9}$*Dq_{C*BJGX3z&ktaYaPXwyT?
z((pId!fe@JmKOGCff-~+0%r3_fK&^crgDVvP^^a!(8GK6=m~n5xFVrOiD!zdg~EId
zg5;a|N)DW=X)<)sOjz|kp;KqVrUK7|r7&PKYg347S{blPYcO2;*r#wbWcwA@er4<R
ztbXZKqH#$|;YIR^lMaI7#fnW*uN27c8=H)V?3Kpnla$N<oTq3<ot>Ym)`@|Txp{g*
z`eBLrJ~7^a6cf+PW&B-sosVChS<SNMe0<KwKPn%;lv96PMt+Kwk>5H?FvW}N3m_s1
zzky7BkfqF>Qs5)FxmDnHBM7@~KTVFj<;dHkHxVhCFYlHl^fpVJH4!OBC@TS`R;RJ-
zjf4w*+D9w~^MBrl7q5>Cj=x3SP*g5R-ceAua!w7R1wf+zGgvhu(u$X${M&@{AF2CU
z^K+Y8nOZ!BOi_dvqFSU*qn!+$M*um(TMHKqT<F;`0k<;3*TY<n_uP6IFLLfyQJfVN
znmCAh)5J1yWSUrU#yIO@fQ?7g#T1%YLVFD`T34D_L4%EeoveqN_+PL2D|gtyR>iD{
zyF6lR?=we<tux`PmYoxhiE(vBVOtNyDQ+Zq&b!yrEvLtRa`uxSYYG^Yz&)FIl15uL
z7|tg4*@E&EF4zSow%O`maSHZ}qZ$Df3y_Tf>fN}JXgZ$2!B=Q`2}k2gEw3Pio=D5{
zc{uBNQa!J*^t>X|@^(YZt3v0qmjCElo;UjEjm|e3jYtTTyiLqzD@_+zgj;ETc$Z<t
z>SHD$&r&yOKV5<*X4)#UOxw~7tA{AgvTck&PqRIRV!BT-Hz;9azSLH%ixux7t$fP~
zPPgJqGd!$?8?X506|YWQ@f{rt8Jv1yu|KG!2-7wZ7Pqn50@Mt%kV+vELy<|*ewOdb
zbJT`RXnaSVxODcB#(eR8oR`I{4ZD=Ev4C-S*wkdm)KJFn4Vfy@WXRNvOU5MyE<GMD
zQ$n4YZs|--s54X6nT$;$_b5(JM0ay*D1hmuw?R~*B>+=;8PSr-zE#uC=ku$@;9-1*
zxXPjj@qaA_<I&^g6)@Rdi0mgN_mf(r#*vT#kkS<DH-*0UYke=;HTgQKqG!cKYlew7
zF>5{ZAiX2yS-a9Dre*61E!()#O>~nIuJo#j)(qp7{+_mQR^csllDxI$LRYZ1-?nfv
zab#P#%Sm11E!;cDrbcvoQdD<(b9~w@$7e<dPOk36(X6D=tTx5+vS=CysM)IR6kC~b
zZ6}UyZCZ}(Z6S|uwFZw`2zH=0aS-4dc7ZbH#!Htd2yqS4UEgx!ImQ*8O}HQ8Su^4+
zYIu_;3~%yV`+VsL<C{G1C3r7EsPG+@!k09jxMD9MgMQ!IOUOj?UV`@$wabyUKULp}
zzfH&AYmc~m+ujpUHxB%JuFKvNflPe#B06dAl#U6x`qcgdFX8jJZ|po#F|Ue2x;PAI
z9whfRu#g9h*xv+0-)L@CQTOycZ&i_++Ex|EHJdnzBQh+GkR5VFmN=jYm#Bgwyo`h)
zyrEzT*+2k?4stttft^9wp<`@f_L7AF-r5?(jB#0v;ZA67W0vpE+P1bSUXKUg^Vv^7
X6feTxr`h27ryu?w9dfg)H;DoO(Y{0D

literal 6549
zcmV;G8EWPqiwFP!000001MOW~Z|g{MexF}qcwg;y-!JPuv&aMp5Fo$_vXi_Tvd!_)
zt}Ho{JZH{6<hQ50sXIwgB%38uuCo}gDYsZ^vA?gXtLyTYzy9$$x%xeuFUGU!mup7o
z^;I@~nmv!FFJG?z``3TFwby_B`KP};k4Jy@|GmsduUGyZ(?z)Ya{X<&eEaj=-S_X`
z$>hgkw4BY!Wc*GR+1>w*CX>;fA9Q#9^G{b-yEk|qEl1(C)vKfBaz1{1UuIX+(QEeQ
z`f>F1kC*xEefoTzk6Mj;noVZ&tKUbHFV}ziE&jW{Tixbv?><NF{Wf~b=7+a^eVZ-D
ze#r92TVY7WeZtS3F{@DvKWO^$^Pm1j{we=Rs~5KSD*K?7LYA+i`OA1(lrzspll+U|
z#B$Ep-$Qc|kNu07^e<xGzlibT;cYfw&PU^AQOx6PHpxcQT+(v>p0$^=cp6Rok~uaN
z*8c9ljhD+=&FBAZG+CT7f&AqSdYU5fWj=mB4#d3?6?geQeqMfi_~Y2uMM;Opp5OmR
zZ}<Owycj=Dva%VBr_0XIdwu&K9dF<DS-+2;vqjC*-XBwOr*EracXbm#9Czvr@|O-2
zRTME9{mAC4+yAmvQCF+)cm@2OZ(;WM_v~r8n%>`*qv`W#{(N<N^=tOW@_MUsy}}(o
zf4Tlj_rIUR8Tq?;1}c0(Z?o-#WW?Uw^20e7A7<6<A0H3zKKBzCO<yM2o&=(qVe&q|
z@;|~=JE_a?RUF7XTo?yqs(3SM+P!fHO1VNMAAwXAiO#0WGC|?>)sTOkz0b$qin!|{
z=UX;@`Bo}vmwaqDA^S_}q-E7cOtjs~1nnAiH2&)*$ZOA+>1$U0gtF=TYYFKcW7RU+
zsG`2RE$Z9T0P9Qx`sQ|TS)``{9bhkW5{S|wAqeDvi{*gBHH93Igadw={ZT>zygLPW
z%4WSX05L}0P~wcb=af*cZWz&AwUe1mve$>F*?d~ucqf`wln{;i;>^}K5`=fSc>$>f
zl<IbOf1J&qvw7Wz_s^i^mp`8Rul?Z=oCRQJD*UgVh{d<r_lFX<PW|?|M@1_-qs$WN
zSH0{LXO>VFphcw-?%rQo5iXVUmmgo<F0$7%Xx!UhW|L<KwJUp9yM+~odbdZtE7R!R
zwnX1V^Lh%{YF<t_gywBKFVwxLdk>JNlIUIzp?USL=H-N;=KVC97kyqpJ};ew4n*Ik
zIHQVtDO55k0wWkHt-n@o5WX)$$c4JUVAw#Q9p0J`g6;9PhlFO9xv4uBEK)@2L594!
zRqanx3p`PIN+z5a<PC^>CW&S@x037{4Nc{i8|ghvu+&mNZmYKvQ3C5@7JK8MmU64T
z%x>>6lWN1dLsUo+Kdta$)8VDl({6?sFKUAr?$s(3V!AJA#LVz9<5FVA!ePd4FeCi#
z6b>^MG4ts$!)Q9t$bI{|PtbT#JD@ROpy@P41kI&@h9%t1ba@m__cMBDKjYx`GhL>L
zpt%&#@N}Tja9bL^v!zjhTN;g98U)Q(CQ^b1W=~^Ol*Ltq4UbpMC^+EYzNP_iIy{&1
zv+om5zlVv?s&H?a1fn9WT#)^f6*j`eP@da^Oo!-TO+<L1{U<0t=BhmmYjPY`JR^Vj
z-}mf2t2`Dvdh~Mo(O8r7@-`w%Ps!@f$=Zl2o|T=n7~2UeJ1{%($gGXHs$;XdgR|oY
zbmfO<{qu@S#VY`;BH{@dwaVOw-vx2u_aSk~*(l^9*#o)byxgHvafgD~G;pG5zD-y$
z2$4<&*=A@gGWGXDCP~R8>M&^yxdfO?Ogb*%5L_Z{l%>{OqL>NSY-n8aHqU-XE=kKJ
z9JvI9Oa5a#&C0mM4(|*gcW3h8&h&D5$eESAgEQ-CHl03X)8{y$789))M!PtV{33dK
z>!*Ot#IJ<Zj>zy8`UmBg)}n-w*MGbE=9gnA>*816a+aS!U2XpyUcWo#?QHdSLHFNY
z@_|b}STZ&22ILO#O4w<>>l5(mSlB^22HvO7GgQOq9Jm;Rp3_uJA_xeVXvQOTm^GIO
zYj}7;49=t<KO>c-q!NLr6lW$AmWoU`jHi*SNF5tbqmi*7-rziqi{)tfzCbof$tE0q
zjX-QtQ8p`Kh#-fHtK~a!wG1$>mSbG)rwS3QQo$mf3I=h|YvFjz58T-Ennoo&I2Zlm
zb%Yu?tp-L9{aH1zOsIk3^e^4fzi@f_7@&{Z_bX2prpF*GR=?BLlt(*tt$n$0u?oBz
zn)XF!T3Y3MumDl{LMvaLPWdvpTx_<Ji%kJ@u^HxKqXPD*Nfw{RKq6i9-V2*^aT$_v
zXs(Tim3%XML-%u9{fpZ7oZ2^GY#N0tA4GS`2T{QCK@`($QTuw-BnwNUFu^3kL|O5?
zmjwl^xd|_b!71P=YT(owm|{4|S#_|WDRnT1)4`h>F@6OxI2DW@XjH*pMXC@i3UmA`
zw2jT^*j5D#77`e^W0Jceso>FMnaxoJCse@{4}i~`q9xMBU{N3+bnIj3f3E9I0Vik`
z+ZP;;@*fNHv+DD+jwV<&&(AXb<Y!gkCQTGpSSm27jWRSK+oU#vBd2Vl2%S`^jr>DG
zr^<j$RzXd|gitWXVshgqgu?oN;f2A4P%I`{_J$^G;`~O8qex}L=CABDA4<}UNF<5b
z^2!UM8IdMz-HXT(3D%0J>+I0KbRi{(g-!+*h)zT~Tw)`l94;_@h`P@Y0dpyUF$n=<
z!2n~|fPra3)O~&km`eeSO$Hc<7DPE<Vh5r%U<?#su>TMO#skKs+rI#KOx8OXz1_h$
zupJEMNF!jrN}3EX8f*`vw|f``w}-*LLkJiT7?uz)AbXf?*C7|HbV4;9>OM#8IfOlj
z8lITRBtaU6SeT|mn&`crLzXyfIfN~T>eeD2oIzLflOh?f^v^1}m{lfayuh|YpZMgx
zxayEU!1+Ta;}3|&L&lTGPTwI*IJO-^CMjKi$R*%hq7rfm2jCLE+jqzkfo+G7OG?)t
zatU-&i_}B&|8GO{<4?fI{IXe=kHWb8+PHj4JGC5A_M9z;q#2YqfbX>&@(LI`4xt7{
zzrcsE<!v%1f#^A8h}>&AWC_ELLr5j13lPZ!oJ?FYGT|UjM!MT_$P$GehmcJwRv@wo
zaK$N=E;5jVh0^kEC@q5vrNwqbSZ*pHh9y+L5Po^N*KWw$^4M(%wQuPHMC}W$eR(?V
z3#NPNR`-G>;$uucYTmCZU34BquOUO!UaKKXD0Uh`#ap)iQ1L=5UYShsGO(0uwoSRF
za4FZ=W(bvUKuo%DGzJmay4z;R5{_MlQ1_NCKh(U?nm1i28U?EkM7Py}C|q?QY%zqI
zHy|cm7#al$9$|YehAffTVF<Nv#S%pQ3$1@`LjB9Z^zXV93`~Ea?$bl{dok)aS-2Gi
zIqqfq?S;Jh#qL6=e#@62YG3F~ES)Ugio*DvH_e6evQn^lShcN%T-P>BpCb+HXdYGb
zG%VQ8LOMynRahw?$%`&F<XR;!LW8DkmWY}}$&36$qNc)Z)#*y4Nsz!^x7Sq25{*5D
z&~U9>glM^@ZYtDND{q6bPGpzE$11#m$B5WYy=np{(MlPq2*RxLGT1%S#Io?KYA3Ez
z1=mihq(zqhEbS+LsCp|EZ<CvrD&3;WZTXS?_x3QF&u8BcZ@vWp?|A2jNj7~s{^>i5
zsQrFUlu&Ao)HXPjY~PxYg(Y^x6glXQSa^<wk5ob$Z8$=9<%np{D&l%132(1kCSuJG
z?Uc3mp{cE5c?qoWm!27;IK`@d_qr{6A!mF_&N$q^G@=Y95^+Y?W`#OQ;F<I~7orTB
zB*u9`%!P1o=6|yQ$5ovtho@B+(zihCbYQViU@<GOXppnr&XYs1TnboBDzHF!$Rb!I
zQ5(&|fxsd$?;XMNRoi4>fq{x3ZUq&;fT5s*KtZ6mR6v0!_2!{sl$R7v_&r#-@@S!4
z!N5geY8keT0u1FdiGpwB4MbyVMTE9IfW#T$?n5CL7BFMO<<NRYowcUxWwwkeS%-Kk
z3SErRuvC-+Q&?RF--lyT+^=MY-?3rTXAG+-S#-!B;QYZ;@rMN1Ehxf6BTK(Uh!hek
z+%O#^4~<3M=Ch{<>>8DtP9!Gxoj1L}h(USjqU*sKbuUBb>Tm!A6enGnVfhe^LDF?W
z2HJM&@S^oOJG>Y<B<o!f9ZI*Z4R}LXsO&mG8-9_!j-LOHsuwN!OH#eb;*>O)-(T<e
z{b7}_uFLF0<$H?q)t&PC4&M%&*JqN%DnVGPCfKMeOBEU{wRS23rG=HsKO|79tW=ZA
zN>u=HN{Se*gDAeTQmGI+NFJb-igl0E8mS7C_|EKZw#ldjfJhWGG5l~vB;0cDmk=Eq
zk&K_w)tsJ6kVrmIHn4FivVjF*J!b<`9RfpX`2XN@wxKj-h^XO803-(Q&95pX&R~uo
z=J++p3l<%c{IvTZNq&~5a-LbJyd}HITXJA|OBVB%Fv9$+WvRg82v9PHBVq*>=AR1?
zS{#O#BU-*%o=&xJDAlsgAGcun;}-MB5iDPAviKnbl@e<<DX|tTCDvd{EP~~$mC3*Y
zcHX}|!t`qxD$ma#STM^E?2N;zRA(FpB&0rO`58iYv;0h+^oLn~nB`Yohj`ineQauV
zDoSx6J?nxTxykZ#dB8Ac`F+;2QioZ>XXcM&5nL83$IooSE@F<K9bVW4=J@qOCP*b`
zO*61|U>-UXTn%cI;}_0<0P_sYVZ>qCAVx8M`goXu6`ivDEIVhGpLIjB-d9<EYXg3j
z<u^bZ9<%(=lD|0h>yia3bx}Hvw6EK7`U7iUM(c8yQ1#ZTUe+nc@9^!gIew0%$?=1*
zRr4&r+*Sog%L$e$f~C2g%0DDnD(qCp)7hyUD$mbus!_x|KR3u~6qx6i+Dye_6lZlf
zJCV%c43aV&GyUu)WjJQ~+2N%OW2Rpp4rfdn?l;%3Yx0hhX&Q9Hbm(%M4qZ&Zwdiu#
zq6?!&bF`>*Xt7XeF>AEI^yqTfqYKfJqeZ7e3q+4Dx9QQf)-4<eE!d<B(c;l!lA#3#
zE3rvejun_LT@Jf+AyNWTY$~Kcbm?+CUAh8V;M#OKY}17aJirM&E=jx&V?cen7~OBw
z#W;5A!W^EurHF1!=ra*UX)<1cDEA))t&9DyrD7t_XFUojTX#qz@Fc>LkqAV`E^nOd
zwe0f73HIzlPC2p+kyD^!iW%jDa@%csAvoZ!U9P@sm&2}Ir^HD*(<z_FsdMJ@Fe-*+
z$kYACU0w%c=Pp#hXw-ik1)MB`NrRmR=-tx*SRGv3yo(7`!Y3$U)hV;*@a?dfJ&Y!a
zWAZBnU=z%D8hC*t=5UG#mozpj|B!I0v{`jBn-!vqm$zB>+IV>gVIMCvSu2(xnym1C
zXp@dlAlPKDmzQS~Z03c0Qn3V)P0rlSi&5LPomarR=&_lXA<i-?yiKpDQare#jge6*
zv(EI~%<EuwRbg}3$_rb0o!-jput#yDPF~I?>f}{L75_P#{HUZ0mx3-_uf6}A4KcIU
zhT0yQ#X2AD<h}VX;^8EQaK{+Je~MFvXkw1G46Gkujx$wWBu^lzTqvoS7Nnxq<xu1q
zNrlnwq+;8GyaB0LA~&SsZCTbYtL)9FoH9-r5<-@bv&KmyTph9Ok3nX+BxbR^l3CJ_
zLzU-)v981rs!FgvTMcW%sN!MyYsuuj*U{4NO#(YOCfmt9@L`<h=Q!QVvFGC;gjD)B
zj_qDg^lhBv*=Q=K)T>eF(`YKB=+CHIT5Y71c`{D&V>A_1<-<7c!Kn7om3uEr$2a7H
z@+3aScvmXmgmWrYcI&nG?Or5ga#FaB)dZsyuI_~w>@Nf{Elrg248DHmSDM6kEQPP}
z%?t1?Chzf<UsOfv-q9n>Cikz-rK`)NYitlLmOmz0warrZbQ6J2Bn92xQBrT9Q(^tA
zLFf0~aG+~FKLp)p1YM=oE4!kO`HkPL?p4Kk1B=-x#jtx$jAb%h2=?)9-jH3AEf!bH
z(c>h8w0?gbzh;Zue_wiI?CBy*;Nm(%BRB~)RC>x(S8DKTBs?<StFw$56@_f|FbjdK
zJs;H-r&ckB?dE3><+x4_Mz2*aUY*pM>~|5bt;u{9uPz`~arGQ)#^S0z%NEHbUDTrO
zLu|CDMabsc`Xw0L7OD08aEpX~i7n`CTE7H{SAy<(B?O=^Pz@My9}{oo#k*=tcbyT^
zsaz8-iEBdk>IkHSX{B@DAJ@!-j#??BPn>c+00+f#wD^Z7+WGs_@(hP_C55?$?4FQ?
zW=rUv=!+hB=Rh96D*DyOG(WHR`dCn_jNjR5Cv7B)aE&MS7kpxWxVVrFlCZ(C&_2#m
zI4oJu5yQ+zUyHfdgooHZ;#jXC!-Y8&hp5wr_)mQ_1W*^oU})YYh2}A#TSWbe)w?A-
zW7IG29MQvMFz{5b*+-6uKn{i|rtX=F{NP1$+bcno%&cTkB!H6!nd2<MqGmj4Pz~R>
z!WiV6i{cyBA<00pp5urssYaxtnm+9iFGE=-0)Dhp*4{J!i(xj%wf+yh=aZ+BIhG94
z`I*1Mgh!-}(`n;e83eq0ER{N}=$;<<DtAhVyi#v4Gon*M<W&UGCvm|(iQ@7?uSCB-
z%FZEF%;cNuKEo@$nsw1nsfkg+Pw9oKkXaN$LeNop>7-CxVaN)-#-{Pkv1y_9U$35s
zP}<P4O&Jt#t=mu>6s8Qy;p|Fx4_F8V_XW-N1<styBhWc)&ueIV!}>J=0={Wp%2dY!
z{Gxpf+UZa~m{`RK(Kd!-0O6*s)-tcGv)}Vl?j8(B`(4N`*5u6>GSB1TAQtlev`YVu
zi}?5==3tB1b+7cmLllSU|DaeBw>l{HzxKU|i_@w|YLRGqq3P8C=|WYW{npo@3lZ4;
z8g9R2|Ma{0D!LGz1I@y*XrH?^6_emN5sn%j500bOqped2vVYbe8y`%nd;ll1zMiG5
zISH=4O(=*{d!G|N4(srs@-X>_u(lS}OhF6cOIhUD`_7=`6L~{L=lHDEV(2p$&-%R&
z_j?jzC09B$NY&i%2rhs9@jan`TV{*J>}r*FK7&s=|F7BWXnGl*(ZXs&$7q^NtK<5%
zbF7vOG~R34hsbqpaFF_ari=<VQbnH{w=k_T>s;0ikt7sv<#l&4^>?v#_Xyv}@tg32
zF{p8m0&1rKd%I*tk)*{Ty}70Pr^vmucL?c>EQ$(wRXqO6Tzj$Q>5S>8SDMUtJe{$X
zh!Qn<EUB@njEcm@vgO=iCe^uz_1TB%+M!gzMJ9s_hl2}W!6lSU0zwN%v>;l9N`n>(
z(Cjh?3-xAPjuqxFA+XYEZU~i&fr?H86$a3=FNX>vY6TU)BL;y=r@0|iE(R(l4OBRo
z3C8^{WepVz0u_!17(&HE#U|RWFdz#ouXDFkx18=5z3Xw$!q5<F0+|jErM!UA2_=k%
ziOtH>FPEgVYRHIVy@QhyWlR8x2vv;kIni7MbUJ@Y-Qe0ZKRhqa)>*Zr#L*?RS1qi=
zcCxU&Y6nV@G!><A07hZPhI942Rda|=Vc~R@4zTb0!&^3e_7~W#IVGKNWD^iJsn|S7
zmdGUq=DT$p->rsmNa2Rz6Ya4pl`c<a$3q-+cuQVe9(UFul{eb*BGmbyc~L?(Jl#8g
zMa7%cj!z;Db#DjVD^mHmEtrqnthBEHiZb9Bl7l{O50ykAIRY%mKx~2xBv6onK;Jf+
zssSr1m8mKK6wAs|T^FWW*{OxPRKu`Rr~U_8sVS}0LftAfQhPE|s}eJ$9$4^rexhtQ
zJ=NrXN@P>Xm3h>sOtNfD2Q7V=NPQ%gy6LS;Qy4m)372LKpHgvJR2I58DRtOei+k@c
z`N$<7EgfQ##4g2@dkD;|nrYIVj%{#|DVt^aD1=Q@*zk_9F~G1%6vqS>#3W+58EC{D
zOc24+4lGA?#K!?k<tERi+vN2h2EYh)I-L94)h3To5jJ^zXq!C0+n?bEFYN{oBLL1D
zPo$E?6G7xV`o*bOJiTJ;lT9P746;3$@S#O1KFpTm*9<8oC8bcLlyg%GOGhadic)BF
zL36id6gx;pc|t}>&nW1HJ~N{vi@#zp;a64!QFMK%#k35Phj^&<I9ec`B&8FEkyq!Y
z6Ok;30w5PZBxI>rlrC@H<P8&PgXE#n$+3nl$RusDCk|WBBa^gclKhpOT5IiyrE@np
z|48@C@TISoPmD968ept-D*Wz8+*rZ}Rq6C6Z<&mKo6WJ*X#)<aU21K_V5QTBl}?rF
z-c5tZ8`UF2cmZPDPa{;xV*Ez+Tw45aRwW}C;WZ;@td=T|-{p7(bDkFf*0rCcru9cC
zg^D#!yF#fv9$e`p&6WBsD!yv3#6x_|x+@J2Q8q2RI+R9&r=3@682GUu@WwYUsJ>(2
z-;Fq?JoLMDbDPr&n$(svX(FOJuDmX)yw3vus(T|d>$#BkYtve<q*UA@8{zK#rLih*
zk^SYzw`z~YjrZ5dw4_MMP>c2#Rv4PH{gOiWmT)Yzf$7(XwOm9~E^c&r(7if@9jRe#
zb^j+@E@$)X>Ny*)x4UE9?snMj9;`T|h|?${zn+YKWb>bY$}jwXFZ0ps&p-V?>0U9c
HF<AltcD}dn

diff --git a/ipc.tex b/ipc.tex
index a17bf4a..da8d85a 100644
--- a/ipc.tex
+++ b/ipc.tex
@@ -1933,6 +1933,7 @@ del sistema. Come vedremo esistono delle modalit
 diventa necessario indicare esplicitamente che si vuole il ripristino del
 semaforo all'uscita del processo.
 
+
 \begin{figure}[!htb]
   \footnotesize \centering
   \begin{minipage}[c]{15cm}
@@ -1953,12 +1954,14 @@ struct semid_ds
 \end{figure}
 
 A ciascun insieme di semafori è associata una struttura \var{semid\_ds},
-riportata in \figref{fig:ipc_semid_ds}. Come nel caso delle code di messaggi
-quando si crea un nuovo insieme di semafori con \func{semget} questa struttura
-viene inizializzata, in particolare il campo \var{sem\_perm} viene
-inizializzato come illustrato in \secref{sec:ipc_sysv_access_control} (si
-ricordi che in questo caso il permesso di scrittura è in realtà permesso di
-alterare il semaforo), per quanto riguarda gli altri campi invece:
+riportata in \figref{fig:ipc_semid_ds}.\footnote{non si sono riportati i campi
+  ad uso interno del kernel, che vedremo in \figref{fig:ipc_sem_schema}, che
+  dipendono dall'implementazione.} Come nel caso delle code di messaggi quando
+si crea un nuovo insieme di semafori con \func{semget} questa struttura viene
+inizializzata, in particolare il campo \var{sem\_perm} viene inizializzato
+come illustrato in \secref{sec:ipc_sysv_access_control} (si ricordi che in
+questo caso il permesso di scrittura è in realtà permesso di alterare il
+semaforo), per quanto riguarda gli altri campi invece:
 \begin{itemize*}
 \item il campo \var{sem\_nsems}, che esprime il numero di semafori
   nell'insieme, viene inizializzato al valore di \param{nsems}.
@@ -1968,6 +1971,7 @@ alterare il semaforo), per quanto riguarda gli altri campi invece:
   effettuata, viene inizializzato a zero.
 \end{itemize*}
 
+
 Ciascun semaforo dell'insieme è realizzato come una struttura di tipo
 \var{sem} che ne contiene i dati essenziali, la sua definizione\footnote{si è
   riportata la definizione originaria del kernel 1.0, che contiene la prima
@@ -1975,13 +1979,10 @@ Ciascun semaforo dell'insieme 
   ridotta ai soli due primi membri, e gli altri vengono calcolati
   dinamicamente. La si è utilizzata a scopo di esempio, perché indica tutti i
   valori associati ad un semaforo, restituiti dalle funzioni di controllo, e
-  citati dalla pagine di manuale.} è riportata in \figref{fig:ipc_sem}. Di
-norma questa struttura non è accessibile in user space, ma lo sono, in maniera
-indiretta, tramite l'uso delle funzioni di controllo, i valori in essa
-specificati, che indicano rispettivamente: il valore del semaforo, il
-\acr{pid} dell'ultimo processo che ha eseguito una operazione, il numero di
-processi in attesa che esso venga incrementato ed il numero di processi in
-attesa che esso si annulli.
+  citati dalle pagine di manuale.} è riportata in \figref{fig:ipc_sem}. Questa
+struttura, come le altre, non è accessibile in user space, ma i valori in essa
+specificati possono essere letti in maniera indiretta, attraverso l'uso delle
+funzioni di controllo. 
 
 \begin{figure}[!htb]
   \footnotesize \centering
@@ -2000,22 +2001,16 @@ struct sem {
   \label{fig:ipc_sem}
 \end{figure}
 
-L'architettura dell'implementazione dei semafori è riportata in
-\figref{fig:ipc_sem_schema}.  Si è presa come riferimento l'architettura
-usata fino al kernel 2.2.x (ed illustrata anche in \cite{tlk}) in quanto), che
-viene mantenuta per compatibilità anche nel 2.4.x.
-
-\begin{figure}[htb]
-  \centering \includegraphics[width=15cm]{img/semtruct}
-  \caption{Schema della struttura di un insieme di semafori.}
-  \label{fig:ipc_sem_schema}
-\end{figure}
-
-Come per le code di messaggi anche per gli insiemi di semafori esistono una
-serie di limiti, i cui valori sono associati ad altrettante costanti, che si
-sono riportate in \tabref{tab:ipc_sem_limits}. Alcuni di questi limiti sono al
-solito accessibili e modificabili attraverso \func{sysctl} o scrivendo
-direttamente nel file \file{/proc/sys/kernel/sem}.
+I dati mentenuti nella struttura, ed elencati in \figref{fig:ipc_sem},
+indicano rispettivamente: 
+\begin{description*}
+\item[\var{semval}] il valore numerico del semaforo.
+\item[\var{sempid}] il \acr{pid} dell'ultimo processo che ha eseguito una
+  operazione sul semaforo
+\item[\var{semncnt}] il numero di processi in attesa che esso venga
+  incrementato.
+\item[\var{semzcnt}] il numero di processi in attesa che esso si annulli.
+\end{description*}
 
 \begin{table}[htb]
   \footnotesize
@@ -2043,6 +2038,14 @@ direttamente nel file \file{/proc/sys/kernel/sem}.
   \label{tab:ipc_sem_limits}
 \end{table}
 
+
+
+Come per le code di messaggi anche per gli insiemi di semafori esistono una
+serie di limiti, i cui valori sono associati ad altrettante costanti, che si
+sono riportate in \tabref{tab:ipc_sem_limits}. Alcuni di questi limiti sono al
+solito accessibili e modificabili attraverso \func{sysctl} o scrivendo
+direttamente nel file \file{/proc/sys/kernel/sem}.
+
 La funzione che permette di effettuare le varie operazioni di controllo sui
 semafori (fra le quali, come accennato, è impropriamente compresa anche la
 loro inizializzazione) è \func{semctl}; il suo prototipo è:
@@ -2342,16 +2345,71 @@ strutture non vengono ereditate attraverso una \func{fork} (altrimenti si
 avrebbe un doppio ripristino), mentre passano inalterate nell'esecuzione di
 una \func{exec} (altrimenti non si avrebbe ripristino).
 
-Resta comunque insoluto il problema di fondo di questo meccanismo, che non si
-adatta al concetto di operazioni atomiche su un semaforo. Infatti siccome le
-richieste di ripristino si accumulano attraverso diverse chiamate a
-\func{semop}, si pone il problema di cosa fare all'uscita del processo quando
-viene eseguito il ripristino.  Il punto è se si deve porre il processo in
-stato di \textit{sleep} se non si può accedere al semaforo o andare avanti
-come se fosse stato impostato \macro{IPC\_NOWAIT}. La scelta del kernel è
-quella di effettuare le operazioni che non prevedono un blocco del processo ed
-ignorare silenziosamente le altre.  Questo comporta che un comportamento senza
-problemi può essere garantito solo per i semafori privati.
+Tutto questo però ha un problema di fondo. Per capire di cosa si tratta
+occorre fare riferimento all'implementazione usata in Linux, che è riportata
+in maniera semplificata nello schema di \figref{fig:ipc_sem_schema}.  Si è
+presa come riferimento l'architettura usata fino al kernel 2.2.x che è più
+semplice (ed illustrata in dettaglio in \cite{tlk}); nel kernel 2.4.x la
+struttura del System V IPC è stata modificata, ma le definizioni relative a
+queste strutture restano per compatibilità.\footnote{in particolare con le
+  vecchie versioni delle librerie del C, come le libc5.}
+
+\begin{figure}[htb]
+  \centering \includegraphics[width=15cm]{img/semtruct}
+  \caption{Schema della struttura di un insieme di semafori.}
+  \label{fig:ipc_sem_schema}
+\end{figure}
+
+Alla creazione di un nuovo insieme viene allocata una nuova strutture
+\var{semid\_ds} ed il relativo vettore di strutture \var{sem}. Quando si
+richiede una operazione viene anzitutto verificato che tutte le operazioni
+possono avere successo; se una di esse comporta il blocco del processo il
+kernel creaa una struttura \var{sem\_queue} che viene aggiunta in fondo alla
+coda di attesa associata a ciascun insieme di semafori\footnote{che viene
+  referenziata tramite i campi \var{sem\_pending} e \var{sem\_pending\_last}
+  di \var{semid\_ds}.}. Nella struttura viene memorizzato il riferimento alle
+operazioni richieste (nel campo \var{sops}, che è un puntatore ad una
+struttura \var{sembuf}) e al processo corrente (nel campo \var{sleeper}) poi
+quest'ultimo viene messo stato di attesa e viene invocato lo scheduler per
+passare all'esecuzione di un altro processo.
+
+Se invece tutte le operazioni possono avere successo queste vengono eseguite
+immediatamente, dopo di che il kernel esegue una scansione della coda di
+attesa (a partire da \var{sem\_pending}) per verificare se qualcuna delle
+operazioni sospese in precedenza può essere eseguita, nel qual caso la
+struttura \var{sem\_queue} viene rimossa e lo stato del processo associato
+all'operazione (\var{sleeper}) viene riportato a \textit{running}; il tutto
+viene ripetuto fin quando non ci sono più operazioni eseguibili o si è
+svuotata la coda.
+
+Per gestire il meccanismo del ripristino tutte le volte che per un'operazione
+si è specificato il flag \macro{SEM\_UNDO} viene mantenuta per ciascun insieme
+di semafori una apposita struttura \var{sem\_undo} che contiene (nel vettore
+puntato dal campo \var{semadj}) un valore di aggiustamento per ogni semaforo
+cui viene sommato l'opposto del valore usato per l'operazione. 
+
+Queste strutture sono mantenute in due liste,\footnote{rispettivamente
+  attraverso i due campi \var{id\_next} e \var{proc\_next}.} una associata
+all'insieme di cui fa parte il semaforo, che viene usata per invalidare le
+strutture se questo viene cancellato o per azzerarle se si è eseguita una
+operazione con \func{semctl}; l'altra associata al processo che ha eseguito
+l'operazione;\footnote{attraverso il campo \var{semundo} di
+  \var{task\_struct}, come mostrato in \ref{fig:ipc_sem_schema}.} quando un
+processo termina, la lista ad esso associata viene scandita e le operazioni
+applicate al semaforo.
+
+Siccome le richieste di ripristino si accumulano attraverso diverse chiamate a
+\func{semop} per semafori diversi, si pone il problema di come viene eseguito
+il ripristino all'uscita del processo, in particolare se questo può essere
+fatto atomicamente. Il punto è cosa succede quando una delle operazioni
+previste per il ripristino non può essere eseguita immediatamente perché ad
+esempio il semaforo è occupato; in tal caso infatti, se si pone il processo in
+stato di \textit{sleep} aspettando la disponibilità del semaforo (come faceva
+l'implementazione originaria) si perde l'atomicità dell'operazione. La scelta
+fatta dal kernel è pertanto quella di effettuare subito le operazioni che non
+prevedono un blocco del processo e di ignorare silenziosamente le altre;
+questo però comporta il fatto che il ripristino non è comunque garantito in
+tutte le occasioni.
 
 
 \subsection{Memoria condivisa}
diff --git a/network.tex b/network.tex
index 6f6148e..eda8248 100644
--- a/network.tex
+++ b/network.tex
@@ -390,7 +390,7 @@ Maggiori dettagli riguardo a caratteristiche, notazioni e funzionamento del
 protocollo IP sono forniti nell'appendice \capref{cha:ip_protocol}.
 
  
-\subsection{UDP: User Datagram Protocol)}
+\subsection{User Datagram Protocol (UDP)}
 \label{sec:net_udp}
 
 UDP è un protocollo di trasporto molto semplice, la sua descrizione completa è
@@ -435,7 +435,7 @@ bene per le applicazioni in cui la connessione non 
 costituirebbe solo un peso di prestazioni mentre una perdita di pacchetti può
 essere tollerata, ad esempio quelle che usano il multicasting.
 
-\subsection{TCP: Transport Control Protocol)}
+\subsection{Transport Control Protocol (TCP)}
 \label{sec:net_tcp}
 
 Il TCP è un protocollo molto complesso, definito nell'RFC~739 e completamente
-- 
2.30.2