Laboratorio di Linguaggi lezione VIII B: Puntatori e Pasticci Marco Tarini Università dellInsubria Facoltà di Scienze Matematiche, Fisiche e Naturali di.

Presentazione sul tema: "Laboratorio di Linguaggi lezione VIII B: Puntatori e Pasticci Marco Tarini Università dellInsubria Facoltà di Scienze Matematiche, Fisiche e Naturali di."— Transcript della presentazione:

1 Laboratorio di Linguaggi lezione VIII B: Puntatori e Pasticci Marco Tarini Università dellInsubria Facoltà di Scienze Matematiche, Fisiche e Naturali di Varese Corso di Laurea in Informatica Anno Accademico 2007/08

2 M a r c o T a r i n i - L a b o r a t o r i o d i L i n g u a g g i - 2 0 0 7 / 0 8 - U n i v e r s i t à d e l l I n s u b r i a Puntatori: pasticci memory leak (falla di memoria) int una_funzione () { int *un_puntatore; /* alloco un vettore di 100 interi */ un_puntatore = (int*)calloc( 100, sizeof(int)); /* uso il vettore */... /* fine della funzione */ return 0; } Manca la deallocazione! ( free(un_puntatore); ) All'uscita della funzione il puntatore "un_puntatore" è perso per sempre, e con lui la possibilità di liberare ("sprenotare", per così dire) la memoria. Ogni volta che si accede a questa funzione, si perdono (leak) 100x4 bytes di memoria

3 M a r c o T a r i n i - L a b o r a t o r i o d i L i n g u a g g i - 2 0 0 7 / 0 8 - U n i v e r s i t à d e l l I n s u b r i a Puntatori: pasticci un altro caso di memory leak... int *un_puntatore; /* alloco un vettore di 100 interi */ un_puntatore = (int*)calloc( 100, sizeof(int)); /* uso il vettore */... /* rialloco un altro vettore */ un_puntatore = (int*)calloc( 100, sizeof(int)); Manca la deallocazione! ( free(un_puntatore); ) Anche qui, il puntatore "un_puntatore" è perso per sempre, e con lui la possibilità di liberare ("sprenotare", per così dire) la memoria. Ogni volta che si accede a questa funzione, si perdono (leak) 100x4 bytes di memoria

4 M a r c o T a r i n i - L a b o r a t o r i o d i L i n g u a g g i - 2 0 0 7 / 0 8 - U n i v e r s i t à d e l l I n s u b r i a Puntatori: pasticci un altro caso di memory leak... int *un_puntatore, i; /* alloco un vettore di 100 interi */ un_puntatore = (int*)calloc( 100, sizeof(int)); /* uso il vettore */... /* rialloco un altro vettore */ un_puntatore = &i; Manca la deallocazione! ( free(un_puntatore); ) Anche qui, il puntatore "un_puntatore" è perso per sempre, e con lui la possibilità di liberare ("sprenotare", per così dire) la memoria. Ogni volta che si accede a questa funzione, si perdono (leak) 100x4 bytes di memoria

5 M a r c o T a r i n i - L a b o r a t o r i o d i L i n g u a g g i - 2 0 0 7 / 0 8 - U n i v e r s i t à d e l l I n s u b r i a Puntatori: pasticci stale pointer (puntatore andato a male) /* funzione che restituisce un puntatore ad un intero */ int* una_funzione () { int *punt; int x=10;... return &x; /* restituisci il puntatore che punta alla variabile x */ } la variabile x non sopravvive al termine della funzione! l'indirizzo di memoria & x non è più valido allora!

6 M a r c o T a r i n i - L a b o r a t o r i o d i L i n g u a g g i - 2 0 0 7 / 0 8 - U n i v e r s i t à d e l l I n s u b r i a Puntatori: pasticci dereferenced NULL int *punt = NULL; * punt = 10; Errore, ma nessun disastro, il sistema se ne accorge in run time (hopefully)... Lesecuzione terimina (con un segmentation fault)

7 M a r c o T a r i n i - L a b o r a t o r i o d i L i n g u a g g i - 2 0 0 7 / 0 8 - U n i v e r s i t à d e l l I n s u b r i a Puntatori: pasticci dangling pointers (puntatori penzolanti) int *punt ; * punt = 10; chissà in che locazione verrà scritto quel dieci...

8 M a r c o T a r i n i - L a b o r a t o r i o d i L i n g u a g g i - 2 0 0 7 / 0 8 - U n i v e r s i t à d e l l I n s u b r i a Puntatori: pasticci overrun screw (indicizzare oltre i boundaries) int *punt = (int*) calloc(5,sizeof(int)); punt[5] = 10; chissà in che locazione verrà scritto quel dieci...

9 M a r c o T a r i n i - L a b o r a t o r i o d i L i n g u a g g i - 2 0 0 7 / 0 8 - U n i v e r s i t à d e l l I n s u b r i a Puntatori: pasticci overrun screw (indicizzare oltre i boundaries) int punt[ 5 ]; punt[5] = 10; chissà in che locazione verrà scritto quel dieci...

10 M a r c o T a r i n i - L a b o r a t o r i o d i L i n g u a g g i - 2 0 0 7 / 0 8 - U n i v e r s i t à d e l l I n s u b r i a Puntatori: pasticci "fandango on core" (andare con un puntatore oltre i boundaries) int *punt = (int*) malloc(sizeof(int)); * punt[5] = 10; chissà in che locazione verrà scritto quel dieci... * punt ++; * punt = 10;

11 M a r c o T a r i n i - L a b o r a t o r i o d i L i n g u a g g i - 2 0 0 7 / 0 8 - U n i v e r s i t à d e l l I n s u b r i a Puntatori: pasticci uso dopo deallocazione chissà in che locazione verrà scritto quel dieci... int *punt = (int*) calloc(10,sizeof(int));... free(punt); * punt = 10;

12 M a r c o T a r i n i - L a b o r a t o r i o d i L i n g u a g g i - 2 0 0 7 / 0 8 - U n i v e r s i t à d e l l I n s u b r i a Puntatori: pasticci altro errore... /* funzione che restituisce un puntatore ad un intero */ int* una_funzione () { int x; x=10;... free( &x ); /* libera la memoria usata da x (?) */ } le variabili allocate staticamente (in maniera automatica) vengono anche disallocate automaticamente alla fine del blocco! regola doro: free va usato solo con i puntatori restituiti da malloc / calloc

13 M a r c o T a r i n i - L a b o r a t o r i o d i L i n g u a g g i - 2 0 0 7 / 0 8 - U n i v e r s i t à d e l l I n s u b r i a Puntatori: pasticci altro errore comune : aliasing bug... int *x, *y; /* alloco px */ x= (int*) malloc(sizeof(int)); /* assegno y = x. Ora x e y puntano allo stesso blocco di memoria */ y = x; /* uso x */... /* libero x */ free( x ); /* uso y */ *y = 10; medicina: meglio usare un solo puntatore per ogni blocco di memoria allocato