Compartir a través de


Uso de las pilas x64

Toda la memoria más allá de la dirección actual de RSP se considera volátil: el sistema operativo o un depurador pueden sobrescribir esta memoria durante una sesión de depuración de usuario o un controlador de interrupción. Por lo tanto, RSP siempre debe establecerse antes de intentar leer o escribir valores en un marco de pila.

En esta sección se describe la asignación de espacio de pila a variables locales y el intrínseco alloca.

Asignación de pila

El prólogo de una función es responsable de asignar espacio de pila a variables locales, registros guardados, parámetros de pila y parámetros de registro.

El área de parámetros se encuentra siempre en la parte inferior de la pila (aunque se use alloca), para esté adyacente en todo momento a la dirección de devolución durante cualquier llamada de función. Contiene como mínimo cuatro entradas, pero siempre incluye espacio suficiente para contener todos los parámetros que necesita cualquier función a la que se pueda llamar. Tenga en cuenta que siempre se asigna espacio para los parámetros de registro, incluso si los parámetros en sí mismos no se alojan nunca en la pila. De este modo, un destinatario tiene la garantía de que se ha asignado espacio para todos sus parámetros. Se requieren direcciones principales para los argumentos de registro, por lo que hay disponible un área contigua en caso de que la función a la que se llama deba tomar la dirección de la lista de argumentos (va_list) o de un argumento independiente. Esta área también proporciona un lugar conveniente para guardar los argumentos de registro durante la ejecución del código thunk y como opción de depuración (por ejemplo, facilita la búsqueda de argumentos durante la depuración si están almacenados en sus direcciones principales en el código de prólogo). Incluso si la función a la que se llama tiene menos de cuatro parámetros, estas cuatro ubicaciones de la pila son propiedad de la función a la que se llama y esta puede usarlas para otros fines, además de para guardar los valores de registro de parámetros. Por lo tanto, es posible que el autor de la llamada no guarde información en esta región de la pila a lo largo de una llamada de función.

Si el espacio se asigna dinámicamente (alloca) en una función, se debe usar un registro no volátil como puntero de marco para marcar la base de la parte fija de la pila, y dicho registro debe guardarse e inicializarse en el prólogo. Tenga en cuenta que cuando se usa alloca, las llamadas al mismo destinatario procedentes del mismo autor de la llamada pueden tener direcciones principales diferentes para sus parámetros de registro.

La pila siempre se mantendrá siempre con una alineación de 16 bytes, excepto en el prólogo (por ejemplo, después de insertar la dirección de devolución) y cuando se indique en los tipos de función para una clase determinada de funciones de marco.

A continuación se incluye un ejemplo de diseño de pila, en el que la función A llama a una función B no hoja. El prólogo de la función A ya ha asignado espacio para todos los parámetros de pila y de registro que requiere B en la parte inferior de la pila. La llamada inserta la dirección de retorno y el prólogo de B asigna espacio para sus variables locales, registros no volátiles y el espacio necesario para que llame a las funciones. Si B usa alloca, el espacio se asigna entre la variable local/el área de almacenamiento del registro no volátil y el área de la pila de parámetros.

Diagram of the stack layout for the x64 conversion example.

Cuando la función B llama a otra función, la dirección de devolución se inserta justo debajo de la dirección principal de RCX.

Construcción del área de pila para el parámetro dinámico

Si se usa un puntero de marco, existe la opción de crear dinámicamente el área de pila para el parámetro. Esto no se realiza actualmente en el compilador x64.

Tipos de función

Básicamente, hay dos tipos de función. Una función que requiere un marco de pila se denomina función de marco. Una función que no requiere un marco de pila se denomina función de hoja.

Una función de marco es aquella que asigna espacio de pila, llama a otras funciones, guarda registros no volátiles o usa el control de excepciones. Además, requiere una entrada de la tabla de funciones. Una función de marco requiere un prólogo y un epílogo. También puede asignar dinámicamente espacio de pila y emplear un puntero de marco. Además, tiene a su disposición todas las capacidades de este estándar de llamada.

Si una función de marco no llama a otra función, no es necesario alinear la pila (como se indica en la sección Asignación de pila).

Una función de hoja es aquella que no requiere una entrada de la tabla de funciones. No puede realizar cambios en los registros no volátiles, incluido RSP, lo que significa que no puede llamar a ninguna función ni asignar espacio de pila. La pila puede dejarse sin alinear mientras se ejecuta.

Alineación de malloc

Se garantiza que malloc devolverá memoria correctamente alineada para almacenar cualquier objeto que tenga una alineación fundamental y que quepa en la cantidad de memoria asignada. Una alineación fundamental es aquella menor o igual que la alineación más grande que la implementación admite sin una especificación de alineación. (En Visual C++, esta es la alineación necesaria para un double, u 8 bytes. En el código destinado a plataformas de 64 bits, es de 16 bytes). Por ejemplo, una asignación de cuatro bytes se alinearía en un límite que admita cualquier objeto de cuatro bytes o más pequeño.

Visual C++ permite tipos que tienen una alineación extendida, conocidos también como tipos alineados en exceso. Por ejemplo, los tipos de SSE __m128 y __m256, y los tipos que se declaran mediante __declspec(align( n )), donde n es mayor que 8, tienen alineación extendida. malloc no garantiza la alineación de memoria en un límite adecuado para un objeto que requiere alineación extendida. Para asignar memoria a los tipos alineados en exceso, _aligned_malloc y funciones relacionadas.

alloca

_alloca debe tener una alineación de 16 bytes y, además, usar un puntero de marco.

La pila que se asigna debe incluir espacio después de ella para los parámetros de las funciones llamadas posteriormente, como se indica en Asignación de pila.

Consulte también

Convenciones de software x64
align
__declspec