Näennäismuisti

Näennäismuisti eli yleisemmin virtuaalimuisti mahdollistaa sen, että osa prosessin käyttämästä muistista voi olla keskusmuistin asemasta massamuistilaitteessa.

Käytännössä virtuaalimuisti tarvitsee toimiakseen virtuaaliosoitteet, mutta virtuaaliosoitteet eivät tarkoita, että järjestelmä olisi samalla virtuaalimuistijärjestelmä.

Jo varhaiset elektroniset tietokoneet 1940- ja 1950-luvuilla käyttivät kaksitasoista muistihierarkiaa: 1950-luvulla päämuisti oli ferriittirengasmuistia ja toissijainen muisti rumpumuistia. Tietokoneen suoritin pystyi osoittamaan vain päämuistia ja suuri osa ohjelmoijan työstä koostui ohjelman jakamisesta lohkoihin ja ajoitukseen tasojen väliseen siirtoon. Ensimmäisten käyttöjärjestelmien suunnittelijat tavoittelivat ohjelmoijan työn helpottamista.^[1]

Ensimmäisen prototyypin virtuaalimuistijärjestelmälle saavutti Atlas-ryhmä Manchesterin yliopistossa vuonna 1959.^[1] Atlas-ryhmä kutsui ratkaisua yksitasoiseksi tallennusjärjestelmäksi ja sen ytimessä oli uusi innovaatio: "osoite" ja "muistisijainti" olivat kaksi eri asiaa.^[1] Tämä johti kolmeen keksintöön: 1) he rakensivat laitteiston, joka automaattisesti muutti suorittimen tuottaman osoitteen sen hetkiseen muistisijaintiin; 2) he kehittivät sivutuksen, jossa keskeytysmekanismi siirsi puuttuvan muistisivun päämuistiin; 3) he tekivät korvausalgoritmin, joka siirsi vähiten hyödylliset sivut takaisin toissijaiseen muistiin.^[1]

Atlas oli luultavasti ensimmäinen tietokone, jonka kontrolliohjelmaa voitiin kutsua käyttöjärjestelmäksi ja sitä on kutsuttu "ensimmäiseksi tunnistettavaksi moderniksi käyttöjärjestelmäksi".^[2][3] 1960-luvulta lähtien virtuaalimuisti otettiin laajalti käyttöön kaupallisissa käyttöjärjestelmissä ja laitteissa.^[1]

Virtuaaliosoitteen muuttaminen fyysiseksi osoitteeksi on selitetty kohdassa virtuaaliosoite. Mikäli prosessin koko osoiteavaruus on keskusmuistissa, virtuaalimuisti toimii kuten tavallinen muisti. Varsinkin suurten ohjelmien kohdalla on epätarkoituksenmukaista pitää koko ohjelmaa jatkuvasti keskusmuistissa. Keskusmuisti voi käydä vähiin myös silloin, jos koneessa ajetaan useita prosesseja yhtä aikaa. Riippumatta virtuaalimuistin käytön syistä viittaus sivuun, joka ei ole keskusmuistissa, edellyttää virtuaalimuistijärjestelmältä kykyä hakea puuttuva sivu keskusmuistiin.

Virtuaalimuisti tarvitsee toimiakseen laitteiston tukea. Laitteiston tulee pystyä keskeyttämään ajossa oleva käsky, jos käskyn tekemä muistiviittaus ei ole mahdollinen. Tämän jälkeen suoritus siirtyy käyttöjärjestelmän ytimelle, joka tarkistaa ensin, onko kyseessä virheellinen viittaus ohjelman sallitun osoiteavaruuden ulkopuolelle, ja mikäli ei ole, noutaa halutun sivun keskusmuistiin massamuistilaitteelta eli yleensä levyltä.

Keskusmuisti täyttyisi, jos sinne jatkuvasti vain haettaisiin uusia sivuja. Virtuaalimuistijärjestelmän tulee siis myös poistaa sivuja keskusmuistista. Tätä varten on olemassa useita eri poistoalgoritmeja. Nämä pyrkivät siihen, että poistettavaa sivua ei todennäköisesti tarvittaisi kovinkaan pian. Poistoalgoritmeja ovat muiden muassa FIFO (engl. first in, first out), joka poistaa keskusmuistissa kauiten olleen sivun, LRU (engl. least recently used), joka poistaa pisimpään käyttämättömänä olleen sivun ja DWS (engl. Denning working set), joka pystyy mukautumaan prosessin muuttuviin tarpeisiin ja ennustaa hyvin sen pisteen, jolloin pitää siirtyä sivutuksesta heittovaihtoon (engl. swapping). Käytettävä poistoalgoritmi riippuu käyttöjärjestelmästä ja laitteiston muistinhallintayksikön ominaisuuksista. Yhdellä käyttöjärjestelmällä voi eri laitteistoilla olla käytössä eri poistoalgoritmeja.

Jotta virtuaalimuistijärjestelmä toimisi sujuvasti, pyritään noin 10 prosenttia keskusmuistista pitämään vapaana massamuistilaitteelta haettavia sivuja varten.

Virtuaalimuisti helpottaa suunnattomasti ohjelmoijien työtä, sillä aiemmin käsin tehty kerrostus on hyvin virhealtista ja kuluttaa paljon voimavaroja. Virtuaalimuistia ei kuitenkaan voi aina käyttää. Esimerkiksi suurin osa käyttöjärjestelmän ohjelmakoodista ja datapuskureista on oltava aina keskusmuistissa, koska muuten järjestelmä ei toimi. Tämän takia osa muistista voidaan lukita keskusmuistiin pysyvästi.

Myös reaaliaikavaatimukset rajoittavat virtuaalimuistin käyttöä. Reaaliaikavaatimus edellyttää, että johonkin toimintoon kuluva aika on etukäteen laskettavissa. Vaikka virtuaalimuistin toiminta on loogisesti ohjelmalle näkymätöntä, se kuluttaa aikaa satunnaisesti, joten reaaliaikaprosessit on niin ikään lukittava keskusmuistiin. Koska sulautetut järjestelmät ovat yleensä reaaliaikaisia, niissä voidaan vain harvoin käyttää virtuaalimuistia.

• Ilkka Haikala ja Hannu-Matti Järvinen: ”Luku 4”, Käyttöjärjestelmät. Talentum, 2003. ISBN 951-762-837-4

Wikimedia Commonsissa on kuvia tai muita tiedostoja aiheesta Näennäismuisti.

• Virtual Memory (englanniksi)