Prosessi (tietotekniikka)
Tietotekniikassa prosessi on tietokoneessa ajossa oleva ohjelma. Jokaisella prosessilla on yleensä käytössä oma muistialue ja muita resursseja, joihin muut prosessit eivät pääse käsiksi. Useimmat käyttöjärjestelmät ylläpitävät näitä tietoja prosessitaulussa. Eri prosessit voivat kommunikoida keskenään lukuisilla menetelmillä. Usein prosessit koostuvat yhdestä tai useammasta säikeestä.
Typistetysti voidaan esittää prosessille kolme eri tilaa. Sitä voidaan "suorittaa" (), se voi olla "valmiustilassa" (), tai "odottavana/nukkuvana" (). Odotustilassa oleva prosessi voi odottaa mitä tahansa tapahtumaa, kuten esimerkiksi oheislaitteen toimintaa, viestiä toiselta prosessilta tai ajan kulumista.
Prosessi siirtyy valmiustilasta suoritustilaan siten, että käyttöjärjestelmän ytimen osa "vuorontaja" () valitsee sen suoritukseen. Odotustilaan prosessi siirtyy, jos se tekee sellaisen järjestelmäkutsun (), jota käyttöjärjestelmä ei voi suorittaa heti loppuun asti. Tällainen kutsu voi olla vaikkapa lukupyyntö oheislaitteelta kuten levyltä, jos haluttua tietoa ei ole jo keskusmuistissa (puskuroinnin takia tieto voi olla keskusmuistissa valmiina, jolloin pyyntö voidaan hoitaa heti loppuun asti, eikä tilasiirtymää tehdä). Kun odottaminen päättyy, prosessi siirtyy valmiustilaan, ja kierros alkaa alusta. Jos järjestelmässä on irrottava () vuoronnus, prosessi voi siirtyä myös suoritustilasta valmiustilaan.
Vaihtaessaan säiettä tai prosessia toiseen vuorontaja käyttää jotain vuoronnusmenetelmää. Menetelmästä riippuu hyvin pitkälle se, mikä odottavista prosesseista valitaan ajoon. Menetelmiä ovat muun muassa kiinteä prioriteetti () (usein liitettynä irrottavaan vuoronnukseen, ), vaihteleva prioriteetti () (useita erilaisia tapoja vaihtaa prioriteettia), lyhyin tehtävä ensin (), lähin määräaika ensin (), jonomenetelmä () ja sen lähisukulainen kiertovuorottelu (). Vain osa vuoronnusmenetelmistä sopii reaaliaikaiseen vuoronnukseen ().
Vuoronnus voidaan toteuttaa kokonaan käyttöjärjestelmän ytimessä, mutta käytössä on myös kaksitasoisia ratkaisuja, joissa ytimen osa tyypillisesti hoitaa reaaliaikaista vuoronnusta ja muiden prosessien osalta esivalinnan tekee erillinen prosessi.
Unix-käyttöjärjestelmässä ja siitä vaikutteita ottaneissa käyttöjärjestelmissä prosessien välillä on isä-lapsisuhde. Prosessi, joka käynnistää toisen prosessin, on käynnistetyn prosessin "isäprosessi". Vastaavasti prosessin käynnistämät prosessit ovat sen "lapsiprosesseja". Kaikki prosessit ovat joko suoraan tai välillisesti init-prosessin jälkeläisiä. Init-prosessin prosessinumero on aina 1, ja käyttöjärjestelmä käynnistää sen ennen muita prosesseja. Uusi prosessi luodaan fork-kutsulla, joka kahdentaa käynnissä olevan prosessin. Suoritettava ohjelma vaihdetaan erillisellä kutsulla (exec). Kun prosessi päättyy, se ilmoittaa onnistumistiedon isäprosessilleen. Jos isäprosessi on jo päättynyt, prosessi on "orpo" ja lopetustieto menee init-prosessille, joka ei kuole ennen kuin käyttöjärjestelmä pysäytetään.
Kaikissa käyttöjärjestelmissä ei isä-lapsisuhdetta ole prosessien välillä (näin esimerkiksi Windows-käyttöjärjestelmässä). Prosessin luonti ja ohjelmakoodin vaihto ei myöskään ole aina kaksivaiheinen, vaan voi tapahtua yhdellä kutsulla.
Nykykäyttöjärjestelmät tukevat usein perinteistä prosessia kevyempää prosessia, säiettä (). Säie eroaa prosessista siten, että sillä ei ole omia resursseja, vaan se käyttää sen prosessin resursseja, johon se kuuluu. Yhdessä prosessissa on silloin yksi tai useampia säikeitä.
Säikeet voidaan toteuttaa käyttöjärjestelmän ytimessä "etuoikeutetussa tilassa" () tai "käyttäjätilassa" () prosessin osana. Jälkimmäinen vaihtoehto tarkoittaa sitä, että prosessin sisällä on vuorontaja, joka päättää, mikä sen sisäisistä säikeistä on ajossa. Tämän vaihtoehdon varjopuoli on se, että jos yksi säie tekee käyttöjärjestelmäpyynnön, joka edellyttää odottamista (esimerkiksi lukee tiedostoa), kaikki prosessin säikeet pysähtyvät odottamaan, koska yllä kuvattu kolmitilamalli on toteutettu vain prosessin tasolla. Jos säikeet on toteutettu käyttöjärjestelmässä, toteutuu kolmitilamalli säietasolla ja prosessin tehtäväksi jää toimia resurssien omistajana, eli prosessi ei enää suorita ohjelmaa lainkaan, vaan kaikki suoritus tapahtuu sen sisäisissä säikeissä. Tässä tapauksessa yhden säikeen tekemä odottamista vaativa pyyntö ei pysäytä muita säikeitä.
Nykyisissä prosessoreissa on tuki monisäikeistykselle, jolloin yksittäinen ydin voi moniajaa säikeitä tehokkaammin.