Synkronisering En prosess kan sees på som et stykke arbeid som skal utføres på datamaskinen. Ofte vil det være flere prosesser/tråder på datamaskinen samtidig. Behov for synkronisering Mange prosesser/tråder gir et behov for å organisere hvordan prosessene/trådene skal samkjøres. Det er behov for synkronisering av tråder i to tilfeller. Samarbeid mellom tråder. Konkurranse mellom tråder. Samarbeid mellom tråder Hvis alle trådene på et system kjørte hver for seg uten å ha noe med andre tråder å gjøre vil det ikke være vanskelig å fordele tid til dem i prosessor. Det som gjør prosessering vanskelig er at tråder kan samarbeide og være avhengige av hverandre. Tråder kan i forskjellige situasjoner samarbeide. En tråd kan iblant ha som oppgave å utføre en oppgave for en annen tråd. Et eksempel på samarbeid mellom tråder er når to tråder jobber mot en felles liste. Den ene tråden kan ha til oppgave å henge objekter på listen. Den andre tråden kan ha til oppgave å fjerne objekter fra listen. 1
Konkurranse mellom tråder Konkurranse mellom tråder oppstår når to tråder ønsker å bruke den samme ressursen på samme tidspunkt. Et eksempel er to tråder som samtidig forsøker å skrive til samme fil. Et annet eksempel på konkurranse om en ressurs er to tråder som skriver til skjermen samtidig. Dette fører gjerne til kollisjoner og rotete utskrifter. Eksempel på kollisjon Eksempel på kollisjon når to tråder skriver til skjermen samtidig. Tråd 1 skriver Hallo Tråd 2 skriver Hei Resultatet på skjermen kunne bli HaHellio Eksklusiv rådighet Det vil iblant skje at flere tråder samtidig konkurrerer om en ressurs. Det er derfor behov for systemer som sørger for at tråder ikke kolliderer. Når kun en tråd har tilgang til en ressurs på et bestemt tidspunkt kalles dette eksklusiv rådighet. Eksklusiv rådighet heter Mutual Exclusion på engelsk. Eksklusiv rådighet er når en tråd har fått rettighet til en ressurs slik at den har eksklusiv tilgang til ressursen. Eksklusiv tilgang vil si at andre tråder lukkes ute og ikke får tilgang til ressursen. 2
Synkronisering ved semafor En semafor kan beskrives som et heltall. Semaforen kan ha verdien 0, 1,, n. Hvor n er et tall som vi bestemmer. En måte å oppnå eksklusiv tilgang på er å bruke kun verdiene 0 eller 1. For eksempel kan to tråder som skal skrive samtidig til skjermen bruke en semafor for å unngå kollisjoner. Verdi = 0 Verdi = 1 Skjermen er i bruk Skjermen er i ikke bruk Før trådene skriver til skjermen sjekker de semaforen. Er semaforen ledig, det vil si har verdien 1, settes verdien til 0, og tråden har eksklusiv rådighet over skjermen. Når tråden er ferdig med skjermen settes verdien til semaforen lik 1 igjen. En semafor kan ha flere tallverdier enn 0 og 1. Semafor med flere tallverdier Iblant kan det være mulig at flere tråder kan få tilgang til en ressurs samtidig. Da kan man benytte en semafor med flere tallverdier. En semafor med tallverdier 0, 1, 2 vil kunne tillate to tråder samtidig. Semaforen kan starte med verdien 2. Hver tråd som entrer semaforen avtar verdien med 1. Når verdien er 0 vil ikke flere tråder slippes inn i semaforen. 3
class Semaphore class Semaphore er en klasse i.net Framework Class Library. Her er det to funksjoner som kontrollerer semaforen. WaitOne() Semaforen avtar med 1 Release() Semaforen øker med 1 WaitOne() avtar verdien til semaforen med 1 og medfører at andre tråder stenges ute når verdien er lik 0. Release() skjer når tråden forlater semaforen og verdien til semaforen øker med 1. Mutex Semaforer kan brukes på forskjellige måter. En semafor som kun benyttes til å oppnå eksklusiv rådighet kalles gjerne en Mutex. En Mutex er en semafor som bare kan ha verdiene 0 og 1. Mutex-er kan bli implementert av mer spesialiserte og raskere rutiner enn en semafor. Når man programmerer vil det derfor lønne seg å bruke en Mutex istedenfor en semafor når man ønsker å oppnå eksklusiv rådighet. 4
Semafor for synkronisering En annen type semafor kalles for Semafor for synkronisering. Gitt to tråder A og B som samarbeider. Tråd A må ikke passere et punkt p1 i koden før tråd B har nådd et punkt p2 i sin kode. Måten en semafor for synkronisering virker på er at tråd A blokkerer semaforen når den starter. Når tråd A har kommet til punkt p1 frigjør den semaforen slik at tråd B vet at tråd A har kommet til punkt p1. Events Istedenfor å benytte semafor for å få til synkronisering kan en benytte Events. Events brukes i tilfeller der en tråd må vente på at noe er utført i en annen tråd. Et eksempel på tråder som må vente på hverandre er når en tråd skal lese en fil som en annen tråd har skrevet. Tråden som skal lese filen kan ikke lese den før den andre tråden er ferdig med å skrive den. Class EventWaitHandle Class EventWaitHandle er en klasse i.net Framework Class Library som kan benyttes for å synkronisere tråder som må vente på hverandre. I Class EventWaitHandle er det to funksjoner WaitOne() Set() Blokkerer tilgang Tillater tilgang 5
Ulemper med semaforer Noen ulemper med semaforer 1. Tråder er ikke tvunget til å bruke semaforer. Det kan være tråder som ikke har semafor når det er nødvendig. 2. Ukorrekt bruk av semafor kan føre til vranglås (Deadlock). 3. Blokkering av en semafor er uendelig, det er ikke mulig å bestemme blokkering for en bestemt tidsperiode. (Mulig i Visual Studio). 4. Hvis en tråd med lav prioritet som sultes får tilgang til en semafor, kan dette låse systemet fordi andre tråder med høyere prioritet ikke får tilgang. Monitor Monitor er en måte å synkronisere på som er noe annerledes enn ved semafor. Oppgaven til en monitor er å sørge for at bare en tråd får tilgang til noen data på et bestemt tidspunkt. En monitor brukes på et stykke programkode (for eksempel en klasse). Dataene som skal benyttes av tråder kan bare nås via koden i monitoren. For å sikre eksklusiv rådighet benyttes noe som kalles en Condition Variabel. En Condition Variabel er en variant av en semafor som kan ha verdien 0 og 1. Hver gang en tråd går inn i eller forlater en monitor signaliserer den til en Condition Variabel. 6
Class Monitor class Monitor er en klasse i.net Framework Class Library. Objekter fra klassen Monitor kan synkronisere adgang til kode vi skriver. Dette betyr at bare en tråd kan nå koden om gangen. Class Monitor har funksjoner som er med på å regulere adgang til objekter fra klassen. Enter() TryEnter() Exit() Lukker objektet Forsøker å lukke Åpner objektet Vranglås Når flere tråder konkurrerer om en ressurs kan det oppstå noe som kalles vranglås (Deadlock). Tråder som har status vranglås er i den situasjon at hver tråd venter på en ressurs som er opptatt av en annen tråd. Et eksempel på vranglås er 1. To tråder har hver sin fil åpen for skriving. Begge tråder forsøker å åpne den andre trådens fil. 2. Begge tråder vil vente evig fordi en fil som er åpen for skriving, kan ikke åpnes av en annen tråd. Tråd 1 Fil1 Fil 2 Tråd 2 7
Prosessplanlegging Prosessplanlegging (CPU Scheduling) er oppgaven å behandle deling av prosessor mellom en gruppe med prosesser/tråder. Planlegging heter på engelsk Scheduling. Om planlegging Prosessplanlegging av tråder skiller seg ikke fra annen planlegging. For eksempel planlegging av 1. Bruk av undervisningsrom. 2. Trafikkflyt ved trafikkregler. Prosessplanlegging kan gjøres på mange forskjellige måter. Hvordan dette skal gjøres på best mulig måte har derfor vært et forskningsproblem. To typer prosessplanlegging Man kan skille mellom to typer algoritmer for prosessplanlegging Ikke preemptive algoritmer Preemptive algoritmer Med preemptiv menes at operativsystemet griper inn. 8
To måter å behandle prosesser Ikke preemptive algoritmer lar en prosess som har kommet inn i prosessor kjøre til den er ferdig. Preemptive algoritmer lar prosesser kjøre bare et bestemt intervall. Det vil si at prosesser hele tiden bytter på å kjøre. Prosessplanleggings politikk På en datamaskin er det vanligvis mange tråder som venter på å komme inn i prosessor. Når en tråd er ferdig i prosessor og en ny tråd skal lastes inn, må prosessplanleggeren (Scheduler) bestemme hvilken tråd som skal lastes inn. Hvilken tråd som skal lastes inn bestemmes ved en prosessplanleggingspolitikk. En prosessplanleggingspolitikk (Scheduling Policy) må bestemme to ting 1. Når tiden er inne for en tråd til å forlate prosessor. 2. Hvilken tråd som er den neste til å lastes inn i prosessor. Årsaker til at en tråd forlater prosessor Det er fire årsaker til at en tråd forlater prosessor 1. Tråden er ferdig (programslutt). 2. Tråden behøver en ressurs, men denne er for øyeblikket ikke tilgjengelig. 3. Tråden bestemmer frivillig å forlate prosessor. 4. Tråden må forlate prosessor fordi den har brukt opp tiden den får være i prosessor. 9
Trådutskifting Å fjerne en tråd fra prosessor og å laste inn en ny tråd kalles trådutskifting (Context Switching). En tråd som er i prosessor bruker flere registre som har data og informasjon om tråden. Ved trådutskifting må derfor dataene i disse registrene lagres, slik at de kan lastes inn i prosessor neste gang tråden kjøres. Preemptiv prosessplanlegging Windows benytter preemptiv prosessplanlegging. Tråder tillates å være i prosessor en bestemt tid som kalles et Quantum. Et Quantum er et tidsintervall som en tråd kan være i prosessor før den byttes ut med en annen tråd. Lengden til et Quantum Lengden til et Quantum varierer fra system til system. I Windows 7 er et Quantum 2 klokkeintervaller. På Windows Server systemer 12 klokkeintervaller. Et klokkeintervall er ca. 10 millisekunder. 10
Måter prosesser kan dele prosessor på Trådene kan dele bruk av prosessor på to måter Frivillig deling av prosessor. Ufrivillig deling av prosessor. Frivillig deling av prosessor Frivillig deling av prosessor vil si at trådene er programmert til å forlate prosessor selv. En prosessplanlegger som benytter frivillig deling av prosessor kalles en ikke preemptiv prosessplanlegger. Et problem ved å bruke frivillig deling av prosessor som system er at det kan dukke opp tråder som ikke vil samarbeide. Ufrivillig deling av prosessor Ufrivillig deling av prosessor vil si at systemet har et avbrytelsessystem som kan avbryte en tråd som kjører i prosessor. Dette systemet bruker gjerne en timer som avbryter prosessen når det har gått et bestemt intervall. Prosessplanleggeren Prosessplanleggeren bestemmer hvilke tråder som skal inn i prosessor og hvor lenge trådene får bli i prosessor. Hvordan prosessplanleggeren organiseres har derfor stor innvirkning på datamaskinens hastighet og ytelse. 11
Høy ytelse og lav ytelse En tråd som prosessplanleggeren lar komme inn i prosessor ganske lett, vil ha høy ytelse. Motsatt vil en tråd som sjelden kommer inn i prosessor, ha lav ytelse. Hvordan prosessplanleggeren bør organiseres avhenger av hva operativsystemet skal brukes til. Prosessplanlegging i et sanntidsoperativsystem Prosesser i et sanntidsoperativsystem skal reagere med en gang. De må derfor prioriteres mye høyere enn prosesser i et vanlig operativsystem. Prioritet Prosessplanleggings algoritmer som er laget for moderne operativsystemer bruker prioritet til å bestemme hvilke prosesser som skal få tilgang til prosessor. Hver tråd gis en prioritet som angir hvor viktig tråden er. En prosessplanlegger som benytter frivillig deling av CPU kalles en ikke preemptiv prosessplanlegger. 12
Ikke preemptiv prosessplanlegger Vi skal se på noen måter som en ikke preemptiv prosessplanlegger kan arbeide på. Noen måter en ikke preemtiv prosessplanlegger kan arbeide på er 1. First Come First Served 2. Shortest Job Next 3. Priority Scheduling 4. Deadline Scheduling First Come First Served First Come First Served strategien lar trådene komme inn i prosessoren etter hvert som de blir startet. En måte å organisere dette på er at trådene henges på en liste etter hvert som de er klare til å komme inn i prosessoren. Trådene henges bakerst på lista etter hvert som de kommer. Den som er først på lista kommer inn i prosessoren. First Come First Served strategien fungerer ikke bra i praksis og er lite brukt. Shortest Job Next Shortest Job Next strategien er at den tråden som går raskest å utføre hentes først inn i prosessor. Denne strategien minsker ventetiden da de små trådene går fort unna. Ulempen med strategien er at det kan føre til sulting av store tråder hvis det er mange små. 13
Prioritet prosessplanlegging Prioritet prosessplanlegging vil si at trådene får plass i CPU etter hvilken prioritet de har. Ulempen med denne metoden er at det kan føre til sulting av tråder med lav prioritet. Deadline Scheduling I sanntidssystemer er det ofte nødvendig at noen tråder må kunne kjøre ferdig i prosessor for å kunne holde en tidsfrist. Systemets ytelse avhenger av at slike tidsfrister overholdes. Dette kalles for Deadline Scheduling på engelsk. Preemptiv prosessplanlegger Noen måter en preemtiv prosessplanlegger kan arbeide på 1. Round Robin. 2. Køer med ulike nivåer. 3. Forgrunn og bakgrunn prosesser. Round Robin Round Robin er den mest brukte av alle prosessplanleggings algoritmer. Ideen bak Round Robin er at alle trådene skal få like mye tid i prosessoren. Hver prosess får et tidsintervall kalt et Quantum. 14
Køer med ulike nivåer Køer med ulike nivåer er et system der alle tråder med samme prioritet henges på en liste. Køer med ulike nivåer er derfor en utvidelse av prioritet systemet. Det er mange forskjellige strategier for at alle lister skal få tid i prosessor. Forgrunn og bakgrunns prosesser Forgrunn og bakgrunns prosesser er en måte å organisere tråder på. Tråder i forgrunnen kjører på prosessor for å utføre oppgaver for en bruker. Tråder i bakgrunnen slipper til når det er anledning til det. Det vil si når det ikke er noen aktive tråder i forgrunnen. Om prosessplanlegging på PC Prosessplanlegging er ikke så viktig på PC-er. På en PC kjører en bruker oftest bare et program, for eksempel en tekstbehandler. Dagens PC-er er blitt så raske at prosessor fint klarer alle oppgaver. Prosessplanlegging på server Prosessplanlegging er mye viktigere på en server i nettverk enn på en PC. På en server er det ofte mange prosesser som konkurrerer om tid i prosessor. 15
Prosessplanlegging på ulike systemer Hvilken prosessplanlegging algoritme vi skal bruke avhenger av operativsystemet. Vi skal se på tre ulike operativsystemer Batch systemer Interaktive systemer Sanntidssystemer Batch systemer Batch systemer utfører en oppgave beskrevet på en fil. I Batch systemer er det derfor ingen bruker som venter på respons. Batch systemer brukes fortsatt en del i forretningsverdenen. For Batch systemer brukes derfor en av følgende to algoritmer 1. Ikke preemptive algoritmer. En prosess kjører i prosessor til den er ferdig. 2. Preemptive algoritmer med lang tid for hver prosess i prosessor. Målet med prosessplanlegging algoritmer for Batch systemer er Få utført flest mulig jobber på kortest mulig tid. Holde prosessor aktiv hele tiden. 16
Interaktive systemer På et interaktivt system, hvor en bruker kommuniserer med datamaskinen, er preemtive algoritmer nødvendig. Preemptive algoritmer sørger for at ikke en prosess får datamaskinen til å henge om det blir en feil (Bug) i prosessen. Målet med prosessplanlegging algoritmer for Interaktive systemer er Kunne reagere på handlinger raskest mulig. Kunne tilfredsstille brukerens forventninger til systemet. Sanntidssystemer Sanntidssystemer kjører prosesser med høy prioritet som er klar til å reagere på ytre hendelser i systemet. Målet med prosessplanlegging algoritmer for sanntidssystemer er 1. Kunne reagere på handlinger med en gang. 2. Ting må skje på riktig tidspunkt. Det vil si at systemet må være forutsigbart. Målet med prosessplanlegging Generelt kan vi si at målet med prosessplanlegging algoritmer for alle systemer er Gi alle prosesser tilgang til prosessor. Utnytte systemet best mulig. 17