Dalla A alla Z passando per C - Robotica

func: c1 1 c3 3 c4 5
Si noti in particolare come il valore di c4 mantenga il proprio valore (incrementato di volta in
volta) ad ogni chiamata della funzione func. Questo è un semplice modo per tenere traccia di
quante volte viene richiamata una funzione.
10.3 Allocazione di memoria
Il linguaggio C non offre primitive di gestione di memoria 1 e nemmeno la raccolta della spazzatura
(garbage collection sembra più raffinato, ma di quello si tratta).
La memoria usata dai programmi può essere di tre tipi: statica, dinamica, automatica. Una
variabile o struttura dati statica è quella dichiarata in compilazione, cui il linker assegna un indirizzo
immutabile. Una struttura dati dinamica è allocata durante il funzionamento del programma,
per esempio chiamando malloc e accedendo allo spazio così ottenuto tramite un puntatore.
Una variabile cosiddetta “automatica” viene allocata sullo stack e scompare al termine del blocco
di codice che la dichiara.
Una variabile statica è inizializzata a zero, a meno che il programma non dichiari un valore
costante da precaricare nella variabile. Le variabili inizializzate sono salvate su disco e risiedono
nel “segmento dati” del programma e del file eseguibile ELF; le variabili non inizializzate stanno
nel “segmento bss” del programma, una zona di memoria che viene allocata e azzerata prima
dell’esecuzione del programma, il file su disco non contiene una copia del bss ma solo la sua
dichiarazione.
Una variabile dinamica risiede in memoria che viene richiesta al sistema durante il funzionamento
del programma. Al momento dell’allocazione non si possono fare assunzioni sul contenuto
di tale memoria: potrebbe essere azzerata ma potrebbe contenere informazioni residue di
precedenti allocazioni poi liberate. Ad ogni malloc deve corrispondere una free, in mancanza
della quale abbiamo una situazione di perdita di memoria (memory leakage) e la dimensione
del programma in esecuzione aumenterà in continuazione. Mentre la memoria di un programma
in spazio utente viene liberata tutta al termine del programma, una allocazione non liberata
in spazio kernel causa una perdita di memoria che può essere recuperata solo riavviando la
macchina.
Una variabile automatica è una variabile locale di una funzione o di un blocco di codice, risiede
sullo stack e non viene inizializzata a meno che il programmatore non imponga un valore a tale
variabile; in tal caso il codice macchina generato dal compilatore contiene le istruzioni necessarie
a riempire la variabile come richiesto. La memoria delle variabili automatiche, essendo parte dello
stack del programma, non è più utilizzabile al termine della procedura che definisce la variabile
stessa.
Esempi:
int i; /* dato inizializzato a zero, segmento bss */
int v[4] = {2,1,}; /* dato inizializzato a {2,1,0,0}, segmento dati */
int j = f(3, i); /* errore: valore non noto in compilazione */
int *f(int x, int y)
{
int z; /* var. automatica, non so quanto vale */
int a=0, b=1, c=2; /* variabili inizializzate a run-time */
int *p = malloc(4 * sizeof(int)); /* inizializzazione valida a run-time */
1 Come new, creatori e distruttori tipici dei linguaggi ad oggetti.
104