Calcolatori Elettronici

Transcript

1 Calcolatori Elettronici CPU a singolo ciclo assimiliano Giacomin

2 Schema del processore (e memoria) Unità di controllo PC emoria indirizzo IR Condizioni SEGNALI DI CONTROLLO dato letto UNITA DI ELABORAZIONE (DATAPATH) dato scritto 2

3 Processore a singolo ciclo: idea di base Unità di controllo COBINATORIA Condizioni SEGNALI DI CONTROLLO PC ES: istrzione add rd, rs, rt emoria indirizzo dato letto rs rt rd Regwrite Reg. File Src2 Src ALUctrl dt dato scritto 3

4 Spiegazione lcido precedente I segnali di controllo determinano, a seconda del tipo di istrzione: - il percorso sorgente-destinazione dei dati mediante: indirizzi e nmeri registri + segnali di controllo ai mltipleer - le operazioni aritmetiche e logiche effettivamente svolte mediante: segnali di controllo alle ALU - se n elemento di memoria deve scrivere e/o leggere n dato mediante: segnali di tipo read/write Avremo qindi la determinazione di n percorso del tipo: CK Sorgente F Dest. CK dove: - sorgente e destinazione possono coincidere - valore sorgente disponibile nel corso del ciclo, destinazione scritta alla fine 4

5 Temporizzazione PC emoria istrzioni fornisce istrzione corrente all nità di controllo Unità di controllo prodce in otpt segnali di controllo al path: controllo UX, read e write ad elementi di memoria, controllo ALU è si crea n percorso stabile sorgente-destinazione Valori all ingresso della destinazione (registri o memoria) stabili prima della fine del ciclo Valori in ingresso scritti nella destinazione: disponibili in lettra drante il prossimo ciclo 5

6 PROGETTAZIONE DATAPATH (CASO IPS) 6

7 Nella progettazione della CPU, faremo riferimento alle segenti istrzioni: Istrzioni aritmetiche: add, sb, and, or, slt add rd, rs, rt // rd rs + rt slt rd, rs, rt // rd = se rs < rt, altrimenti Istrzioni di accesso a memoria: lw rt, offset(rs) // rt [rs+offset] sw rt, offset(rs) // [rs+offset] rt Istrzioni di salto condizionato: beq rs, rt, offset // se rs=rt salta a offset istrzioni rispetto a PC (aggiornato a istrzione corrente + 4 bytes!) in bytes: PC + (offset ) Salto incondizionato: j offset // salta all indirizzo in istrzioni ottento da: 4 bit di PC offset [3 bit] indirizzo in byte è la concatenazione di 4 bit di PC offset [32 bit] 7

8 Codifica delle istrzioni viste: Op rs rt rd Shift_amont fnct Aritmetiche: Tipo-R ADD: op 6 5 SUB: AND: OR: SLT: Op rs rt offset = : lw = : sw beq = + PC + (offset ) lw, sw, beq: Tipo-I Op offset J: Tipo-J PC offset 8

9 Note slla codifica tili per la progettazione - Aritmetiche e logiche - lw, sw - beq - j Tipo-R Tipo-I Tipo-J Op rs rt rd Shift_amont fnct Op rs rt offset 6 5 Tipo-R Tipo-I Op offset Tipo-J La progettazione è facilitata dal fatto che: - Campo Op sempre in [3-26] - i registri da leggere sono sempre in rs e rt - il registro base [da sommare] per lw e sw è rs [primo ingresso della ALU] - l offset a 6 bit da sommare per beq, lw, sw è in [5-] Il registro s ci scrivere pò essere rd (per operaz. di TIPO-R) o rt (per lw) 9

10 Consideriamo inizialmente solo le istrzioni aritmetiche (es. add) FETCH

11 Consideriamo inizialmente solo le istrzioni aritmetiche (es. add) READ WRITE EX

12 Integrazione della lw e sw ALUoper 2

13 Integrazione della beq ALUoper 3

14 Integrazione della j Shift left 2 2 ALUoper 4

15 Spiegazione lcidi precedenti: integrazione di diverse istrzioni Ogni elemento sato più di na volta nell eseczione di na istrzione dplicato: - emoria dati (lw, sw) ¹ emoria programmi (fase di fetch di ttte le istrzioni) - ALU (lw, sw, beq, aritmetiche) ¹ Sommatore PC + 4 (ttte le istrzioni) ¹ Sommatore PC+offset (beq) Per integrare i diversi elementi: - ALU principale deve effettare diverse operazioni a seconda dell istrzione - servono UX per selezionare i dati s ci n elemento fnzionale lavora (diversi da istrzione a istrzione) 5

16 PROGETTAZIONE UNITA DI CONTROLLO 6

17 Il controllo (combinatorio) della ALU Unità di controllo è critica dal pnto di vista delle performance Þ più livelli di controllo: dimensioni, velocità fnct A L U ALU control zero ris AlOper AlOp opcode ALUOp Operation fnct ALU fnction ALU Oper lw load word XXXXXX add sw store word XXXXXX add beq branch eqal XXXXXX sbtract R-type add add sbtract sbtract AND AND OR OR set-on-less-than set-on-less-than 7

18 Shift left 2 2 8

19 Semplificazione segnale di controllo per beq (senza la j) Shift left 2 Branch 9

20 Semplificazione segnale di controllo per beq e j + CONTROLLO! Instrction [25 ] Shift Jmp address [3 ] left Add PC+4 [3 28] Instrction [3 26] Control RegDst Jmp Branch em emtoreg ALUOp em ALUSrc Reg Shift left 2 Add ALU reslt PC address Instrction memory Instrction [3 ] Instrction [25 2] Instrction [2 6] Instrction [5 ] register register 2 Registers 2 register Zero ALU ALU reslt Address Data memory Instrction [5 ] 6 Sign 32 etend ALU control Instrction [5 ] 2

21 Nota si segnali di controllo: - i segnali di controllo sono determinati in modo combinatorio soltanto slla base del campo Opcode - non è in generale possibile prevedere l ordine di arrivo dei segnali di controllo: non sono impostati in seqenza (è necessario che T clock sia sfficientemente lngo) Prima di progettare l nità di controllo, vediamo allora alcni esempi di eseczione delle istrzioni 2

22 Esempio: istrzione di tipo-r Instrction [25 ] Shift Jmp address [3 ] left Add PC+4 [3 28] Instrction [3 26] Control RegDst Jmp Branch em emtoreg ALUOp em ALUSrc Reg Shift left 2 Add ALU reslt PC address Instrction memory Instrction [3 ] Instrction [25 2] Instrction [2 6] Instrction [5 ] register register 2 Registers 2 register Zero ALU ALU reslt Address Data memory Instrction [5 ] 6 Sign 32 etend ALU control Instrction [5 ] 22

23 Esempio: istrzione lw Instrction [25 ] Shift Jmp address [3 ] left Add PC+4 [3 28] Instrction [3 26] Control RegDst Jmp Branch em emtoreg ALUOp em ALUSrc Reg Shift left 2 Add ALU reslt PC address Instrction memory Instrction [3 ] Instrction [25 2] Instrction [2 6] Instrction [5 ] Instrction [5 ] register register 2 Registers 2 register 6 Sign 32 etend ALU control Zero ALU ALU reslt Address Data memory read Instrction [5 ] 23

24 Esempio: istrzione beq Instrction [25 ] Shift Jmp address [3 ] left Add PC+4 [3 28] Instrction [3 26] Control RegDst Jmp Branch em emtoreg ALUOp em ALUSrc Reg Shift left 2 Add ALU reslt PC address Instrction memory Instrction [3 ] Instrction [25 2] Instrction [2 6] Instrction [5 ] register register 2 Registers 2 register Zero ALU ALU reslt Address Data memory Instrction [5 ] 6 Sign 32 etend ALU control Instrction [5 ] 24

25 Progetto e realizzazione dell nità di controllo principale RegDst Istrzione[3-26]: campo opcode Jmp Branch emread emtoreg ALUOp em ALUSrc Reg E na rete combinatoria: - slla base di opcode (istrzione da esegire) deve selezionare i valori dei segnali di controllo Pò essere specificata da tabella di verità e implementata nei modi visti (porte logiche, RO, ) 25

26 ISTRUZ RegDst Jmp Branch em emto Reg ALUOp em ALUSrc Tipo-R lw sw X X beq X X j X X X XX X Opcode [6 bit] Reg 26

27 PRESTAZIONI DEL PROCESSORE SINGOLO CICLO Prestazioni di n processore valtate slla base del tempo di eseczione di n dato programma T CPU = #istrzioni * T istrzione Per n processore a singolo ciclo T CPU = #istrzioni * T clock T clock = ma {T I } = ma {T Ia + T Ik } I istrzioni I istrzioni cammino critico T clock determinato dall istrzione più lnga 27

28 Esempio: istrzione di tipo-r Instrction [25 ] Shift Jmp address [3 ] left Add PC+4 [3 28] Instrction [3 26] Control RegDst Jmp Branch em emtoreg ALUOp em ALUSrc Reg Shift left 2 Add ALU reslt PC address Instrction memory Instrction [3 ] Instrction [25 2] Instrction [2 6] Instrction [5 ] register register 2 Registers 2 register Zero ALU ALU reslt Address Data memory Instrction [5 ] 6 Sign 32 etend ALU control Instrction [5 ] 28

29 Tipo-R emoria Istrz. Reg. File A L U Reg. File sw emoria Istrz. Reg. File A L U emoria Dati lw emoria Istrz. Reg. File A L U emoria Dati Reg. File Istrzione più lnga: lw 29