tietokoneiden suoritinarkkitehtuurien suunnittelufilosofia From Wikipedia, the free encyclopedia
RISC (engl. Reduced Instruction Set Computer) on tietokoneiden suoritinarkkitehtuurien suunnittelufilosofia, jossa konekieliset käskyt on pyritty pitämään yksinkertaisina ja nopeasti vakioajassa suoritettavina. Aiemmin suosittu lähestymistapa oli CISC, jossa pyritään tekemään käskykannasta mahdollisimman laaja ja monipuolinen ja sitä kautta tehokas.
RISC:stä tuli vallitseva suoritinarkkitehtuurien suunnittelufilosofia 1980-luvun puolivälistä alkaen. Valtaosa tämän jälkeen kehitetyistä uusista arkkitehtuureista on RISC-tyyppisiä, esimerkkeinä Alpha, ARM, MIPS, PA-RISC, PowerPC ja Power-arkkitehtuuri, SPARC sekä RISC-V. Nykyisin käskykanta ei ole vahvasti sidoksissa suorittimen sisäiseen toimintaan vaan suorittimet voivat pilkkoa monimutkaiset käskyt mikro-operaatioihin. Myös monet RISC-tyyppisenä pidetyt suorittimet sisältävät CISC-ajattelun kaltaisia monimutkaisia käskyjä.
RISC- ja CISC-arkkitehtuurien erot ovat hämärtyneet moderneissa suorittimissa.[1] Moderneissa CISC-suorittimissa käskyt pilkotaan RISC-tyylisiin mikro-operaatioihin suuremman suorituskyvyn ja hyötysuhteen vuoksi.[2] Laajasti käytetty ARM-arkkitehtuuri perustuu RISC-ajatteluun.[3]
RISC ja CISC arkkitehtuurien lisäksi on VLIW-lähestymistapa.
Tietokoneiden alkuaikoina kääntäjät eivät pystyneet tuottamaan kovin tehokasta konekoodia, joten ohjelmoijat käyttivät tehokkuussyistä paljon symbolista konekieltä. Lisäksi keskusmuistit olivat hyvin pieniä, joten muistin säästämiseksi yhdellä käskyllä piti saada aikaan mahdollisimman paljon asioita.
Aina 1970-luvulle asti tietokoneiden käskykantojen suunnittelussa otettiinkin erityisesti huomioon konekielitason ohjelmoijat ja ohjelmakoodin tiiviys. Valmiita käskyjä kehitettiin mitä erikoisimpiin tarkoituksiin, ja käskykanta toimikin esimerkiksi IBM S/360:ssa eräänlaisena standardikirjastona. Lisäksi assembly-ohjelmoijille tarjottiin runsas valikoima monipuolisia muistinkäsittelyn osoitusmuotoja. Tästä lähestymistavasta alettiin myöhemmin käyttää nimitystä CISC vastakohtana RISC-lähestymistavalle.
RISC-filosofian mukaisia koneita olivat periaatteessa jo eräät Seymour Crayn kehittämät supertietokoneet kuten 1960-luvun puolivälissä suunniteltu CDC-6600. Nykyisin tunnettu RISC-ajattelu sai kuitenkin alkunsa IBM:n tutkimuksista 1970-luvulla, jolloin havaittiin, että monien tietokoneiden käskykannat olivat tarpeettoman laajoja eikä ohjelmissa käytetty hyväksi kuin pientä osaa nopeuttaviksi tarkoitetuista ominaisuuksista. Joitain konekäskyjä kääntäjät eivät pystyneet käyttämään lainkaan, jolloin niiden käyttö jäi erittäin vähäiseksi.
John Cocke ja hänen ryhmänsä IBM:llä suunnitteli 1970-luvulla yksinkertaista suoritinta, joka olisi nopea koska käskyt olisivat yksinkertaisia. Tuolloin oli tyypillistä CISC-suorittimille, että yhdellä käskyllä voitiin suorittaa paljon, joka teki ohjelmoinnista yksinkertaisempaa ja oli ohjelmointikielen kääntäjälle helppoa käsitellä. Cocken ryhmä pienensi käskykantaa poistamalla harvoin käytettyjä käskyjä.[3] Käskyjen yksinkertaistaminen teki niistä yhdessä kellojaksossa suoritettavia ja peräkkäisten käskyjen yhtäaikainen suorittaminen liukuhihnalla tuli mahdolliseksi.[3] Lisäksi RISC-suunnittelussa muistia käsiteltiin vain load- ja store-käskyillä ja muut käskyt toimivat vain suorittimen sisäisillä rekistereillä, joka yksinkertaisti suorittimen suunnittelua.[3]
IBM kehitti prototyyppinä IBM 801 minitietokoneen, joka vaikutti IBM ROMP -suorittimen kehitykseen. ROMP oli käytössä IBM RT PC -tietokoneessa.[3] RT PC ei ollut laajalti käytetty, mutta se johti jatkokehitykseen ja IBM RS/6000 -sarjaan.[3]
Samaan aikaan IBM:n projektin kanssa oli kaksi muuta projektia: Berkeleyssä ja Stanfordissa.[3] Berkeley RISC -projekti johti SPARC-suorittimeen ja Stanford MIPS -projekti MIPS-suorittimeen.[4][5][6]
Myös superskalaarinen rinnakkain suorittaminen yleistyi RISC-suorittimien myötä.[7]
RISC-filosofiassa ajatellaan myös kääntäjäkeskeisemmin kuin CISC:n tapauksessa. Puhtaan assemblyn käyttö on vähentynyt jatkuvasti, ja assembly-ohjelmointia helpottavat ratkaisut (kuten monimutkaiset osoitusmuodot) kävivät aina vain tarpeettomammiksi. RISC-lyhennettä on myös leikkimielisesti avattu muotoon "Relegate Important Stuff to the Compiler", eli "jätä tärkeät asiat kääntäjälle".
Monissa CISC-suorittimissa oli jonkinlaisia osittaisia liukuhihnaratkaisuja, mutta ne olivat ongelmallisia, koska CISC-käskyt vaihtelevat huomattavasti monimutkaisuudeltaan ja suoritusajaltaan.
RISC-ratkaisulle on tyypillistä rajattu käskykanta jossa on yksinkertaisia käskyjä, suuri määrä rekistereitä, konekäskyt ovat tietyn mittaisia ja yhden muotoisia, sekä load-store-arkkitehtuuri.[8] Load-store käskykanta käyttää erillisiä käskyjä muistin käsittelyyn kun taas register-memory -arkkitehtuurissa se voi olla osana muuta käskyä.[9]
Eräissä RISC-suorittimissa kuten MIPS-arkkitehtuurissa ei ole komentoja pinon käsittelyyn, vaan toiminto jätetään ohjelmallisesti toteutettavaksi.[10] Samoin useat muut CISC-suorittimien toiminnot voidaan jakaa pienemmiksi operaatioiksi, joiden käyttö jää ohjelman vastuulle.
Koska RISC-suorittimen käskyt ovat yksinkertaisia niitä tarvitaan paljon saman tehtävän suorittamiseen, joka lisää tarvetta muistikapasiteetille. Kun muisti oli kallista muistitilan käytössä säästäminen teki tietokoneesta edullisemman ja tämä oli yksi syy useille eri käskyille CISC-suorittimissa.[11] Suuremman muistikaistan tarpeen johdosta RISC-suorittimien suorituskyky riippuu välimuistin käytöstä.[12]
RISC-tyyppisiä suorittimia on käytetty muun muassa supertietokoneissa ja tehokkaista työasemissa. ARM-suorittimet ovat de facto käytetyin suoritin mobiililaitteissa kuten älypuhelimissa.
RISC-suorittimia käytetään lähes kaikissa muissa uusissa tietoteknisissä laitteissa paitsi tavallisissa IBM PC -yhteensopivissa tietokoneissa, joiden suorittimet perustuvat edelleenkin 1970-luvulla kehitettyyn CISC-tyyppiseen x86-arkkitehtuuriin.
Apple Macintosh -tietokoneet siirtyivät Motorola 68000 -sarjan suorittimista RISC-tyyppisiin PowerPC-suorittimiin vuonna 1994 ja myöhemmin x86-suorittimiin vuonna 2006. Vuonna 2020 Apple ilmoitti siirtyvänsä ARM-suorittimiin Macintosh-tietokoneissa.
CISC- ja RISC-suunnittelun väliset erot ovat hämärtyneet ja molemmat suunnittelutavat ovat ottaneet ominaisuuksia toisesta. Suorittimien nopeuksien kasvamisen myötä myös CISC-suorittimet voivat suorittaa käskyjä yhdessä kellojaksossa ja ne voivat käyttää liukuhihnaa. Samalla RISC-suorittimissa on mukana monimutkaisempaa laitteistoa ja monimutkaisempia CISC-tyyppisiä käskyjä.[13]