Algoritmi, Strutture Dati e Programmi LINGUAGGI DI PROGRAMMAZIONE A. UD 2.c: Linguaggi a Basso Livello BASSO LIVELLO I LIVELLI DEI LINGUAGGI

Transcript

1 Algoritmi, Strutture Dati e Programmi : Linguaggi a Basso Livello LINGUAGGI DI PROGRAMMAZIONE A BASSO LIVELLO Prof. Alberto Postiglione Curtin, cap AA Università degli Studi di Salerno Ma che cos è un programma? I LIVELLI DEI LINGUAGGI E un insieme di istruzioni E una procedura o meglio un algoritmo che viene eseguito dalla macchina le permette di portare a termine le operazioni che le abbiamo richiesto Il programma per essere comprensibile deve dare istruzioni o fare dichiarazioni usando un linguaggio che la macchina possa capire # 4 Prof Alberto Postiglione Università Salerno I linguaggi di programmazione Possono essere più vicini al modo di pensare del programmatore o a quello della macchina Sono scritti in una lingua coerente e priva di ambiguità Comprenderne i principi è semplice, ma diventare un bravo programmatore lo è meno # 5 Maggiore è la distanza del linguaggio dal linguaggio macchina e la vicinanza al linguaggio naturale, più alto sarà il livello del linguaggio Prof Alberto Postiglione Università Salerno Linguaggi ad altissimo livello (dichiarativi): si dice al computer cosa si vuole senza specificare come deve fare per operare (es.: SQL, Lisp, Prolog, ecc.) Linguaggi ad alto livello: più vicini al nostro modo di comprendere e impostare problemi, più facili da imparare e da trasferire e da portare su un altro computer (es.: HTML, Java, C++, Visualbasic, ecc.) # 6 Linguaggi a basso livello: vicini al linguaggio macchina e all architettura fisica del computer (es.: Assembler) Linguaggio macchina: usa solo 0 e 1 ed è comprensibile direttamente dall hardware, ma molto difficile per l uomo Prof Alberto Postiglione Università Salerno 1

2 Linguaggio macchina stringhe di bit corrispondenti ad istruzioni, operandi, etichette ed indirizzi di memoria. Strettamente legato alla macchina. Persone in grado di manipolare simboli (parole) più che sequenze di cifre Linguaggio assembler Rappresentazione simbolica del linguaggio macchina, più comprensibile perché utilizza simboli invece di stringhe di bit. Linguaggi di alto livello Linguaggio simile a quello naturale, il programmatore si astrae dai dettagli della macchina. # 7 Prof Alberto Postiglione Università Salerno # 8 Prof Alberto Postiglione Università Salerno Procedurale vs. Dichiarativo 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); } Linguaggi procedurali: Forniscono al computer una serie di ordini su cosa debba fare e in quale circostanza. L aspetto della descrizione del problema, quando esiste è minimizzato: il computer non sa niente Procedurali: Cobol, Fortran, Pascal, Basic, C Linguaggi dichiarativi: Descrive, dichiara quali sono i dati del problema, fornisce le regole che si possono seguire e lascia che sia il computer a decidere come agire. Possono essere più faticosi per il computer perché deve derivare da solo le procedure da adottare # 9 Prof Alberto Postiglione Università Salerno # 10 Prof Alberto Postiglione Università Salerno Fra i due litiganti Object oriented La caratteristica principale degli OOL è la modularità: certe porzioni di programma si possono usare in varie occasioni E utile per costruire tali programmi partire dagli oggetti e dalle loro proprietà interne e di relazione con gli altri oggetti La programmazione a oggetti funziona bene nei sistemi operativi grafici (a icone) Ognuno degli elementi di Windows, per es. icone, finestre, pulsanti, menù sono altrettanti oggetti che hanno proprietà e relazioni gli uni con gli altri L INSIEME DELLE ISTRUZIONI DEL PROCESSORE # 11 Prof Alberto Postiglione Università Salerno 2

3 Ogni processore è in grado di eseguire solo poche istruzioni elementari quali: Somma di due numeri (già la somma di tre numeri viene effettuata tramite due somme elementari) Confronto tra due numeri con individuazione del fatto che ci sia o meno differenza (non tutti i processori sanno distinguere in modo immediato, invece, quale dei due precede l altro) Spostamento dei bit all interno di una parola di qualche posizione a destra o a sinistra. poche altre ancora Ogni famiglia di calcolatori ha un proprio linguaggio I linguaggi sono come dialetti regionali derivati da un unica radice Perché? Costruiti su tecnologie basate sugli stessi principi fondamentali Esistono operazioni base comuni Apprendere un linguaggio facile apprendere gli altri # 13 Prof Alberto Postiglione Università Salerno # 14 Prof Alberto Postiglione Università Salerno Ogni istruzione del processore è composta da più operazioni elementari che accedono in momenti successivi alle risorse del computer (ad esempio prima al contenuto dell istruzione, poi alla memoria centrale, poi all ALU ). Quasi mai la singola istruzione del processore è eseguita in un solo ciclo di clock. Ad esempio, per effettuare la somma di due numeri Bisogna leggere il primo addendo Bisogna leggere il secondo addendo Bisogna eseguire la somma Bisogna memorizzare la somma E potrebbe darsi che alcune di queste mini-operazioni richieda più cicli di clock per essere completata. Parole del linguaggio: Istruzioni Vocabolario di un calcolatore: Insieme delle istruzioni. Quanto più esso è povero tante più parole saranno necessarie per descrivere un concetto, ma tanto più esse saranno corte e quindi veloci da eseguire, in quanto richiedono pochi impulsi di clock per essere completate. # 15 Prof Alberto Postiglione Università Salerno # 16 Prof Alberto Postiglione Università Salerno Tipi di Istruzioni Tipi di Istruzioni Logico-aritmetiche Esempio: Valore assoluto, Somma, AND, Divisione, Moltiplicazione, NOR, OR, XOR, shift, rotazione, sottrazione Trasferimento dati Caricamento di registri dalla memoria e viceversa. Confronto Confronto tra due dati. Non effettuano azioni. Esempio: Set less than Salto Può essere assoluto o condizionato; se è condizionato è spesso preceduto da istruzione di confronto. Esempio: Branch if equal/not equal, Jump to register, Jump Salto a subroutine, ritorno da subroutine Deve salvare tutte le informazioni correnti ed eseguire un altro pezzo di programma (subroutine). L istruzione di ritorno da subroutine ritorna ad eseguire il programma da dove lo aveva lasciato precedentemente. Istruzioni di I/O Trasferire o ad acquisire dati dall esterno del sistema. Simili alle istruzioni di trasferimento dati, utilizzano un codice diverso e particolari indirizzi. Istruzioni varie Ad esempio chiamate di sistema, gestione delle interruzioni, ecc # 17 Prof Alberto Postiglione Università Salerno # 18 Prof Alberto Postiglione Università Salerno 3

4 Linguaggio Macchina LINGUAGGIO MACCHINA Per gestire hardware bisogna parlare il linguaggio del calcolatore Linguaggio perché presenta Parole (cioè le istruzioni) Sintassi (regole di combinazione delle parole per generare frasi corrette) Sintassi di un linguaggio di programmazione Molto semplice (poche regole) Molto rigorosa (per evitare ogni tipo di ambiguità) # 20 Prof Alberto Postiglione Università Salerno In un linguaggio macchina, ogni istruzione è una sequenza di cifre binarie Totalmente illeggibile per l uomo Perfettamente non ambiguo per la macchina Un istruzione è formata da un codice operativo uno o più operandi Molti processori mantengono costante il numero di operandi per ogni istruzione (ad esempio le istruzioni aritmetiche ammettono sempre e solo 3 operandi) Normalmente, gli operandi risiedono in Memoria centrale In fase di esecuzione ogni operando deve essere portato dalla memoria centrale in un registro del processore # 21 Prof Alberto Postiglione Università Salerno # 22 Prof Alberto Postiglione Università Salerno Istruzione in LM è una successione di 32 bits rappresentabile da un numero La funzione di questo numero è di codifica (rappresentazione di informazioni), non è un numero vero e proprio Ogni istruzione è scomponibile in frammenti più piccoli, ognuno dei quali rappresenta un tipo di informazione (codice operativo, una costante, il numero di un registro). L istruzione che somma due numeri che sono stati già trasferiti dalla RAM nei registri numero 17 e 18 e memorizza il risultato nel registro numero 8 è rappresentabile come segue: Le istruzioni si distinguono per il valore contenuto nel primo campo In base ad opcode l hardware sa come trattare il resto dell istruzione bits 5 bits 5 bits 5 bits 5 bits 6 bits In decimale: # 23 Prof Alberto Postiglione Università Salerno # 24 Prof Alberto Postiglione Università Salerno 4

5 Linguaggi macchina: problemi Linguaggio Macchina Sono specifici della macchina Occorre conoscere l architettura della macchina per scrivere programmi I programmi non sono trasportabili I programmatori si specializzano nel cercare efficienza su una macchina specifica, anziché concentrarsi sul problema Istruzioni e operandi sono rappresentati in forma numerica I codici sono poco leggibili e quindi difficilmente modificabili I programmi sono facilmente soggetti ad errori Il Linguaggio Macchina non è facilmente utilizzabile Binary machine language program (for MIPS) Un programmatore utilizza una versione più ad alto livello del LM: il linguaggio Assembler # 25 Prof Alberto Postiglione Università Salerno # 26 Prof Alberto Postiglione Università Salerno Linguaggio Assembler LINGUAGGIO ASSEMBLER Linguaggio simbolico che utilizza simboli invece che bits. I simboli associano nomi ai codici operativi o i riferimenti ai registri. Permette di utilizzare etichette invece che indirizzi fisici Le istruzioni in Assembler sono quasi tutte in corrispondenza 1<->1 con quelle in linguaggio macchina # 28 Prof Alberto Postiglione Università Salerno Programma in Linguaggio Macchina Programma in Linguaggio Assembler Calcolo e stampa della somma dei quadrati dei numeri compresi tra 1 e 100. Programma in LM Una prima rappresentazione simbolica del programma in LM visto in precedenza è la seguente Operazioni e operandi sono rappresentati in maniera simbolica. # 29 Prof Alberto Postiglione Università Salerno # 30 Prof Alberto Postiglione Università Salerno 5

6 Programma in Linguaggio al alto livello Il formato precedente è ancora difficile da seguire perché: Usa molte piccole operazioni per eseguire compiti semplici I costrutti per il controllo del flusso sono realizzati con confronti e salti (più difficili da leggere) Linguaggio C : Linguaggio Pascal : Programma in Linguaggio al alto livello Program somma; Var i, somma : integer; Begin somma := 0; for i:=1 to 100 do somma := somma + i; write ( La somma dei primi 100 numeri vale:, somma); End. #include <stdio.h> int main (int argc, char *argv[]) { int i; int sum = 0; for (i = 0; i <= 100; i = i + 1) sum = sum + i; printf ("The sum from is %d\n", sum); } # 31 Prof Alberto Postiglione Università Salerno # 32 Prof Alberto Postiglione Università Salerno # 33 Esempio 2 PASCAL: x := h + x ASSEMBLER(*) : lw 8, 1200 add 8, 18, 8 sw 8, 1200 LINGUAGGIO MACCHINA(*) (binario) Cioè: (*) Si suppone che il registro 8 contiene x e che il registro 18 contiene h Prof Alberto Postiglione Università Salerno # 34 Assemblatore Uno strumento che traduce programmi scritti nel linguaggio assembler in linguaggio macchina. L assembler legge un file sorgente in assembler produce un file oggetto contenente insieme di istruzioni in LM, di dati e di informazioni necessarie per il caricamento in memoria delle istruzioni Prof Alberto Postiglione Università Salerno Quando usare un linguaggio Basso Livello Svantaggi di un linguaggio a Basso Livello Velocità di esecuzione o occupazione di memoria sono critiche programmazione di controller di processi e macchinari (anche real-time) o computer embedded (es controllo freni auto) programmazione di apparati speciali: Portable Devices Telefonini cellulari Schede Smart Card, Approccio ibrido: parti critiche di un programma in Assembler e le altre in HLL Accedere a caratteristiche hardware non accessibili ad un linguaggio ad alto livello. I programmi sono più lunghi della versione in linguaggio ad alto livello, spesso di un fattore moltiplicativo elevato (fattore di espansione) Produttività di un programmatori si misura in linee codice prodotte in unità di tempo Programmatori scrivono più o meno lo stesso numero di linee di codice per unità di tempo, indipendentemente dal linguaggio usato scrivere in Assembler è più costoso, in termini di tempo, di qualche fattore rispetto allo scrivere con linguaggi ad alto livello. Leggibilità del codice e probabilità di errore peggiorano con l aumentare delle linee di codice # 35 Prof Alberto Postiglione Università Salerno # 36 Prof Alberto Postiglione Università Salerno 6