Moniajo
Moniajo (engl. multitasking) on tietokoneen käyttöjärjestelmän ominaisuus, joka mahdollistaa usean ohjelman ajamisen samanaikaisesti.
Jos tietokoneessa on vain yksi suoritin, moniajo toteutetaan jakamalla suorittimelle tehtäviä nopeasti vaihdellen (näennäisesti rinnakkain), kun taas monisuoritintietokoneessa tehtävät jaetaan usean suorittimen kesken ja voidaan suorittaa aidosti rinnakkaisesti (moniprosessointi).[1][2][3] Tehtävät voivat olla eri prosesseissa tai eri säikeissä: prosessi on suoritettava ohjelma ja säiettä kutsutaan toisinaan kevyeksi prosessiksi, joka ei vaadi osoitevaruuden vaihtoa.[1][4]
Nykyaikaisempia moniajon toimintamalleja ovat ennakoiva moniajo, irrottava moniajo ja keskeyttävä moniajo (engl. pre-emptive), jossa käyttöjärjestelmän osa tai prosessi nimeltä vuorontaja (”skeduleri”, engl. scheduler) irrottaa ajossa olevan prosessin suorittimesta, valitsee uuden suoritettavan prosessin valmiustilassa olevien joukosta, antaa suorittimen sen hallintaan ja määrittelee sen saaman aikaviipaleen (engl. time slice). Näin vältetään yhteistyömoniajossa oleva ongelma, että yksi huonosti käyttäytyvä ohjelma voi varastaa koneen koko laskentatehon. Vuoronvaihto (engl. Context switch) tarkoittaa suorituksessa olevan ohjelman tilan säilömistä toisen ohjelman suorituksen ajaksi: tämä tarkoittaa suorittimen rekisterien arvojen säilömistä muistipinoon.
Suoritukseen annettava aikaviipale voi perustua useisiin eri tekijöihin kuten prosessin prioriteettiin sekä järjestelmän kokonaiskuormitukseen. Odottavalle säikeelle tai ohjelmalle voidaan antaa enemmän suoritusaikaa jotta se vapautuu tilanteestaan mahdollisimman nopeasti ja koska se voi luovuttaa (engl. yield) ajoaikansa mikäli odottaminen jatkuu.
Moniajo usein hyödyntää laitteiston keskeytyksiä vuoronvaihtoon, jolloin käyttöjärjestelmälle annetaan vuoro tarvittaessa tai ajoitetusti.
Vähemmän eksaktissa kielenkäytössä käytetään moniajo-termiä myös kuvaamaan sellaista käyttöliittymää, jossa käyttäjä voi vaihtaa "lennossa" usean sovelluksen välillä. Erityisesti termiä käytetään silloin, kun tällaista mahdollisuutta ei ole, ja todetaan virheellisesti, että moniajo puuttuu.
Historia
muokkaaMoniajon historia alkaa 1960-luvulta, jolloin osituskäyttöjärjestelmät kehitettiin yksittäisten, kalliiden suurtietokoneiden jakamiseksi.[5]
Varhaiset moniajojärjestelmät käyttivät yhteistyömoniajoa, jonka jälkeen kehitettiin keskeyttävä moniajo.[5] Yhteistyömoniajo riippui ohjelmien vapaaehtoisesta vuoron luovuttamisesta.[5] Keskeyttävässä moniajossa laitteistokeskeytys herättää osan ohjelmakoodia, joka pakottaa vuoron vaihtamiseen.[5]
Osituskäyttöön kehitettyjä järjestelmiä olivat muun muassa Compatible Time-Sharing System ja Dartmouth Time Sharing System, joita seurasivat käyttöjärjestelmät kuten Multics ja OS/360MFT.
Käyttöjärjestelmien vaatimukset vaihtelevat: sulautetuissa järjestelmissä ajetaan lähes aina reaaliaikaista käyttöjärjestelmää, jolla on tarkasti määritellyt kiinteät rajoitteet.[6] Reaaliaikaisen käyttöjärjestelmän on vastattava määritellyissä rajoissa tai sen katsotaan epäonnistuneen toisin kuin osituskäyttöjärjestelmä, jossa nopea vasteaika on toivottavaa mutta ei pakollista, tai eräajokäyttöjärjestelmä jossa aikarajoja ei ole lainkaan.[6]
NUMA-muistiarkkitehtuurissa tietokone voidaan käsittää koostuvan eri etäisyyksillä olevista moniprosessointia tukevista ”soluista”, jotka on kytketty toisiinsa: eri soluissa olevien suorittimien ja muistin välillä on tietty määrä kaistaa ja etäisyys, joka määrittää muistin käytön nopeuden.[7]
Moniytimillisten suorittimien yleistyttyä moniprosessointia hyödyntävä vuoronnus on kiinnittänyt huomiota välimuistin paikallisuuden ja yhtenäisyyden käsittelyyn.[2]
Muita vaikuttavia parametreja ovat energian tarve sekä lämpörajoitukset.[8][9]
Irrottava/ennakoiva/keskeyttävä moniajo
muokkaaUseimmat oikeaa moniajoa tukevat järjestelmät käyttävät irrottavaa, ennakoivaa tai keskeyttävää (engl. pre-emptive) moniajoa.[10][11][12] Keskeyttävässä moniajossa laitteistokeskeytys herättää osan ohjelmakoodia, joka pakottaa vuoron vaihtamiseen.[5]
Tämän tyyppistä monia käyttävät Unix-tyyppiset käyttöjärjestelmät, mukaan lukien BSD-versiot ja Linux.[13] Linux tukee lisäksi ytimen itsensä keskeyttämistä.[14] FreeBSD:ssä on rajattu ytimen keskeyttäminen mutta suunnitelmissa on tehdä siitä täysin keskeytettävä.[15]
Mikrotietokoneissa tämän tyyppistä moniajoa ovat käyttäneet muun muassa AmigaOS Amiga-tietokoneissa (julkaistu 1985).[16][17]
Myös TRIPOS on käyttänyt irrottavaa moniajoa. IBM siirtyi OS/2:n Warp-versiossa tukemaan ennakoivaa moniajoa.[12]
Yhteistyömoniajo
muokkaaYhteistyömoniajo (engl. Cooperative multitasking, Non-preemptive multitasking) missä ohjelmat vapaaehtoisesti jakoivat suoritinaikaa toisille ohjelmille oli käytössä mm. RISC OS-käyttöjärjestelmässä ja Windows 95 -käyttöjärjestelmää edeltävät Windows-käyttöjärjestelmät.
OS X -käyttöjärjestelmää edeltävissä Mac OS -järjestelmissä oli myös yhteistyömoniajo.[17] Microsoft siirtyi ennakoivaan moniajoon Windows NT:ssä ja Apple OS X:ssä (BSD-ydin).
OS/2 oli osittain ennakoivaa moniajoa tukeva (Warp-versiot)[12], mutta osin rajattu yhteistyömoniajoon varhaisissa versioissa.
Moniohjelmointi
muokkaaVarhaisissa tietokonejärjestelmissä oli niin kutsuttua moniohjelmointikäsittelyä (engl. multiprogramming), jossa toiselle ohjelmalle annetaan suoritusaikaa ennen ensimmäisen valmistumista.[18]
Näissä tietokone suorittaa yhtä ohjelmaa kunnes ohjelma pysähtyy odottamaan esimerkiksi laite-IO:ta ja vaihtaa silloin suoritettavaa ohjelmaa.[19]
Joissakin yhteyksissä moniohjelmoinnilla tarkoitetaan myös moniajoa ja eroa moderniin vastineeseen ei tehdä.[20]
Reaaliaikainen
muokkaa- Pääartikkeli: Reaaliaikainen käyttöjärjestelmä
Reaaliaikainen käyttöjärjestelmä perustuu takeeseen vasteajan noudattamisesta.[21] Tämän tyyppinen moniajo voi erota teknisesti merkittävästikin, jotta aikarajattu toiminta (engl. deadline) ei ylity missään tilanteessa.
Reaaliaikaisia käyttöjärjestelmiä ovat muun muassa QNX ja VxWorks.
Reaaliaikaiset järjestelmät voidaan jakaa kahteen: pehmeään (toivottu vasteaika) ja kovaan (vaadittu vasteaika).[22] Pehmeässä aikarajan ohittaminen voi olla merkittävä menetys mutta kovassa järjestelmässä epäonnistuminen on katastrofaalinen.[22] Kovan reaaliaikajärjestelmän vasteajat ovat tyypillisesti millisekunteja ja järjestelmän on vastattava ympäristön tapahtumiin.[22] Kovan reaaliaikajärjestelmän vuoronnusta voidaan käyttää myös pehmeään reaaliaikajärjestelmään.[22]
Kovan reaaliaikajärjestelmän vuoronnus voidaan jakaa dynaamiseen ja staattiseen: staattiseen ajoitukseen on tunnettava ennalta parametrit kuten suoritusajat ja aikarajat, mutta suorituksen aikainen kuormitus on pieni.[22]
Kaksi tyypillistä tapaa toteuttaa vuoronnus reaaliaikajärjestelmässä ovat tapahtumapohjainen (engl. event-driven) ja aikajakava (engl. time-sharing):[23]
- tapahtumapohjaisessa tehtäville jaetaan prioriteetit, joista korkeamman tason prioriteetilla olevat suoritetaan ensin
- aikajakavassa (myös nimellä Round-Robin -vuoronnus) suoritusvuoro kiertää listan mukaan, joka sallii jokaiselle tietyn ennalta määritellyn aikajakson (engl. time slice)
Reaaliaikaisessa järjestelmässä vuoronnus voi perustua kiinteän prioriteetin (fixed-priority) tai varhaisin aikaraja ensin (earliest-deadline first) malliin. Moniprosessointia tukevat järjestelmät voivat jakaa mallit globaaleihin, jossa tehtävät voivat käyttää kaikkia resursseja, sekä osioituihin, joissa tehtävät asetetaan kiinteästi tietyille suorittimille.[24]
Reaaliaikaisessa järjestelmässä luotetut sovellukset voivat kytkeä laitteistokeskeytykset pois päältä suojatun alueen käsittelyn ajaksi.[25]
Reaaliaikaisiin käyttöjärjestelmiin on kehitetty useita protokollia prioteettien inversio-ongelman välttämiseksi.[26] Näitä ovat muun muassa Priority Inheritance Protocol (PIP), Priority Ceiling Protocol (PCP) ja Stack Resource Policy (SRP).[26]
Katso myös
muokkaaLähteet
muokkaa- ↑ a b Arpaci-Dusseau, Remzi H. & Arpaci-Dusseau, Andrea C.: The Abstraction: The Process (PDF) pages.cs.wisc.edu. Viitattu 1.3.2020. (englanniksi)
- ↑ a b Arpaci-Dusseau, Remzi H. & Arpaci-Dusseau, Andrea C.: Multiprocessor Scheduling (Advanced) (PDF) pages.cs.wisc.edu. Viitattu 1.3.2020. (englanniksi)
- ↑ Arpaci-Dusseau, Remzi H. & Arpaci-Dusseau, Andrea C.: Scheduling: Introduction (PDF) pages.cs.wisc.edu. Viitattu 1.3.2020. (englanniksi)
- ↑ Nikita Ishkov: A complete guide to Linux process scheduling (PDF) trepo.tuni.fi. 2015. Viitattu 1.3.2020. (englanniksi)
- ↑ a b c d e Multitasking Definition linfo.org. Viitattu 25.10.2019. (englanniksi)
- ↑ a b Silberschatz, Abraham & Galvin, Peter Baer & Gagne, Greg: Operating System Concepts, s. 43. (Ninth Edition) Wiley, 2013. ISBN 978-1-118-12938-8
- ↑ What is NUMA? kernel.org. Viitattu 1.3.2020. (englanniksi)
- ↑ Nicolas Pitre: Teaching the scheduler about power management lwn.net. 18.6.2014. Viitattu 1.3.2020. (englanniksi)
- ↑ Marta Rybczyńska: Telling the scheduler about thermal pressure lwn.net. 16.5.2019. Viitattu 1.3.2020. (englanniksi)
- ↑ Moniajo Tut.fi Etäopetus (Web Archive 2011). Arkistoitu 11.11.2011. Viitattu 12.2.2022.
- ↑ Fagerlund, Kai: Vektorigrafiikan konvertteri (Tutkintotyö Tampereen ammattikorkeakoulussa) theseus.fi. Viitattu 2.3.2017.
- ↑ a b c OS/2 Warp versio 3 IBM. Viitattu 2.3.2017.
- ↑ What is UNIX The Digital Research Initiative. Viitattu 26.10.2019. (englanniksi)
- ↑ Robert Love: Lowering Latency in Linux: Introducing a Preemptible Kernel 1.5.2002. Linux Journal. Viitattu 25.10.2019. (englanniksi)
- ↑ 8.3. General Architecture and Design freebsd.org. Viitattu 25.10.2019. (englanniksi)
- ↑ The Micro-AmigaOne and Amiga OS4 Developer Prerelease (Update 1) Ars Technica. Viitattu 28.2.2017.
- ↑ a b Wenz, John: The Cult of Amiga Is Bringing an Obsolete Computer Into the 21st Century Popular Mechanics. Viitattu 4.10.2017.
- ↑ Thomas B. Steel: Multiprogramming: promise, performance and prospect dl.acm.org. 1968. doi:10.1145/1476589.1476607 Viitattu 26.10.2019. (englanniksi)
- ↑ Multiprogramming it.uu.se. Viitattu 26.10.2019. (englanniksi)
- ↑ 2.3. Processes and Multiprogramming w3.cs.jmu.edu. Arkistoitu 26.10.2019. Viitattu 26.10.2019. (englanniksi)
- ↑ Benedikt Huber: Real-Time & Embedded Operating Systems (PDF) ti.tuwien.ac.at. 2010. Viitattu 25.2.2020. (englanniksi)
- ↑ a b c d e Kanaka Juvva: Real-Time Systems users.ece.cmu.edu. 1998. Viitattu 25.2.2020. (englanniksi)
- ↑ RTOS udel.edu. Viitattu 25.10.2019. (englanniksi)
- ↑ Bjorn B. Brandenburg: Scheduling and Locking in Multiprocessor Real-Time Operating Systems (PDF) cs.unc.edu. 2011. Viitattu 26.10.2019. (englanniksi)
- ↑ Khushu, Sanjeev & Simmons, Johnathan: Scheduling and Synchronization in Embedded Real-Time Operating Systems (PDF) cseweb.ucsd.edu. Viitattu 20.2.2017.
- ↑ a b Hierarchical Scheduling of Complex Embedded Real-Time Systems (PDF) es.mdh.se. Viitattu 25.2.2020. (englanniksi)