texto - Si una variable global se inicializa a 0, ¿irá a BSS?

variables estaticas

Question

Todas las variables globales / estáticas inicializadas irán a la sección de datos inicializados . Todas las variables globales / estáticas no inicializadas irán a la sección de datos no iniciales (BSS). Las variables en BSS obtendrán un valor 0 durante el tiempo de carga del programa.

Si una variable global se inicializa explícitamente a cero ( int myglobal = 0 ), ¿dónde se almacenará esa variable?

Answer 1

El compilador es libre de poner dicha variable en bss así como en los data . Por ejemplo, GCC tiene una opción especial que controla este comportamiento:

-fno-zero-initialized-in-bss

Si el destino admite una sección de BSS, GCC pone por defecto variables que se inicializan a cero en BSS. Esto puede ahorrar espacio en el código resultante. Esta opción desactiva este comportamiento porque algunos programas se basan explícitamente en las variables que van a la sección de datos. Por ejemplo, para que el ejecutable resultante pueda encontrar el comienzo de esa sección y / o hacer suposiciones basadas en eso.

El valor predeterminado es -fzero-initialized-in-bss .

Probé con el siguiente ejemplo (archivo test.c ):

int put_me_somewhere = 0;

int main(int argc, char* argv[]) { return 0; }

Compilación sin opciones (implícitamente -fzero-initialized-in-bss ):

$ touch test.c && make test && objdump -x test | grep put_me_somewhere
cc     test.c   -o test
0000000000601028 g     O .bss   0000000000000004              put_me_somewhere

Compilación con la -fno-zero-initialized-in-bss :

$ touch test.c && make test CFLAGS=-fno-zero-initialized-in-bss && objdump -x test | grep put_me_somewhere
cc -fno-zero-initialized-in-bss    test.c   -o test
0000000000601018 g     O .data  0000000000000004              put_me_somewhere

Answer 2

El comportamiento depende de la implementación de C. Puede terminar en .data o .bss, y para aumentar los cambios que no terminan en .data tomando espacio redundante, es mejor no inicializarlo explícitamente a 0, ya que se configurará en 0 de todos modos si el El objeto es de duración estática.

Answer 3

Es bastante fácil probar un compilador específico:

$ cat bss.c
int global_no_value;
int global_initialized = 0;

int main(int argc, char* argv[]) {
    return 0;
}
$ make bss
cc     bss.c   -o bss
$ readelf -s bss | grep global_
    32: 0000000000400420     0 FUNC    LOCAL  DEFAULT   13 __do_global_dtors_aux
    40: 0000000000400570     0 FUNC    LOCAL  DEFAULT   13 __do_global_ctors_aux
    55: 0000000000601028     4 OBJECT  GLOBAL DEFAULT   25 global_initialized
    60: 000000000060102c     4 OBJECT  GLOBAL DEFAULT   25 global_no_value

Estamos buscando la ubicación de 0000000000601028 y 000000000060102c :

$ readelf -S bss
There are 30 section headers, starting at offset 0x1170:

Section Headers:
  [Nr] Name              Type             Address           Offset
       Size              EntSize          Flags  Link  Info  Align
...
  [24] .data             PROGBITS         0000000000601008  00001008
       0000000000000010  0000000000000000  WA       0     0     8
  [25] .bss              NOBITS           0000000000601018  00001018
       0000000000000018  0000000000000000  WA       0     0     8

Parece que ambos valores están almacenados en la sección .bss en mi sistema: gcc version 4.5.2 (Ubuntu/Linaro 4.5.2-8ubuntu4) .