Allocazione in memoria
La memoria allocata ad un processo è divisa in varie sezioni:
text section comprende il codice del programma compilato, che viene
letto quando il programma è lanciato; è a sola lettura.
data section memorizza le variabili globali e statiche, allocate e
inizializzate prima dell’esecuzione del main;
heap è utilizzata per l’allocazione dinamica della memoria, ed è gestita
attraverso chiamate come malloc(), free(), etc.
stack è gestita come una pila (last-in-first-out), usata per le variabili
locali: viene liberato quando diventano out-of-scope (variabili
automatiche) e per i parametri formali ed i valori di ritorno delle funzioni:
viene liberato quando si ritorna dall'invocazione.
Stack and heap (uso)
Stack ed heap partono da locazioni opposte dello spazio disponibile per il
processo, e crescono in direzioni opposte
Nel caso di sovrapposizioni, si verifica uno stack overflow (se fallisce
un'allocazione statica/automatica) oppure una chiamata a malloc può
fallire per memoria insufficiente - out of memory
NOTA: ci sono molte varianti di comportamento di sistemi operativi, per es.
linux fa optimistic allocation con OOM-killer
Lo stack è gestito tramite i registri della CPU (rapido!) con politica LIFO
(no buchi).
Lo heap è gestito tramite funzioni di libreria, che invocano chiamate di
sistema: è il sistema operativo a gestire la memoria; lo spazio è soggetto
a frammentazione (potenziale spreco di memoria, lento)
allocazione della memoria variabili
I compilatori C considerano 3 diversi tipi di allocazione della memoria: 2
per le variabili (allocazione statica, automatica), ed 1 tramite puntatori
(allocazione dinamica). Per le variabili si parla di storage class che può
essere static o automatic
