OSA I: Sisältöä. Atomisuus (atomic action) v Poissulkeminen ja synkronointi. Kriittinen (koodi)alue (critical section)

Transkriptio

1 Sisältöä OSA I: Yhteisten muuttujien käyttö Prosessit samassa koneessa Poissulkeminen ja nti Semaforit ja rinnakkaisuuden hallinta Lukkiutuminen Monitorit Atomisuus (atomic action) v Poissulkeminen ja nti alkutila tila muutoksen jälkeen tilamuutos välitiloja ei näy Rinnakkaiset, atomiset operaatiot Spin Locks Semaforit Synkronointi Andrews , , , 6.3 ja Stallings 5.1, yksittäinen konekäsky on atominen usean konekäskyn vaatima muutos = kriittinen alue (critical section) on tehtävä atomiseksi keskinäisellä poissulkemisella (mutual exclusion) muut prosessit eivät pääse käsittelemään tilamuutoksen muuttujia eli suorittamaan omaa kriittista aluettaan Liisa Marttinen 2-4 Kriittinen (koodi)alue (critical section) int buf[n]; process kertoma (int arvo) { int apu = 1, i =2; while (i<= arvo) { apu = i*apu; i++; buf[arvo] = apu; buf Yhteinen muistialue process laskija( ) { int apu, luku,...; laske jotain; luku=f( ); # laske luku apu = buf[luku]; if (apu = = 0)... else lasketaan taas;... { { 2-5 Rinnakkaiset, atomiset operaatiot Kriittinen alue, useita käsittelijöitä Vain yksi saa edetä alueella kerrallaan char out, in; procedure echo { input (in, keyboard); out = in; output (out, display); process P[i=1 to 2] {... echo();... prosessi P[1] input (in,..); out = in; output (out,..); prosessi P[2] Andrews 3.1. (s ) input(in,..); out = in; output(out,..); 2-6 1

2 Poissulkeminen Ohjelman perusmalli process CS[i=1 to n] { # n rinnakkaista prosessia ei kriittistä koodia Entry protocol # varaa < kriittinen koodialue > # käytä (exclusive!) Exit protocol # vapauta Ohjelmoi kriittiset alueet lyhyiksi! Vain välttämätön 2-7 Halutut ominaisuudet Poissulkeminen Vain yksi prosessi kerrallaan suorituksessa kriittisellä alueella Ei lukkiutumisvaraa, ei elohiirtä Jos useita sisäänpyrkijöitä, jotain onnistaa Ei tarpeettomia viipeitä Jos alue vapaa, pääsy sallittava Lopulta onnistaa, ei nälkiintymistä Kukaan ei joudu odottamaan ikuisesti 3 safety properties + liveness property deadlock livelock 2-8 bool in1= false, in2=false; process CS1 { <await (!in2) in1 =true;> /*entry*/ in1= false; /*exit*/ process CS2 { <await (!in1) in2 =true;> /*entry*/ in2= false; /*exit*/ Kaksi prosessia entry protocol! exit protocol! Entä jos prosesseja onkin N kappaletta? Onko varattu (joku käyttää) vai Spin Locks, Busy Waiting Andrews 3.2 (s ) vapaa (ei kukaan käytä)? Lukkomuuttujat, Spin Locks Boolean-muuttuja lock Lock== true kriittinen alue varattu (in1 V in2 V V inn) lock==false kriittinen alue vapaa Entry protocol while (lock) ; # aktiivinen odotus, pörrää # check again if (!lock) # busy loop lock=true; Exit protocol lock=false; bool lock=false; process CS[i=1 to N] { <await (!lock) lock =true;> /*entry*/ lock= false; /*exit*/

3 Toteutus symbolisella konekielellä muuttuja L: L==1, jos kriittinen alue vapaa L==0, jos kriittinen alue varattu LOOP: LOAD R1,L JZER R1,LOOP LOAD R1,=0 STORE R1,L < kriittinen alue > LOAD R1,=1 STORE R1,L L == 1 0 OK? Testaus ja asetus atomisesti! LOOP: LOAD R1,L JZER R1,LOOP LOAD R1,=0 STORE R1,L < kriittinen alue > LOAD R1,=1 STORE R1,L 2-13 Test-and-Set-käsky Oma konekielen käsky atominen laitetason suoritus (execute-vaihe) argumentti: lukkomuuttuja boolean paluuarvo TS L merkitys: < temp=l; L=0; if (temp==1) jump *+2; > merkitään varatuksi! Käyttö: LOOP: TS L JUMP LOOP Saa edetä! Jää odottamaan! Test-and-Set ja TT-K91? bool TS(bool lock) { < bool initial = lock; /* arvo talteen */ lock = true; /* lukitse lukko */ return initial; > /* palauta lukon arvo */ Andrews s. 99 Test and Set toiminto lausekielellä esitettynä TS Ri,L < Ri mem[l] mem[l] 0 if (Ri==1) jump *+2 > entry exit LOOP: TS R1,L # L: 1(vapaa), 0(varattu) JUMP LOOP < kriittinen alue > # tänne, jos R1 = 1 LOAD R1,=1 STORE R1,L # L 1 OK? Moniprosessorijärjestelmä? Keskeytys? TEST and bool lock=false; SET process CS[i=1 to N] { while(ts(lock)) skip; lock= false; Toteutuvatko vaatimukset? Poissulkeminen? OK! Vain yksi prosessi kerrallaan suorituksessa kriittisellä alueella Ei lukkiutumisvaraa, ei elohiirtä? OK! Jos useita sisäänpyrkijöitä, jotain onnistaa Ei turhia viipeitä, ei nälkiintymistä? OK! Jos alue vapaa, pääsy sallittava Lopulta onnistaa? EI VÄLTTÄMÄTTÄ Kukaan ei joudu odottamaan ikuisesti Ongelmana suorituskyky, jos monta prosessia kilpailemassa ja koko ajan tutkimassa ja kirjoittamassa lukkomuuttujaan Rasittaa muistia ja muistiväylää Kirjoittaminen häiritsee välimuistin toimintaa => Test-and-Test-and-Set = testataan ensin, onko lukko vapaa

4 Test and Test and Set kilpailu muistista (lukkomuuttuja) => huono suorituskyky TS kirjoittaa aina lukkomuuttujaan => välimuisti muuttuu => muiden prosessorien välimuistit eivät enää ole ajantasalla while (lock) skip; # pörrätään, kun lukko päällä (lock=true) while (TS(lock)) { # yritetään saada lukko itselle while (lock) skip; # pörrätään, jos ei saatu (lock = true) nyt useinmiten vain luetaan arvoa ja harvemmin kirjoitetaan! 2-19 bool lock=false; process CS[i=1 to N] { while(lock) skip; while(ts(lock)) { while(lock) skip; lock= false; TEST and TEST and SET 2-20 Lukkomuuttuja ja lukko-operaatiot Muuttujan tyyppi Operaatiot lock CSenter - CSexit <await (B) S;> toteutus: esittely, alkuarvo lock x=1; # vapaa LOCK(x) UNLOCK(x) loop test=ts(x); # aseta x = 0 until(test==1); # oliko vapaa? x=1; CSenter; while (!B) {Csexit; {CSexit;??? Delay; CSenter Csenter; S; CSexit; [ Linux kernel: spinlock_lock(x), spinlock_unlock(x) ] [ vrt. kirja CSenter, CSexit ] Ethernetin MAC-protokolla Poissulkeminen lukkomuuttujaa käyttäen lock L=1; # käytä lukitsemaan tiettyä kriittistä aluetta # sopimus prosessien kesken! Aktiivinen vs. passiivinen odotus busy-wait: turhaa laitteiston käyttöä! process CS [i=1 to N] { # n rinnakkaista! while (true){ LOCK(L); # varaa < kriittinen alue > # käytä (exclusive!) UNLOCK(L); # vapauta Tulkinta: L=1 yhdellä lupa edetä kilpailu useita prosesseja (käyttävät yhteistä prosessoria), jotka haluavat päästä kriittiselle alueelle livelock pienen prioriteetin prosessi kriittisellä alueella suuren prioriteetin prosessi pörrää LOCK-operaatiossa vaihtoehto jos pääsy ei sallittu, odota Blocked-tilassa

5 Semaforit Semaforit Andrews 4.1 (s ), 6.3 (s ) public public alkuarvo P(S) V(S) private private semafori S S.arvo S.jono P() aka WAIT() aka Down() jos kriittinen alue vapaa, lukitse se ja jatka eteenpäin jos kriittinen alue varattu, odota V() aka SIGNAL() aka Up() jos joku odotusjonossa, päästä joku etenemään muuten vapauta kriittinen alue atomisia Yleistä semaforeista Alkuperäinen idea: Dijkstra (60-luvun puoliväli) binäärisemaforit: vain arvot 0 ja 1 käytössä Operaatiot Alustus sem S=1; sem forks[5] = ([5] 1); P(S) (= passeren) V(S) (= vrijgeven) S.arvo 1 vapaa / avoinna / etenemislupa 0 varattu / suljettu / eteneminen kielletty S.jono Etenemislupaa Blocked-tilassa odottavat prosessit Toteutus: PCB:t linkitetyssä listassa (=jono) 2-27 Yleiset semaforit: S.arvo ~ resurssilaskuri S.arvo > 0 vapaiden yksiköiden lkm, etenemislupien määrä kuinka monta prosessia voi tehdä P()-operaation joutumatta Blocked tilaan ja semaforin jonoon S.arvo = 0 ei vapaita [ jotkut toteutukset: S.arvo < 0 ] jonossa odottavien prosessien lkm Ei operaatiota jonon käsittelyyn / pituuden kyselyyn! semaforin arvon kyselemiseen! jos tarve tietää, ylläpidä ko. tieto omassa muuttujassa 2-28 P/V:n toteutus KJ:n ytimessä (Andrews Fig 6.5) P(S) V(S) if (S.arvo > 0) S.arvo = S.arvo - 1 else aseta prosessin tilaksi Blocked, lisää prosessi jonoon S.jono call Vuorottaja() if (isempty(s.jono)) S.arvo = S.arvo + 1 else siirrä S.jonon ensimmäinen prosessi Ready-jonoon (tilaksi Ready) call Vuorottaja() 2-29 P/V:n toteutus (toinen tapa, Stallings Fig. 5.6 ja 5.7) P(S) V(S) S.arvo = S.arvo - 1 if (S.arvo < 0) aseta prosessin tilaksi Blocked, lisää prosessi jonoon S.jono call Vuorottaja() S.arvo = S.arvo + 1 if (S.arvo >= 0) siirrä S.jonon ensimmäinen prosessi Ready-jonoon call Vuorottaja() Miten ohjelmoijan huomioitava tämä toteutusero?

6 Poissulkeminen semaforia käyttäen sem mutex=1; # vain perinteinen muuttujan nimi P(lock) process CS [i=1 to N] { # rinnakkaisuus! while (true){ # varaa < critical section > # käytä (exclusive!) # vapauta V(lock) P(lock) P(lock) V(lock) yksi semafori kullekin erilliselle kriittiselle alueelle huomaa oikea alkuarvo V(lock) Esimerkki: Muistinhallinta (1) prosessi prosessi c1 c2... koodi Muistinhallinta addr [1:MAX]; int =MAX; addr function () { addr memaddr; memaddr = []; = -1; return memaddr ; procedure (addr freepage) { = +1; [] = freepage; # vapaita muistitiloja ; käyttö pinona 1,7,3,8,5,6,2,9,.. koodi Toimiikos tuo? addr [1:MAX]; int =MAX; framepool 1,7,3,8,5,6,2,9,.. 6 addr function : addr function : { get memaddr = []; = { get memaddr = []; = []; []; = -1 = -1 ==6 ==6 Muistinhallinta (1): poissulkeminen addr [1:MAX]; int =MAX; sem mutex=1; addr function () { Addr memaddr; memaddr = []; = -1; return memaddr; procedure (addr freepage) { = +1; [] = freepage; 1,7,3,8,5,6,2,9,.. mute x

7 Ehtonti Ehtonti Andrews 4.2 (s ) Prosessi P1 käskyjä kerro tapahtumasta käskyjä Prosessi P2 käskyjä odota tapahtumaa käskyjä... Tapahtuma: mikä tahansa kiinnostava puskuri_täynnä, io_valmis, laskenta valmis, kriittinen alue vapaa (Looginen) tapahtuma semaforimuuttuja Kumpi ehtii ensin ntikohtaan? tarvitsee paikan missä odottaa (~jonottaa) Synkronointi semaforia käyttäen sem A_Ready = 0; 0 ei ole tapahtunut, 1 on tapahtunut Tuottaja tuota A V(A_ready); Kumpi ehtii ensin? Oikea alkuarvo? Kuluttaja P(A_ready); kuluta A Muistinhallinta (2): nti addr [1:MAX]; int =MAX; sem mutex=1, avail=max; addr function () { addr memaddr; P(avail); memaddr = []; = -1 return memaddr; procedure (addr freepage) { = +1; [] = freepage; V(avail); 1,7,3,8,5,6,2,9,.. mutex 0 avail aika Puominti (barrier) n prosessia työskentelee yhdessä Iteratiivinen käsittely, nti tietyn välivaiheen jälkeen Prosessi A Prosessi B Prosessi C I II aika Worker[1] odota process Worker [i = 1 to N] { while () { käsittele vaihe x:n alku ; toimita ntitieto kaikille muille; odota titietoa kaikilta muilta; käsittele vaihe x:n loppu; Worker[2] Worker[3] odota odota

8 Puominti Väärin toteutettu puominti! sem arrive1 = 0, arrive2 = 0; process Worker1 { käsittele alkuosa 1 V(arrive1); # lähetä ntitapahtuma P(arrive2); # odota toista prosessia käsittele loppuosa 1 process Worker2 { käsittele alkuosa 2 V(arrive2); # lähetä ntitapahtuma P(arrive1); # odota toista prosessia käsittele loppuosa 2 Huomaa järjestys! 2-43 sem arrive1 = 0, arrive2 = 0; process Worker1 { käsittele alkuosa 1 P(arrive2); # odota toista prosessia V(arrive1); # lähetä ntitapahtuma käsittele loppuosa 1 process Worker2 { käsittele alkuosa 2 P(arrive1); # odota toista prosessia V(arrive2); # lähetä ntitapahtuma käsittele loppuosa 2 Johtaa lukkiutumiseen: kumpikin vain odottaa toista!! 2-44 Entä toimiiko näin? Onko mitään haittaa? sem arrive1 = 0, arrive2 = 0; process Worker1 { käsittele alkuosa 1 P(arrive2); # odota toista prosessia V(arrive1); # lähetä ntitapahtuma käsittele loppuosa 1 process Worker2 { käsittele alkuosa 2 V(arrive2); # lähetä ntitapahtuma P(arrive1); # odota toista prosessia käsittele loppuosa Puominti, yleiset semaforit sem arrive=0, continue[1:n] = ( [N] 0 ); process Worker [i=1 to N] { käsittele alkuosa i V(arrive); # ntitapahtuma koordinaattorille P(continue[i]); # odota toisia prosesseja käsittele loppuosa i process Coordinator { = 0; while ( < N) { # odota, kunnes N ntitapahtumaa P(arrive); ++; for [i = 1 to N] V(continue[i]); # ntitapahtuma prosesseille Entä jos vain yksi continue-semafori? 2-46 Virheellinen puominti! Miksi näin? sem arrive=0, continue= 0; process Worker [i=1 to N] { käsittele alkuosa i V(arrive); # ntitapahtuma koordinaattorille P(continue); # odota toisia prosesseja käsittele loppuosa i process Coordinator { = 0; while ( < N) { # odota, kunnes N ntitapahtumaa P(arrive); ++; for [i = 1 to N] V(continue); # ntitapahtuma prosesseille 2-47 Kilpailutilanne V(arrive); P(continue); Mitä tässä voi tapahtua? V(arrive); P(continue); koordinaattori P(arrive) OK N kertaa! V(continue) N kertaa;

9 Rinnakkaisuuden hallinta resurssien varaus get/rel muuttujat hallinnan toteutus P/V semafori P/V:n toteutus LOCK/UNLOCK lukkomuuttuja {P(mutex) V(mutex) {P(mutex) V(mutex) P( ) LOCK(lock) UNLOCK(lock) mut ex avail V( ) LOCK(lock) UNLOCK(lock) Kertauskysymyksiä? LOCK/UNLOCK toteutus test-and-set-käsky lukkomuuttuja LOCK loop..ts(x)... UNLOCK x =