51单片机的内存优化最常见的是以下两种" b+ t I* Q5 k
① 超过变量128后必须使用compact模式编译,实际的情况是只要内存占用量不超过 256.0 就可以用 small 模式编译5 h* l. k2 i2 O% y- Q# w) ^; b; A* G
② 128以上的某些地址为特殊寄存器使用,不能给程序用。与 PC 机不同,51 单片机不使用线性编址,特殊寄存器与 RAM 使用重复的重复的地址。但访问时采用不同的指令,所以并不会占用 RAM 空间。/ d0 X7 c: A7 r5 B* E% j
③是否把一些固定的代码存贮到了CODE区。如果把没变化的数据也存储到DATA去,就太浪费了!
( W& i! N& m9 ? 由于内存比较小,一般要进行内存优化,尽量提高内存的使用效率。1 b1 N W# a' P% ?
以 Keil C 编译器为例,small 模式下未指存储类型的变量默认为data型,即直接寻址,只能访问低 128 个字节,但这 128 个字节也不是全为我们的程序所用,寄存器 R0-R7必须映射到低RAM,要占去 8 个字节,如果使用寄存组切换,占用的更多。0 v8 U1 g+ H+ m# A( {# S3 C0 a. B
所以可以使用 data 区最大为 120 字节,超出 120 个字节则必须用 idata 显式的指定为间接寻址,另外堆栈至少要占用一个字节,所以极限情况下可以定义的变量可占 247 个字节。当然,实际应用中堆栈为一个字节肯定是不够用的,但如果嵌套调用层数不深,有十几个字节也够有了。( {" Y6 c: t* _- K. T% d" J; Y
为了验上面的观点,写了个例子
1 ^9 C' ~! g% ^* }/ s* V& ~ #define LEN 120data 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 个字节# e- o0 [% C) H6 x1 N9 d
keil 编译的结果如下:/ h8 Y7 T% i) k) B4 u
Program Size: data=256.0 xdata=0 code=30% ~' j9 `; I9 n% X" A# D
creating hex file from “。\Debug\Test”。..5 n% i; f4 k7 ?( c4 e$ U; a l
“。\Debug\Test” - 0 Error(s), 0 Warning(s)。' z5 i: u9 J! ?1 I! a) M& G
(测试环境为 XP + Keil C 7.5)5 z: t. x S2 K( W. K. e
这段代码已经达到了内存分配的极限,再定义任何全局变量或将数组加大,编译都会报错 107" O' z# @9 b: w9 i
这里要引出一个问题:为什么变量 i、j 不计算在内?7 I; Y( ^8 S# d1 K" m' S! m
这是因为 i、j 是局部变量,编译器会试着将其优化到寄存器 Rx 或栈。问题也就在这了,如果局部变量过多或定义了局部数组,编译器无法将其优化,就必须使用 RAM 空间,虽然全局变量的分配经过精心计算没有超出使用范围,仍会产生内存溢出的错误!
; B" W( h. ^# f4 m& e 而编译器是否能成功的优化变量是根据代码来的。
( q& R8 B. N/ h 上面的代码中,循环是臃肿的,变量 j 完全不必要,那么将代码改成
9 }1 c' W( | v UCHAR i;UCHAR j;for(i = 0; i 《 LEN; ++i ){ tt1 = 0x55;} 再编译看看,出错了吧!因为编译器不知道该如何使用 j,所以没能优化,j 须占 RAM 空间,RAM 就溢出了。(智能一点的编译器会自动将这个无用的变量去掉,但这个不在讨论之列了)。另外,对 idata 的定义的变量最好放在 data 变量之后,对于这一种定义* `& T5 W# j2 Q6 R5 T
uchar c1;
2 Q/ d2 j( F/ }, ^ idata uchar c2;8 z w$ C1 W5 {' N: |- G& b
uchar c3;: \7 L3 ]; d# t, [- K, Z" g
变量 c2 肯定会以间接寻址,但它有可能落在 data 区域,就浪费了一个可直接寻址的空间。
9 _7 X' ]8 v6 q6 c7 q' t4 V4 p8 |* X' P0 R0 C% X4 S
|
, Q$ H. O b/ b
* R. L* B1 g# s: u' {! P* g: O$ v 变量优化一般要注意几点:) w5 b) J0 X( \, f. |2 m
①让尽可能多的变量使用直接寻址,提高速度
( S% }( |- ^9 H0 A 假如有两个单字节的变量,一个长119的字符型数组
: I! {4 L" j3 {$ o4 e4 \ 因为总长超过 120 字节,不可能都定义在 data 区
8 s8 y) c$ a" u 按这条原则,定义的方式如下:$ m/ a4 N5 X T4 j
ata UCHAR tab[119];" ]9 K/ K- m* M+ \
data UCAHR c1;% Z+ R- F3 L5 w# Z& H1 W2 y
idata UCHaR c2;
, i2 E; S0 K/ C+ E2 O: {0 K 但也不是绝的,如果 c1, c2 需要以极高的频率访问,而 tab 访问不那么频繁,则应该让访问量大的变量使用直接寻址:0 \7 ^* ]6 ?! [
data UCAHR c1;
, i; v r( W; C. U data UCHaR c2;( n2 R+ ?( i, k1 I$ [
idata UCHAR tab[119];
: S6 j7 E) z+ w 这个是要根据具体项目需求来确定的1 S& L: E! X' ] e9 O0 @
②提高内存的重复利用率
6 c5 X9 h4 D t! e) y0 @ 就是尽可能的利用局部变量,局部变量还有个好处是访问速度比较快
% F! F2 M+ W3 o) l 由前面的例子可以看出,局部变量 i, j 是没有单独占用内存的
" `! v+ K' |% K 子程序中使用内存数目不大的变量尽量定义为局部变量2 Y' t* ^% T' z; E
③对于指针数组的定义,尽可能指明存储类型
9 @, y7 I$ P( y2 k8 E0 G) ]& c 尽量使用无符号类型变量# D1 M& L8 Y9 r) Y4 n
一般指针需要一个字节额外的字节指明存储类型* T& J1 p! Q, o& @6 K) A& B! [& d
8051 系列本身不支持符号数,需要外加库来处理符号数,一是大大降低程序运行效率,二是需要额外的内存
- E, _- [8 \: u( I2 r6 q" ~. U5 e ④避免出现内存空洞
) \' k- A2 U; h$ W6 U6 N 可以通过查看编译器输出符号表文件(.M51)查看
( y. @6 g6 B7 X1 O( H 对前面的代码,M51文件中关于内存一节如下:, [1 T2 D- H- K
* * * * * * * D A T A M E M O R Y * * * * * * *
3 U: D4 r, \) @ D$ X% O7 K REG 0000H 0008H ABSOLUTE “REG BANK 0”" R# a( A* A! p2 E1 P! C0 b. ?
DATA 0008H 0078H UNIT ?DT?TEST
/ L, i ^$ q% T IDATA 0080H 007FH UNIT ?ID?TEST5 E- [2 M3 `# k, O
IDATA 00FFH 0001H UNIT ?STACK
# s0 O" q2 g6 L. i' R' o 第一行显示寄存器组0从地址0000H开始,占用0008H个字节3 v- H# i' d- P/ o- e
第二行显示DATA区变量从0008H开始,占用0078H个字节) c" \# {$ p! u% X, N1 T, e6 T
第三行显示IDATA区变量从0080H开始,占用007F个字节* U! g! }/ X% [! G. [
第四行显示堆栈从00FFH开始,占0001H个字节3 g+ i. v; ]6 {
由于前面代码中变量定义比较简单,且连续用完了所有空间,所以这里显示比较简单。变量定义较多时,这里会有很多行,如果全局变量与局部变量分配不合理,就有可能出现类似下面的行/ _6 F5 l$ r. A
0010H 0012H *** GAP ***$ b2 e0 @4 {4 L& |! L
该行表示从0010H开始连续0012H个字节未充分利用或根本未用到,出现这种情况最常见的原因是局变量太多、多个子程序中的局部变量数目差异太大、使用了寄存器切换但未充分利用。
6 _1 F2 K' i* Q4 O/ p9 ]
: v3 j2 Q& C; ?: t, j4 I) S. w
3 R8 V: g8 B. m* B | ' ]4 Q/ E- y! m! `) W& }2 t
1 w0 ~" h# s+ Q) L) @" v7 ^/ o4 c, o1 R3 v* t/ a
|