Programmazione Avanzata

Presentazione sul tema: "Programmazione Avanzata"— Transcript della presentazione:

1 Programmazione Avanzata
L’Assembler 8086 Programmazione Avanzata M. Rebaudengo - M. Sonza Reorda Politecnico di Torino Dip. di Automatica e Informatica

2 Sommario Procedure Assembler richiamabili da un programma C Recursione

3 Procedure Assembler richiamabili da un programma C
Compilatore Sorgente C Oggetto Linker Eseguibile Assemblatore Sorgente Assembler Oggetto

4 Dichiarazione della procedura chiamata
Al fine di poter linkare una procedura Assembler con un programma chiamante C occorre che ci sia compatibilità tra i segmenti usati. È necessario utilizzare lo stesso modello di memoria sia per il modulo C che per il modulo Assembler: la procedura Assembler va dichiarata NEAR per modelli tiny, small e compact, mentre va dichiarata FAR per modelli medium, large o huge.

5 Dichiarazione della procedura chiamata (segue)
Il nome della procedura Assembler deve essere reso pubblico tramite una dichiarazione PUBLIC, così come il nome di ogni altra variabile che si vuole rendere accessibile dall’esterno. I nomi di tutte le variabili e procedure definite esternamente al modulo Assembler e da esso utilizzate vanno dichiarate esterne attraverso la direttiva EXTRN.

6 Convenzione per i nomi Il compilatore altera il nome degli identificatori prima di memorizzarli nel file oggetto. Tutti i nomi delle entità comuni ai moduli C ed a quello Assembler devono tener conto del fatto che il compilatore C premette sempre, nella costruzione della symbol table, un carattere ‘_’. Il nome della procedura Assembler deve iniziare con tale carattere, così come quello di tutte le variabili pubbliche utilizzabili dal modulo C.

7 Convenzioni per i nomi (segue)
Utilizzando l’opzione di linguaggio nella direttiva .MODEL, l’assemblatore aggiunge il carattere _ davanti a tutti gli identificatori del modulo Assembler.

8 Convenzioni per i nomi (segue)
Il linguaggio C è case sensitive; per fare in modo di preservare il case degli identificatori è necessario compilare i moduli Assembler con l’opzione /Cp e linkare i vari moduli con l’opzione /NOI.

9 Compatibilità del tipo di dato
Il linguaggio C presenta una molteplicità di tipi di dato, mentre il linguaggio Assembler presenta un numero ristretto di possibili tipi di dato: C MASM char BYTE short, int WORD long, float DWORD double QWORD long double TBYTE

10 Compatibilità del tipo di dato (segue)
I puntatori in C specificano indirizzi di variabili o di funzioni. In base al modello di memoria utilizzato un puntatore occupa una word (puntatore di tipo NEAR) oppure una doubleword (puntatore di tipo FAR). modello punt. a funzione punt. a dato tiny WORD WORD small WORD WORD medium DWORD WORD compact WORD DWORD large DWORD DWORD huge DWORD DWORD

11 Convenzione su parametri in ingresso
Il codice generato dal compilatore C passa i parametri alle procedure mettendoli nello stack in ordine inverso rispetto a quello in cui appaiono nella chiamata. Ai parametri si può fare accesso attraverso il registro BP. Le prime istruzioni da eseguire all’interno della procedura Assembler sono le seguenti: PUSH BP MOV BP, SP

12 Variabili locali All’interno della procedura può essere allocato spazio per eventuali variabili locali, così come accade nei linguaggi di alto livello. Per fare questo è necessario riservare un’area dello stack utilizzabile per la memorizzazione di variabili locali. Tale operazione può essere fatta o con un numero opportuno di istruzioni PUSH, oppure decrementando il contenuto di SP attraverso un’istruzione SUB.

13 Salvataggio dei registri
Il compilatore C della Microsoft richiede che eventuali procedure chiamate da un programma C non modifichino i valori contenuti nei registri SI, DI, SS, DS e BP. Nel caso in cui tali registri debbano essere utilizzati, devono essere opportunamente salvati nello stack e poi ripristinati al termine.

14 Frame Parametro n Parametro 1 Indirizzo di ritorno BP Registro BP
. . . Parametro 1 Indirizzo di ritorno BP Registro BP Area locale di dati Registri salvati SP . . . SS

15 Convenzioni sui parametri di uscita
Il parametro eventualmente ritornato dalla procedura Assembler è atteso dal chiamante nel registro accumulatore. Se il tipo del dato di ritorno è un char il parametro è passato attraverso il registro AL; se il tipo è un int od un indirizzo di tipo NEAR il registro utilizzato è AX; se il tipo è un long od un indirizzo di tipo FAR il parametro di ritorno è copiato nella coppia di registri DX, AX.

16 Uscita dalla procedura
Le operazioni da effettuare a conclusione della procedura sono: ripristinare i valori dei registri eventualmente salvati all’inizio; liberare l’area locale di dati incrementando opportunamente il contenuto del registro SP; eseguire l’istruzione RET.

17 Procedura C chiamante Il nome della procedura chiamata e tutte le variabili globali definite nel modulo Assembler devono essere dichiarate come extern all’interno della procedura C. È compito del programma chiamante C svuotare lo stack dello spazio destinato ai parametri di ingresso. Tale operazione è effettuata dal compilatore C in maniera automatica.

18 Esercizio Calcolo di un’espressione aritmetica.
Si vuole scrivere una procedura Assembler di nome power2 richiamabile da un programma scritto in linguaggio C per il calcolo dell’espressione X*2Y. Alla procedura power2 vengono passati i due parametri interi X e Y; la funzione restituisce nel registro AX il risultato dell’espressione. Si supponga che il programma chiamante sia compilato usando il modello di memoria small.

19 Programma C chiamante #include <stdio.h>
extern int power2 (int factor, int power); void main() { printf(”3 volte 2 elevato 5=%d\n”, power2(3,5)); }

20 Procedura Assembler PUBLIC _power2 .MODEL small .CODE _power2 PROC
PUSH BP MOV BP, SP MOV AX, [BP+4] ; primo parametro MOV CX, [BP+6] ; secondo parametro SHL AX, CL POP BP RET _power2 ENDP END

21 Esercizio Si vuole eseguire una procedura Assembler di nome invert richiamabile da un programma scritto in linguaggio C per l’inversione del contenuto di una stringa: al termine dell’esecuzione, gli elementi del vettore devono essere memorizzati nell’ordine inverso rispetto a quello iniziale.

22 Programma C chiamante #include <stdio.h>
extern char *invert (char * str); void main() { char *s; s = strdup(”Salve Mondo !”); printf(”%s\n”, invert(s)); }

23 Procedura Assembler PUBLIC _invert .MODEL small .CODE _invert PROC
PUSH BP MOV BP, SP PUSH SI PUSH DI MOV AX, DS MOV ES, AX MOV DI, WORD PTR [BP+4] MOV SI, DI XOR AX, AX

24 MOV CX, 0FFFFH REPNE SCASB SUB DI, 2 NOT CX DEC CX SHR CX, 1 ciclo: MOV AH, [SI] XCHG AH, [DI] MOV [SI], AH INC SI DEC DI LOOP ciclo

25 MOV AX, WORD PTR [BP+4] POP DI
POP SI POP BP RET _invert ENDP END

26 La recursione L’Assembler permette la recursione, che deve però essere gestita dal programmatore stesso. Nulla vieta che una procedura richiami se stessa: in tal caso l’indirizzo di ritorno messo nello stack è quello della procedura stessa e nello stack si accumuleranno tanti di questi indirizzi quante sono le chiamate recursive.

27 Esempio I: Fact Si realizzi una procedura di nome FACT che legge un numero nel registro BX e ne calcola il fattoriale, scrivendo il risultato nel registro AX. La versione C della stessa procedura è: int fact ( int x) { if( x == 1) return( 1); return( x * fact( x-1)); }

28 Procedura recursiva FACT PROC NEAR PUSH BX CMP BX, 1 JE return DEC BX
CALL FACT INC BX MUL BX JMP fine return: MOV AX, 1 XOR DX, DX fine: POP BX RET FACT ENDP END

29 Esempio II: Split Si vuole scrivere un programma in grado di espandere (splitting) stringhe di bit contenenti 0, 1 e X, producendo tutte le possibili stringhe ottenibili da quella data, tramite la sostituzione di ciascuna X con un 1 o uno 0. Esempio 0x11x0  001110 011100 011110

30 Soluzione C void split(void) { if (curr_index==len)
{ printf("%s\n", obuff); return; } else switch (ibuff[curr_index]) { case '0': obuff[curr_index++] = '0'; split(); break; case '1': obuff[curr_index++] = '1';

31 case 'X': obuff[curr_index++] = '0'; split(); obuff[curr_index-1] = '1'; break; } return;

32 Soluzione Assembler .MODEL small LF EQU 10 CR EQU 13
DIM EQU ; dimensione massima della ; stringa da espandere .DATA OBUFF DB DIM DUP ('0') IBUFF DB DIM DUP ('0') LEN DW 0 ERR_MESS DB 'Carattere non ammesso$'

33 .CODE .STARTUP MOV CX, DIM ; lettura stringa di input MOV SI, 0 MOV AH, 1 lab1: INT 21H MOV IBUFF[SI], AL INC SI CMP AL, CR LOOPNE lab1 DEC SI MOV LEN, SI XOR BX, BX CALL SPLIT .EXIT

34 SPLIT PROC PUSH AX PUSH DX PUSH SI CMP BX, LEN ; stringa vuota ? JNE ancora MOV CX, LEN ; Sì: visualizza MOV AH, 2 XOR SI, SI lab2: MOV DL, OBUFF[SI] INT H INC SI LOOP lab2 MOV DL, CR MOV DL, LF JMP fine

35 ancora: MOV DL, IBUFF[BX] ; No,
;considera il primo carattere CMP DL, '0' JNE not_z MOV OBUFF[BX], '0' ; '0' INC BX CALL SPLIT DEC BX JMP fine not_z: CMP DL, '1' ; '1' JNE not_one MOV OBUFF[BX], '1'

36 not_one: CMP DL, 'X' ; 'X' JNE error MOV OBUFF[BX], '0' ; trasforma la X in 0 INC BX CALL SPLIT DEC BX MOV OBUFF[BX], '1' ; trasforma la X in 1 JMP fine

37 error: MOV AH, 9 ; carattere diverso da 0, 1 e X LEA DX, ERR_MESS INT H fine: POP SI POP DX POP AX RET SPLIT ENDP END