一尘不染

为什么需要.bss段?

linux

我知道的是,全局变量和静态变量存储在.data段中,而未初始化的数据存储在.bss段中。我不明白的是,为什么我们有专用于未初始化变量的段?如果未初始化的变量在运行时分配了值,那么该变量是否.bss仅仍存在于段中?

在以下程序中, a.data段中,并且b.bss段中;那是对的吗?如果我的理解是错误的,请纠正我。

#include <stdio.h>
#include <stdlib.h>

int a[10] = { 1, 2, 3, 4, 5, 6, 7, 8, 9};
int b[20]; /* Uninitialized, so in the .bss and will not occupy space for 20 * sizeof (int) */

int main ()
{
   ;
}

另外,请考虑以下程序,

#include <stdio.h>
#include <stdlib.h>
int var[10];  /* Uninitialized so in .bss */
int main ()
{
   var[0] = 20  /* **Initialized, where this 'var' will be ?** */
}

阅读 486

收藏
2020-06-02

共1个答案

一尘不染

原因是减小程序大小。想象一下,您的C程序在嵌入式系统上运行,其中代码和所有常量都保存在真正的ROM(闪存)中。在这样的系统中,必须在调用main()之前执行初始的“
copy-down”以设置所有静态存储持续时间对象。它通常会像下面这样伪:

for(i=0; i<all_explicitly_initialized_objects; i++)
{
  .data[i] = init_value[i];
}

memset(.bss, 
       0, 
       all_implicitly_initialized_objects);

.data和.bss存储在RAM中,而init_value存储在ROM中。如果它是一个段,则ROM必须填充很多零,从而显着增加ROM的大小。

尽管基于RAM的可执行文件没有真正的ROM,但它们的工作原理类似。

同样,memset可能是一些非常有效的内联汇编程序,这意味着可以更快地执行启动复制。

2020-06-02