C51工具是怎么进行覆盖分析的

时间:2023-03-08 16:29:15

C51工具针对8051微控制器的有限存储器资源进行了优化设计。

为了最有效地利用存储器,根据一个很容易解释的方法,自动变量和函数参数在存储器中均进行覆盖处理。

首先,连接器根据源程序生成调用树。例如:

OVERLAY MAP OF MODULE:   SAMPLE (SAMPLE)

SEGMENT                          DATA_GROUP
  +--> CALLED SEGMENT          START    LENGTH
----------------------------------------------
?C_C51STARTUP                  -----    -----
  +--> ?PR?MAIN?SAMPLE

?PR?MAIN?SAMPLE                0009H    0001H
  +--> ?PR?GETCHAR?GETCHAR
  +--> ?PR?_TOUPPER?TOUPPER
  +--> ?PR?PUTCHAR?PUTCHAR

?PR?GETCHAR?GETCHAR            -----    -----
  +--> ?PR?_GETKEY?_GETKEY
  +--> ?PR?PUTCHAR?PUTCHAR

在上例中,我们可以看到?C_C51STARTUP调用了MAIN函数,MAIN函数调用了GETCHAR、TOUPPER和PUTCHAR函数,而GETCHAR调用了GETKEY和PUTCHAR。

通过构造调用树,连接器便可分析出哪些函数的哪些数据段是相斥的,而后覆盖利用它们。

例如,假设MAIN C函数调用调用函数A、函数B和函数C。函数A使用了10字节的自动变量,函数B使用了20字节的自动变量,而函数C使用了16字节的自动变量。若函数A、B和C之间没有相互调用,则它们所使用的存储器可以进行覆盖利用。因此,相对于总的46字节(A使用10+B使用20+C使用16)数据存储器开销来说,经过覆盖利用,最终仅消耗20字节的数据存储器空间。

覆盖利用的存储器空间被称为DATA_GROUP、BIT_GROUP和XDATA_GROUP。