Calcolatori Elettronici Il Processore (2)

Presentazione sul tema: "Calcolatori Elettronici Il Processore (2)"— Transcript della presentazione:

1 Calcolatori Elettronici Il Processore (2)
Francesco Lo Presti Rielaborate da Salvatore Tucci Give qualifications of instructors: DAP teaching computer architecture at Berkeley since 1977 Co-athor of textbook used in class Best known for being one of pioneers of RISC currently author of article on future of microprocessors in SciAm Sept 1995 RY took 152 as student, TAed 152,instructor in 152 undergrad and grad work at Berkeley joined NextGen to design fact 80x86 microprocessors one of architects of UltraSPARC fastest SPARC mper shipping this Fall 1

2 Approccio Multiciclo Suddividere l’esecuzione di una istruzione in piu’ passi (steps) Fetch, Decode, Execute, Memory Access, Write Back Ogni passo richiede un ciclo di clock Istruzioni diverse possono richiedere un numero diverso di passi (cicli) I passi scelti in modo da bilanciare il carico di lavoro In modo da minimizzare la durata del ciclo di clock Assunzione: in un passo/ciclo di clock si puo’ effettuare una sola operazione tra: Accesso in memoria Accesso al banco dei registri (lettura o scrittura) Operazione ALU CPU (2) 2 2

3 Approccio Multiciclo Alla fine di ogni ciclo
Bisogna memorizzare i valori richiesti dai cicli successivi dell’istuzione corrente Richiede l’impiego di registri addizionali interni (invisibili al programmatore): IR: Instruction Register MDR: Memory Data Register A & B: Valori letti dai registri ALUout: Registro che memorizza il risultato delle operazioni ALU CPU (2) 3 3

4 Approccio Multiciclo Vantaggi
Unita’ funzionali che devono essere usata piu’ volte per la stessa istruzione non devono essere replicate se impiegate in passi diversi Una sola memoria per dati e istruzioni Una sola ALU (no adder) Tempo di ciclo piu’ breve Tempi di esecuzione inferiori Istruzioni usano il solo tempo (cicli) necessario alla loro esecuzione CPU (2) 4 4

5 Unità di elaborazione a ciclo multiplo: una vista astratta
Contiene l’istruzione Dati dal primo registro Risultato della ALU Dati dalla memoria Dati dal secondo registro CPU (2) 5 5

6 Una vista più dettagliata
Poiché le unità funzionali sono condivise, occorre aggiungere dei multiplexer ed ampliare quelli già esistenti nel ciclo singolo Unica Memoria per dati e istruzioni Si aggiunge un multiplexer per selezionare il PC o ALUOut come indirizzo della memoria da leggere/scrivere Dovendo condividere la ALU Si aggiunge un multiplexer per il primo ingresso della ALU per selezionare il registro A (primo registro) oppure il PC (per il calcolo dell’indirizzo dell’istruzione successiva) Il multiplexer a 2 vie sul secondo ingresso della ALU viene ampliato a 4 vie Una per il valore 4 (per il calcolo dell’indirizzo dell’istruzione successiva) Una per il valore dell’indirizzo (16 bit, estesi in segno a 32 e traslati a sinistra) CPU (2) 6 6

7 Una vista più dettagliata (2)
Mux su primo ingresso ALU Indirizzo da PC o da ALU Mux su secondo ingresso ALU CPU (2) 7 7

8 I segnali di controllo Nell’unità a ciclo multiplo occorre cambiare anche l’insieme dei segnali di controllo Gli elementi di memoria visibili al programmatore (il PC, la memoria ed i registri) e l’IR hanno bisogno di un segnale di controllo per la scrittura La memoria ha anche bisogno di un segnale di controllo per la lettura Ciascuno dei due multiplexer a due vie aggiunti ha bisogno di un segnale di controllo a 1 bit Il multiplexer a quattro vie ha bisogno di un segnale di controllo a 2 bit CPU (2) 8 8

9 L’unità con i segnali di controllo
CPU (2) 9 9

10 Implementazione dei salti
Per le istruzioni di jump e branch, ci sono tre possibili sorgenti per il valore da scrivere in PC L’output della ALU, con il valore PC+4 calcolato durante la fase di fetch dell’istruzione Il registro ALUOut, dove è memorizzato l’indirizzo del branch una volta che è stato calcolato I 26 bit meno significativi dell’IR traslati a sinistra di 2 e concatenati con i 4 bit più significativi del PC incrementato, se l’istruzione è di jump CPU (2) 10 10

11 Prelievo dei 26 bit per jump
Implementazione dei salti: jump Prelievo dei 26 bit per jump Scelta del valore da scrivere in PC: : PC : indirizzo del salto condizionato : indirizzo di jump CPU (2) 11 11

12 Zero (dalla ALU) AND PCWriteCond
Implementazione dei salti: beq In OR con PCWrite per indicare la scrittura di PC Zero (dalla ALU) AND PCWriteCond Scelta del valore in PC CPU (2) 12 12

13 Il controllo della ALU ALUOp come input
3 bit di controllo alla ALU come output Unità di controllo della ALU 6 bit di funct come input CPU (2) 13 13

14 L’unità di elaborazione multi-ciclo
CPU (2) 14 14

15 I segnali di controllo ad 1 bit
Segnale Effetto quando vale 0 Effetto quando vale 1 RegDst Registro destinazione = rt Registro destinazione = rd RegWrite Nessuno Nel registro indicato sull’ingresso Write register viene scritto il valore Write data ALUSrcA Il primo operando di ALU è PC Il primo operando di ALU è registro A MemRead Lettura della locazione di memoria indicata da Address MemWrite Scrittura della locazione di memoria indicata da Address MemtoReg Il valore in Write data (registri) viene da ALUOut Il valore in Write data (registri) viene da MDR IorD L’indirizzo proviene da PC L’indirizzo proviene da ALUOut IRWrite Uscita memoria scritta in IR PCWrite Scrittura in PC: provenienza da PCSource PCWriteCond Scrittura in PC se Zero di ALU è 1 CPU (2) 15 15

16 I segnali di controllo a 2 bit
Segnale Val Effetto ALUOp 00 L’ALU calcola la somma 01 L’ALU calcola la sottrazione 10 Operazione determinata dal campo funct ALUScrB Il secondo ingresso della ALU: proviene da reg. B …: è la costante 4 …: il valore dei 16 bit meno sign. di IR, estesi a 32 11 …: il valore dei 16 bit meno sign. di IR, estesi a 32, traslati a sinistra di 2 bit PCSource In PC viene scritta l’uscita della ALU (PC+4) In PC viene scritto ALUOut (indirizzo di beq) In PC viene scritto l’indirizzo di jump (26 bit meno sign. di IR, traslati a sinistra di 2 bit e concatenati con i 4 bit più sign. di PC) CPU (2) 16 16

17 Esecuzione di una istruzione in più cicli
Obiettivo: Decomporre le istruzioni in modo da bilanciare il carico di lavoro in ogni ciclo (e minimizzare la durata del ciclo di clock) Suddividiamo le istruzioni in una serie di passi Ogni passo coincide con un ciclo di clock Ogni passo comprende al più: Un’operazione con la ALU Un accesso al banco dei registri Un accesso alla memoria In questo modo, la durata del ciclo di clock sarà pari alla durata della più lenta di queste tre operazioni CPU (2) 17 17

18 Alla fine di ciascun ciclo di clock
Tutti i valori che sono necessari al passo successivo/Istruzione Sono memorizzati in qualche componente Ad esempio Il Program Counter Il banco dei registi La memoria Uno dei registri addizionali A, B, MDR oppure ALUOut IR (dotato di segnale di controllo per la scrittura) IR è l’unico tra i registri addizionali a contenere lo stesso dato (l’istruzione) per tutti i passi di esecuzione di una istruzione CPU (2) 18 18

19 Suddivisione in Passi Si suddividono le istruzioni nei seguenti passi potenziali – non tutte le istruzioni le richiedono tutte Prelievo Istruzione e Incremento del PC (IF) Si preleva l’istruzione in base a PC e si salva in IR. PC e’ incrementato di 4 Decodifica Istruzione e Prelievo Registri (ID) Si leggono i registri rs e rt in caso servano Si calcola l’indirizzo di salto (nel caso l’istruzione sia di salto). Esecuzione, Calcolo Indirizzo di Memoria, o completamento salto (EX) ALU esegue una delle seguenti funzioni in base al tipo di istruzione memory reference R-type branch (Istruzione Completata) jump (Istruzione Completata) CPU (2) 19 19

20 Suddivisione in Passi Accesso in Memoria e Completamento Istruzione R (MEM) In base al tipo di istruzione Legge dalla memoria Scrive in memoria (Istruzione Completata) Scrittura nel Registro Destinazione (Istruzione Completata) Completamento lettura da Memoria (WB) Il dato letto dalla memoria in 4 viene scritto nel registro Destinazione (Load completato) Le istruzioni MIPS richiedono da 3 a 5 cicli di clock Jump e branch: 3 cicli Formato R, store: 4 cicli Write: 5 cicli CPU (2) 20 20

21 Prelievo dell’Istruzione (IF)
IR = M[PC]; PC = PC + 4; 4 PC + 4 CPU (2) 21 21

22 Decodifica Istruzione e Lettura Registri (ID)
A = Reg[IR[25-21]]; (A = Reg[rs]) B = Reg[IR[20-15]]; (B = Reg[rt]) ALUOut = (PC + sign-extend(IR[15-0]) << 2) PC + 4 Branch Target Address Reg[rs] Reg[rt] CPU (2) 22 22

23 Formato R: (EX) – Esecuzione ALU
ALUOut = A op B Reg[rs] Reg[rt] PC + 4 R-Type Result CPU (2) 23 23

24 Formato R: (MEM) – Scrittura Registro Dest.
Reg[IR[15:11]] = ALUOUT R-Type Result Reg[rs] Reg[rt] PC + 4 CPU (2) 24 24

25 Decodifica Istruzione e Lettura Registri (ID)
A = Reg[IR[25-21]]; (A = Reg[rs]) B = Reg[IR[20-15]]; (B = Reg[rt]) ALUOut = (PC + sign-extend(IR[15-0]) << 2) PC + 4 Branch Target Address Reg[rs] Reg[rt] CPU (2) 25 25

26 Branch: (EX) – Aggiornamento PC
if (A == B) PC = ALUOut; Reg[rs] Reg[rt] Branch Target Address Branch Target Address CPU (2) 26 26

27 Decodifica Istruzione e Lettura Registri (ID)
A = Reg[IR[25-21]]; (A = Reg[rs]) B = Reg[IR[20-15]]; (B = Reg[rt]) ALUOut = (PC + sign-extend(IR[15-0]) << 2) PC + 4 Branch Target Address Reg[rs] Reg[rt] CPU (2) 27 27

28 Jump: (EX) – Aggiornamento PC
PC = PC[31-28] concat (IR[25-0] << 2) Reg[rs] Reg[rt] Branch Target Address Jump Address CPU (2) 28 28

29 Decodifica Istruzione e Lettura Registri (ID)
A = Reg[IR[25-21]]; (A = Reg[rs]) B = Reg[IR[20-15]]; (B = Reg[rt]) ALUOut = (PC + sign-extend(IR[15-0]) << 2) PC + 4 Branch Target Address Reg[rs] Reg[rt] CPU (2) 29 29

30 Store: (EX) Calcolo Indirizzo
ALUOut = A + sign-extend(IR[15-0]); Reg[rs] Reg[rt] PC + 4 Mem. Address CPU (2) 30 30

31 Store: (MEM) Scrittura in Memoria
M[ALUOut] = B; PC + 4 Reg[rs] Reg[rt] CPU (2) 31 31

32 Decodifica Istruzione e Lettura Registri (ID)
A = Reg[IR[25-21]]; (A = Reg[rs]) B = Reg[IR[20-15]]; (B = Reg[rt]) ALUOut = (PC + sign-extend(IR[15-0]) << 2) PC + 4 Branch Target Address Reg[rs] Reg[rt] CPU (2) 32 32

33 Load: (EX) Calcolo Indirizzo
ALUOut = A + sign-extend(IR[15-0]); Reg[rs] Reg[rt] PC + 4 Mem. Address CPU (2) 33 33

34 Load: (MEM) Lettura in Memoria
MDR = M[ALUOut]; PC + 4 Reg[rs] Reg[rt] Mem. Address Mem. Data CPU (2) 34 34

35 Load: (WB) – Scrittura nel Registro Dest.
Reg[IR[20-16]] = MDR; PC + 4 Reg[rs] Reg[rt] Mem. Data Address CPU (2) 35 35

36 Schema Riassuntivo Implementazione Multiciclo
Step Step name Action for R-type instructions Action for memory-reference Action for branches jumps Instruction fetch IR = M[PC] PC = PC + 4 Instruction A = Reg [IR[25-21]] decode/register fetch B = Reg [IR[20-16]] ALUOut = PC + (sign-extend (IR[15-0]) << 2) Execution, address ALUOut = A op B ALUOut = A + sign-extend if (A ==B) then PC = PC [31-28] II computation, branch/ (IR[15-0]) PC = ALUOut (IR[25-0]<<2) jump completion Memory access or R-type Reg [IR[15-11]] = Load: MDR = M[ALUOut] completion ALUOut or Store: M[ALUOut] = B Memory read completion Load: Reg[IR[20-16]] = MDR 1: IF 2: ID 3: EX 4: MEM 5: WB CPU (2) 36 36

37 Controllo L’Unita di Controllo deve generare: In funzione del…
I segnali di controllo dell’ALU I segnali di controllo dei vari multiplexer I segnali di abilitazione alla scrittura/lettura dei diversi elementi di memoria In funzione del… Tipo di Istruzione da eseguire (Ingresso) I bit del campo opcode (e funct nel caso del formato R) dell’istruzione Step dell’istruzione  Una rete combinatoria non e’ sufficiente ad implementare il controllo multiciclo Opcode Read/Write Memorie 6 Controllo Controllo MUX Funct 6 Controllo ALU CPU (2) 37 37

38 Controllo Multiplo Ciclo: Rete Sequenziale
Il controllo sara’ realizzato da una rete sequenziale Automa a Stati finiti Micropragramma Per semplificare la progettazione/circuito del controllo suddivideremo l’unita’ di controllo in Unita’ di Controllo Principale Unita’ di Controllo ALU Per il controllo dell’ALU useremo la stessa rete combinatoria vista per l’implementazione singolo ciclo Opcode Read/Write Memorie 6 Controllo Controllo MUX Funct 6 Controllo ALU Opcode Read/Write Memorie 6 Controllo Controllo MUX ALUOp 2 ALU Control Controllo ALU Funct 6 CPU (2) 38 38

39 Implementazione Unita’ di Controllo Principale
Possiamo implementare l’Unita’ di Controllo come una rete sequenziale di Moore Stato: passo di esecuzione dell’istruzione corrente IF, ID, Ex-Formato R, Ex-beq, etc… Ingressi: Opcode Istruzione Uscite: Segnali di Controllo verso DataPath Bisogna Specificare Funzione Prossimo Stato: Stato(n+1)=F(Stato(n),Ingressi(n)) Funzione Uscita: Uscite(n)=G(Stato(n)) Perche’ e’ un automa di Moore Opcode Rete Combinatoria 6 Read/Write Memorie Stato Rete Combinatoria Controllo MUX ALUOp 2 CPU (2) 39 39

40 Struttura dell’Automa a Stati Finiti
I primi due passi sono indipendenti dall’istruzione I restanti passi sono differenziati a seconda dell’operazione Ciascuna porzione della macchina a stati finiti può essere composta da più stati Inizio Fetch Decode, Fetch Reg, beq Calcolo Indirizzo R-type EXE Beq EXE (PC update) Jump EXE (PC update) M-Read M-Write R-Write R-Write CPU (2) 40 40

41 Segnali di Controllo: (IF)
IR = M[PC]; MemRead=1 IRWrite=1 IorD=0 PC = PC + 4; ALUSrcA=0, ALUSrcB=01 ALUOp=00 PCWrite=1, PCSource=00 1 1 X 010 X 1 1 CPU (2) 41 41

42 Segnali di Controllo: (ID)
A = Reg[IR[25-21]]; (A = Reg[rs]) B = Reg[IR[20-15]]; (B = Reg[rt]) - A e B sempre sovrascritti (nessun segnale di controllo) ALUOut = (PC + sign-extend(IR[15-0]) << 2); ALUSrcA=0, ALUSrcB=11 ALUOp=00 X X 010 X X 3 CPU (2) 42 42

43 Segnali di Controllo: (EX) Formato R - ALU
ALUOut = A op B; ALUSrcA=1, ALUSrcB=00 ALUOp=10 (Operation dipende da Funct) ALUOut riscritto ad ogni ciclo) X 1 X ??? X X CPU (2) 43 43

44 Segnali di Controllo: (MEM) Formato R – Scrittura Registro Destinazione
Reg[IR[15:11]] = ALUOut; (Reg[Rd] = ALUOut) RegDest=1 ReWrite=1 MemtoReg=0 IRWrite I Instruction I R jmpaddr 28 32 <<2 CONCAT 5 I[25:0] PCWr* rs rt rd X 1 2 M U X MUX 1 X 32 RegDst IorD 5 5 1 XXX 5 ALUSrcA PC Operation M U X 1 MemWrite RN1 RN2 WN M U X 1 3 ADDR M M U X 1 Registers PCSource Memory D RD1 A Zero X RD R WD ALU ALU OUT WD RD2 B M U X 1 2 3 MemRead MemtoReg 4 RegWrite 1 E X T N D ALUSrcB immediate 16 32 <<2 X CPU (2) 44 44

45 Segnali di Controllo: (ID)
A = Reg[IR[25-21]]; (A = Reg[rs]) B = Reg[IR[20-15]]; (B = Reg[rt]) - A e B sempre sovrascritti (nessun segnale di controllo) ALUOut = (PC + sign-extend(IR[15-0]) << 2); ALUSrcA=0, ALUSrcB=11 ALUOp=00 X X 010 X X 3 CPU (2) 45 45

46 Segnali di Controllo: (EX) Branch – Agg. PC
if (A == B) PC = ALUOut; ALUSrcA=1, ALUSrcB=00 ALUOp=01 PCWrite=0, PCWriteCond=1, PCSource=01 1 if Zero=1 X 1 X 110 1 X CPU (2) 46 46

47 Segnali di Controllo: (ID)
A = Reg[IR[25-21]]; (A = Reg[rs]) B = Reg[IR[20-15]]; (B = Reg[rt]) - A e B sempre sovrascritti (nessun segnale di controllo) ALUOut = (PC + sign-extend(IR[15-0]) << 2); ALUSrcA=0, ALUSrcB=11 ALUOp=00 X X 010 X X 3 CPU (2) 47 47

48 Segnali di Controllo: (EX) Jump – Agg. PC
PC = PC[21-28] concat (IR[25-0] << 2); - PCWrite=1, PCSource=10 1 X X X XXX 2 X X CPU (2) 48 48

49 Segnali di Controllo: (ID)
A = Reg[IR[25-21]]; (A = Reg[rs]) B = Reg[IR[20-15]]; (B = Reg[rt]) - A e B sempre sovrascritti (nessun segnale di controllo) ALUOut = (PC + sign-extend(IR[15-0]) << 2); ALUSrcA=0, ALUSrcB=11 ALUOp=00 X X 010 X X 3 CPU (2) 49 49

50 Segnali di Controllo: (EX) Store – Calc. Indirizzo
ALUOut = A + sign-extend(IR[15-0]); ALUSrcA=1, ALUSrcB=10 ALUOp=00 X 1 X 010 X X 2 CPU (2) 50 50

51 Segnali di Controllo: (MEM) Store – Scr. in Memoria
Memory[ALUOut] = B; IorD=1 MemWrite=1 1 X 1 X XXX X X X CPU (2) 51 51

52 Segnali di Controllo: (ID)
A = Reg[IR[25-21]]; (A = Reg[rs]) B = Reg[IR[20-15]]; (B = Reg[rt]) - A e B sempre sovrascritti (nessun segnale di controllo) ALUOut = (PC + sign-extend(IR[15-0]) << 2); ALUSrcA=0, ALUSrcB=11 ALUOp=00 X X 010 X X 3 CPU (2) 52 52

53 Segnali di Controllo: (EX) Load – Calc. Indirizzo
ALUOut = A + sign-extend(IR[15-0]); ALUSrcA=1, ALUSrcB=10 ALUOp=00 X 1 X 010 X X 2 CPU (2) 53 53

54 Segnali di Controllo: (MEM) Load – Lett. in Memoria
MDR = Memory[ALUOut]; IorD=1 MemRead=1 1 X X XXX X X 1 X CPU (2) 54 54

55 Segnali di Controllo: (WB) Load – Scr. Registro di Destinazione
Reg[IR[20-16]] = MDR; RegDest=0 RegWrite=1 MemtoReg=0 IRWrite I Instruction I jmpaddr 28 32 R I[25:0] <<2 CONCAT 5 PCWr* X rs rt rd X 1 2 M U X MUX 1 32 RegDst IorD 5 5 XXX 5 ALUSrcA PC Operation M U X 1 MemWrite RN1 RN2 WN M U X 1 3 ADDR M M U X 1 Registers PCSource Memory D RD1 A Zero X RD R WD ALU ALU B M U X 1 2 3 OUT WD RD2 MemRead MemtoReg 4 RegWrite 1 E X T N D ALUSrcB immediate 16 32 X <<2 CPU (2) 55 55

56 Struttura dell’Automa a Stati Finiti
I primi due passi sono indipendenti dall’istruzione I restanti passi sono differenziati a seconda dell’operazione Ciascuna porzione della macchina a stati finiti può essere composta da più stati Inizio Fetch Decode, Fetch Reg, beq Calcolo Indirizzo R-type EXE Beq EXE (PC update) Jump EXE (PC update) M-Read M-Write R-Write R-Write CPU (2) 56 56

57 L’Automa a stati finiti completo
Tutti i segnali di scrittura che non appaiono sono pari a 0 Tutti i segnali di controllo dei mux che non appaiono sono pari ad X CPU (2) 57 57

58 Input Values (Current State[3-0])
Unita’ di Controllo: Funzione di Uscita Outputs Input Values (Current State[3-0]) 0000 0001 0010 0011 0100 0101 0110 0111 1000 1001 PCWrite 1 PCWriteCond X IorD MemRead MemWrite IRWrite MemtoReg PCSource 00 XX 01 10 ALUOp ALUSrcB 11 ALUSrcA RegWrite RegDst Doesn’t show the use of don’t cares to reduce the logic! CPU (2) 58 58

59 Unita’ di Controllo: Funzione Prossimo Stato
Current State [3-0] Inst[31-26] (Op[5-0]) (R- type) (jmp) (beq) (lw) (sw) Any other 0000 0001 0110 1001 1000 0010 illegal XXXX 0011 0101 0100 0111 CPU (2) 59 59

60 Diagramma a blocchi della CPU (Datapath e Control) e Memoria
CONTROLLO Registro di Stato Operation=f(ALUOp,funct) PCWrite+(Zero*PCWriteCond) IorD IRWrite PCSoruce RegDst ALUSrcA/B MemtoReg MemWr MemRd RegWr Opcode ALU Zero A Funct ALUOut Register file IR B DATAPATH Addr PC MDR Memoria CPU (2) 60 60

61 Implementazione dell’unità di controllo dall’Automa a Stati Finiti
La macchina a stati finiti può essere implementata usando Un registro temporaneo che memorizza lo stato corrente Un blocco di logica combinatoria che determina i segnali e lo stato futuro Realizzabile tramite PLA o ROM CPU (2) 61 61

62 Implementazione Controllo Tramite PLA
Blocco combinatorio della rete sequenziale puo’ essere implementato con logica digitale a 2 livelli PLA Numero minimo di porte logiche # celle= #ingresso*#termini prodotto+#uscite*termini prodotto 10*17+20*17=510 celle PLA Non modificabile Poco flessibile Soluzione efficiente per piccoli circuiti CPU (2) 62 62

63 Reti Combinatorie e ROM
ROM (Read Only Memory) I valori delle varie celle di memoria sono fissati Le ROM possono essere usate per implementare Tabelle di Verita’=Reti Combinatorie Se l’indirizzo e’ di m-bit, possiamo indirizzzare 2m celle della ROM Le uscite della ROM corrispondono ai contenuti della varie celle indirizzate dai m bit dell’indirizzo Tabella di Verita’ con m variabili in ingresso e n di output Sufficiente una ROM di 2mxn bit Input = indirizzo Output = Contenuto celle m n ROM m = 3 n = 4 CPU (2) 63 63

64 Implementazione del Controllo tramite ROM
Rete combinatoria dell’unita’ di controllo ha: 10 linee in ingresso 6 bit opcode 4 bit stato Indirizzo=<Opcode,Stato> 20 linee di output 16 bit di segnali di controllo 4 bit di stato Realizzazione ROM richiede 210x20=20Kbits Soluzione inefficiente 16 bit di uscita (segnali di controllo) dipendono solo dai 4 bit dello stato Automa di Moore  indirizzi <XXX,Stato>, al variare di XXX i 16 bit relativi alle linee di controllo sono identici Per molti stati le transizioni non dipendono dall’opcode  Per molti indirizzi <XXX,Stato>, al variare di XXX i contenuti delle celle spesso sono identici Stato __Uscita (Linee di Controllo) CPU (2) 64 64

65 Si puo’ semplificare l’implementazione sfruttando la struttura di G?
Implementazione del Controllo tramite ROM Implementare separatamente le tabelle di verita’ delle funzioni F (uscita) e G (prossimo stato) F: 4 bit di stato determinano le 16 uscite (di controllo) ROM di 24x16b=0.25Kb G: 10 bit (4 stato+6 opcode) determinano il prossimo stato ROM di 210x4b=4Kb Totale 4.25Kbit >> numero celle PLA PLA ottimizza la rete grazie ai molti DON’T CARE Data la struttura degli automi di Moore, la dimensione della ROM e’ dominata dalla funzione G 4Kb vs 0.25Kb Stato __Uscita (Linee di Controllo) Si puo’ semplificare l’implementazione sfruttando la struttura di G? CPU (2) 65 65

66 Altro Stile di Implementazione
Implementare F come prima Per G osservare che: Spesso la funzione stato successivo e’: Stato(n+1)=Stato(n)+1 0->1 IF->ID 3->4 lw(MEM)->lw(WB) 6->7 f. R(EX)->f. R(MEM) o semplicemente a fine istruzione: Stato(n+1)=0 Tuttavia alcune volte Stato(n+1)=G(Stato(n),Opcode) Stato 1 e 2 CPU (2) 66 66

67 Implementazione con un Sequenzializzatore
Inserire: Contatore Incremento Stato Logica selezione prossimo stato Per i “salti” Aggiungere un segnale di controllo AddrCtrl che controlla come si determina il prossimo stato: Stato(n)+1 In base a Stato(n)+Opcode CPU (2) 67 67

68 Sequenzializzatore in dettaglio
Rom CPU (2) 68 68

69 Sequenzializzatore: Contenuto della Memoria di Controllo
Stato Uscita Linee di Controllo AddrCtl Funzione G Funzione F CPU (2) 69 69

70 Microprogrammazione Unita’ di Controllo e’ la parte piu’ complessa del Processore Controllo di un set completo ISA ha centinaia/migliaia di stati Rappresentazione Grafica dell’Unita’ di Controllo estramamente complessa Necessita’ Strumento Progettuale piu’ Efficace: Microprogrammazione Obiettivo: Impiegare una Rappresentazione Simbolica dell’Unita’ di Controllo – Microprogramma Richiama il formato di un programma La logica di controllo si ottiene sintetizzando il microprogramma con prodotti CAD CPU (2) 70 70

71 Microprogrammazione Idea: Considerare i segnali di controllo che devono essere affermati ad un certo passo come una (micro)istruzione da far eseguire dal DataPath “Eseguire” una microistruzione significa affermare i segnali di controllo specificati dalla microistruzione Microistruzione specifica: I segnali di controllo da affermare La prossima microistruzione Microistruzione corrisponde ad uno Stato dell’Automa di Controllo Microprogramma: Sequenza di Microistruzioni in forma simbolica Stato Uscita Linee di Controllo AddrCtl microistruzione CPU (2) 71 71

72 Microprogrammazione: Formato Microistruzioni
Rappresentazione simbolica delle microistruzioni Etichetta, Campo1, Campo2, Campo3,…, Sequenza Etichetta specifica locazione (in memoria) della microistruzione Sequenza specifica come scegliere la prossima microistruzione Campo x rappresenta un gruppo di segnali di controllo che realizzano una particolare funzione Segnali di uno stesso campo hanno funzioni tra loro collegate CPU (2) 72 72

73 Campi Microistruzione per il Processore Multi-Ciclo
Campo Segnali di Controllo Funzione ALU control ALUOp Operazione compiuta da ALU; risultato in ALUOut SRC1 ALUSrcA Provenienza primo operando ALU SRC2 ALUSrcB Provenienza secondo operando ALU Register control RegWrite, RegDest, MemtoReg Lettura o scrittura dei registri nel banco e provenienza dei valori in caso di scrittura Memory MemRead,Mem Write, IorD Lettura o scrittura della memoria e provenienza dei dati; in caso di lettura specifica il registro di destinazione PCWrite control PCWrite, PCSource, PRWriteCond Modalità di aggiornamento di PC Sequencing AddrCtl Modalità di scelta dell’istruzione successiva CPU (2) 73 73

74 I valori dei campi stringa Indica l’etichetta (label) dell’istruzione
ALU control Add ALU deve sommare S u b ALU deve sottrarre F u n c c o d e ALU deve usare funct per l’operazione SRC1 PC PC è il primo operando della ALU A Registro A è il primo operando della ALU SRC2 B Registro B è il secondo operando della ALU 4 Il valore 4 è il secondo operando della ALU Extend Uscita esten. segno è il sec. operando della ALU Extshift Uscita shift è il secondo operando della ALU CPU (2) 74 74

75 I valori dei campi (2) Register control Read
Legge i due registri usando IR, output in A e B Write ALU Scrive usando rd come registro e ALUOut come dato Write MDR Scrive usando rt come registro e MDR come dato Memory Read PC Legge la memoria usando PC, risultato in IR e MDR Read ALU Legge la memoria usando ALUOut, risultato in MDR Write ALU Scrive la memoria usando ALUOut e B PCWrite control ALU Scrive uscita della ALU in PC ALUout-cond Se Zero vale 1, scrive in PC il valore di ALUOut Jump address Scrive in PC l’indirizzo di salto preso dall’istruzione Sequencing Seq Vai alla microistruzione successiva Fetch Vai alla prima microistruzione Dispatch i Usa la tabella di Dispatch per indicare la prossima istr. CPU (2) 75 75

76 Scelta della microistruzione successiva
Le microistruzioni sono memorizzate in una ROM o PLA Possiamo assegnare degli indirizzi alle microistruzioni Diverse possibilità per scegliere la microistruzione successiva Passare alla microistruzione seguente Il campo Sequencing viene messo al valore Seq Passare alla microistruzione che inizia l’esecuzione della prossima istruzione MIPS La prima microistruzione ha un’etichetta Fetch Il campo Sequencing viene messo al valore Fetch Passare alla microistruzione a seconda di valori indicati in input all’unità di controllo Si usa una tabella di Dispatch (solitamente una ROM) Il campo Sequencing viene messo al valore Dispatch i i è un valore che viene passato alla tabella di Dispatch che restituisce la prossima istruzione a seconda del valore dei 6 bit del campo Op che vengono passati all’unità di controllo CPU (2) 76 76

77 I primi due passi (prelievo e decodifica)
Incremento del Program Counter e scrittura ALU dell’incremento Lettura istruzione indicata da PC (in IR) Salto alla microistruzione indicata dalla tabella di Dispatch Label ALU control SRC1 SRC2 Register control Memory PCWrite control Sequencing Fetch Add PC 4 Read PC ALU Seq Extshift Read Dispatch 1 CPU (2) 77 77

78 Le etichette del Dispatch
Servono a differenziare i 4 tipi di istruzioni Una specie di switch Esistono 4 etichette Mem1 Rformat1 BEQ1 JUMP1 Le informazioni sono memorizzate in una ROM Dispatch ROM 1 Op Opcode name Value 000000 R-format Rformat1 000010 jmp JUMP1 000100 beq BEQ1 100011 lw Mem1 101011 sw CPU (2) 78 78

79 Istruzioni di accesso alla memoria
Calcolo indirizzo Dispatch 2 per determinare prossima micro-istruzione Due passi per l’istruzione lw () Un passo per l’istruzione sw Dispatch ROM 2 Op Opcode name Value 100011 lw LW2 101011 sw SW2 Label ALU control SRC1 SRC2 Register control Memory PCWrite control Sequencing Mem1 Add A Extend Dispatch 2 LW2 Read ALU Seq Write MDR Fetch SW2 Write ALU CPU (2) 79 79

80 Istruzioni di tipo R Operazione indicata dal campo funct
Scrittura nel registro del risultato dell’operazione Torna alla microistruzione con label Fetch Label ALU control SRC1 SRC2 Register control Memory PCWrite control Sequencing Rformat1 Func A B Seq Write ALU Fetch CPU (2) 80 80

81 Istruzione di branch Effettua la sottrazione tra A e B
Il risultato non interessa, serve soltanto la linea Zero Scrittura del PC calcolato nel passo precedente solamente se la linea Zero della ALU è pari ad 1 Torna alla microistruzione con label Fetch Label ALU control SRC1 SRC2 Register control Memory PCWrite control Sequencing BEQ1 Sub A B ALUOut- cond Fetch CPU (2) 81 81

82 Istruzione di jump Scrittura del PC con il nuovo indirizzo
Torna alla microistruzione con label Fetch Label ALU control SRC1 SRC2 Register control Memory PCWrite control Sequencing JUMP1 Jump address Fetch CPU (2) 82 82

83 Microprogramma di Controllo Completo
Dispatch ROM 1 Op Opcode name Value 000000 R-format Rformat1 000010 jmp JUMP1 000100 beq BEQ1 100011 lw Mem1 101011 sw Dispatch ROM 2 Op Opcode name Value 100011 lw LW2 101011 sw SW2 CPU (2) 83 83

84 Codifica Microistruzioni
CPU (2) 84 84

85 Codifica Microistruzioni
CPU (2) 85 85

86 Implementazione Il Microprogramma e’ una rappresentazione alternativa di un automa a stati finiti Implementabile secondo lo schema con sequenzializzatore visto prima dove ROM<-> Memoria Microcodice Stato<-> Contatore di Microprogramma CPU (2) 86 86

87 Unita’ di Controllo Microprogrammata
Il Processore “interpreta” le istruzioni macchina in memoria Legge istruzioni in memoria (scritte in L2) Ne simula il comportamento passo passo “eseguendo” una sequenza di microistruzioni (in L1) L’Unita’ di Controllo genera i segnali di controllo e determina il sequenziamento Il Datapath realizza le operazioni ed il trasferimento fra registri secondo i segnali di controllo Il Microprogramma dell’Unita’ di Controllo (scritto in L1) e’ l’interprete del linguaggio macchina (L2) CPU (2) 87 87

88 Controllo Microprogrammato
Riassunto Metodi Alternativi per Specificare ed Implementare l’Unita’ di Controllo Automa a Stati Finiti Rappresentazione Iniziale Microprogramma Funzione pross. Stato in forma esplicita Controllo del Sequenziamento Contatore+ Tabelle di dispatch Rappresentazione Logica Equazione booleane Tabelle di Verita’ Implementazione PLA ROM Controllo Cablato Controllo Microprogrammato CPU (2) 88 88

89 Microprogrammazione: Pro e Contro
Vantaggi nella Progettazione Semplicita’ nella progettazione e scrittura Design congiunto dell’architettura e del microprogramma Vantaggi nell’Implementazione Facile da modificare (implementazione su off-chip ROM – anni ’60- ’70) Permette l’emulazione di altre ISA Svantaggi dell’Implementazione Controllo e’ oggi sullo stesso chip del processore ROM e’ oggi (relativamente) lenta rispetto alle altre memorie Non c’e’ piu’ necessita’ di cambiare il microprogramma di controllo Computer general purpose CPU (2) 89 89

90 Eccezioni La gestione delle eccezioni e degli interrupt è una delle parti più difficili del controllo Eccezione: un evento non atteso, interno al processore, che interrompe l’esecuzione del programma Esempi: overflow aritmetico, istruzione non definita Interrupt: un evento non atteso, esterno al processore, che interrompe l’esecuzione del programma Esempi: richiesta di un dispositivo di I/O, malfunzionamento hardware Nella terminologia MIPS: interrupt  eccezione Nella terminologia IA-32: non c’è distinzione tra interrupt ed eccezione CPU (2) 90 90

91 Gestione delle eccezioni
Quando avviene un’eccezione occorre Salvare nel registro EPC (Exception Program Counter) l’indirizzo dell’istruzione che ha causato l’eccezione Trasferire il controllo al sistema operativo a qualche indirizzo specifico per la gestione dell’eccezione Il sistema operativo, dopo aver eseguito le azioni necessarie, può terminare il programma o continuarne l’esecuzione usando EPC per determinare da dove riprendere l’esecuzione Oltre a EPC, il sistema operativo deve conoscere la ragione dell’eccezione; esistono due meccanismi Registro di stato (Cause register nel MIPS): contiene un campo che indica la causa dell’eccezione Interrupt vettorializzato: l’indirizzo a cui trasferire il controllo è determinato dalla causa dell’eccezione Consideriamo due tipi di eccezioni nell’implementazione a ciclo multiplo Esecuzione di un’istruzione non definita Overflow aritmetico CPU (2) 91 91

92 Gestione delle eccezioni (2)
Per gestire le eccezioni nel MIPS occorre aggiungere nell’unità di elaborazione Registro EPC a 32 bit Registro Cause a 32 bit Istruzione non definita: Cause = 0 Overflow aritmetico: Cause = 1 Aggiungiamo due segnali di controllo per abilitare la scrittura dei registri EPC e Cause: EPCWrite e CauseWrite Aggiungiamo un altro segnale di controllo per settare il bit meno significativo del registro Cause: IntCause Occorre scrivere in PC l’indirizzo di eccezione (punto di ingresso del sistema operativo per gestire le eccezioni) Nel MIPS, l’indirizzo di eccezione è ( )16 Modifichiamo il multiplexer in ingresso a PC da tre a quattro vie PCSource = 11 per abilitare l’indirizzo di eccezione CPU (2) 92 92

93 L’unità a ciclo multiplo con la gestione delle eccezioni
Indirizzo di eccezione EPC: usiamo ALU per sottrarre 4 a PC CPU (2) 93 93

94 La macchina a stati finiti con la gestione delle eccezioni
CPU (2) 94 94