¿Qué haría realloc si no hay espacio de memoria secuencial?

Question

realloc se usa para reasignar la memoria dinámicamente.

Supongamos que he asignado 7 bytes usando la función malloc y ahora quiero extenderlo a 30 bytes.

¿Qué sucederá en el fondo si no hay espacio secuencial (continuamente en una sola fila) de 30 bytes en la memoria?

¿Hay algún error o memoria asignada en partes?

Answer 1

realloc trabaja detrás de las escenas más o menos así:

• si hay suficiente espacio libre detrás del bloque actual para cumplir con la solicitud, extender el bloque actual y devolver un puntero al comienzo del bloque .
• Si existe un bloque libre lo suficientemente grande en otro lugar, asigne ese bloque, copie los datos del bloque anterior, libere el bloque anterior y devuelva un puntero al principio del nuevo bloque
• Error de informe por devolviendo NULL.

Por lo tanto, se puede probar por falta de pruebas para NULL, pero tenga en cuenta que no sobrescribir la antigua puntero demasiado pronto:

int* p = malloc(x); 
/* ... */ 
p = realloc(p, y); /* WRONG: Old pointer lost if realloc fails: memory leak! */ 
/* Correct way: */ 
{ 
    int* temp = realloc(p, y); 
    if (NULL == temp) 
    { 
    /* Handle error; p is still valid */ 
    } 
    else 
    { 
    /* p now possibly points to deallocated memory. Overwrite it with the pointer 
     to the new block, to start using that */ 
    p = temp; 
    } 
} 

Answer 2

Desde el man page:

realloc() devuelve un puntero a la memoria recién asignada, que es adecuadamente alineadas para cualquier tipo de variable y puede ser diferente de ptr, o NULL si el solicitud falla

En otras palabras, para detectar fallas, simplemente verifique si el resultado fue NULO.

EDITAR: Como se señala en el comentario, si la llamada falla, la memoria original no se libera.

Answer 3

realloc solo tendrá éxito si puede devolver un bloque de memoria contiguo ("secuencial" en sus palabras). Si no existe dicho bloque, devolverá NULL.

Answer 4

En general, depende de la implementación. En x86 (-64) Linux, creo que el algoritmo estándar doug lea malloc siempre asignará un mínimo de una página x86 estándar (4096 bytes), por lo que para el escenario que describió anteriormente, simplemente restablecería los límites para acomodar los bytes adicionales. Cuando se trata, por ejemplo, de reasignar un búfer de 7 bytes a PAGE_SIZE + 1, creo que intentará asignar la siguiente página contigua si está disponible.

Vale la pena leer lo siguiente, si está desarrollando en Linux:

Por defecto, Linux sigue una estrategia de asignación de memoria optimista. Esto significa que cuando malloc() devuelve un valor no nulo, no hay garantía de que la memoria esté realmente disponible. Este es realmente un error de . En caso de que el sistema se quede sin memoria, el infame asesino OOM matará uno o más procesos. En el caso de Linux se emplea en circunstancias en las que sería menos deseable para perder repentinamente algunos procesos escogidos al azar, y por otra parte la versión del núcleo es suficientemente reciente, se puede desactivar este comportamiento La sobrecarga usando un comando como:

# echo 2 > /proc/sys/vm/overcommit_memory 

Consulte también el directorio de Documentación del núcleo, archivos vm/overcommit-accounting y sysctl/vm.txt.

Answer 5

FreeBSD y Mac OS X tienen el reallocf() función que liberará el puntero pasado cuando no se pueda asignar la memoria solicitada (vea man realloc).