bss段为什么需要初始化?

摘要:
我们都知道bss段需要初始化,但为什么?在实际应用中,通常只需要保存bss段的起始地址和结束地址,当bss段(一堆零)出现在程序下载文件中并且程序在未来实际运行时,不需要根据这两个数据初始化bss段。然而,这通常不是这样做的。我们之所以在这里深入研究,只是为了探讨bss段初始化的必要性。尽管bss段的起始地址必须是未初始化的全局变量,但编译器在此位置重新定义了一个全局变量。

    我们都知道bss段需要初始化,但是这是为什么呢?

       通过浏览资料,我们都会发现,bss段是不会出现在程序下载文件(*.bin *.hex)中的,因为全都是0。如果把它们出现在程序下载文件中,会增加程序下载文件的大小。实际应用中,通常只需要把bss段的起始地址和结束地址保存起来,而不需要将程序下载文件中出现bss段(一堆0)将来真正运行程序的时候,再根据这两个数据进行bss段的初始化就行了。

       以上这段文字是网上的资料说的。但是,我可不可以让bss段出现在程序下载文件中呢?如果这样可以的话,当程序由存储器(例如nandflash)拷贝到内存中时,捎带着会把bss段像data段那样初始化。

       实际上是可以这样做的。请看下边的两个链接脚本。

链接脚本一:

SECTIONS {
    . = 0x00000000;
    .init : AT(0){ head.o init.o nand.o}
    . = 0x30000000;
    .text : AT(4096) { *(.text) }
    .rodata ALIGN(4) : AT((LOADADDR(.text)+SIZEOF(.text)+3)&~(0x03)) {*(.rodata*)} 
    .data ALIGN(4)   : AT((LOADADDR(.rodata)+SIZEOF(.rodata)+3)&~(0x03)) { *(.data) }
    __bss_start = .;
    .bss ALIGN(4)  : { *(.bss)  *(COMMON) }
    __bss_end = .;
}

链接脚本二:

SECTIONS {
    . = 0x00000000;
    .init : AT(0){ head.o init.o nand.o}
    . = 0x30000000;
    .text : AT(4096) { *(.text) }
    .rodata ALIGN(4) : AT((LOADADDR(.text)+SIZEOF(.text)+3)&~(0x03)) {*(.rodata*)} 
    .bss ALIGN(4)  : AT((LOADADDR(.rodata)+SIZEOF(.rodata)+3)&~(0x03)){ *(.bss) }
    .data ALIGN(4) : AT((LOADADDR(.bss)+SIZEOF(.bss)+3)&~(0x03)) { *(.data) }
}

    链接脚本一,把bss段放在最后边,arm-linux-gcc编译器默认的会把bss段给忽略掉,也即不会让bss段出现在程序下载文件中(可以通过Jlink软件查看编译后的bin文件)。这种链接脚本也是我们通常见到的方式。

    链接脚本二,把bss段放在了rodata段和data段中间,这个时候,arm-linux-gcc编译器并不会把bss段在程序下载文件中删除,也即会把bss段保留下来,最终出现在程序下载文件中。我考虑原因可能是这样的:编译后的地址rodata段、bss段、data段是连续的,也即程序运行时这几个段是连续的;倘若把bss段在程序下载文件中删除,那么程序下载文件中rodata段后边紧接着的是data段;这就要求程序的这两个段需要分别处理,而不能一次性将它们连续拷贝过去。

链接脚本二的方法可以让bss段出现在程序下载文件中。但是,通常都不会这样做,这里之所以这样深钻,只不过是在探究bss段初始化的必要性。我们通常采用的链接脚本一,由于最终程序下载文件中没有bss段,所以必须在应用程序运行前,根据bss段的起始地址和结束地址将bss段初始化。

下边,着重讲一下链接脚本中与初始化bss段相关的几句话。

    (1) __bss_start = .;
    (2).bss ALIGN(4)  : { *(.bss)  *(COMMON) }
    (3)__bss_end = .;

     这里,实际上句(1)是在bss段的起始地址处定义了一个int类型的全局变量__bss_start。虽然,bss段的起始地址处肯定是一个未初始化的全局变量,但是这里算是编译器又在这个位置上又重新定义了一个全局变量。就是说,一个地址有两个名字,它们都能访问这个地址空间。句(3)的解释同句(1)。

    接着我们再看一下用C语言写的初始化bss段的程序。

 

1void clean_bss(void)
2){
3)   extern int __bss_start, __bss_end;
4)   int *p = &__bss_start;
5) 
6)   for (; p < &__bss_end; p++)
7)     *p = 0;
8)}

      首先,句(3对编译器产生的两个全局变量进行声明。句(4)通过__bss_start取出bss段的起始地址,句(6)通过__bss_end取出bss段的结束地址。

免责声明:文章转载自《bss段为什么需要初始化?》仅用于学习参考。如对内容有疑问,请及时联系本站处理。

上篇关于JetBrain系列软件的学生授权认证和授权到期(一年)重新申请的问题Xcode 12.4 安装 vim 插件下篇

宿迁高防,2C2G15M,22元/月;香港BGP,2C5G5M,25元/月 雨云优惠码:MjYwNzM=

相关文章

FilterLog代码分析

1、Filter:Filter也称之为过滤器,WEB开发人员通过Filter技术,对web服务器管理的所有web资源:例如Jsp, Servlet, 静态图片文件或静态 html 文件等进行拦截,从而实现一些特殊的功能。例如实现URL级别的权限访问控制、过滤敏感词汇、压缩响应信息等一些高级功能。Servlet API中提供了一个Filter接口,开发web...

esayUI实践的一些体会

1.如何在页面中使用 easy ui ? 引入 四个文件 <!-- 引入easy ui --> <link rel="stylesheet" type="text/css" href="http://t.zoukankan.com/${pageContext.request.contextPath}/js/easyui/themes/de...

golang-指针,函数,map

指针普通类型变量存的就是值,也叫值类型。指针类型存的是地址,即指针的值是一个变量的地址。一个指针只是值所保存的位置,不是所有的值都有地址,但是所有的变量都有。使用指针可以在无需知道变量名字的情况下,间接读取或更新变量的值。 获取变量的地址,用&,例如:var a int 获取a的地址:&a,&a(a的地址)这个表达式获取一个指向整型...

iOS开发(Swift):创建UINavigationView的三种方法

UINavigationController是iOS开发中很常用的一种组件,由于种种原因许多人喜欢从代码创建视图控件,包括UINavigationController,但是有时候我们的屏幕控件太多,一方面使用storyboard可以方便设计,但是另一方面又需要用代码创建UINavigationController来灵活控制程序运行,下面将分别介绍代码,IB...

C# 类类型

1、一旦定义了自定义构造函数,默认的构造函数就会被移除2、可以使用this设计构造函数链,将核心部分代码由主构造函数完成,其余的构造函数调用主构造函数就可以了3、静态构造函数适合初始化静态数据成员(这个初始化发生在编译时)4、防止创建类对象的方式: 定义静态类 将构造函数声明为私有的(private) 将类声明为抽象的(abstract) 5、OOP...

C++构造函数简单用法

个人笔记,仅供复习1.构造函数1.1 基本概念: 每个类都有构造函数,如果自己不写,编译器会生成一个默认的无参数构造函数。 构造函数名字与类名相同,可以有参数,不可以有返回值(void也不可以)。 构造函数的作用是对对象进行初始化,如给变量赋初值。 1.2 注意: 如果定义了构造函数,则编译器不生成默认的无参数构造函数。 对象生成时构造函数自动被调...