¿Cómo variables globales inicializadas por el cargador de Elf

Question

Para las variables globales en C como

int aglobal = 5;

¿Cuándo se transfiere el 5 a aglobal por el cargador y cómo sabe poner 5 in global?

La misma situación con una declaración estática en una función. Como

int afunc() { static int astatic = 8; return astatic; }

Answer 1

Se crea un espacio de tamaño interno en una sección de datos, con el valor 5 codificado y se agrega un símbolo global sin función llamado 'aglobal' a la tabla de símbolos que lo señala. Las referencias a aglobal se convierten en reubicaciones que se resuelven en tiempo de enlace para apuntar a ese bloque de datos, por lo que en una imagen completamente enlazada las instrucciones se cargarán directamente desde ese punto en la memoria que contiene el valor 5

Por ejemplo, (x86) de montaje podría ser algo como:

.data 
.globl aglobal 
aglobal: .long 5 

.text 
main: 
    mov eax, aglobal 

en un fichero objeto, la instrucción MOV se convertirán en mov eax, 0 con una reubicación R_386_32 aglobal+0, debido a que el archivo de objeto no sabe a ciencia cierta donde la sección de datos estará en memoria.

En una imagen vinculada totalmente, podría ser algo como:

mov eax, 0x804a010 

Ahora la dirección real de los 4 bytes en la sección de datos es conocido, por lo que se especifica directamente