全局变量是否占用最终程序的存储空间,这个问题其实早在我们学习C语言的时候就已经告诉我们答案了。我隐约记得初学C语言的时候,书本上告诉我们:
全局自动变量——保存在读写数据段
全局静态变量——保存在读写数据段
全局常量——保存在只读数据段
局部自动变量——保存在栈空间里的
而我们在做单片机程序的时候,由于都是用的C编程,所以数据的存储也是一样的。上面的读写数据段在单片机里就是RW-data段,上面的只读数据段在单片机里就是RO-data,还有一个零初始化数据段ZI-data段(由此可见,RW-data加上ZI-data就是总共要分配的RAM空间大小),最后一个Code段就不用介绍了,大家都明白。
那么究竟一个STM32程序编译链接完成后的BIN文件大小到底跟所申请的全局变量有没有关系呢?答案是无关!最终生成的BIN文件大小只与程序的代码段(Code段)和只读数据段(RO-data)有关,即BIN文件大小=Code段+RO-data段。
为了验证这一点,我特地拿正点原子战舰开发板的案例《实验48 串口IAP实验》来给大家演示,证明目标代码的大小与程序中所申请的全局变量大小无关。选择正点原子的这个案例有两个原因:1.本人目前正在学习STM32 IAP编程;2.该例程中分配了一个全局变量u8 USART_RX_BUF[USART_REC_LEN],USART_REC_LEN的长度为55K,几乎占用了80%的SRAM空间,对本文的论点起着典范作用。
首先我们不对工程进行修改,如下图:
编译链接后,生成的目标代码结果如下:
可以看到,Program Size: Code=19208 RO-data=3036 RW-data=64 ZI-data=62400
得出ROM=21.7K RAM=61K
我们再将USART_REC_LEN宏的长度修改为55,空间大大缩小,如下图:
编译链接后,目标代码大小如下:
可以看到Program Size: Code=19208 RO-data=3036 RW-data=64 ZI-data=6136
得到ROM=21.7K RAM=6K
而两次编译后,我们到工程目录下找到IAP.BIN文件,查看该文件的大小,都是21.7K,如下图:
由此可见,目标代码的大小与程序中所申请的全局变量大小无关,而只与代码段(Code段)和只读数据段(RO-data段)有关,而全局变量的大小只会影响到占用SRAM的大小。那么既然最终的目标代码大小跟全局变量的大小无关,是不是目标代码就一点也不包含全局变量了呢?呵呵,如果不包含全局变量,那程序运行的时候就不知道全局变量在哪里啦!当然会包含全局变量啦,只是不是包含它们的存储空间,而是包含他们分配空间的信息,比如该全局变量的起始地址、空间大小、是否要用0初始化等信息,这样就只会占用目标代码非常少的空间。那全局变量又是在什么时候分配的呢?全局变量的分配是在程序复位中断执行后,进入main函数之前分配的。那么全局变量又是由谁来分配的呢?全局变量的分配工作在你的用户程序中是看不到的,它们是有开发环境提供的C运行时库提供的代码,是由链接器把他们嵌入到你的用户代码里的。
现在,对于变量的空间分配,你是不是更了解了一些呢?
=========================================================================================================================
5月11日修改:
后来在阿莫电子论坛(http://www.amobbs.com)上有人看了本片文章后提出了反对意见,告诉我说FLASH空间=Code + RO Data + RW Data。为了验证这一点,我做了一个小测试,发现果然如上所说。验证试验如下:
建立一个最简单的工程,如下图:
main.c源码如下:
unsigned char var[1024]={
"ffffffffffffffff"
"ffffffffffffffff"
"ffffffffffffffff"
"ffffffffffffffff"
"ffffffffffffffff"
"ffffffffffffffff"
"ffffffffffffffff"
"ffffffffffffffff"
"ffffffffffffffff"
"ffffffffffffffff"
"ffffffffffffffff"
"ffffffffffffffff"
"ffffffffffffffff"
"ffffffffffffffff"
"ffffffffffffffff"
"ffffffffffffffff"
"ffffffffffffffff"
"ffffffffffffffff"
"ffffffffffffffff"
"ffffffffffffffff"
"ffffffffffffffff"
"ffffffffffffffff"
"ffffffffffffffff"
"ffffffffffffffff"
"ffffffffffffffff"
"ffffffffffffffff"
"ffffffffffffffff"
"ffffffffffffffff"
"ffffffffffffffff"
"ffffffffffffffff"
"ffffffffffffffff"
"ffffffffffffffff"
"ffffffffffffffff"
"ffffffffffffffff"
"ffffffffffffffff"
"ffffffffffffffff"
"ffffffffffffffff"
"ffffffffffffffff"
"ffffffffffffffff"
"ffffffffffffffff"
"ffffffffffffffff"
"ffffffffffffffff"
"ffffffffffffffff"
"ffffffffffffffff"
"ffffffffffffffff"
"ffffffffffffffff"
"ffffffffffffffff"
"ffffffffffffffff"
"ffffffffffffffff"
"ffffffffffffffff"
"ffffffffffffffff"
"ffffffffffffffff"
"ffffffffffffffff"
"ffffffffffffffff"
"ffffffffffffffff"
"ffffffffffffffff"
"ffffffffffffffff"
"ffffffffffffffff"
"ffffffffffffffff"
"ffffffffffffffff"
"ffffffffffffffff"
"ffffffffffffffff"
"ffffffffffffffff"
"ffffffffffffffff"
};
int _main(void)
{
unsigned char i;
while(1)
{
i = var[0];
i++;
}
}
工程中只有1个main.c文件,该文件也很简单,就1个全局变量unsigned char var[1024],和一个_main函数。这里用_main而不用main是因为main函数会让链接器自动添加C库函数启动代码,而C库函数启动代码又会对全局数据进行压缩处理,这样就会是我们最终得到的BIN文件缩水,所以我这里使用_main函数就不会自动链接C库函数启动代码了。对工程的设置如下:
分散加载文件使用自己编写的sct文件:
别忘了设置程序入口点,这里设置_mian为程序入口点,防止编译产生警告。
bin文件格式转换设置:
工程设置完毕后,编译、链接,最终结果如下图:
可以看到Code代码段占用16字节,只读数据段RO Data为0字节,读写数据段RW Data为1024字节。这是我们找到生成的test.bin文件查看其大小刚好为1040字节=Code(16) + RO Data(0) + RW Data(1024),如下图:
本来我以为数组中的字符串“ffffffffffffffff”.....都是常量,照理说应该将它们划分到RO Data段的,可是MDK刚好跟我想的相反,把他们的大小规划到RW Data段了,而RO Data段则不包括它们的大小。
如果将原来的全局变量改成const类型,那么很容易想到,RO Data就变为1024字节,而RW Data就变为0字节,如下图:
所以最终得出结论,最终占用FLASH空间大小的因素是由Code、RO Data、RW Data这三个空间决定的,一般情况下,是小于等于Code+RO Data+RW Data,因为C库函数启动代码会对数据进行压缩处理。