首先:我知道有很多网页(包括有关*的讨论)都在讨论.bss和.data之间用于数据声明的区别,但是我有一个特定的问题,但是我没有找到答案这些页面很不幸,所以我在这里问:-).
我是汇编界的初学者,所以如果问题很愚蠢,我深表歉意:-).
我正在x64 64位linux操作系统上学习汇编语言(但我认为我的问题更笼统,可能不特定于os / arcthitecture).
我发现.bss和.data节的定义有些奇怪.我总是可以在.bss中声明一个变量,然后在我的代码(.text部分)中将该变量中的值移动,对吗?那么,为什么我应该在.data节中声明变量,如果我知道在此节中声明的变量会增加可执行文件的大小呢?
我也可以在C编程的上下文中问这个问题:为什么当我声明变量未声明并在代码的开头为其赋值更有效时,为什么应该初始化我的变量?
我想我的内存管理方法是幼稚的并且不正确,但是我不明白为什么.
谢谢您的帮助 :-) !
解决方法:
.bss是放置零初始化的静态数据的地方,例如C int x; (在全球范围内).与int x = 0相同;对于静态/全局(静态存储类)1.
.data是放置非零初始化的静态数据的地方,例如int x = 2;如果将其放在BSS中,则需要运行时静态“构造函数”来初始化BSS位置.就像C编译器对静态const int prog_starttime = __rdtsc();所做的一样. (即使它是const,初始化程序也不是编译时常量,因此它不能放入.rodata中)
具有运行时初始化程序的.bss对于大都是零或用相同值填充的大数组(内存集/ rep stosd)有意义,但实际上写char buf [1024000] = {1};使用当前的编译器,会将几乎所有零的1MB放入.data.
否则,它效率不高. mov word [myvar],imm32指令的长度至少为8个字节,其可执行文件中的字节大约是在.data中静态初始化时的两倍.另外,必须执行初始化程序.
相比之下,.rodata节(或Windows上的.rdata)是编译器在其中放置字符串文字,FP常量和静态const int x = 123的地方;
脚注1:在函数内部,int x;如果使用x86这样的堆栈为普通的寄存器计算机编译时,如果编译器没有对其进行优化或将其优化到寄存器中,则将在堆栈中.
I could ask this question in the context of C programming as well
在C语言中,优化的编译器将处理int x; x = 5;与int x = 5几乎相同;在函数内部.不涉及静态存储.查看实际的编译器输出通常具有指导意义:请参阅How to remove “noise” from GCC/clang assembly output?.
在函数之外,在全局范围内,您不能编写x = 5;之类的东西.您可以在main的顶部执行此操作,然后诱使编译器制作更糟糕的代码.
在一个静态int x = 5;的函数中,初始化发生一次. (在编译时).如果你做了static int x; x = 5;每次输入函数时,静态存储都会被重新初始化,除非您还有其他需要静态存储类的原因,否则您可能还没有使用静态. (例如,返回指向x的指针,该指针在函数返回后仍然有效.)