cosa succede quando proviamo a liberare memoria allocata dal gestore di heap, che assegna più di quanto richiesto?

Question

Questa domanda mi è stata posta in un'intervista.

Supponiamo che char * p = malloc (n) assegni più di n, diciamo che N byte di memoria sono allocati e liberi (p) è usato per liberare la memoria allocata a p.

il gestore di heap può eseguire tale allocazione errata? cosa succede ora, n byte saranno liberati o N byte liberati?

esiste un metodo per trovare la quantità di memoria libera?

EDIT

c'è qualche metodo per trovare la quantità di memoria liberata?

meglio di niente,

mallinfo() può fare luce come rilevato da "Fred Larson"

Answer 1

Sì, questo è quello che succede quasi ogni volta che si a malloc(). L'intestazione del blocco malloc contiene informazioni sulla dimensione del blocco e quando viene chiamato free() restituisce tale importo all'heap. Non è difettoso, è previsto l'operazione.

Un'implementazione semplice potrebbe, ad esempio, memorizzare solo la dimensione del blocco nello spazio immediatamente precedente al puntatore restituito. Poi, free() sarebbe simile a questa:

void free(void *ptr) 
{ 
    size_t *size = (size_t *)ptr - 1; 

    return_to_heap(ptr, *size); 
} 

Dove return_to_heap() è qui utilizzato per indicare una funzione che fa il vero lavoro di restituzione del blocco di memoria specificata al mucchio per uso futuro.

Answer 2

Sì, il gestore di heap è permesso di restituire un blocco superiore n byte. È completamente sicuro (e richiesto!) Di liberare il puntatore restituito utilizzando free e lo free ne consentirà l'allocazione completa.

Molte implementazioni di heap tengono traccia delle loro allocazioni inserendo blocchi di metadati nell'heap. free cercherà quei metadati per determinare la quantità di memoria da rilasciare. Questo è specifico per l'implementazione, quindi non c'è modo di sapere quanto ti ha dato malloc e, in generale, non dovresti preoccuparti.

Answer 3

Generalmente il gestore di heap libererà tutto ciò che è stato assegnato. Memorizza queste informazioni da qualche parte e cerca quando viene chiamato free().

Un gestore di heap non è "difettoso" se assegna più memoria di quella richiesta. I gestori di heap spesso lavorano con dimensioni di blocco fisse e raggiungono la dimensione di blocco appropriata successiva quando soddisfano una richiesta. Il compito dell'heap manager è quello di essere il più efficiente possibile e spesso le grandi efficienze derivano da alcune piccole inefficienze.

Answer 4

Questo è il comportamento predefinito di malloc. Restituirà NULL o un puntatore a una sezione di memoria almeno fino a quella richiesta. Quindi sì libero deve essere in grado di gestire liberarsi della memoria più a lungo di quanto richiesto.

Scoprire quanta memoria era effettivamente libera o allocata è una domanda specifica per la piattaforma.

Answer 5

Altre risposte hanno spiegato bene come viene gestita la dimensione del blocco. Per scoprire quanta memoria viene liberata, l'unica soluzione a cui posso pensare è chiamare mallinfo() prima e dopo il libero.