Käyttöjärjestelmät II

Transkriptio

1 LUENTO 1 Käyttöjärjestelmät II Kertaus: KJ-I ja RIO (KJ2 n osalta) Ch 1-8, [Stal05] Kustakin luvusta enemmän tai vähemmän alkuosa Jos jokin asiat tässä tuntuvat hatarilta, niin (a) kysykää ja/tai (b) kerratkaa kirjasta Jatkossa nämä asiat otaksutaan hyvin osatuksi. 1

2 Yleiskuva Yleiskatsaus (Ch 1 [Stal05]) u Käskysykli, keskeytys, muistihierarkia, välimuisti, siirrännän tekniikat Yleistä käyttöjärjestelmästä (Ch [Stal05]) u KJ:n tehtäviä ja toimintoja, KJ:n evoluutiotarina, keskeiset KJ:n osat, nykyaikaisen KJ:n piirteet 2

3 Tietokonejärjestelmä Palvelupyynnöt (POSIX) laiteajurit keskeytyskäsittely 3

4 Käyttöjärjestelmät II KJ ja laitteistopiirteet Stal05 Ch 1 4

5 Keskusyksikkö (Kuva 3.1, Häkk98) TLB PTR PSW 5

6 KJ ja laitteistopiirteitä Etuoikeutetut käskyt (Privileged Instructions) u siirräntäkäskyt (fyysinen siirräntä) u MMU käytön vaatimat asetukset u keskeytysten esto ja salliminen u jos sovellus yrittää käyttää näitä käskyjä, tuloksena poikkeus tuntematon käskykoodi Etuoikeutettu tila / käyttäjätila (Supervisor/User mode) u bitti PSW:ssä u vain laitteisto voi asettaa etuoikeutetun tilan u CPU suorittaa etuoikeutetun käskyn vain, jos on etuoikeutetussa tilassa Jakamaton test-and-set käsky (tai muu vastaava) u poissulkeminen, synkronointi 6

7 KJ ja laitteistopiirteitä (jatk) Osoitemuunnos ja muistinsuojaus u KJ suojattava sovellukselta, sovellukset toisiltaan u CPU:n tehtävä ajonaikainen osoitemuunnos ja tarkistettava muistiosoitteet F laitteistoon tarvitaan MMU F MMU:ssa osoitemuunnospuskuri TLB Keskeytysmekanismi u hallittu kontrollin siirto KJ:n ja sovelluksen välillä u bitti PSW:ssä, keskeytyskäsittelyn alku laitteistotoiminto Kellokeskeytys u ettei yksi sovellus valloita koko laitteistoa u viimeistään kello aiheuttaa keskeytyksen F kontrolli taas KJ:lle 7

8 Käskysykli Fig 1.7 [Stal05] 8

9 Keskeytys Fig. 5-5 [Tan01] 9

10 Keskeytyskäsittely (kesk. käsittelijä) Etuoikeutettu tila vs. käyttäjätila Keskeytysten esto vs. salliminen s [Stal05] 10

11 Käyttöjärjestelmät II KJ ja palvelupyynnöt Ch [Stal05] 11

12 new ready 12

13 read(fd, buffer, nbytes) Fig 1-17 [Tan01] 13

14 POSIX palvelupyyntöjä Fig 1-18 [Tan01] jne, kaikkiin KJ:n perustehtäviin liittyen... ks. man syscalls POSIX: 14

15 Käyttöesimerkki Fig 1-19 [Tan01] Riisuttu komentotulkki Huom: fork() palauttaa 0 lapselle ja lapsen id n isälle 15

16 WIN32 vs. UNIX API Fig [Tan01] 16

17 Käyttöjärjestelmät II Prosessin hallinta Ch 3.1-4, 4.1 [Stal05] 17

18 Prosessi = Suoritettavaksi otettu ohjelma koodi muistissa (voi olla yhteiskäytössä) oma data-alue ja pino muistissa (muuttujat) + KJ:n ylläpitämät rakenteet, PCB u CPU:n dataa prosessin suorittamisesta F prosessorin rekistereiden arvot u KJ:n dataa prosessin hallitsemiseksi F tunnistus (pid, ppid), omistaja (uid, gid) F vuorottamisessa tarvittavaa tietoa F muistinhallinnassa tarv. tietoa (osoitin sivutauluun) F tiedostokuvaajataulu F (ks. Table 3.5 [Stal05]) 18

19 Prosessin tilakaavio Kuva 3.9 [Stal05] Levyllä, swapped out Muistissa 19

20 Prosessijonot Kuva 3.8 [Stal05] 20

21 Milloin prosessinvaihto? Vain keskeytyksen jälkeen u ei kuitenkaan aina! Kun CPU siirtynyt suorittamaan KJ:tä u Palvelupyyntö F jonka seurauksena prosessi joutuu odottamaan u Poikkeus F prosessin suorituksessa virhe F prosessi joutuu exit-tilaan ja tapetaan u Ulkoinen keskeytys F siirräntä valmistuu F prosessin aikaviipale (50 ms ms) täynnä Vuorottaja valitsee u talleta edellisen prosessin tiedot CPU:sta sen PCB:hen u kopioi seuraavan prosessin tiedot PCB:stä CPU:hun 21

22 Säikeet Fig 4.2 [Stal05] 22

23 Säikeet Fig 2-13 [Tan01] 23

24 Käyttöjärjestelmät II Samanaikaisuuden hallinta Ch 5, [Stal05] 24

25 Poissulkemisongelma Mutex määrittely Ohjelmistoratkaisu Laitetuki ongelman ratkaisuun Lukko vai semafori? Milloin? Monitorit ja niiden toteutus Lukijat ja kirjoittajat (synkronointi) Miten tiedät, että ratkaisusi on oikein? 25

26 Lukkiutumisongelma Lukkiutumisen havaitseminen Lukkiutumisen välttäminen Lukkiutumisen purkaminen Aterioivat filosofit 26

27 Käyttöjärjestelmät II Muistinhallinta Virtuaalimuisti Ch 7, 8.1 [Stal05] 27

28 Muistihierarkia Fig 1.14 [Tan01] nano = 10-9, mikro = 10-6, milli =

29 Virtuaalimuisti Sivutus (Table 8.1 [Stal05]) Segmentointi Keskusmuisti jaettu vakiokokoisiin sivutiloihin KJ jakaa prosessin vakiokokoisiin sivuihin Prosessikoht. sivutaulut: missä sivutilassa sivu sijaitsee Virt.os: (sivu, siirtymä) Sisäinen pirstoutuminen Vapaiden sivutilojen lista Kaikki sivut ei muistissa - läsnäolobitti sivut-alkiossa - poisto / korvauspolitiikka Ohjelmoija/kääntäjä jakaa prosessin vaihtelevankokoisiin segmentteihin Prosessikoht. segmenttitaulut: segmentin alkuos. ja pituus Virt.os: (segmentti, siirtymä) Ulkoinen pirstoutuminen muistin tiivistämistarve Vapaiden muistialueiden lista Kaikki segmentit ei muistissa - läsnäolobitti Seg.t.-alkiossa - poisto / korvauspolitiikka 29

30 MMU ja osoitteenmuunnos Kuva 8.8.[Stal05] 30

31 Käyttöjärjestelmät II Siirräntä Ch [Stal05] 31

32 Siirrännän hierarkia Fig [Tan01] 32

33 Laiteajurit Fig [Tan01] 33

34 Kolme eri tapa lukea lohko DMA I/O suora I/O keskeyttävä I/O Fig 1.19 [Stal05] 34

35 DMA-siirto Fig. 5-4 [Tan01] Huom: data ei kulje suorittimen rekistereiden kautta! 35

36 Puskurointi Fig [Tan01] 36

37 Käyttöjärjestelmät II Tiedostojärjestelmä Ch [Stal05] 37

38 UNIX PCB i-node nbr device nbr n = read(fd, buf, count) q laitenumeron perusteella KJ löytää laitekuvaajan ja ajurin 38

39 Vapaan tilan hallinta Fig [Tan01] linked list vs. bitmap 39

40 UNIX Fig [Tan01] vapaat lohkot ketjutettu edellä kuvatulla tavalla taltiota alustettaessa i-solmussa merkintä vapaa/varattu superlohkossa mm. laitenumero, partition koko sekä vapaiden lohkojen listan alku, vapaiden i-solmujen numeroita 40

41 Levypartitiot Fig [Tan01] 41

42 Kertauskysymyksiä Mitkä ovat keskeiset KJ:n osat? Mitä perustietorakenteita KJ:n on ylläpidettävä? Kuinka keskeytys käsitellään? Mitä tietoja on prosessin kuvaajassa? Milloin noita tietoja käytetään? Milloin KJ vaihtaa suoritettavaa prosessia? Miten prosessi ja säie liittyvät toisiinsa? Mitä hyötyä on asiakas-palvelija mallista? Kuinka samanaikaisuutta hallitaan? 42