Käskykannan liukuhihna

Liukuhihna (engl. instruction pipeline) suorittimen käskykannassa lisää suorittimen suorituskykyä jakamalla käskyn suoritus useampaan vaiheeseen (engl. stage), jolloin joka vaiheessa voi suorittaa eri käskyä.[1] Joka vaiheessa on vain osa käskyn tarvitsemasta logiikasta, jolloin kellotaajuus on käytännössä nopeampi: jokaisen käskyn suoritusaika on sama kuin ilman liukuhihnaa.[1]

Esimerkiksi MIPS-arkkitehtuurissa vaiheet ovat:[2]

  1. käskyn haku (engl. instruction fetch)
  2. käskyn purku (engl. instruction decode)
  3. suoritus (engl. execute)
  4. muistihaku (engl. memory access)
  5. takaisinkirjoitus (engl. write back)

Useita liukuhihnan optimointiin tarkoitettuja tekniikoita kehitettiin IBM 7030:tä varten.[3]

SuoritusjärjestysMuokkaa

Yksinkertaisessa tapauksessa käskyt ovat kiinteästi ajoitettuja eli ne suoritetaan ohjelman järjestyksessä.[4] Suoritin voi käyttää dynaamista ajoitusta eli epäjärjestyksessä suorittamista (engl. out-of-order execution) vähentääkseen suoritusajan hukkaamista.[4]

Esimerkkitapaus, jossa on kaksi yhteenlaskua:[4]

ld      r1, 0(r2)    // lataa r1 muistiin r2:n osoittamasta paikasta
add     r2, r1, r3   // r2 := r1 + r3
add     r4, r3, r5   // r4 := r3 + r5

Oletetaan, että r3 ja r5 ovat jo luettuna ja lataus (ld) aiheuttaa välimuistihutin, jolloin liukuhihna sakkaa latauksen ajaksi.[4] Myöhempi yhteenlasku ei riipu r1:stä ja se voidaan suorittaa aiemmin.[4]

HaarautuminenMuokkaa

Jotta liukuhihnasta saadaan paras hyöty on sen kaikki vaiheet hyödynnettävä (pidettävä täysinä).[5] Useat tekijät kuten ehtolauseet ja toistorakenteet aiheuttavat liukuhihnan sarjamuotoisuudelle ongelmia.[5]

Esimerkkitapaus:[5]

if (x > 0) {
     a=0;
     b=1;
     c=2;
}
d=3;

Jos x on suurempi kuin nolla käskyt liukuhihnassa ovat oikein koska if lauseen runko suoritetaan.[5] Jos taas x on pienempi tai yhtäsuuri kuin nolla if lauseen runkoa ei suoriteta ja liukuhihna on vähemmän tehokas koska se joutuu perumaan käskyjen tekemiä muutoksia suorittimen tilaan.[5]

Ennakoimalla suorituksen tulosta voitaisiin liukuhihnan vaiheet pitää täysinä ja saada parempi suorituskyky.[5]Haarautumisen ennakointi (engl. branch prediction) pyrkii ennakoimaan miten ehtolause tullaan suorittamaan ja parhaassa tapauksessa liukuhihna pysyy täytenä.[5]

Katso myösMuokkaa

LähteetMuokkaa

  1. a b Harris, David Money & Harris, Sarah L.: Digital Design and Computer Architecture, s. 409. Second Edition. Morgan Kaufmann, 2013. ISBN 978-0-12-394424-5.
  2. Andy D. Pimentel: 2. Processor micro-architecture: Implicit parallelism (PDF) staff.fnwi.uva.nl. Viitattu 21.10.2019. (englanniksi) 
  3. Mark Smotherman: IBM Stretch (7030) -- Aggressive Uniprocessor Parallelism people.cs.clemson.edu. Viitattu 26.1.2020. (englanniksi) 
  4. a b c d e Lecture 5: Out-of-order Execution hpca23.cse.tamu.edu. Viitattu 26.1.2020. (englanniksi)
  5. a b c d e f g Branch Prediction users.cs.fiu.edu. Viitattu 26.1.2020. (englanniksi)

Aiheesta muuallaMuokkaa