Mistä tässä harjoitteessa on kyse

Harjoituksen tavoitteet:

• Otat kosketusta oikean käyttöjärjestelmän oikeaan koodiin.
• Totuttelet lukemaan toisten tekemää koodia (IT-alan metataito).
• Ehkäpä (toivottavasti) havaitset, kuinka tämä pieni kurssimme on (toivottavasti) antanut joitain pieniä, alustavia, pohjia ymmärtää edes jotakin oikean käyttöjärjestelmän toteutuksellisista yksityiskohdista.

Joissakin korkeakouluissa otetaan bottom-up -lähestymistapa, jossa toteutetaan itse pieni käyttöjärjestelmä. Andrew S. Tanenbaumin oppikirjassa aikoinaan esimerkkinä ollut "koeputkikäyttöjärjestelmä" Minix on ollut pohjana ainakin Linuxin ensimmäisille versioille. Omalla kurssillamme katsotaan kuitenkin käyttöjärjestelmien teoriaa ja käytäntöä läpileikkauksena ja jonkinlaisena ohjattuna läpikävelynä. Tässä harjoitteessa ihmetellään ajankäytöllisten rajoitteiden puitteissa jotakin palasta olemassa olevasta koodista ja yritetään sitä kautta hahmottaa miltä todellinen toteutus voisi näyttää. Millään tapaa kurssiin käytössä oleva aikaikkuna ei riitä syventymiseen, vaan tarkoituksena on toivon mukaan näyttää lähtökohtia ja työkaluja omatoimiseen syventymiseen, mikäli sellainen jotakuta alkaisi kiinnostaa pidemmän päälle. Lisämotivaatioksi tarjotaan lisäpiste tenttiin.

Tutkittavien kohteiden valinta oli palautusmuodon määrittelyn lisäksi suuri haaste tällaisen tehtävän julkaisussa.. en tiedä onnistuiko tämä ekalla kertaa laisinkaan... Tavoitteena oli, että valittavana olisi suurin piirtein saman kokoista ja/tai tasoista koodia sopivan kokoinen palanen eri aihealueista. Keväällä 2014 yritin parhaani mukaan varmistua, että ehdotetut koodinpätkät ovat relevantteja käytännön toteutuksen tai sovellusten kannalta. Prosessissa jouduin selaamaan koodia loppujen lopuksi aika paljon, ja jouduin toteamaan, että todellisuus pystyy olemaan aika paljonkin monimuotoisempi kuin miltä se pelkistetyissä oppikirjaesimerkeissä näyttää. Arvostaisin palautetta ja parannusehdotuksia tulevia kurssikertoja varten!

Vaatimukset

Tehtävässä tutustut käytössä olevaan avoimena lähdekoodina tuotettuun käyttöjärjestelmään yleisellä tasolla sekä yhteen yksityiskohtaan syventyen.

Palautuksena on määrämuotoinen tiivistelmä ja oppimisdokumentaatio tekstitiedostona.

Käytä hyödyksesi seuraavia:

• https://www.kernel.org/ koko lähdekoodi ja versiohistoria; webbisivun välilehdillä on työkaluja, joista löytyy mm. tiedostokohtainen muutoslogi ja muutokset verrattuna edeltäviin versioihin.
• http://lxr.linux.no/ netissä toimiva ristiviitetyökalu esim. Linuxin koodin selailuun. Koodista klikkaamalla pääsee hakuun, joka näyttää kohdat, joissa tietorakenteet ja funktioit määritellään ja missä niitä käytetään. Huom: em. palvelu vastaa aika hitaasti (tilanne 2014) - sama työkalu on asennettu kenties paremmin käytettävästi tuonne: http://lxr.free-electrons.com/
• http://www.google.com/ ... ja muu internetin ihmeellinen maailma auttaa käsitteiden ja yksityiskohtien kanssa.

Valitse tutkittavaksesi yksi seuraavista kohteista (tiedostoista / funktioista / tietorakenteista). Heitä vaikka arvalla ja hylkää, mikäli arvottu aihepiiri ei kiinnosta tai tuli kohde, joka on arvioitu liian hankalaksi/pitkäksi (merkkasin "level 2" tai "level 3", jos jouduin itse kahlaamaan kovinkin paljon oheismateriaalia).

• Tietorakenne task_struct (etsi itse määrittelyn sijainti koodipuussa) (aihepiiri: prosessi)
• Tietorakenne usb_device (etsi itse määrittelyn sijainti koodipuussa) (aihepiiri: I/O, laiteajurit)
• Tietorakenne inode (etsi itse määrittelyn sijainti koodipuussa) (aihepiiri: tiedostojärjestelmä)
• Tiedosto arch/x86/boot/main.c (aihepiiri: laiterajapinta, tietokoneen käynnistys)
• Aliohjelma do_fork() (etsi itse toteutuksen sijainti koodipuussa) (aihepiiri: prosessit)
• Aliohjelma context_switch() (etsi itse toteutuksen sijainti koodipuussa) (aihepiiri: vuoronnus)
• Aliohjelma panic() (etsi itse toteutuksen sijainti koodipuussa) (aihepiiri: vikatilanteiden hallinta)
• Aliohjelma __schedule() (etsi toteutuksen sijainti koodipuussa) (aihepiiri: vuoronnus; "level 2")
• Tiedoston arch/x86/mm/fault.c sisältämä aliohjelma __do_page_fault() (aihepiiri: muistinhallinta, prosessoriarkkitehtuurit; "level 3")
• Tiedosto kernel/locking/semaphore.c (aihepiiri: ytimen sisäinen synkronointi; "level 2")
• Aliohjelma do_futex (etsi itse toteutuksen sijainti koodipuussa) (aihepiiri: käyttäjämaan synkronointi; "level 2-3")
• Aliohjelma do_msgrcv (etsi toteutuksen sijainti koodipuussa) (aihepiiri: IPC; level "2")

Vapaaehtoinen palautustehtävä (1p)

Tästä demosta saa bonuspisteen, mikäli Optima-järjestelmän palautuskansioon on palautettu seuraavanlainen vastaus:

• Vastaus on tasan yksi tekstitiedosto, jonka merkistökoodauksena on UTF-8. Ohjepituus on noin pari kuvaruudullista tekstiä järkevällä fonttikoolla; siis muutamia satoja sanoja.. niin paljon kuin tarvitset.

• Pohjana tiedostolle on seuraava [täydennä hakasulkeissa olevien tilalle]:

  Tutkimani ytimen versio: [minkä version latasit / katselit]
  
  Tutkimani lähdekooditiedosto: [mistä tiedostosta tutkimasi kohta
  löytyi]
  
  Viimeisin muutos tiedostoon: [kenen tekemä, milloin, millä kommentilla]
  
  Mitä tarkoitusta lähdekooditiedosto palvelee kokonaisuudessa: [kerro]
  
  Etsimäni ominaisuus/kohta on kyseisen version riveillä: [ilmoita
  tiedosto ja alue, jossa tutkittu ominaisuus on]
  
  
  Laaja kommentti koodipätkästä:
  ------------------------------
  
  [kuvaile suomeksi, oman käsityksesi mukaan, mitä tarkoitusta
  ohjelman pätkä palvelee ja millä keinoin.]
  
  Havaintoja ja tunnelmia:
  ------------------------
  
  [kuvaile suomeksi, oliko koodin tutkiminen esim. tylsää tai
   mielenkiintoista; oliko työlästä tai helppoa; oliko vanhaa tuttua
   tietoa tai yllätyksiä; yhtymäkohtia aiempaan kurssi-, työ- tai
   harrastustoimintaan]
  
  Seuraavia asioita en pystynyt vielä ymmärtämään:
  --------------------------------------------------------------
  
  [listaa / kuvaile hämäräksi jääneitä kohtia suomeksi]