patrones de ubicación de memoria en la pila y en el montón

Question

Tengo curiosidad por saber si existe alguna correlación entre la longitud de la dirección de una variable (puntero) en la pila y el montón. En muchas ocasiones, he visto que los relativos a las variables de pila suelen ser más largos en comparación con Heap. Por ejemplo, considere la siguiente prueba simple:

#include <stdio.h> 
#include <stdlib.h> 

int main(void) 
{ 
    int i = 0; 
    int *j = malloc(sizeof(int)); *j = 0; 

    printf("&i = %p\n j = %p\n", &i, j); 

    free(j); 
    return 0; 
} 

salida:

&i = 0x7fffe9c7fa5c 
j = 0x100e010 

Estos resultados se obtienen en Linux usando gcc; ¿podría ser esto dependiente de OS/compilador?

Answer 1

Los resultados dependen de las posiciones del montón (s) y pila (s) en el espacio de direcciones del programa. Estos están determinados por el enlazador y la arquitectura del procesador.

Debido a ASLR, los números exactos deben ser aleatorios en los sistemas modernos.

Sin embargo, los montones generalmente crecerán hacia arriba y se acumularán hacia abajo. Además, por razones de rendimiento y administración de la memoria, tanto los montones como las pilas siempre comenzarán en los límites de page.

Answer 2

Creo que es debido a las partes físicas de la memoria que decidimos que se llaman pila y pila. Como comienzan en extremos opuestos y crecen hacia el medio, tiene sentido que uno sea más bajo y el otro más alto. Sería interesante ver qué sucede si asigna 2 vars consecutivos en la pila y 2 consecutivos en la pila. Esto ayudaría a ver de qué manera crecen la pila y el montón. En realidad, creo que para que esto funcione es necesario crear un nuevo marco de pila (un nuevo método) y asignar los segundos vars allí, de lo contrario permanecerás en el mismo marco de pila.