Laboratorio di Architettura degli Elaboratori LabArch 2006 Secondo Quadimestre, a.a Docente: H. Muccini

Transcript

1 [ Laboratorio di Architettura degli Elaboratori LabArch 2006 Secondo Quadimestre, a.a Docente: H. Muccini Lecture 2: Prime Istruzioni -Concetti Fondamentali -Concetti Iniziali -Add e Load Software Engineering and Architecture Group 2006 Henry Muccini Concetti fondamentali Linguaggio macchina Il linguaggio basato su valori numerici utilizzato dai computer per memorizzare ed eseguire programmi Linguaggio assembly Rappresentazione simbolica del linguaggio macchina Utilizza simboli invece di numeri per rappresentare istruzioni, registri e dati. Linguaggi di alto livello Linguaggio il più simile possibile a quello naturale Astrazione dai dettagli della macchina. 2/31 2/16 1

2 Linguaggio Assembly L idea: sollevare il programmatore dal dover lavorare direttamente con sequenze di bit: identificare ciascun comando in linguaggio macchina (codice operativo) con una parola chiave più facile da ricordare (codice mnemonico); indirizzare le locazioni di memoria ed i registri attraverso degli identificatori testuali, anziché attraverso i loro indirizzi binari. Programma in assembly = file di testo contenente una serie di comandi. 3/31 3/16 Linguaggio Macchina -Assembly 4/31 4/16 2

3 Linguaggio ad Alto livello ( C ) int main(int argc, char *argv[]) { int i; int sum=0; for (i=0; i <= 100; i++) sum = sum + i; printf( The sum from is %d\n, sum); } 5/31 5/16 Non c e un solo Assembly Linguaggio assembly dipende dall HW non esiste un unico linguaggio assembly. Ogni CPU o famiglia di CPU ha un suo proprio assembly, diverso dagli altri. Linguaggi assembly: ben diversi quelli per i processori Intel x86, per i Motorola e per i Dec Alpha un certo linguaggio assembly funziona solo per una famiglia di CPU 6/31 6/16 3

4 Vantaggi e Svantaggi Assembly Svantaggi L'assembly non ha alcun controllo sui tipi costringe il programmatore ad occuparsi di ogni singolo dettaglio Richiede un esteso lavoro di commento del codice minore portabilita 7/31 7/16 Vantaggi e Svantaggi Assembly Vantaggi: efficienza senza pari occupazione di memoria tempi controllo completo e assoluto sull'hardware (nel bene e nel male!!!) Scrivere (buon) codice in assembly è lento, difficile e quindi molto costoso, soprattutto in prospettiva (future modifiche) le parti più critiche (per motivi di velocità o di sicurezza) si scrivono in assembly. 8/31 8/16 4

5 RISC e CISC Due grandi gruppi ISA: RISC (Reduced Instruction Set Computer) operazioni semplici e veloci, tanti registri per memorizzare i risultati intermedi. CISC (Complex Instruction Set Computer). istruzioni più complesse Nel nostro corso: Architettura MIPS32 (MIPS R2000/R3000 computers) di tipo RISC 9/31 9/16 Assembly: look and feel 10/31 10/16 5

6 Assemblatore Uno strumento che traduce programmi scritti nel linguaggio assembly in linguaggio macchina. 11/31 11/16 Compilatore Uno strumento che traduce un programma scritto in un linguaggio ad alto livello in Assembly o file oggetto 12/31 12/16 6

7 Architettura degli Elaboratori MAR Memoria MBR Bus R1R2 Rn MEMORIA ALU 13/31 CPU 13/16 Concetti Iniziali Instruction Set = Istruzioni = parole del linguaggio Set di istruzioni = vocabolario I linguaggi dei calcolatori sono simili Poiche le tecnologie Hw sono basate su stessi principi fondamentali 14/31 I linguaggi dei calcolatori seguono delle regole Linguaggi che rendano semplice implementare l hardware, massimizzando prestazioni e minimizzando costi 14/16 7

8 Obiettivi Obiettivo di questo corso e presentare un linguaggio che segue tali indicazioni Descriveremo varie istruzioni del linguaggio Architettura usata: MIPS 15/31 15/16 Istruzioni (Alcune) Categorie di istruzioni in MIPS Istruzioni aritmetico/logiche Queste istruzioni effettuano operazioni aritmetico-logiche sui registri del processore Istruzioni Load and Store Queste istruzioni spostano dati fra la memoria e i registri generali del processore Istruzioni decisionali Queste istruzioni effettuano il confronto fra i valori contenuti nei registri 16/31 16/16 8

9 Istruzioni Aritmetiche ADD a, b, c # a = b + c SUB a, b, c # a = b - c TRE operandi NOTE: OPERATORE operando1, operando2, operando3 Ciascuna linea puo contenere solo una istruzione; # viene usato per commenti ADD a, b, c # Questa istruzione esegue la somma a=b+c 17/31 17/16 Istruzioni Aritmetiche Note: Tutte le istruzioni aritmetiche hanno esattamente tre operandi (numero fisso) per mantenere l Hw semplice PRINCIPIO DI PROGETTO 1: semplicita e regolarita sono strettamente correlate Ordine fissato (destinatario per primo) OPERATORE operando1, operando2, operando3 operando1 = operando2 OPERATORE operando3 18/31 18/16 9

10 Esercizio Scrivere la seguente istruzione in assembler MIPS: a = (b+c) (d-f) + g add x, b, c sub y, d, f sub x, x, y add a, x, g Considerazioni 19/31 19/16 Registri Data una istruzione aritmetica: Operandi = Registri Variabili Registro: Variabili in un LP sono infinite I registri nell Hw sono finiti PRINCIPIO DI PROGETTO 2: Minori sono le dimensioni, maggiore e la velocita 20/31 20/16 10

11 Architettura del processore MIPS di Stanford 21/31 21/16 (parte della) Architettura del MIPS32 MAR 32 Registri, ognuno a 32 bit Memoria R1 R32 MBR R1R2 R32 MEMORIA 32 bit ALU 22/31 CPU Bus 32 registri 22/16 11

12 Uso dei Registri Registri $s e $t Compilatore: Associa registri e variabili Parola (word) 32 bit Domanda: Abbiamo solo 32 registri come facciamo a gestire strutture dati complesse (es. vettori)??? Rivedi slide precedente 23/31 23/16 Istruzioni di Trasferimento LW $s1, 10($s2) # carica in $s1 il decimo valore del vettore LW = Load word SW $s1, 100($s2) SW = Store word NOTE e delucidazioni: Memoria vista come un VETTORE Le istruzioni aritmetiche richiedono che gli operandi siano memorizzati nei registri Istruzioni di Trasferimento 24/31 Indirizzo di base + offset Memoria indirizzata a singolo byte 24/16 12

13 Attenzione La memoria e indirizzata al singolo byte mentre I registri sono indirizzati a 32 bit Vogliamo caricare la 6^ parola del vettore: A[6] Word 6 MEM byte 24 25/31 LW $s1, 6($s2) LW $s1, 24($s2) Big end e Little end Spilling dei registri Word 2 Word byte 4 byte 3 byte 2 byte 1 byte 0 25/16 Little Endian e Big Endian Come viene rappresentata una word (32 bit) in 4 byte di memoria? Esistono due schemi: Little Endian: memorizza prima la "little end" (ovvero I bit meno significativi) della word Big Endian: memorizza la "big end" (ovvero i bit più significativi) della word l indirizzo di una parola corrisponde all indirizzo del byte piu significativo MIPS lavora in Big Endian 26/31 26/16 13

14 Spilling In memoria si mettono le variabili meno usate Ricorda: gli operandi aritmetici sono registri, non celle di memoria tempo accesso ai registri e minore throughput migliore 1 ciclo di clock: lettura due registri, esecuzione operazione scrittura risultato 27/31 27/16 Esempio Scrivere in assembly la seguente assegnazione A[14] = b + A[6] con b $s1, off(a) $s0 lw $t0, 24($s0) add $t0, $s1, $t0 sw $t0, 56($s0) 28/31 28/16 14

15 Vettori con indici variabili Consideriamo $s1 $s3 a = b + A[i] $s4 Informalmente: 4*i($s3) $s2 29/31 Formalmente: add $t1, $s4, $s4 add $t1, $t1, $t1 add $t1, $t1, $s3 lw $t0, 0($t1) add $s1, $s2, $t0 29/16 Esercizio Scrivere in assembly la seguente istruzione: A[4] = b + A[i] Offset A $s1 b $s2 i $s3 Scrivere in pseudo-c il seguente codice Assembly: add $t1, $s2, $s2 add $t1, $t1, $t1 add $t1, $t1, $s1 lw $t0, 0($t1) lw $t1, 16($s1) add $t1, $t1, $t0 sw $t1, 12($s1) 30/31 30/16 15

16 Esercizio Cominceremo la prossima lezione realizzando insieme (voi!) gli esercizi precedenti 31/31 31/16 16