对 51 单片机内存的认识,很多人有误解,最常见的是以下两种
由于内存比较小,一般要进行内存优化,尽量提高内存的使用效率。
以 Keil C 编译器为例,small 模式下未指存储类型的变量默认为data型,即直接寻址,只能访问低 128 个字节,但这128 个字节也不是全为我们的程序所用,寄存器 R0-R7必须映射到低RAM,要占去 8 个字节,如果使用寄存组切换,占用的更多。
所以可以使用 data 区最大为 120 字节,超出 120 个字节则必须用 idata 显式的指定为间接寻址,另外堆栈至少要占用一个字节,所以极限情况下可以定义的变量可占 247 个字节。当然,实际应用中堆栈为一个字节肯定是不够用的,但如果嵌套调用层数不深,有十几个字节也够有了。
为了验上面的观点,写了个例子
#define LEN 120 data UCHAR tt1[LEN]; idata UCHAR tt2[127]; void main() { UCHAR i,j; for(i = 0;i < LEN; ++i ) { j = i; tt1[j] = 0x55; } }
可以计算 R0-7(8) + tt1(120) + tt2(127) + SP(1) 总共 256 个字节
keil 编译的结果如下:
Program Size: data=256.0 xdata=0 code=30 creating hex file from ".\Debug\Test"... ".\Debug\Test" - 0 Error(s), 0 Warning(s). (测试环境为 XP + Keil C 7.5)
这段代码已经达到了内存分配的极限,再定义任何全局变量或将数组加大,编译都会报错 107
这里要引出一个问题:为什么变量 i、j 不计算在内?
这是因为 i、j 是局部变量,编译器会试着将其优化到寄存器 Rx 或栈。问题也就在这了,如果局部变量过多或定义了局部数组,编译器无法将其优化,就必须使用 RAM 空间,虽然全局变量的分配经过精心计算没有超出使用范围,仍会产生内存溢出的错误!
而编译器是否能成功的优化变量是根据代码来的
上面的代码中,循环是臃肿的,变量 j 完全不必要,那么将代码改成
UCHAR i; UCHAR j; for(i = 0;i < LEN; ++i ) { tt1[i] = 0x55; }
再编译看看,出错了吧!
因为编译器不知道该如何使用 j,所以没能优化,j 须占 RAM 空间,RAM 就溢出了。
(智能一点的编译器会自动将这个无用的变量去掉,但这个不在讨论之列了)
另外,对 idata 的定义的变量最好放在 data 变量之后
对于这一种定义
uchar c1; idata uchar c2; uchar c3;
变量 c2 肯定会以间接寻址,但它有可能落在 data 区域,就浪费了一个可直接寻址的空间
变量优化一般要注意几点:
①让尽可能多的变量使用直接寻址,提高速度
假如有两个单字节的变量,一个长119的字符型数组
因为总长超过 120 字节,不可能都定义在 data 区
按这条原则,定义的方式如下:
data UCHAR tab[119]; data UCAHR c1; idata UCHaR c2;
但也不是绝的,如果 c1, c2 需要以极高的频率访问,而 tab 访问不那么频繁
则应该让访问量大的变量使用直接寻址:
data UCAHR c1; data UCHaR c2; idata UCHAR tab[119];
这个是要根据具体项目需求来确定的
②提高内存的重复利用率
就是尽可能的利用局部变量,局部变量还有个好处是访问速度比较快
由前面的例子可以看出,局部变量 i, j 是没有单独占用内存的
子程序中使用内存数目不大的变量尽量定义为局部变量
③对于指针数组的定义,尽可能指明存储类型
尽量使用无符号类型变量
一般指针需要一个字节额外的字节指明存储类型
8051 系列本身不支持符号数,需要外加库来处理符号数,一是大大降低程序运行效率,二是需要额外的内存
④避免出现内存空洞
可以通过查看编译器输出符号表文件(.M51)查看
对前面的代码,M51文件中关于内存一节如下:
* * * * * * *D A T AM E M O R Y* * * * * * * REG0000H0008HABSOLUTE"REG BANK 0" DATA0008H0078HUNIT?DT?TEST IDATA0080H007FHUNIT?ID?TEST IDATA00FFH0001HUNIT?STACK
第一行显示寄存器组0从地址0000H开始,占用0008H个字节
第二行显示DATA区变量从0008H开始,占用0078H个字节
第三行显示IDATA区变量从0080H开始,占用007F个字节
第四行显示堆栈从00FFH开始,占0001H个字节
由于前面代码中变量定义比较简单,且连续用完了所有空间,所以这里显示比较简单
变量定义较多时,这里会有很多行
如果全局变量与局部变量分配不合理,就有可能出现类似下面的行
0010H0012H*** GAP ***
该行表示从0010H开始连续0012H个字节未充分利用或根本未用到
出现这种情况最常见的原因是局变量太多、多个子程序中的局部变量数目差异太大、使用了寄存器切换但未充分利用