Controllo del Flusso del Programma

From UIC

Controllare il Flusso del Programma

Infos
Author:	b0nu$
Email:	bonus@numerica.it
Website:
Date:	01/01/2001 (dd/mm/yyyy)
Level:
Language:	Italian
Comments:

Introduzione

Abbiamo già visto in uno dei tutorial precedenti le istruzioni per effettuare i salti condizionati, qui li riassumeremo brevemente e vedremo alcune altre istruzioni per effettuare cicli e salti incondizionati.

Salti Incondizionati

JMP

Questa istruzione è usata per effettuare salti incondizionati; la sintassi è:

        JMP < registro|memoria >

L'operando deve contenere l'indirizzo a cui saltare e a differenza dei salti condizionati in cui l'indirizzo doveva essere SHORT qui può essere sia NEAR che FAR.

Salti Condizionati

J <condizione>

Questi sono i salti condizionati. Non vi riporto l'elenco che ho già scritto in passato. Mi limiterò a dare alcune informazioni aggiuntive. La distanza tra l'istruzione di salto e l'indirizzo a cui saltare deve essere di tipo SHORT (max 128 bytes). Quindi per effetture salti condizionati maggiori di 128 byte si deve riorganizzare il programma, ad esempio:

A volte invece di dare il nome a tutte le etichette si usano le Anonymous Label per effettuare i salti che si indicano con @@:

L'istruzuione jge @F salta alla prossima etichetta anonima.

In questo caso invece salta a quella precedente. Sia in un caso che nell'altro salta a quella più vicina. Questo metodo è comodo per non dover inventare tanti nomi per le etichette.

L'Istruzione TEST

Oltre all'istruzione cmp si può usare l'istruzione TEST:

        TEST < registro|memoria > , < registro|memoria|valore >

Questa serve per fare un confronto sui bit degli operandi: es.

I Cicli

LOOP , LOOPE, LOOPZ, LOOPNE, LOOPNZ

Le istruzioni LOOPxx sono usate per effettuare un certo unmero di cicli e sono simili alle istruzioni For, While, Do, ... dei linguaggi ad alto livello. Il numero di iterazioni viene fissato nel registro CX, che viene decrementato ogni volta che si arriva all'istruzione LOOPxx fino a quando CX=0, in questo caso si continua con l'istruzione successiva a LOOPxx. La sintassi di queste istruzioni è:

        LOOPxx  < label >

In particolare le istruzioni LOOPE, LOOPZ, LOOPNE, LOOPNZ oltre al controllo su CX eseguono un controllo sulla condizione :

Usare le Procedure

Sapete già tutti cosa è una procedura quindi non starò qui a spiegarvi come si comporta il programma quando incontra una procedura e cosa succede al flusso, mi limiterò a spiegarvi la sintassi delle procedure in Assembly e a darvi qualche altra informazione aggiuntiva. Per chiamare una procedure dal programma si usa l'istruzione:

         CALL nome_procedura

dopo questa istruzione il controllo passa alla procedura chimata che sarà dichiarata come segue:

        nome_procedura  PROC < [NEAR|FAR] >
                        ....
                        ....
                        ....
                        < RET|RETN|RETF >[costante]
        ENDP

Dove RETN sta per Return Near, RETF Return Far e la costante è il numero di byte da aggiungere allo Stack Pointer (per i parametri). Il passaggio degli argomenti alle procedure avviene tramite lo stack oppure tramite uno dei registri della CPU. (il più usato è lo stack) Vediamo un esempio:

Per capire cosa avviene nello stack serviamoci di alcuni disegni:

Spero che ora abbiate chiaro il funzionamento dello stack!!! In realtà la direttiva PROC permette di specificare i parametri da passare alla procedura in accordo con il linguaggio dichiarato nella direttiva .MODEL ma per ora accontentiamoci di usare quanto detto sopra, poi in uno dei prossimi tutorial riprenderò meglio il discorso delle direttive messe a disposizione dai nuovi Assemblatori.

Usare gli Interrupts

Gli interrupts sono una particoalre serie di rountine messe a disposizione dall'hardware e dal sistema operativo. Essi hanno un nuero di "riconoscimento" che va da 0 a 255 e vengono chiamate nel segunte modo:

        INT numero
        INTO

Quando viene chiamato un interrupt il processore esegue i seguenti passi:

L'istruzione INTO (interrupt on overflow) è una variante, essa chiama l'int 04h quando OF=1

STI, CLI

Queste due istruzioni servono rispettivamente per abilitre e disabilitare gli interrupt hardware. Questo significa che dopo la CLI il programma in esecuzione non può essere interrotto da un interrupt esterno.

Definire e Ridefinire le Routine di Interrupt

Visto che il DOS è un sistema aperto vi permette di sostituire o di riscrivere le routine di interrupt per i vostri programmi. La sintassi della rountine che scriverete sarà all'incirca così:

        label   PROC FAR
                ....
                ....
                ....
                IRET
        label   ENDP

Come vedete dovete dichiarare una procedura di tipo far e questa deve terminare con l'istruzione IRET. Il vostro programma deve sostituire l'indirizzo nel vettore di interrupt con l'indirizzo della vostra routine (tramite opportune chiamte al DOS) dopo aver salvato quello vecchio, in questo modo tutte le volte che si verifica un int su quello da voi modificato il programma invece di seguire la consueta procedura eseguirà la vostra routine. Per capire meglio serviamoci come sempre di un esempio, scriviamo un frammento di programma che modifica la rountine dell'int 04h (overflow). Le funzioni del DOS che ci servono per prelevare e per settare l'int sono la 35h e la 25h rispettivamente:

Ora ecco il codice:

Come potete vedere il programma esegue i seguenti passi:

In questo esempio tutte le volte che viene chiamato l'int 04h si esegue la procedura new_overflow. Spesso invece di sostituire totalmente la routine si cerca di estenderne le sue funzionalità, in questi casi all'interno della nuova routine di int dopo aver svolto il compito si mette una chiamata a quella vecchia in modo che vengano eseguite in cascata. Nota: nel programma ho usato la direttiva STARTUPCODE, serve per inizializzare i segmenti DS, SS eil registro SP. Naturalmente potete sostituirlo con le istruzioni usate negli esempi precedenti.

Note Finali

Abbiamo visto così i metodi per eseguire salti cicli e procedure, strumenti indispensabli per scrivere del codice efficiente. Prestate particolare attenzione alla modifica delle routine di interrupt che riprendermo nel prossimo tutorial riguardante i programmi residenti in memoria. Per ora vi lascio al vostro lavoro.

Disclaimer