¿Cómo funciona la pila con respecto a las funciones?

[GGZ]

La consiga:

Código [Seleccionar] Expandir

En el programa que sigue, funcs implementa void (*funcs[])()={f1, f2, f3}. Compl´etelo para que
la l´ınea con el comentario corresponda a funcs[entero](). Use el c´odigo m´as eficiente.

Código (asm) [Seleccionar] Expandir

.data
fmt:
  .string "%d"
entero:
  .long 020
funcs:
  .quad f1
  .quad f2
  .quad f3


.text

f1:
  movl $0,%esi
  movq $fmt, %rdi
  call printf
  jmp fin

f2:
  movl $1,%esi
  movq $fmt, %rdi
  call printf
  jmp fin

f3:
  movl $2,%esi
  movq $fmt, %rdi
  call printf
  jmp fin

.global main
main:
  pushq %rbp
  movq %rsp,%rbp

# Leemos el entero
  movq $entero, %rsi
  movq $fmt, %rdi
  xorq %rax,%rax
  call scanf
  xorq %rax,%rax

  movl entero, %ecx
  movq funcs(, %rcx, 8), %rdx  
 
  jmp *%rdx

fin:
  movq %rbp, %rsp
  popq %rbp
  ret


Pero realmente no entiendo bien para que sirven estas dos intrucciones:
  pushq %rbp
  movq %rsp,%rbp

Yo sé que la traducción de eso en C es algo como *(rsp) = rbp; y rbp = rsp

Pero no entiendo para nada, ¿para qué se usa eso? Leí todo el apunte y apenas lo entendí.
No entiendo bien que tiene que ver las funciones con la pila.
Si alguien me da algún ejemplo en C sería mucho mejor, porque entiendo perfecto C.

[fary]

Las funciones están directamente relacionadas con la pila. Los parametros se le pasan a las funciones introduciendolos en la pila, ademas al retornar una funcion la dirección a donde tiene que retornar la función también se encuentra en la pila.

La pila se tiene que mantener siempre estable, es decir, si comienza en el valor 0040892 (por ejemplo) siempre tendrá que estar en esa dirección, esa dirección base  esta establecida en rbp, si tu vas metiendo valores en la pila pero no vas restaurandola la pila se rompe y el programa estalla.

Código (asm) [Seleccionar] Expandir

pushq %rbp ; Con estas dos intrucciones preservas la pila
movq %rsp,%rbp
; Aqui vendriamos a sacar los parametros de la funciones de la pila y a usarlos
movq %rbp, %rsp ; Aqui volveriamos a restarurar la pila tal y como estaba antes de comenzar la funcion
popq %rbp
ret ; Retornariamos la funcion

Para entenderlo tendrías que leer sobre lenguaje ensamblador ya que esto no ocurre en ningún otro lenguaje.

saludos.

[cpu2]

Mira esto:

http://unixwiz.net/techtips/win32-callconv-asm.html

Pero en tu caso no tiene mucho sentido hacer eso, ya que estas usando el sistema fast syscall, no usas la pila para pasar parametros si no directamente los registros.

Un saludo.

[GGZ]

Las funciones están directamente relacionadas con la pila. Los parametros se le pasan a las funciones introduciendolos en la pila, ademas al retornar una funcion la dirección a donde tiene que retornar la función también se encuentra en la pila.

La pila se tiene que mantener siempre estable, es decir, si comienza en el valor 0040892 (por ejemplo) siempre tendrá que estar en esa dirección, esa dirección base  esta establecida en rbp, si tu vas metiendo valores en la pila pero no vas restaurandola la pila se rompe y el programa estalla.

Código (asm) [Seleccionar] Expandir

pushq %rbp ; Con estas dos intrucciones preservas la pila
movq %rsp,%rbp
; Aqui vendriamos a sacar los parametros de la funciones de la pila y a usarlos
movq %rbp, %rsp ; Aqui volveriamos a restarurar la pila tal y como estaba antes de comenzar la funcion
popq %rbp
ret ; Retornariamos la funcion

Para entenderlo tendrías que leer sobre lenguaje ensamblador ya que esto no ocurre en ningún otro lenguaje.

saludos.

Leí bastante de ASM (lo de pila también pero no me quedó claro) y me conozco todos los registros, sólo que no sabía esto que me dijiste.
Sé que el registro rbp apunta a la base de la pila y en rsp está el último elemento agregado, sé que la pila crece hacia abajo pero, todavía no entiendo a qué te referis con preservar la pila, o sea que pasa si saco eso, ¿desborda no? pero sigo sin entender del todo.

Capaz si me tiras unos ejemplos un poco más sencillos mostrando el funcionamiento de la pila con respecto a las funciones entendería mejor.

Ojalá puedas hacerlo, gracias y saludos!



Creo que ya entendí un poco más de cómo funciona la pila.
Programé algunas cosas y lo compile usando -S entendí un poco más de todo.

Perdón por el doble post, estaba desde el cel.
Gracias, saludos.

[Yuki]

Bueno, espero poder explicarte lo mas claro posible, ya que a mi también se me complicó al momento de aprender esto.

Básicamente lo que haces es empujar la dirección base de la pila en la pila para "preservar" su valor, como si la asignaras en una variable de tipo entero, una vez ejecutado el código de tu procedimiento, si este no tiene errores, el único valor que te va a quedar en la pila es la dirección de la base de la pila real y mediante un "POP rbp" restauras el registro rbp para que tu programa siga ejecutándose correctamente.

Quiero resaltar fary, que generalmente los programas escritos en C/C++ utilizan la pila para preservar los valores de las variables, por si no se entendía lo del "el valor retornado por un procedimiento es almacenado en la pila".

[GGZ]

Sí, listo.

Lo entendí perfectamente, gracias.