Luento 12: Kontrollin toteutus Ch [Sta06] Mikro-operaatiot Ohjaussignaalit Langoitettu ohjaus Mikro-ohjelmoitu ohjaus

Transkriptio

1 Tietokoneen rakenne Luento 12 Ohjausyksikkö Ch [Sta06] Mikro-operaatiot Ohjaussignaalit Langoitettu ohjaus Mikro-ohjelmoitu ohjaus Luento 12-1 Mitä ohjaus/kontrolli tarkoittaa? Arkkitehtuuri määrää CPU:n ulkoisen, ohjelmoijalle (myös KJ) näkyvän toiminnan u Millainen käskykanta käytössä, mitä käskyt tekevät? u Mikä operaatio, missä operandit? u Miten keskeytykset hoidellaan? Functional requirements for CPU 1. Operations 2. Addressing modes 3. Registers 4. I/O module interface 5. Memory module interface 6. Interrupt processing structure Ohjausyksikkö CU määrää kuinka käskyssä kuvatut asiat saadaan tehdyiksi laitteistossa (CPU, MEM, väylät, I/O) u Selvittää miten piirien täytyy toimia tietyllä hetkellä u Valitsee millaisia ohjaussignaaleja pitää antaa: mille piireille, milloin, missä järjestyksessä, u Fyysiset johtimet välittävät ohjaussignaalit piireille täsmällisesti kellopulssin ajoittamina Luento 12-2 Tietokoneen rakenne / 2007 / Liisa Marttinen 1

2 Ohjaussignaalit read write add (Sta06 Fig 16.4) Ohjaus = kontrolloidaan data siirtämistä paikasta toiseen u CPU:n sisällä: REG REG, ALU REG, ALU-operaatiot u CPU MEM (I/O-ohjain): osoite, data, ohjaus Ajoitus, järjestys Luento 12-3 Mikro-operaatiot Yksinkertaisia ohjaussignaaleja, jotka aiheuttavat yhden pienen toiminnon (operaation) u Esim. bitit siirtyvät rekisteristä r1 väylää pitkin edelleen ALU:un Kellosyklin kesto pisimmän operaation perusteella Kunkin syklin aikana useita mikro-operaatioita u Osa voidaan suorittaa samanaikaisesti, jos tapahtuvat eri osissa piirejä u Vältettävä resurssikonfliktit WaR tai RaW, ALU, väylä u Osa suoritettava peräkkäin tietyssä järjestyksessä, semantiikan säilyttävä t1: MAR PC t2: MBR MEM[MAR] PC PC + 1 t3: IR (ΜΒΡ) Toteutus siten, että ei tarvita ALUa Luento 12-4 Tietokoneen rakenne / 2007 / Liisa Marttinen 2

3 Käskysykli (Sta06 Fig 16.1) Kun mikro-operaatiot kohdistuvat laitteiston eri piireihin, laitteisto voi suorittaa useita samanaikaisesti Ks. luvun 12 käskysykliesimerkit (seur. kalvot) Luento 12-5 Käskyn noutosykli Esim: t1: MAR PC t2: MARMMU(MAR) Control Bus Reserve wait? t3: Control BusRead PCPC + 1 t4: MBRMEM[MAR] Control Bus Release t5: IR MBR (Sta06 Fig 12.6) Onko suoritusjärjestyksellä merkitystä? Mitä voi suorittaa rinnakkain? Mitä samaan sykliin, mitkä tarvitsevat oman syklin? Luento 12-6 Tietokoneen rakenne / 2007 / Liisa Marttinen 3

4 Käskysykli Operandien noutosyklit u Rekistereistä tai muistista u Osoitelaskenta Suoritussyklit u Suoritus tavallisesti ALUssa u Operandit sisäänmenoihin, ja ohjaus operaatiosta u Tulos ALU:n ulostulosta rekisteriin/muistiin u flagsstatus Keskeytyssyklit u ks. luvun 12 esimerkit: Pentium, PowerPC u Mitkä samaan mikrokäskyyn? u Mitkä samaan aikaan/peräkkäin? ADD r1,r2,r3: t1: ALUin1 r2 t2: ALUin2 r3 ALUoper IR.oper t3: r1 ALUout flags xxx ISZ X, Increment and Skip if zero: t1: MAR IR.address t2: MBR MEM[MAR] t3: MBR MBR+1 t4: MEM[MAR] MBR if (MBR=0) then PC PC +1 ehdollisuuskin onnistuu Luento 12-7 Käskysykli tila-automaattina ICC: Instruction Cycle Code register suorituksen tila 01 (Sta06 Fig 16.3) Luento 12-8 Tietokoneen rakenne / 2007 / Liisa Marttinen 4

5 Käskysykli kontrolli tila-automaattina CU:n toiminnan voi esittää tila-automaattina u Tila: missä käskysyklin vaiheessa CPU menossa u Alitila: riippuu ajoituksesta, muodostuu ryhmästä mikro-operaatioita, jotka voi suorittaa yhdellä syklillä Alitilan tuottamat uudet ohjaukset riippuvat u Tilasta itsestään u IR-rekisterin kentistä (operaatio, osoittaminen) u Edellisistä tuloksista (flags) = Execution Uusi tila edellisen tilan ja lipukkeiden perusteella u Myös CPU:n ulkopuoliset keskeytykset vaikuttavat tilaan = Sequencing IR sequencing Kontrollin tilakone tila Lipukkeet keskeytykset Muistiväylä kontrollisignaalit execution flags CPU toteutuspiirit Luento 12-9 Ohjaussignaalien tuottaminen Mikro-operaatio aktivoitava useita ohjaussignaaleja Esim: Yhden akkurekisterin arkkitehtuuri (Sta06 Fig 16.5) Luento Tietokoneen rakenne / 2007 / Liisa Marttinen 5

6 Ohjaussignaalien tuottaminen?? Sta06 Fig 16.5?? (Sta06 Table 16.1) Luento Yleinen organisointi Kuvan 16.5 organisaatio monimutkainen toteutettavaksi Komponentit tavallisesti yhteisen väylän varteen ALU:lle apurekisterit: X ja Y ADD I: t1: MAR IR.address t2: MBR MEM[MAR] t3: Y MBR t4: Z AC + Y t5: AC Z ALU (Sta06 Fig 16.6) Luento Tietokoneen rakenne / 2007 / Liisa Marttinen 6

7 Tietokoneen rakenne Langoitettu ohjaus Luento Langoitettu ohjausyksikkö (hardwired) Kun tiedossa CU:n sisäänmenot ja ulostulot u Toiminnallisuus kuvattavissa boolen logiikalla u Ohjausyksiköstä voi muodostaa yhden loogiikkapiirin Esim. C 5 = P*Q*T 2 + P*Q*(LDA)*T Fig 16.3, 16.5 ja Tbl 16.1 ICC:lle bitit P ja Q PQ = 00 Fetch Cycle PQ = 01 Indirect Cycle PQ = 10 Execute Cycle PQ = 11 Interrupt Cycle (Sta06 Fig 16.10) Luento Tietokoneen rakenne / 2007 / Liisa Marttinen 7

8 Langoitettu ohjausyksikkö Decoder (4-to-16) u 4:n bitin käskykoodista yksikäsitteinen ohjaus CU:lle u Vain yksi signaali kerrallaan aktiivisena Esim: opcode = 5 (bitit I1, I2, I3, I4) signaali O11 on tosi (1) (Sta06 Table 16.3) Luento Äärellinen tila-automaatti 0 Ifetch ALUOp=Add 1 Rfetch/Decode 8 BrComplete 1: PCWr, IRWr ALUOp=Add ALUOp=Sub x: PCWrCond 2 AdrCal RegDst, Mem2R 1: BrWr, ExtOp beq ALUSelB=01 1: ExtOp Others: 0s ALUSelB=10 x: IorD, Mem2Reg ALUSelA x: RegDst, PCSrc RegDst, ExtOp ALUSelB=11 IorD, MemtoReg 1: PCWrCond ALUOp=Add lw or sw Others: 0s ALUSelA PCSrc x: MemtoReg Rtype PCSrc Ori lw sw 10 OriExec LWmem 3 RExec 1: RegDst 5 SWMem ALUSelA ALUOp=Or 1: ExtOp ALUSelA, IorD 1: ExtOp 6 ALUSelB=01 1: ALUSelA ALUOp=Rtype ALUSelB=11 MemWr ALUSelA x: PCSrc, IorD ALUSelB=11 ALUOp=Add ALUSelB=11 MemtoReg x: MemtoReg x: MemtoReg ALUOp=Add ExtOp IorD, PCSrc PCSrc x: PCSrc,RegDst 11 MemtoReg OriFinish Rfinish 1: ALUSelA 7 ALUOp=Rtype ALUOp=Or 4 LWwr RegWr, ExtOp MemtoReg 1: RegDst, RegWr ALUselA x: IorD, PCSrc ALUSelB=11 ALUSelB=01 ALUSelB=11 ALUOp=Add x: IorD, PCSrc 1: ALUSelA x: PCSrc ExtOp RegWr IorD Luento Tietokoneen rakenne / 2007 / Liisa Marttinen 8

9 Tilasiirtymät (2) Next state from current state u State 0 -> State1 u State 1 -> S2, S6, S8, S10 u State 2 -> S5 or u State 3 -> S9 or u State 4 ->State 0 u State 5 -> State 0 u State 6 -> State 7 u State 7 -> State 0 u State 8 -> State 0 u State 9-> State 0 u State 10 -> State 11 u State 11 -> State 0 Alternatively, prior state & condition S4, S5, S7, S8, S9, S11 -> State0 -> State1 -> State 2 -> State 3 -> State 4 State2 & op = SW -> State 5 -> State 6 State 6 -> State 7 -> State 8 State3 & op = JMP -> State 9 -> State 10 State 10 -> State 11 Luento Langoitettu ohjaus Ohjaussignaalien generointi suoraan laitteistolla nopeaa Heikkouksia u CU vaikea suunnitella Piiristä tulee helposti suuri ja monimutkainen u CU vaikea muuttaa Suunnittelu ja piirin minimointi uusiksi RISC-filosofia helpottaa u Yksinkertainen käskykanta ja toteutus Luento Tietokoneen rakenne / 2007 / Liisa Marttinen 9

10 Tietokoneen rakenne Mikro-ohjelmoitu ohjaus Luento Mikro-ohjelmoitu ohjaus Idea 1951: Wilkes Microprogrammed Control Execution Engine u Suorituta konekäsky yksi mikrokäsky kerrallaan generoimalla suoritusaikana tarvittavat ohjaussignaalit u Tulkitse mikrokäskyt ohjelmallisesti ohjaussignaaleiksi Mikro-operaatiot kuvattu kontrollimuistissa mikrokäskyinä u Laiteohjelmisto (firmware) Kukin mikrokäsky muodostuu kahdesta osasta u Mitä suoritetaan tulevalla syklillä? Mikrokäskystä käy ilmi tarvittavat ohjaussignaalit Toimita ohjaussignaalit piireille Sta06 Table 16.1 u Mikä mikrokäsky tulkitaan tämän jälkeen? Oletus: seuraavasta kontrollimuistin muistipaikasta Paikanlaskuri, ei tilakone! Luento Tietokoneen rakenne / 2007 / Liisa Marttinen 10

11 Mikrokoodi Kutakin CPU:n käskysyklin vaihetta vastaa alirutiini, joka suoritetaan käskysyklin aikana Esim. ROM-muistissa u Mikro-ohjelma muisti u Firmware (Sta06 Fig 17.2) Luento Horisontaalinen mikrokäsky Kaikki mahdolliset ohjaussignaalit kuvattu bittikarttana jokaisessa mikrokäskyssä u Yksi bitti per mahd. ohjaussignaali (1=generoi, 0=älä generoi) u Jos paljon erilaisia, mikrokäskystä tulee pitkä Kukin mikrokäsky myös ehdollinen hyppykäsky u Mitä statusbittejä tutkittava u Seuraavan mikrokäskyn osoite (Sta06 Fig 17.1 a) Luento Tietokoneen rakenne / 2007 / Liisa Marttinen 11

12 Vertikaalinen mikrokäsky Ohjaussignaalit koodattu toimintonumeroiksi Dekoodaa takaisin ohjausignaaleiksi suoritusaikana Lyhyemmät käskyt, mutta dekoodaus vie aikaa Kukin mikrokäsky myös ehdollinen hyppykäsky u Mitä statusbittejä tutkittava u Seuraavan mikrokäskyn osoite (Sta06 Fig 17.1 b) Luento Ohjausyksikkö = Execution Engine Control Address Register, CAR u Mikä mikrokäsky seuraavaksi? ~ käskyosoitin, MiPC Kontrollimuisti u Mikrokäskyt Nouto-suoritus-keskeytys Control Buffer Register, CBR u Rekisteri mikrokäskyn tulkintaa varten ~ käskyrekisteri, MiIR u Tulkitse ja lähetä ohjaussignaalit piireille Dekooderin läpi Sequencing Logic u Seuraavaksi suoritettavan mikrokäskyn osoite CAR:iin (Sta06 Fig 17.4) Luento Tietokoneen rakenne / 2007 / Liisa Marttinen 12

13 Mikä mikrokäsky seuraavaksi? a) Kerrottu eksplisiittisesti Käskyssä 2 osoitetta u Lisäksi kerrottu lipuke, jota tutkittava u Hae uusi jommasta kummasta paikasta u Usein heti seuraavasta kontrollimuistin muistipaikasta Miksi tallettaa? Ei aikaa laskemiseen! (Sta06 Fig 17.6) Luento Mikä mikrokäsky seuraavaksi? b) Implisiittinen oletus: seuraavasta kontrollimuistin osoitteesta Käskyssä 1 osoite u Lisäksi kerrottu lipuke, jota tutkittava u Jos ehto=1, käytä käskyn osoiteosaa Osoiteosaa ei taaskaan käytetä aina u Useimmiten hukkatilaa (Sta06 Fig 17.7) Luento Tietokoneen rakenne / 2007 / Liisa Marttinen 13

14 Mikä mikrokäsky seuraavaksi? c) Vaihteleva mikrokäskyn formaatti u Osa biteistä voidaan tulkita kahdella tavalla u 1 b: Käskyssä osoite/ei u Vain hyppykäskyssä mukana osoite u Hyppykäskyissä ei ole ohjaussignaaleja u Jos hyppy, pitääkin suorittaa kaksi käskyä yhden sijasta Hukkaa aikaa? Säästää tilaa? (Sta06 Fig 17.8) Luento Mikä mikrokäsky seuraavaksi? d) Osoitteen generointi suoritusaikana u Miten päästä oikean ALU-alirutiinin alkuun? Konekäskyn suoritussignaalit riippuvat operaatiosta u Generoi ensimmäisen mikrokäskyn osoite operaatiokoodista (mapping + combining/adding) Eniten merkitsevät bitit op-koodista Vähiten merkitsevät nollia tai generoitu nykytilan (status) perusteella Esim: IBM 3033 CAR, 13 b:n osoite Op-koodista 8 bittiä -> alirutiini max 32 käskyä loput 5 bittiä statusbittejä tutkimalla (Sta06 Fig 17.9) Luento Tietokoneen rakenne / 2007 / Liisa Marttinen 14

15 Mikä mikrokäsky seuraavaksi? e) Aliohjelmakutsu ja paluu (Residual control) u Alirutiinin kutsu mikrotasolla Ei ympäristön vaihtoa, vain yksi taso Sisäkkäiset kutsut eivät sallittuja Esim: LSI-11, 22b:n mikrokäsky Kontrollimuisti 2048 käskyä, 11 b:n osoitteet Operaatiokoodi määrää ens. mikrokäskyn osoitteen Oletus seuraava CAR CAR+1 Jokaisessa mikrokäskyssä bitti: alirutiinin kutsu/ei Alirutiinin kutsukäsky: talleta paluuosoite paluurekisteriin (vain yksi) hyppää alirutiiniin (osoite mikrokäskyssä) Paluukäsky: ota osoite paluurekisteristä Luento Mikrokäskyn koodaus Horisontaalinen? Vertikaalinen? u Horisontaalinen: nopea tulkinta u Vertikaalinen: vähemmän bittejä Usein kompromissi eli sekamuoto u Mikrokäsky jaettu kenttiin, kukin kenttä määrää tiettyjen toimintojen ohjaussignaalit u Keskenään toisensa poissulkevat toiminnot koodattavissa samaan kenttään u Koodaus purettava suoritusaikana ohjaussignaaleiksi Jokin kenttä voi ohjata muiden kenttien purkua! Kun useita koodauksia yhden sijasta, toteutus helpompaa u Useita yksinkertaisia dekoodereita Luento Tietokoneen rakenne / 2007 / Liisa Marttinen 15

16 Mikrokäskyn koodaus Toimintojen mukaan (functional encoding) u Kukin kenttä kontrolloi tiettyä toimintaa Lataa akkurekisteristä Lataa muistista Lataa... Resurssien mukaan (resource encoding) u Kukin kenttä kontrolloi tiettyä resurssia Lataa akkurekisteristä Talleta akkurekisteriin Lisää akkurekisteriin (Sta06 Fig 17.11) Luento tarvitaan 2 bittiä! Tila 0: ei mem-op Vertical vs. Horizontal Microcode (3) Seuraavan mikrokäskyn osoite (CAR = CSAR) Oletus: CAR=CAR+1 (by resource) (Sta06 Fig 17.12) Luento Tietokoneen rakenne / 2007 / Liisa Marttinen 16

17 Miksi mikro-ohjelmoituna? vaikka hitaampi suoritus kuin langoitetulla logiikalla Suunnittelun helppous ja joustavuus u Muutokset/laajennukset mukaan vaikka loppumetreillä u Vanhaan laitteistoon vain kontrollimuistin päivitys Omalla lastullaan vähän vanhemmissa koneissa u Tätä varten omat kehitysympäristönsä Taaksepäin yhteensopivuus u Vanha käskykanta säilytettävissä vaivatta u Lisää vain uudet mikrokäskyt uusille käskyille Yleisyys u Yksi laitteisto, useita erilaisia käskykantoja u Yksi käskykanta, useita erilaisia organisointeja Luento Kertauskysymyksiä Langoitettu vs. mikro-ohjelmoitu toteutus? Kuinka mikrokäskyn osoite määräytyy? Mihin tarvitaan kontrollimuistia? Horisontaalinen vs. vertikaalinen mikrokäsky? Miksi ei mikro-ohjelmointia? IA-64 kontrolli vs. mikro-ohjelmointi vs. langoitettu kontrolli? Luento Tietokoneen rakenne / 2007 / Liisa Marttinen 17

18 Tietokoneen rakenne Pääotsikoita olivat Digitaalilogiikka Väylät, välimuisti, keskusmuisti Virtuaalimuistin osoitemuunnos, TLB ALU: kokonais- ja liukulukuaritmetiikka Käskykannoista: operaatiot ja osoittaminen CPU:n rakenne ja liukuhihna Hyppyjen ennustus, datariippuvuudet RISC & superskalaari CPU, nimiriippuvuudet IA-64: Explicit Parallel Instruction Computing Langoitettu vs. mikro-ohjelmoitu ohjaus Luento The End -- STI Cell Power processor element (a) major units and (b) pipeline Luento Tietokoneen rakenne / 2007 / Liisa Marttinen 18

19 Problem Nämä kalvot esitetty Kerolan Rinnakkaisohjelmointikurssilla Moore s Law will not give us faster processors (any more) u But it gives us now more processors on one chip Multicore CPU Chip-level multiprocessor (CMP) Herb Sutter, A Fundamental Turn Toward Concurrency in SW, Dr. Dobb s Journal, (click) Luento (hyperthreads) Borkar, Dubey, Kahn, et al. Platform Intel White Paper, (click) Luento Tietokoneen rakenne / 2007 / Liisa Marttinen 19