Multiprogrammering[2] Datalogi 1F Forår 2003 Synkronisering og grænseflader Jørgen Sværke Hansen

Præsentationer af emnet: "Multiprogrammering[2] Datalogi 1F Forår 2003 Synkronisering og grænseflader Jørgen Sværke Hansen"— Præsentationens transcript:

1 Multiprogrammering[2] Datalogi 1F Forår 2003 Synkronisering og grænseflader Jørgen Sværke Hansen cyller@diku.dk

2 Datalogi 1F: Multiprogrammering[2] 2 Planen for idag Synkronisering: –Tidsafhængighed i multiprogrammer –Semaforer: Binære semaforer Tælle semaforer … Grænseflader: –Hvordan implementeres systemkald

3 Datalogi 1F: Multiprogrammering[2] 3 Tidsafhængighed i multiprogrammer proces læser { do { læslinie(indlinie); memcpy(udlinie, indlinie, 80); } while(TRUE); } proces skriver { do { udskriv(udlinie); } while(TRUE); } Inddata: rødbeder snabelsko Uddata: rødbeder snabelsko ……… Uddata: snabelsko ………… Uddata: rødbelsko snabelsko ………

4 Datalogi 1F: Multiprogrammering[2] 4 Producent-konsument: nu med tæller item nextProduced; while (1) { while (counter == BUFFER_SIZE) yield(); /* do nothing */ buffer[in] = nextProduced; in = (in + 1) % BUFFER_SIZE; counter++; } item nextConsumed; while (1) { while (counter == 0) yield(); /* do nothing */ nextConsumed = buffer[out]; out = (out + 1) % BUFFER_SIZE; counter--; }

5 Datalogi 1F: Multiprogrammering[2] 5 Opdatering af delt lager Ændringerne af counter skal ske udeleligt (uden afbrydelser) Kaldes også atomisk counter opdatering optræder som én operation på højniveau sprogniveau MEN ikke nødvendigvis i den eksekverbare kode

6 Datalogi 1F: Multiprogrammering[2] 6 Tælleropdateringer på assemblerniveau “count++” kan være implementeret som: register1 = counter register1 = register1 + 1 counter = register1 “count--” kan være implementeret som: register2 = counter register2 = register2 – 1 counter = register2 Ved processkift kan de to operationer sammenflettes

7 Datalogi 1F: Multiprogrammering[2] 7 Sammenfletning af tælleropdateringer Antag at counter har værdien 5. En sammenfletning af assemblerinstruktionerne for producent og konsument kunne være: producent: register1 = counter (register1 = 5) producent: register1 = register1 + 1 (register1 = 6) konsument: register2 = counter (register2 = 5) konsument: register2 = register2 – 1 (register2 = 4) producent: counter = register1 (counter = 6) konsument: counter = register2 (counter = 4) Værdien af count kan være enten 4 eller 6, men den rigtige værdi er 5.

8 Datalogi 1F: Multiprogrammering[2] 8 Datakapløb Datakapløb opstår, når resultatet af et multiprogram afhænger af afviklingsrækkefølgen af processerne i multiprogrammet Opdateringer til delt lager skal foregå udeleligt: –Kritisk region sikrer det Men det kan også være nødvendigt at synkronisere udførselshastigheden af de forskellige processer: –eks:.: snabelsko, snabelsko, snabelsko

9 Datalogi 1F: Multiprogrammering[2] 9 Semaforer Processer kommunikerer ved at sende signaler til hinanden Dijkstra foreslog semaforer: –Variable der tæller antallet af gange et signal er sendt men ikke modtaget (den optræder som buffer) –Operationen signaler(semafor) der sender et signal til semafor –Operationen vent(semafor), der venter på et signal (hvis intet signal er bufret, sættes processen til at vente) Buffer- og ventemekanismerne gør synkroniseringen tidsuafhængig

10 Datalogi 1F: Multiprogrammering[2] 10 Semaforer: forhold Semaforer skal udføres udeleligt: –Atomiske maskinkodeoperationer: test and set –Implementeret i kerne: Beskyttet mod afbrydelser ( swpipl ) Aktiv venten kan undgås idet en proces kan suspenderes mens den venter FIFO ventemekanisme kan forhindre udsultning

11 Datalogi 1F: Multiprogrammering[2] 11 Forskellige slags semaforer I dag findes et utal af semafortyper: –Binære semaforer –Tællesemaforer (Dijkstra’s oprindelige ide) –Beskedsemaforer –Postkassesemaforer –Trafiklyssemaforer

12 Datalogi 1F: Multiprogrammering[2] 12 Binær semafor: tilstande Class BinærSem { enum Tilstand {åben, låst} tilstand; kø prockø; intventende; public: void BinærSem(Tilstand t=åben) { tilstand = t; ventende = 0; } void vent(); void signaler(); };

13 Datalogi 1F: Multiprogrammering[2] 13 Binære semafore: operationer void BinærSem::vent() { if(tilstand==åben) tilstand=låst; else { ventende++; ; } void BinærSem::signaler() { if(tilstand==låst) if(ventende > 0) { ; ventende--; } else tilstand=åben; }

14 Datalogi 1F: Multiprogrammering[2] 14 Binære semaforer:anvendelse Sikring af udelelig adgang til delt data: –Binær semafor hedder ofte MUTEX (mutual exclusion) –Som eksempel: læser og skriver processerne fra slide 1

15 Datalogi 1F: Multiprogrammering[2] 15 skriver skrevet læst læser Binær semafor: eksempel proces læser { do { læslinie(indlinie); vent(skrevet); memcpy(udlinie, indlinie, 80); signaler(læst); } proces skriver { do { vent(læst); udskriv(udlinie); signaler(skrevet); } while(TRUE); } læser klar læserskriver

16 Datalogi 1F: Multiprogrammering[2] 16 Tællesemafor: tilstand class TælleSem { inttæller; kø prockø; intventende; public: void TælleSem(int c) { tæller = c; ventende = 0; } void vent(); void signaler(); };

17 Datalogi 1F: Multiprogrammering[2] 17 Tællesemafor: operationer void TælleSem::vent() { if(tæller > 0) tæller--; else { ventende++; ; } void TælleSem::signaler() { if(ventende > 0) { ; ventende--; } else tæller++; }

18 Datalogi 1F: Multiprogrammering[2] 18 Tællesemafor: anvendelse Administration af en samling ens ressourcer: –Frekvensbånd ved trådløs transmission –Jobskedulering på klyngecomputer –Uddeling af buffere Begrænsning af antallet af aktive processer i en region: –Begrænsning af multiprogrammeringsgraden i en applikation

19 Datalogi 1F: Multiprogrammering[2] 19 Beskedsemafor: tilstand class BeskedSem { købufkø; køprockø; intventende; public: void BeskedSem() { ventende = 0; } buf *vent(); void signaler(buf *); };

20 Datalogi 1F: Multiprogrammering[2] 20 Beskedsemafor: operationer buf *BeskesSem::vent() { if(!bufkø.tom()) return bufkø.frigiv(); else { ventende++; ; } void BeskedSem::signaler(buf *buffer) { if(ventende > 0) { aflever(buf); ; ventende--; } else bufkø.tilkø(buf); }

21 Datalogi 1F: Multiprogrammering[2] 21 Beskedsemafor: anvendelse Udveksling af data mellem processer, f.eks. producent-konsument forhold: –To beskedsemaforer: FRIE: indeholder frie elementer FULDE: indeholder fulde elementer –Producent: Venter på frie elementer og signalerer med fulde elementer –Konsument: Venter på fulde og signalerer med frie

22 Datalogi 1F: Multiprogrammering[2] 22 Producent-konsument process læser { do { lbuf = FRIE.vent(); læslinie(*lbuf); FULDE.signaler(lbuf); } while(TRUE); } process skriver { do { sbuf = FULDE.vent(); udskriv(*sbuf); FRIE.signaler(sbuf); } while(TRUE); } FULDE FRIE læser skriver buf for(i=0; i < N; i++) { nbuf = alloker(sizeof(buf)); FRIE.signaler(nbuf); } buf

23 Datalogi 1F: Multiprogrammering[2] 23 Postkassesemafor: tilstand class PostkasseSem { køprockø; intventende; public: void PostkasseSem() { ventende = 0; } void vent(); void signaler(); };

24 Datalogi 1F: Multiprogrammering[2] 24 Postkassesemafor: operationer void PostkasseSem::vent() { ventende++; ; } void PostkasseSem::signaler() { while (ventende > 0) { ; ventende--; }

25 Datalogi 1F: Multiprogrammering[2] 25 Postkassesemafor: anvendelse En proces kan give en gruppe processer besked om at en betingelse er opfyldt: –Der er kommet en afbrydelse fra uret –Delt data er blevet opdateret: Check om tidsstempel er det samme som sidste gang Hvis ja, vent på opdatering –Aftensmaden er klar Uafhængig af antallet af ventende processer

26 Datalogi 1F: Multiprogrammering[2] 26 Trafiklyssemafor: tilstand class TrafiklysSem { enum Farve {rød, grøn} farve; køprockø; intventende; public: void TrafiklysSem (Farve startfarve=grøn) { farve = startfarve; ventende = 0; } void vent(); void start(); void stop(); };

27 27 Trafiklyssemafor:operationer void TrafiklysSem::vent() { if(farve==rød) { ventende++; ; } void TrafiklysSem::start() { farve=grøn; while(ventende > 0) { ; ventende--; } void TrafiklysSem::stop() { farve= rød; }

28 Datalogi 1F: Multiprogrammering[2] 28 Trafiklyssemafor: anvendelse Signal om at en proces/ressource er i en bestemt tilstand: –Lavprioritetsprocesser har adgang til netværk udenfor spidsbelastningstidspunkter Timerstyret proces starter og stopper Lavprioritetsprocesser venter

29 Datalogi 1F: Multiprogrammering[2] 29 Valg af semafortype Vi har set at de forskellige semafortyper egner sig til forskellige opgaver Skal en kerne understøtte alle semafortyper? Ikke nødvendigvis: –Simpel kerne = færre fejl –En given semafor kan bruges til at konstruere andre semaforer med (dvs. en semafortype er nok)

30 Datalogi 1F: Multiprogrammering[2] 30 Tællesemafor ud fra binær semafor Ide: –Vi skal bruge en kø af ventende processer: Dette er allerede understøttet af binære semaforer –Hvordan ved vi hvor mange signaler, der ikke er modtaget? Vi skal bruge en tæller –Tælleren skal opdateres udeleligt: vi har brug for en mutex semafor Hvordan ser vent og signaler så ud?

31 Datalogi 1F: Multiprogrammering[2] 31 Tællesemafor: operationer void TælleSem::vent() { LOCK.vent(); MUTEX.vent(); tæller--; if(tæller <> 0) LOCK.signaler(); MUTEX.signaler(); } void TælleSem::signaler() { MUTEX.vent(); if(tæller == 0) LOCK.signaler(); tæller++; MUTEX.signaler(); }

32 Datalogi 1F: Multiprogrammering[2] 32 Grænseflader til kernen Kernekald Parameteroverførsel Repræsentation af ressourcer

33 Datalogi 1F: Multiprogrammering[2] 33 Kernekald Et brugerprogram ønsker at kalde kernefunktionen signal(semafor) Hvilken adresse specificeres i den eksekverbare kode i brugerprogrammet?

34 Datalogi 1F: Multiprogrammering[2] 34 Statisk lænkning Kerne og brugerprogrammer oversættes hver for sig, men lænkes sammen inden brug: –Kerne og brugerprogrammer startes som et samlet hele –Kan f.eks. bruges i indlejrede systemer: Mobiltelefoner Vaskemaskiner Netværksroutere –Kernekald er blot alm. procedurekald == lave omkostninger

35 Datalogi 1F: Multiprogrammering[2] 35 Dynamisk lænkning Oversættelse af kernen resulterer i en symboltabel, der senere kan anvendes ved oversættelse/lænkning af brugerprogrammer: –Brugerprogrammer skal genlænkes ved ændringer i kernen Dynamic Link Libraries (DLL’er): –Kald sker via en stubprocedure, der finder den rigtige adresse på køretidspunktet –Stubprocedurer kan evt. overskrives

36 Datalogi 1F: Multiprogrammering[2] 36 Faste, absolutte adresser Hvert kernekald har en fast defineret adresse, der er specificeret i f.eks. en headerfil: –Besværligt at arbejde med for kerneprogrammører

37 Datalogi 1F: Multiprogrammering[2] 37 Indirekte kernekald De absolutte adresser gemmes i en tabel, og kernekaldene foretages ved først at slå op i tabellen for at finde adressen på et kernekald: –Tabellens adresse er fast

38 Datalogi 1F: Multiprogrammering[2] 38 Maskinelstøttede systemkald I det foregående er det antaget lager er delt mellem kerne og brugerprogrammer Dette er sjældent tilfældet: –Kernen beskyttes via privat adresserum Systemkald via speciel maskininstruktion, der samtidig skifter privilegieniveau: –PAL kaldet call_pal PAL_callsys på alphaerne Fungerer typisk som indirekte kernekald, altså via en hoptabel

39 Datalogi 1F: Multiprogrammering[2] 39 Alpha eksempel Speficikation af handler: lda a0, syscallHandler lda a1, 5 call_pal PAL_wrent Foretag et systemkald: lda a0, CALLSYS_WRITE call_pal PAL_callsys Specifikation af hoptabel: enum SysCallId { CALLSYS_WRITE, CALLSYS_READ}; Void (*jumpTable[]) () = { write, read }; Handler: Void syscallHandler (SysCallId id) { (*jumpTable[id])()}

40 Datalogi 1F: Multiprogrammering[2] 40 Parameteroverførsel Parametre overføres via: –registre (at foretrække): Alphaerne bruger a0 – a5 –eksplicit i programkoden: parametrene placeres i den eksekverbare kode efter kernekaldet Returadressen skal ændres til at være første instruktion efter parametrene Systemkald indkapsles i køretidsbiblioteker, der bl.a. håndterer typecheck: void writechar(char ch) { callsys (SYS_WRITE, ch); }

41 Datalogi 1F: Multiprogrammering[2] 41 Parameteroverførsel på Alpha’erne line:.asciiz ”Skriv mig ud!”.... lda a0, CALLSYS_WRITE lda a1, line call_pal callsys....

42 Datalogi 1F: Multiprogrammering[2] 42 Køretidsbiblioteker Systemkald indkapsles i køretidsbib- lioteker, der bl.a. håndterer typecheck: callsys:call_pal PAL_callsys ret (ra) unsigned long callsys (SysCallId...); void writechar(char ch) { callsys (SYS_WRITE, ch); }

43 Datalogi 1F: Multiprogrammering[2] 43 Kerneressourcer vs. brugerressourcer Ved kernekald kan brugerprogrammer overgive brugerressourcer til kernen: –Reference til buffer, der skal udskrives (en adresse i brugerprogrammets hukommelse og en længde) Men kernekald opererer også på systemressourcer, fx: åbne filer, semaforer Disse systemressourcer skal beskyttes af kernen, og kan derfor ikke placeres i brugerprogrammernes hukommelse Hvordan repræsenteres disse i brugerprogrammet?

44 Datalogi 1F: Multiprogrammering[2] 44 Håndtag til systemressourcer Når et brugerprogram reserverer/opretter/får adgang til en systemressource, modtager den en nøgle (eng.: handle) Ved efterfølgende brug af ressourcen præsenteres kernen for nøglen som identifikation Afbildningen af nøgler til ressourcer sker per proces, dvs. man kan ikke gætte en anden proces’ nøgler Nøgleafbildningen er typisk kædet sammen med proces kontrolblokken Nøglen er typisk et heltal

45 Datalogi 1F: Multiprogrammering[2] 45 Opsummering Synkronisering af multiprogrammer: –Udelelige operationer –Forskel på højniveau operationer og lavniveau –Semaforer Generelt synkroniseringsmekanisme Ingen aktiv venten Kernegrænseflade: –Hvordan implementeres systemkald

46 Datalogi 1F: Multiprogrammering[2] 46 Næste uge På onsdag stilles G1: –Lidt assemblerprogrammering –Modifikation af eksisterende kerne samt aflusning på kernemaskinerne –Instruktorer udleverer T-kort i næste uge Opgaverne i uge 8: –Træningsopgaver i Alpha assembler og C++ –Java => C++ tutorial på kursushjemmesiden: Især om pointere og hukommelse Øvelser –Anden øvelsesgang i uge 8 og første øvelsesgang i uge 9 er erstattet af instruktorvagter

47 Datalogi 1F: Multiprogrammering[2] 47 Kilder Disse slides er baseret på indholdet af Datalogi 1F kursusbøgerne samt ”Operating System Concepts” 6. udgave