Question

我从size命令获得意外输出。

Afaik初始化存储在data段中的全局和静态变量，未初始化并初始化为存储在bss段中的0个全局/静态变量。

printf("%d",sizeof(int));提供int尺寸4.但是，bss和data细分不会相应增加到4。

#include <stdio.h>
int main()
{
    return 0;
}

C:\Program Files (x86)\Dev-Cpp\MinGW64\bin>size memory-layout.exe
   text    data     bss     dec     hex filename
  10044    2292    2512   14848    3a00 memory-layout.exe

#include <stdio.h>
int g; //uninitialised global variable so, stored in bss segment
int main()
{
    return 0;
}

C:\Program Files (x86)\Dev-Cpp\MinGW64\bin>size memory-layout.exe
   text    data     bss     dec     hex filename
  10044    2292    2528   14864    3a10 memory-layout.exe

为什么bss增加了16（2528 - 2512）而不是4？（在上面的代码中）

#include <stdio.h>
int g=0; //initialised to 0 so, stored in bss segment
int main()
{
    return 0;
}

C:\Program Files (x86)\Dev-Cpp\MinGW64\bin>size memory-layout.exe
   text    data     bss     dec     hex filename
  10044    2292    2512   14848    3a00 memory-layout.exe

尽管使用全局变量，但bss中没有增量。为什么？

 #include <stdio.h>
int main()
{   static int g; //should be on bss segment
    return 0;
}

C:\Program Files (x86)\Dev-Cpp\MinGW64\bin>size memory-layout.ex
   text    data     bss     dec     hex filename
  10044    2292    2512   14848    3a00 memory-layout.exe

尽管使用静态变量，bss段没有增量，为什么？

我还有一个问题，dec代表什么？

Answer 1

首先要考虑的是内存对齐。可以填充变量和部分以使它们位于地址边界上。在第二个示例中，您看到第一个示例增加了16，这表示填充16字节边界（2512/16 = 157,2528 / 16 = 158）。这完全取决于实现。

就C而言，第二个示例与第三个示例不同，因为编译器无法知道int g是一个定义还是只是一个在另一个文件中定义的整数的声明（它可以是任何值）。它留下了链接器处理的引用，这可能会导致填充的差异。

在第三个示例中，g被明确定义并设置为0，因此编译器知道将其放入BSS部分。

可以使用我系统中生成的程序集来证明这一点：

带有int g的

（在这种情况下没有定义BSS部分）

.comm   g,4,4

这是链接器处理符号的指令，因为编译器无法完全确定如何处理它。

int g = 0

    .bss
    .align 4
    .type   g, @object
    .size   g, 4
g:
    .zero   4

这里编译器确切知道要做什么，因此为符号定义了一个BSS部分。

就我而言，链接器以相同的方式解析它们。两者都放在同一地址的BSS部分，因此BSS大小没有差异。您可以使用nm等实用程序检查布局。

nm -n file2 file3 | grep g$

000000000060103c B g
000000000060103c B g

即。在此系统上g位于同一地址。或者，使用调试器：

(gdb) info symbol 0x60103c
g in section .bss of /tmp/file2

另请注意，在最后的示例中，可以优化变量，因为它具有内部链接。

至于dec，它只是十进制各部分的总和。

Answer 2

这是来自linux上的gcc：

No Variable
   text    data     bss     dec     hex filename
    915     248       8    1171     493 none.out
Uninitialized Global
   text    data     bss     dec     hex filename
    915     248      12    1175     497 u_g.out
Initialized Global to 123
   text    data     bss     dec     hex filename
    915     252       8    1175     497 i_g.out
Initialized Local to 124
   text    data     bss     dec     hex filename
    915     252       8    1175     497 i_l.out
Initialized Global to 0
   text    data     bss     dec     hex filename
    915     248      12    1175     497 i_g_0.out
Initialized Local to 0
   text    data     bss     dec     hex filename
    915     248      12    1175     497 i_l_0.out

这是来自Windows上的mingw64：

No Variable
   text    data     bss     dec     hex filename
   3173    1976     448    5597    15dd none.out
Uninitialized Global
   text    data     bss     dec     hex filename
   3173    1976     464    5613    15ed u_g.out
Initialized Global to 123
   text    data     bss     dec     hex filename
   3173    1976     448    5597    15dd i_g.out
Initialized Local to 124
   text    data     bss     dec     hex filename
   3173    1976     448    5597    15dd i_l.out
Initialized Global to 0
   text    data     bss     dec     hex filename
   3173    1976     480    5629    15fd i_g_0.out
Initialized Local to 0
   text    data     bss     dec     hex filename
   3173    1976     480    5629    15fd i_l_0.out

因此，虽然我对问题没有最终答案（不适合评论），但结果让我怀疑Windows和/或MinGW的可执行文件格式（即不是gcc）。

Answer 3

BSS仅包含未显式初始化的静态和全局值。即使你明确地将它初始化为与初始化时相同的值（如果没有明确初始化），显式初始化的事实意味着它不属于bss。

理解C中数据bss段的大小命令

3 个答案: