Preservacion del contenido de la memoria en contra de tiempo de vida de variable

[Loretz]

Para seguir con el ejemplo de la oficina...

El puntero global es como si guardara una copia de la llave, una copia de la variable local a.

Pero al dejar la oficina, el nuevo inquilino puede
- Cambiar la cerradura; en ese caso ptr ya no sirve.
- Dejar la cerradura como estaba, pero como se dedica a experimentos de transmutación genética, en el cajón donde tú creías que habías dejado la botella, ahora hay... ahora hay.... (NOOOOOOOOO)

[srWhiteSkull]

1. En la memoria 'stack' yo tendria inicialmente a la funcion main con todas su variables y en la memoria global tendria al puntero.

En tú caso no se bien si tendrías algo en la pila porque main() lo declaras sin parámetros y el puntero está sin inicializar.

2. Entra a la funcion 'h()' por lo cual en la memoria 'stack' se ve almacenada la informacion de la funcion y con ella la variable 'a'.( El proyecto dentro de una empresa empieza y me asigna una oficina ).

Así es, en la pila los primeros elementos serían los conformados por el valor del entero, 333. Eso dependería del sistema, los bytes que ocupe en la pila, pero con un usigned char se vería más claro (1 byte).

3. El puntero apunta a la dirección de memoria que tiene la variable 'a' . ( Tengo una llave que me ayuda a abrir la oficina ).

Si, en ese momento se toma la referencia del primer elemento de la pila a.

Para probar ésto simplemente declara la variable pero no la inicialices y luego imprime su valor. Ejemplo:

Código (cpp) [Seleccionar] Expandir

#include <iostream>

char * p;

void fu() {
char a;
printf("a = %c", a); // Esta accion algunos compiladores no te lo permiten, ya que esta sin inicializar.
a = 'A';
p = &a;
}

int main()
{
fu();
printf("%c puntero %p\n",(*p), p);
(*p) = 'F';
fu(); // Verás que el valor de "a", aun sin inicializar ahora te da "F"...
printf("%c puntero %p\n", (*p), p); // y sigue apuntando al mismo elemento.

return 0;
}

4. Termina la función 'h()' y por lo tanto se regresa a la funcion main con lo cual para el programa tanto las variables 'a' como el segmento de memoria que ella ocupaba ya no esta ocupado aun que yo tenga un puntero global apuntado anteriormente a ella ( El proyecto finaliza pero se me permite seguir conservando la llave ).

Ojo, que la pila sigue ahí, ya que fue reservada al inicio del programa. La pila sólo es liberada al finalizar el programa.

5. Finalmente se puede dar que con el puntero final yo pueda seguir accediendo a ese segmento de memoria y succeda algo de lo siguiente:
     -El segmento de memoria sigue conservando el valor que yo asigne a la variable 'a'.
     -El segmento de memoria contenga valores que el compilador asigno cuando se salio de la funcion para representar que esta vacio.
     -Que yo pueda seguir viendo el mismo valor de 'a' por gran parte del programa pero que pueda que tenga la mala suerte que ese segmento de memoria llegue a ser ocupado por el valor de una nueva variable y que al yo seguir haciendo referencia con el puntero global  no me puedo fiar en que ese segmento de memoria siga conteniendo el valor de 'a' que se le asigno inicialmente.

Mientras no finalice el programa tú puntero conserva la referencia al primer elemento de la pila (ver ejemplo del tercer punto).

Finalmente entonces para asegurar que el puntero global pueda seguir conservando el valor 'a' sin problemas deberia hacer uso de una reservacion de memoria de manera dinamica con ayuda de new o malloc y asignarle el valor de la variable 'a'.

No, puedes conservar el puntero, no hay problema, pero cuando trabajas con punteros y quieres reservar memoria al usar new, alloc o lo que sea... el sistema te reserva memoria en otro segmento, no en el segmento de la pila. El segmento que te dan al reservar memoria dinámica es el que muestra en el vídeo como Heap o Monto. Trabajar con memoria dinámica o con la pila tiene sus ventajas y desventajas, por ejemplo con pila la gestión es más rápida pero en contra tienes que suele estar limitada a un tamaño pequeño, por ejemplo un mega o algo así (depende). La memoria dinámica siempre debes liberarla cuando no la uses porque podrías quedarte sin memoria.

[NextByte]

Ojo, que la pila sigue ahí, ya que fue reservada al inicio del programa. La pila sólo es liberada al finalizar el programa.
Mientras no finalice el programa tú puntero conserva la referencia al primer elemento de la pila (ver ejemplo del tercer punto).

De antemano muchas gracias por tu tiempo , todo lo que anteriormente me mencionaste me ayudo mucho sin embargo aún sigo poniendo en duda esta parte. Entiendo que inicialmente el programa se incia en el main con lo cual en la pila se encuentra la funcion main con el respectivo almacenamiento de su variables sin embargo a la hora de hacerse un llamado a la función como 'h()' yo tengo entendido que realmente se crea un nuevo elemento en la pila que contiene informacion sobre la funcion 'h()' y ademas esa variable a la cual hago referencia mediante el apuntador global. El momento en donde entro en conflicto es cuando dices que la pila sigue ahi, te refieres a que una vez regresando al main la pila sigue ahi en el sentido de que la pila solo contiene la informacion relacionada con main o que ademas de seguir existiendo como primer elemento la informacion relacionada con 'main' se tiene que sigue existiendo todo lo relacionado con la funcion 'h()' que anteriormente fue llamada. El hecho de que sigan existiendo las dos funciones en las pila aun cuando ya se salio de la funcion 'h'[Mencionado que el puntero de la pila apunta a la funcion main] me hace dudar en el sentido de que:


1. Puedo interpretar que si se tiene muchas funciones en un programa lo mas seguro es que como mencionas que la pila se genera desde el comienzo y solo es eliminada hasta el final entonces yo tengo una pila con 'n' elementos que representan a cada funcion que posiblemente puede ser llamada desde mi funcion main.

2. En un programa donde se haga el llamado recursivo entonces el compilador deberia saber desde el comienzo del programa cuantos llamados a esa funcion se va realizar debido a que cada llamado a funcion debe tener distintos valores en sus variables y en dado caso rellenar la pila con informacion para cada uno de esos llamados lo que me lleva a que cuando termine de procesar todos los llamados a funciones no se va liberar/eliminar el elemento correspondiente a todas esas funciones en la pila.

3.Si no se libera entonces esta memoria que se vincula para cada llamado de funcion entonces yo podria estar seguro de que la zona de memoria que ocupo mi variable en alguna funcion no va poder ser modificada por una nueva demanda de memoria por parte del programa. En el caso de que realmente entonces si se vaya  liberando toda esa información vinculada a la funcion entonces caeria denuevo en cuenta de que es posible que realmente esa localidad en memoria que fue asignada para la variable 'a'  pueda ser modificada por alguien distinto al puntero, por ejemplo una asignación de memoria de una variable que fue utilizada en una función posterior.

Disculpame si soy algo terco, los casos anteriores solo son para la situación en la cual la pila sigue conservando todos los llamados a funciones aun cuando su llamado a finalizado que creo que es lo que he entendido  de tu anterior comentario.No descarto que tengas la razón pero en mi cabeza aún siguen sin encajar esas piezas. De nuevo te agradezco por tu tiempo.Todo lo anterior tambien lo digo por el hecho de que en los demas comentarios pareciera ser que la mayoria hagan inferencia de que no me puedo fiar de que la zona en donde apunta el apuntador  conserve el valor que yo asigne inicialmente en la funcion.

[srWhiteSkull]

De antemano muchas gracias por tu tiempo , todo lo que anteriormente me mencionaste me ayudo mucho sin embargo aún sigo poniendo en duda esta parte. Entiendo que inicialmente el programa se incia en el main con lo cual en la pila se encuentra la funcion main con el respectivo almacenamiento de su variables sin embargo a la hora de hacerse un llamado a la función como 'h()' yo tengo entendido que realmente se crea un nuevo elemento en la pila que contiene informacion sobre la funcion 'h()' y ademas esa variable a la cual hago referencia mediante el apuntador global. El momento en donde entro en conflicto es cuando dices que la pila sigue ahi, te refieres a que una vez regresando al main la pila sigue ahi en el sentido de que la pila solo contiene la informacion relacionada con main o que ademas de seguir existiendo como primer elemento la informacion relacionada con 'main' se tiene que sigue existiendo todo lo relacionado con la funcion 'h()' que anteriormente fue llamada. El hecho de que sigan existiendo las dos funciones en las pila aun cuando ya se salio de la funcion 'h'[Mencionado que el puntero de la pila apunta a la funcion main] me hace dudar en el sentido de que:

A ver la información que exista de las funciones y variables en la pila permanece, de ahí que dijera que no se destruye(la prueba es contenido del puntero), lo que pasa es que la pila tiene un mecanismo que gestiona la pila como si fuera un array. Hay una serie de índices que indican a la máquina en que parte de la pila esta la información que necesita etc...

1. Puedo interpretar que si se tiene muchas funciones en un programa lo mas seguro es que como mencionas que la pila se genera desde el comienzo y solo es eliminada hasta el final entonces yo tengo una pila con 'n' elementos que representan a cada funcion que posiblemente puede ser llamada desde mi funcion main.

Un caso así sería la recursión, la pila va acumulando dinamicamente los valores en las sucesivas llamadas hasta tal punto que el indice de la pila sale del segmento, espacio reservado, y se genera el famoso stack overflow o desbordamiento de la pila.

2. En un programa donde se haga el llamado recursivo entonces el compilador deberia saber desde el comienzo del programa cuantos llamados a esa funcion se va realizar debido a que cada llamado a funcion debe tener distintos valores en sus variables y en dado caso rellenar la pila con informacion para cada uno de esos llamados lo que me lleva a que cuando termine de procesar todos los llamados a funciones no se va liberar/eliminar el elemento correspondiente a todas esas funciones en la pila.

No, cuando hay una función se cargan sus datos dinamicamente en la pila y el índice va sumando para que la siguiente información de la función no solape la anterior(se apila). Liberar espacio en la pila simplemente se traduce en mover el índice hacia atrás o restar. La función ya existe en el segmento de código pero un mecanismo interno va registrando que parte de la pila tiene asignada cada llamada.

3.Si no se libera entonces esta memoria que se vincula para cada llamado de funcion entonces yo podria estar seguro de que la zona de memoria que ocupo mi variable en alguna funcion no va poder ser modificada por una nueva demanda de memoria por parte del programa. En el caso de que realmente entonces si se vaya  liberando toda esa información vinculada a la funcion entonces caeria denuevo en cuenta de que es posible que realmente esa localidad en memoria que fue asignada para la variable 'a'  pueda ser modificada por alguien distinto al puntero, por ejemplo una asignación de memoria de una variable que fue utilizada en una función posterior.

Está explicado en los puntos anteriores, son registros que actúan como índices en la pila y diversos mecanismos que se me hacen difícil explicar y puedes hallar en documentación referentes a ensamblador, gestión de la pila, llamadas a funciones, etc..

Disculpame si soy algo terco, los casos anteriores solo son para la situación en la cual la pila sigue conservando todos los llamados a funciones aun cuando su llamado a finalizado que creo que es lo que he entendido  de tu anterior comentario.No descarto que tengas la razón pero en mi cabeza aún siguen sin encajar esas piezas. De nuevo te agradezco por tu tiempo.Todo lo anterior tambien lo digo por el hecho de que en los demas comentarios pareciera ser que la mayoria hagan inferencia de que no me puedo fiar de que la zona en donde apunta el apuntador  conserve el valor que yo asigne inicialmente en la funcion.

Si, ya veo que eres duro de molleja pero hasta aquí puedo ayudarte. Quizás deberías aprender ensamblador de cualquier arquitectura para comprenderlo mejor cosa que toma tiempo.

Bueno te deseo suerte con el tema, saludos.