49. MDK的编译过程及文件类型全解

本章参考资料:MDK的帮助手册《ARM Development Tools》,点击MDK界面的“help->uVision Help”菜单可打开该文件。关于ELF文件格式,参考配套资料里的《ELF文件格式》文件。

在本章中讲解了非常多的文件类型,学习时请跟着教程的节奏,打开实际工程中的文件来了解。

相信您已经非常熟练地使用MDK创建应用程序了,平时使用MDK编写源代码,然后编译生成机器码,再把机器码下载到STM32芯片上运行,但是这个编译、下载的过程MDK究竟做了什么工作?它编译后生成的各种文件又有什么作用?本章节将对这些过程进行讲解,了解编译及下载过程有助于理解芯片的工作原理,这些知识对制作IAP(bootloader)以及读写控制器内部FLASH的应用时非常重要。

49.1. 编译过程

49.1.1. 编译过程简介

首先我们简单了解下MDK的编译过程,它与其它编译器的工作过程是类似的,该过程见图 49‑1。

图49_1 MDK编译过程

图49_1 MDK编译过程

编译过程生成的不同文件将在后面的小节详细说明,此处先抓住主要流程来理解。

  1. 编译,MDK软件使用的编译器是armcc和armasm,它们根据每个c/c++和汇编源文件编译成对应的以“.o”为后缀名的对象文件(Object Code,也称目标文件),其内容主要是从源文件编译得到的机器码,包含了代码、数据以及调试使用的信息;

  2. 链接,链接器armlink把各个.o文件及库文件链接成一个映像文件“.axf”或“.elf”;

  3. 格式转换,一般来说Windows或Linux系统使用链接器直接生成可执行映像文件elf后,内核根据该文件的信息加载后,就可以运行程序了, 但在单片机平台上,需要把该文件的内容加载到芯片上,所以还需要对链接器生成的elf映像文件利用格式转换器fromelf转换成“.bin”或“.hex”文件,交给下载器下载到芯片的FLASH或ROM中。

49.1.2. 具体工程中的编译过程

下面我们打开 “多彩流水灯”的工程,以它为例进行讲解,其它工程的编译过程也是一样的,只是文件有差异。打开工程后,点击MDK的“rebuild”按钮,它会重新构建整个工程,构建的过程会在MDK下方的“Build Output”窗口输出提示信息,见 图49_2

图49_2 编译工程时的编译提示

图 49‑2 编译工程时的编译提示

构建工程的提示输出主要分6个部分,说明如下:

  1. 提示信息的第一部分说明构建过程调用的编译器。图中的编译器名字是“V5.06(build 20)”,后面附带了该编译器所在的文件夹。在电脑上打开该路径,可看到该编译器包含 图49_3 中的各个编译工具, 如armar、armasm、armcc、armlink及fromelf,后面四个工具已在 图49_1 中已讲解,而armar是用于把.o文件打包成lib文件的。

图49_3 编译工具

图 49‑3 编译工具

  1. 使用armasm编译汇编文件。图中列出了编译startup启动文件时的提示,编译后每个汇编源文件都对应有一个独立的.o文件。

  2. 使用armcc编译c/c++文件。图中列出了工程中所有的c/c++文件的提示,同样地,编译后每个c/c++源文件都对应有一个独立的.o文件。

  3. 使用armlink链接对象文件,根据程序的调用把各个.o文件的内容链接起来, 最后生成程序的axf映像文件,并附带程序各个域大小的说明,包括Code、RO-data、RW-data及ZI-data的大小。

  4. 使用fromelf生成下载格式文件,它根据axf映像文件转化成hex文件,并列出编译过程出现的错误(Error)和警告(Warning)数量。

  5. 最后一段提示给出了整个构建过程消耗的时间。

构建完成后,可在工程的“Output”及“Listing”目录下找到由以上过程生成的各种文件,见 图49_4

编译后Output及Listing文件夹中的内容

图 49‑4 编译后Output及Listing文件夹中的内容

可以看到,每个C源文件都对应生成了.o、.d及.crf后缀的文件,还有一些额外的.dep、.hex、.axf、.htm、.lnp、.sct、.lst及.map文件。

49.2. 程序的组成、存储与运行

49.2.1. CODE、RO、RW、ZI Data域及堆栈空间

在工程的编译提示输出信息中有一个语句“Program Size:Code=xx RO-data=xx RW-data=xx ZI-data=xx”,它说明了程序各个域的大小,编译后,应用程序中所有具有同一性质的数据(包括代码)被归到一个域,程序在存储或运行的时候,不同的域会呈现不同的状态,这些域的意义如下:

  • Code:即代码域,它指的是编译器生成的机器指令,这些内容被存储到ROM区。

  • RO-data:Read Only data,即只读数据域,它指程序中用到的只读数据,这些数据被存储在ROM区,因而程序不能修改其内容。例如C语言中const关键字定义的变量就是典型的RO-data。

  • RW-data:Read Write data,即可读写数据域,它指初始化为“非0值”的可读写数据,程序刚运行时,这些数据具有非0的初始值,且运行的时候它们会常驻在RAM区,因而应用程序可以修改其内容。例如C语言中使用定义的全局变量,且定义时赋予“非0值”给该变量进行初始化。

  • ZI-data:Zero Initialie data,即0初始化数据,它指初始化为“0值”的可读写数据域,它与RW-data的区别是程序刚运行时这些数据初始值全都为0,而后续运行过程与RW-data的性质一样,它们也常驻在RAM区,因而应用程序可以更改其内容。例如C语言中使用定义的全局变量,且定义时赋予“0值”给该变量进行初始化(若定义该变量时没有赋予初始值,编译器会把它当ZI-data来对待,初始化为0);

  • ZI-data的栈空间(Stack)及堆空间(Heap):在C语言中,函数内部定义的局部变量属于栈空间,进入函数的时候从向栈空间申请内存给局部变量, 退出时释放局部变量,归还内存空间。而使用malloc动态分配的变量属于堆空间。在程序中的栈空间和堆空间都是属于ZI-data区域的, 这些空间都会被初始值化为0值。编译器给出的ZI-data占用的空间值中包含了堆栈的大小(经实际测试,若程序中完全没有使用malloc动态申请堆空间,编译器会优化,不把堆空间计算在内)。

    综上所述,以程序的组成构件为例,它们所属的区域类别见表 49‑1。

    表 49‑1 程序组件所属的区域

程序组件

所属类别

机器代码指令

Code

常量

RO-data

初值非0的全局变量

RW-data

初值为0的全局变量

ZI-data

局部变量

ZI-data栈空间

使用malloc动态分配的空间

ZI-data堆空间

49.2.2. 程序的存储与运行

RW-data和ZI-data它们仅仅是初始值不一样而已,为什么编译器非要把它们区分开?这就涉及到程序的存储状态了,应用程序具有静止状态和运行状态。 静止态的程序被存储在非易失存储器中,如STM32的内部FLASH,因而系统掉电后也能正常保存。但是当程序在运行状态的时候,程序常常需要修改一些暂存数据, 由于运行速度的要求,这些数据往往存放在内存中(RAM),掉电后这些数据会丢失。因此,程序在静止与运行的时候它在存储器中的表现是不一样的,见 图49_5

图 49‑5 应用程序的加载视图与执行视图

图 49‑5 应用程序的加载视图与执行视图

图中的左侧是应用程序的存储状态,右侧是运行状态,而上方是RAM存储器区域,下方是ROM存储器区域。

程序在存储状态时,RO节(RO section)及RW节都被保存在ROM区。当程序开始运行时,内核直接从ROM中读取代码,并且在执行主体代码前,会先执行一段加载代码,它把RW节数据从ROM复制到RAM, 并且在RAM加入ZI节,ZI节的数据都被初始化为0。加载完后RAM区准备完毕,正式开始执行主体程序。

编译生成的RW-data的数据属于图中的RW节,ZI-data的数据属于图中的ZI节。是否需要掉电保存,这就是把RW-data与ZI-data区别开来的原因,因为在RAM创建数据的时候,默认值为0,但如果有的数据要求初值非0,那就需要使用ROM记录该初始值,运行时再复制到RAM。

STM32的RO区域不需要加载到SRAM,内核直接从FLASH读取指令运行。计算机系统的应用程序运行过程很类似,不过计算机系统的程序在存储状态时位于硬盘,执行的时候甚至会把上述的RO区域(代码、只读数据)加载到内存,加快运行速度,还有虚拟内存管理单元(MMU)辅助加载数据,使得可以运行比物理内存还大的应用程序。而STM32没有MMU,所以无法支持Linux和Windows系统。

当程序存储到STM32芯片的内部FLASH时(即ROM区),它占用的空间是Code、RO-data及RW-data的总和,所以如果这些内容比STM32芯片的FLASH空间大,程序就无法被正常保存了。当程序在执行的时候,需要占用内部SRAM空间(即RAM区),占用的空间包括RW-data和ZI-data。应用程序在各个状态时各区域的组成见表 49‑2。

表 49‑2 程序状态区域的组成

程序状态与区域

组成

程序执行时的只读区域(RO)

Code + RO data

程序执行时的可读写区域(RW)

RW data + ZI data

程序存储时占用的ROM区

Code + RO data + RW data

在MDK中,我们建立的工程一般会选择芯片型号,选择后就有确定的FLASH及SRAM大小,若代码超出了芯片的存储器的极限,编译器会提示错误,这时就需要裁剪程序了,裁剪时可针对超出的区域来优化。

49.3. 编译工具链

在前面编译过程中,MDK调用了各种编译工具,平时我们直接配置MDK,不需要学习如何使用它们,但了解它们是非常有好处的。例如,若希望使用MDK编译生成bin文件的,需要在MDK中输入指令控制fromelf工具;在本章后面讲解AXF及O文件的时候,需要利用fromelf工具查看其文件信息,这都是无法直接通过MDK做到的。关于这些工具链的说明,在MDK的帮助手册《ARM Development Tools》都有详细讲解,点击MDK界面的“help->uVision Help”菜单可打开该文件。

49.3.1. 设置环境变量

调用这些编译工具,需要用到Windows的“命令行提示符工具”,为了让命令行方便地找到这些工具,我们先把工具链的目录添加到系统的环境变量中。查看本机工具链所在的具体目录可根据上一小节讲解的工程编译提示输出信息中找到,如本机的路径为“D:\work\keil5\ARM\ARMCC\bin”。

49.3.1.1. 添加路径到PATH环境变量

本文以Win7系统为例添加工具链的路径到PATH环境变量,其它系统是类似的。

  1. 右键电脑系统的“计算机图标”,在弹出的菜单中选择“属性”,见 图49_6

图 49‑6 计算机属性页面

图 49‑6 计算机属性页面

  1. 在弹出的属性页面依次点击“高级系统设置”->“环境变量”,在用户变量一栏中找到名为“PATH”的变量,若没有该变量,则新建一个。 编辑“PATH”变量,在它的变量值中输入工具链的路径,如本机的是“;D:\work\keil5\ARM\ARMCC\bin”, 注意要使用“分号;”让它与其它路径分隔开,输入完毕后依次点确定,见 图49_7

图 49‑7 添加工具链路径到PATH变量

图 49‑7 添加工具链路径到PATH变量

  1. 打开Windows的命令行,点击系统的“开始菜单”,在搜索框输入“cmd”,在搜索结果中点击“cmd.exe”即可打开命令行,见 图49_8

图 49‑8 打开命令行

图 49‑8 打开命令行

  1. 在弹出的命令行窗口中输入“fromelf”回车,若窗口打印出formelf的帮助说明,那么路径正常,就可以开始后面的工作了; 若提示“不是内部名外部命令,也不是可运行的程序…”信息,说明路径不对,请重新配置环境变量,并确认该工作目录下有编译工具链。

这个过程本质就是让命令行通过“PATH”路径找到“fromelf.exe”程序运行,默认运行“fromelf.exe”时它会输出自己的帮助信息,这就是工具链的调用过程,MDK本质上也是如此调用工具链的,只是它集成为GUI,相对于命令行对用户更友好,毕竟上述配置环境变量的过程已经让新手烦躁了。

49.3.3. armar、fromelf及用户指令

armar工具用于把工程打包成库文件,fromelf可根据axf文件生成hex、bin文件,hex和bin文件是大多数下载器支持的下载文件格式。

在MDK中,针对armar和fromelf工具的选项几乎没有,仅集成了生成HEX或Lib的选项,见 图49_15

图 49‑15 MDK中,控制fromelf生成hex及控制armar生成lib的配置

图 49‑15 MDK中,控制fromelf生成hex及控制armar生成lib的配置

例如如果我们想利用fromelf生成bin文件,可以在MDK的“Option for Target->User”页中添加调用fromelf的指令,见 图49_16

图 49‑16 在MDK中添加指令

图 49‑16 在MDK中添加指令

在User配置页面中,提供了三种类型的用户指令输入框,在不同组的框输入指令,可控制指令的执行时间,分别是编译前(Before Compile c/c++ file)、构建前(Before Build/Rebuild)及构建后(After Build/Rebuild)执行。这些指令并没有限制必须是arm的编译工具链,例如如果您自己编写了python脚本,也可以在这里输入用户指令执行该脚本。

图中的生成bin文件指令调用了fromelf工具,紧跟后面的是工具的选项及输出文件名、输入文件名。由于fromelf是根据axf文件生成bin的,而axf文件又是构建(build)工程后才生成,所以我们把该指令放到“After Build/Rebuild”一栏。

49.4. MDK工程的文件类型

除了上述编译过程生成的文件,MDK工程中还包含了各种各样的文件,下面我们统一介绍,MDK工程的常见文件类型见表 49‑3。

表 49‑3 MDK常见的文件类型(不分大小写)

后缀

说明

Project目录下的工程文件

*.uvguix

MDK5工程的窗口布局文件,在MDK4中*.UVGUI后缀的文件功 能相同

*.uvprojx

MDK5的工程文件,它使用了XML格式记录了工程结构,双击它可以打 开整个工程,在MDK4中*.UVPROJ后缀的文件功能相同

*.uvoptx

MDK5的工程配置选项,包含debugger、trace

configuration、breakpooints以及当前打开的 文件,在MDK4中*.UVOPT后缀的文件功能相同

*.ini

某些下载器的配置记录文件

源文件

*.c

C语言源文件

*.cpp

C++语言源文件

*.h

C/C++的头文件

*.s

汇编语言的源文件

*.inc

汇编语言的头文件(使用“$include”来包含)

Output目录下的文件

*.lib

库文件

*.dep

整个工程的依赖文件

*.d

描述了对应.o的依赖的文件

*.crf

交叉引用文件,包含了浏览信息(定义、引用及标识符)

*.o

可重定位的对象文件(目标文件)

*.bin

二进制格式的映像文件,是纯粹的FLASH映像,不含任何额外信息

*.hex

Intel Hex格式的映像文件,可理解为带存储地址描述格式的bin文件

*.elf

由GCC编译生成的文件,功能跟axf文件一样,该文件不可重定位

*.axf

由ARMCC编译生成的可执行对象文件,可用于调试,该文件不可重定位

*.sct

链接器控制文件(分散加载)

*.scr

链接器产生的分散加载文件

*.lnp

MDK生成的链接输入文件,用于调用链接器时的命令输入

*.htm

链接器生成的静态调用图文件

*.build_log.htm

构建工程的日志记录文件

Listing目录下的文件

*.lst

C及汇编编译器产生的列表文件

*.map

链接器生成的列表文件,包含存储器映像分布

其它

*.ini

仿真、下载器的脚本文件

这些文件主要分为MDK相关文件、源文件以及编译、链接器生成的文件。我们以“多彩流水灯”工程为例讲解各种文件的功能。

49.4.1. uvprojx、uvoptx、uvguix及ini工程文件

在工程的“Project”目录下主要是MDK工程相关的文件,见 图49_17

图 49‑17 Project目录下的uvprojx、uvoptx、uvguix及ini文件

图 49‑17 Project目录下的uvprojx、uvoptx、uvguix及ini文件

49.4.1.1. uvprojx文件

uvprojx文件就是我们平时双击打开的工程文件,它记录了整个工程的结构,如芯片类型、工程包含了哪些源文件等内容,见 图49_18

图 49‑18 工程包含的文件、芯片类型等内容

图 49‑18 工程包含的文件、芯片类型等内容

49.4.1.2. uvoptx文件

uvoptx文件记录了工程的配置选项,如下载器的类型、变量跟踪配置、断点位置以及当前已打开的文件等等,见 图49_19

图 49‑19 代码编辑器中已打开的文件

图 49‑19 代码编辑器中已打开的文件

49.4.1.3. uvguix文件

uvguix文件记录了MDK软件的GUI布局,如代码编辑区窗口的大小、编译输出提示窗口的位置等等。

图 49‑20 记录MDK工作环境中各个窗口的大小

图 49‑20 记录MDK工作环境中各个窗口的大小

uvprojx、uvoptx及uvguix都是使用XML格式记录的文件,若使用记事本打开可以看到XML代码,见 图49_21。而当使用MDK软件打开时,它根据这些文件的XML记录加载工程的各种参数,使得我们每次重新打开工程时,都能恢复上一次的工作环境。

图 49‑21 使用记事本打开uvprojx、uvoptx及uvguix文件可看到XML格式的记录

图 49‑21 使用记事本打开uvprojx、uvoptx及uvguix文件可看到XML格式的记录

这些工程参数都是当MDK正常退出时才会被写入保存,所以若MDK错误退出时(如使用Windows的任务管理器强制关闭),工程配置参数的最新更改是不会被记录的,重新打开工程时要再次配置。根据这几个文件的记录类型,可以知道uvprojx文件是最重要的,删掉它我们就无法再正常打开工程了,而uvoptx及uvguix文件并不是必须的,可以删除,重新使用MDK打开uvprojx工程文件后,会以默认参数重新创建uvoptx及uvguix文件。(所以当使用Git/SVN等代码管理的时候,往往只保留uvprojx文件)

49.4.2. 源文件

源文件是工程中我们最熟悉的内容了,它们就是我们编写的各种源代码,MDK支持c、cpp、h、s、inc类型的源代码文件,其中c、cpp分别是c/c++语言的源代码,h是它们的头文件,s是汇编文件,inc是汇编文件的头文件,可使用“$include”语法包含。编译器根据工程中的源文件最终生成机器码。

49.4.3. Output目录下生成的文件

点击MDK中的编译按钮,它会根据工程的配置及工程中的源文件输出各种对象和列表文件,在工程的“Options for Targe->Output->Select Folder for Objects”和“Options for Targe->Listing->Select Folder for Listings”选项配置它们的输出路径,见 图49_22图49_23

图 49‑22 设置Output输出路径

图 49‑22 设置Output输出路径

图 49‑23设置Listing输出路径

图 49‑23设置Listing输出路径

编译后Output和Listing目录下生成的文件见 图49_24

图 49‑24 编译后Output及Listing文件夹中的内容

图 49‑24 编译后Output及Listing文件夹中的内容

接下来我们讲解Output路径下的文件。

49.4.3.1. lib库文件

在某些场合下我们希望提供给第三方一个可用的代码库,但不希望对方看到源码,这个时候我们就可以把工程生成lib文件(Library file)提供给对方,在MDK中可配置“Options for Target->Create Library”选项把工程编译成库文件,见 图49_25

图 49‑25 生成库文件或可执行文件

图 49‑25 生成库文件或可执行文件

工程中生成可执行文件或库文件只能二选一,默认编译是生成可执行文件的,可执行文件即我们下载到芯片上直接运行的机器码。

得到生成的*.lib文件后,可把它像C文件一样添加到其它工程中,并在该工程调用lib提供的函数接口,除了不能看到*.lib文件的源码,在应用方面它跟C源文件没有区别。

49.4.3.2. dep、d依赖文件

*.dep和*.d文件(Dependency file)记录的是工程或其它文件的依赖,主要记录了引用的头文件路径,其中*.dep是整个工程的依赖,它以工程名命名,而*.d是单个源文件的依赖,它们以对应的源文件名命名。这些记录使用文本格式存储,我们可直接使用记事本打开,见 图49_26图49_27

图 49‑26 工程的dep文件内容

图 49‑26 工程的dep文件内容

图 49‑27 bsp_led.d文件的内容

图 49‑27 bsp_led.d文件的内容

49.4.3.3. crf交叉引用文件

*.crf是交叉引用文件(Cross-Reference file),它主要包含了浏览信息(browse information),即源代码中的宏定义、变量及函数的定义和声明的位置。

我们在代码编辑器中点击“Go To Definition Of ‘xxxx’”可实现浏览跳转,见 图49_28,跳转的时候,MDK就是通过*.crf文件查找出跳转位置的。

图 49‑28 浏览信息

图 49‑28 浏览信息

通过配置MDK中的“Option for Target->Output->Browse Information”选项可以设置编译时是否生成浏览信息,见 图49_29。 只有勾选该选项并编译后,才能实现上面的浏览跳转功能。

图 49‑29 在Options forTarget中设置是否生成浏览信息

图 49‑29 在Options forTarget中设置是否生成浏览信息

*.crf文件使用了特定的格式表示,直接用文本编辑器打开会看到大部分乱码,见 图49_30,我们不作深入研究。

图 49‑30 crf文件内容

图 49‑30 crf文件内容

49.4.3.4. o、axf及elf文件

*.o、.elf、.axf、.bin及.hex文件都存储了编译器根据源代码生成的机器码,根据应用场合的不同,它们又有所区别。

49.4.3.4.1. ELF文件说明

*.o、.elf、.axf以及前面提到的lib文件都是属于目标文件,它们都是使用ELF格式来存储的,关于ELF格式的详细内容请参考配套资料里的《ELF文件格式》文档了解,它讲解的是Linux下的ELF格式,与MDK使用的格式有小区别,但大致相同。在本教程中,仅讲解ELF文件的核心概念。

ELF是Executable and Linking Format的缩写,译为可执行链接格式,该格式用于记录目标文件的内容。在Linux及Windows系统下都有使用该格式的文件(或类似格式)用于记录应用程序的内容,告诉操作系统如何链接、加载及执行该应用程序。

目标文件主要有如下三种类型:

  1. 可重定位的文件(Relocatable File),包含基础代码和数据,但它的代码及数据都没有指定绝对地址,因此它适合于与其他目标文件链接来创建可执行文件或者共享目标文件。 这种文件一般由编译器根据源代码生成。

    例如MDK的armcc和armasm生成的*.o文件就是这一类,另外还有Linux的*.o 文件,Windows的 *.obj文件。

  2. 可执行文件(Executable File) ,它包含适合于执行的程序,它内部组织的代码数据都有固定的地址(或相对于基地址的偏移),系统可根据这些地址信息把程序加载到内存执行。这种文件一般由链接器根据可重定位文件链接而成,它主要是组织各个可重定位文件,给它们的代码及数据一一打上地址标号,固定其在程序内部的位置,链接后,程序内部各种代码及数据段不可再重定位(即不能再参与链接器的链接)。

    例如MDK的armlink生成的*.elf及*.axf文件,(使用gcc编译工具可生成*.elf文件,用armlink生成的是*.axf文件,.axf文件在.elf之外,增加了调试使用的信息,其余区别不大,后面我们仅讲解*.axf文件),另外还有Linux的/bin/bash文件,Windows的*.exe文件。

  3. 共享目标文件(Shared Object File), 它的定义比较难理解,我们直接举例,MDK生成的*.lib文件就属于共享目标文件,它可以继续参与链接,加入到可执行文件之中。另外,Linux的.so,如/lib/ glibc-2.5.so,Windows的DLL都属于这一类。

49.4.3.4.2. o文件与axf文件的关系

根据上面的分类,我们了解到,.axf文件是由多个.o文件链接而成的,而*.o文件由相应的源文件编译而成,一个源文件对应一个*.o文件。它们的关系见 图49_31

图 49‑31*.axf文件与*.o文件的关系

图 49‑31*.axf文件与*.o文件的关系

图中的中间代表的是armlink链接器,在它的右侧是输入链接器的*.o文件,左侧是它输出的*axf文件。

可以看到,由于都使用ELF文件格式,.o与.axf文件的结构是类似的,它们包含ELF文件头、程序头、节区(section)以及节区头部表。各个部分的功能说明如下:

  • ELF文件头用来描述整个文件的组织,例如数据的大小端格式,程序头、节区头在文件中的位置等。

  • 程序头告诉系统如何加载程序,例如程序主体存储在本文件的哪个位置,程序的大小,程序要加载到内存什么地址等等。 MDK的可重定位文件*.o不包含这部分内容,因为它还不是可执行文件,而armlink输出的*.axf文件就包含该内容了。

  • 节区是*.o文件的独立数据区域,它包含提供给链接视图使用的大量信息,如指令(Code)、数据(RO、RW、ZI-data)、 符号表(函数、变量名等)、重定位信息等,例如每个由C语言定义的函数在*.o文件中都会有一个独立的节区;

  • 存储在最后的节区头则包含了本文件节区的信息,如节区名称、大小等等。

总的来说,链接器把各个*.o文件的节区归类、排列,根据目标器件的情况编排地址生成输出,汇总到*.axf文件。例如,见 图49_32,“多彩流水灯”工程中在“bsp_led.c”文件中有一个LED_GPIO_Config函数,而它内部调用了“STM32f7xx_hal_gpio.c”的HAL_GPIO_Init函数,经过armcc编译后,LED_GPIO_Config及HAL_GPIO_Iint函数都成了指令代码,分别存储在bsp_led.o及STM32f7xx_hal_gpio.o文件中,这些指令在*.o文件都没有指定地址,仅包含了内容、大小以及调用的链接信息,而经过链接器后,链接器给它们都分配了特定的地址,并且把地址根据调用指向链接起来。

图 49‑32 具体的链接过程

图 49‑32 具体的链接过程

49.4.3.4.3. ELF文件头

接下来我们看看具体文件的内容,使用fromelf文件可以查看*.o、.axf及.lib文件的ELF信息。

使用命令行,切换到文件所在的目录,输入“fromelf –text –v bsp_led.o”命令,可控制输出bsp_led.o的详细信息,见 图49_33。 利用“-c、-z”等选项还可输出反汇编指令文件、代码及数据文件等信息,请亲手尝试一下。

图 49‑33 使用fromelf查看o文件信息

图 49‑33 使用fromelf查看o文件信息

为了便于阅读,我已使用fromelf指令生成了“多彩流水灯.axf”、“bsp_led”及“多彩流水灯.lib”的ELF信息,并已把这些信息保存在独立的文件中,在配套资料的“elf信息输出”文件夹下可查看,见表 49‑4。

表 49‑4 配套资料里使用fromelf生成的文件

fromelf选项

可查看的信息

生成到配套资料里相应的文件

-v

详细信息

bsp_led_o_elfInfo_v. txt/多彩流水灯_axf_elfInf o_v.txt

-a

数据的地址

bsp_led_o_elfInfo_a. txt/多彩流水灯_axf_elfInf o_a.txt

-c

反汇编代码

bsp_led_o_elfInfo_c. txt/多彩流水灯_axf_elfInf o_c.txt

-d

data section的内容

bsp_led_o_elfInfo_d. txt/多彩流水灯_axf_elfInf o_d.txt

-e

异常表

bsp_led_o_elfInfo_e. txt/多彩流水灯_axf_elfInf o_e.txt

-g

调试表

bsp_led_o_elfInfo_g. txt/多彩流水灯_axf_elfInf o_g.txt

-r

重定位信息

bsp_led_o_elfInfo_r. txt/多彩流水灯_axf_elfInf o_r.txt

-s

符号表

bsp_led_o_elfInfo_s. txt/多彩流水灯_axf_elfInf o_s.txt

-t

字符串表

bsp_led_o_elfInfo_t. txt/多彩流水灯_axf_elfInf o_t.txt

-y

动态段内容

bsp_led_o_elfInfo_y. txt/多彩流水灯_axf_elfInf o_y.txt

-z

代码及数据的大小信息

bsp_led_o_elfInfo_z. txt/多彩流水灯_axf_elfInf o_z.txt

直接打开“elf信息输出”目录下的bsp_led_o_elfInfo_v.txt文件,可看到 代码清单49_1 中的内容。

代码清单 49‑1 bsp_led.o文件的ELF文件头(可到“bsp_led_o_elfInfo_v.txt”文件查看)

========================================================================

** ELF Header Information

File Name:
.\bsp_led.o                                          //bsp_led.o文件

Machine class: ELFCLASS32 (32-bit)                  //32位机
   Data encoding: ELFDATA2LSB (Little endian)    //小端格式
   Header version: EV_CURRENT (Current version)
   Operating System ABI: none
   ABI Version: 0
   File Type: ET_REL (Relocatable object) (1)     //可重定位文件类型
   Machine: EM_ARM (ARM)

   Entry offset (in SHF_ENTRYSECT section): 0x00000000
   Flags: None (0x05000000)

   ARM ELF revision: 5 (ABI version 2)

   Built with
   Component: ARM Compiler 5.06 update 3 (build 300) Tool: armasm [4d35c6]
   Component: ARM Compiler 5.06 update 3 (build 300) Tool: armlink [4d35c9]

   Header size: 52 bytes (0x34)
   Program header entry size: 0 bytes (0x0)  //程序头大小
   Section header entry size: 40 bytes (0x28)

   Program header entries: 0
   Section header entries: 443

   Program header offset: 0 (0x00000000)   //程序头在文件中的位置(没有程序头)
   Section header offset: 979312 (0x000ef170)        //节区头在文件中的位置

   Section header string table index: 440

   =====================================================================

在上述代码中已加入了部分注释,解释了相应项的意义,值得一提的是在这个*.o文件中,它的ELF文件头中告诉我们它的程序头(Program header)大小为“0 bytes”,且程序头所在的文件位置偏移也为“0”,这说明它是没有程序头的。

49.4.3.4.4. 程序头

接下来打开“多彩流水灯_axf_elfInfo_v.txt”文件,查看工程的*.axf文件的详细信息,见 代码清单49_2

代码清单 49‑2 *.axf文件中的elf文件头及程序头(可到“多彩流水灯_axf_elfInfo_v.txt”文件查看)

========================================================================

** ELF Header Information

File Name:
多彩流水灯.axf                                    //多彩流水灯.axf 文件

Machine class: ELFCLASS32 (32-bit)           //32位机
   Data encoding: ELFDATA2LSB (Little endian)    //小端格式
   Header version: EV_CURRENT (Current version)
   Operating System ABI: none
   ABI Version: 0
   File Type: ET_EXEC (Executable) (2)       //可执行文件类型
   Machine: EM_ARM (ARM)

   Image Entry point: 0x080001f9
   Flags: EF_ARM_HASENTRY + 0x00000400 (0x05000402)

   ARM ELF revision: 5 (ABI version 2)

   Built with
   Component: ARM Compiler 5.06 update 3 (build 300) Tool: armasm [4d35c6]
   Component: ARM Compiler 5.06 update 3 (build 300) Tool: armlink [4d35c9]

   Header size: 52 bytes (0x34)
   Program header entry size: 32 bytes (0x20)
   Section header entry size: 40 bytes (0x28)

   Program header entries: 1
   Section header entries: 16
Program header offset: 444672 (0x0006c900)   //程序头在文件中的位置
Section header offset: 444704 (0x0006c920)  //节区头在文件中的位置

Section header string table index: 15

===================================================================

** Program header #0

Type          : PT_LOAD (1)  //表示这是可加载的内容
File Offset   : 52 (0x34)            //在文件中的偏移
Virtual Addr  : 0x08000000           //虚拟地址(此处等于物理地址)
Physical Addr : 0x08000000           //物理地址
Size in file  : 3404 bytes (0xd4c) //程序在文件中占据的大小
Size in memory: 4428 bytes (0x114c) //若程序加载到内存,占据的内存空间
Flags         : PF_X + PF_W + PF_R + PF_ARM_ENTRY (0x80000007)
Alignment     : 8                            //地址对齐

===============================================================

对比之下,可发现*.axf文件的ELF文件头对程序头的大小说明为非0值,且给出了它在文件的偏移地址,在输出信息之中,包含了程序头的详细信息。可看到,程序头的“Physical Addr”描述了本程序要加载到的内存地址“0x0800 0000”,正好是STM32内部FLASH的首地址;“size in file”描述了本程序占据的空间大小为“1456 bytes”,它正是程序烧录到FLASH中需要占据的空间。

49.4.3.4.5. 节区头

在ELF的原文件中,紧接着程序头的一般是节区的主体信息,在节区主体信息之后是描述节区主体信息的节区头,我们先来看看节区头中的信息了解概况。 通过对比*.o文件及*.axf文件的节区头部信息,可以清楚地看出这两种文件的区别,见 代码清单49_3

代码清单 49‑3 *.o文件的节区信息(“bsp_led_o_elfInfo_v.txt”文件)

====================================
** Section #4

Name        : i.LED_GPIO_Config       //节区名

//此节区包含程序定义的信息,其格式和含义都由程序来解释。
Type        : SHT_PROGBITS (0x00000001)

//此节区在进程执行过程中占用内存。 节区包含可执行的机器指令。
Flags       :SHF_ALLOC + SHF_EXECINSTR (0x00000006)
Addr        : 0x00000000                   //地址
File Offset : 68 (0x44)              //在文件中的偏移
Size        : 168 bytes (0xa8)             //大小
Link        : SHN_UNDEF
Info        : 0
Alignment   : 4                             //字节对齐
Entry Size  : 0
====================================

这个节区的名称为LED_GPIO_Config,它正好是我们在bsp_led.c文件中定义的函数名。

注意:编译时要勾选“Options for Target ->C/C++ -> One ELF Section per Function”中的选项,生成的*.o文件内部的代码区域才会与C文件中定义的函数名一致,否则它会把多个函数合成一个代码段,名字会不同。 见 图49_34

图 49‑34 勾选 One ELF Section per Function

图 49‑34 勾选 One ELF Section per Function

这个节区头描述的是该函数被编译后的节区信息,其中包含了节区的类型(指令类型)、节区应存储到的地址(0x00000000)、它主体信息在文件位置中的偏移(68)以及节区的大小(168 bytes)。

由于*.o文件是可重定位文件,所以它的地址并没有被分配,是0x00000000(假如文件中还有其它函数,该函数生成的节区中, 对应的地址描述也都是0)。当链接器链接时,根据这个节区头信息,在文件中找到它的主体内容,并根据它的类型,把它加入到主程序中, 并分配实际地址,链接后生成的*.axf文件,我们再来看看它的内容,见 代码清单49_4

代码清单 49‑4 *.axf文件的节区信息(“多彩流水灯_axf_elfInfo_v.txt”文件)

========================================================================
** Section #1

   Name        : ER_IROM1                  //节区名

   //此节区包含程序定义的信息,其格式和含义都由程序来解释。
   Type        : SHT_PROGBITS (0x00000001)

   //此节区在进程执行过程中占用内存。 节区包含可执行的机器指令
   Flags       : SHF_ALLOC + SHF_EXECINSTR (0x00000006)
   Addr        : 0x08000000                //地址
   File Offset : 52 (0x34)
   Size        : 1456 bytes (0x5b0)        //大小
   Link        : SHN_UNDEF
   Info        : 0
   Alignment   : 4
   Entry Size  : 0

====================================
** Section #2

   Name        : RW_IRAM1                 //节区名

   //包含将出现在程序的内存映像中的为初始
   //化数据。 根据定义, 当程序开始执行, 系统
   //将把这些数据初始化为 0。
   Type        : SHT_NOBITS (0x00000001)

   //此节区在进程执行过程中占用内存。 节区包含进程执行过程中将可写的数据。
   Flags       : SHF_ALLOC + SHF_WRITE (0x00000003)
   Addr        : 0x20020000            //地址
   File Offset : 3448 (0xd78)
   Size        : 8 bytes (0x8)    //大小
   Link        : SHN_UNDEF
   Info        : 0
   Alignment   : 4
   Entry Size  : 0
====================================

在*.axf文件中,主要包含了两个节区,一个名为ER_IROM1,一个名为RW_IRAM1,这些节区头信息中除了具有*.o文件中节区头描述的节区类型、文件位置偏移、大小之外,更重要的是它们都有具体的地址描述,其中 ER_IROM1的地址为0x08000000,而RW_IRAM1的地址为0x20020000,它们正好是内部FLASH及SRAM的首地址,对应节区的大小就是程序需要占用FLASH及SRAM空间的实际大小。

也就是说,经过链接器后,它生成的*.axf文件已经汇总了其它*.o文件的所有内容,生成的ER_IROM1节区内容可直接写入到STM32内部FLASH的具体位置。例如,前面*.o文件中的i.LED_GPIO_Config节区已经被加入到*.axf文件的ER_IROM1节区的某地址。

49.4.3.4.6. 节区主体及反汇编代码

使用fromelf的-c选项可以查看部分节区的主体信息,对于指令节区,可根据其内容查看相应的反汇编代码, 打开“bsp_led_o_elfInfo_c.txt”文件可查看这些信息,见 代码清单49_5

代码清单 49‑5 *.o文件的LED_GPIO_Config节区及反汇编代码(bsp_led_o_elfInfo_c.txt文件)

** Section #4 'i.LED_GPIO_Config' (SHT_PROGBITS) [SHF_ALLOC + SHF_EXECINSTR]
Size   : 168 bytes (alignment 4)
Address: 0x00000000

$t
i.LED_GPIO_Config
LED_GPIO_Config
//  地址         内容   (ASCII码)       内容对应的代码
//                        (无意义)

0x00000000: 4826   &H      LDR      r0,[pc,#152] ; [0x9c] = 0x40023830
      0x00000002:    b5f0        ..      PUSH     {r4-r7,lr}
      0x00000004:    6801        .h      LDR      r1,[r0,#0]
      0x00000006:    b087        ..      SUB      sp,sp,#0x1c
      0x00000008:    f0410180    A...    ORR      r1,r1,#0x80
      0x0000000c:    6001        .      STR      r1,[r0,#0]
      0x0000000e:    6801        .h      LDR      r1,[r0,#0]
      0x00000010:    f0010180    ....    AND      r1,r1,#0x80
      0x00000014:    9105        ..      STR      r1,[sp,#0x14]
      0x00000016:    6801        .h      LDR      r1,[r0,#0]
      0x00000018:    f0410180    A...    ORR      r1,r1,#0x80
      0x0000001c:    6001        .      STR      r1,[r0,#0]
      0x0000001e:    6801        .h      LDR      r1,[r0,#0]
      0x00000020:    f0010180    ....    AND      r1,r1,#0x80
      0x00000024:    9105        ..      STR      r1,[sp,#0x14]
      0x00000026:    6801        .h      LDR      r1,[r0,#0]
      0x00000028:    f0410180    A...    ORR      r1,r1,#0x80
      0x0000002c:    6001        .      STR      r1,[r0,#0]
      0x0000002e:    6801        .h      LDR      r1,[r0,#0]
      0x00000030:    f0010180    ....    AND      r1,r1,#0x80
      0x00000034:    9105        ..      STR      r1,[sp,#0x14]
      0x00000036:    6801        .h      LDR      r1,[r0,#0]
      0x00000038:    f041090    A...    ORR      r1,r1,#8
      0x0000003c:    6001        .      STR      r1,[r0,#0]
      0x0000003e:    6800        .h      LDR      r0,[r0,#0]
      0x00000040:    f44f6580    O..e    MOV      r5,#0x400
      0x00000044:   4f16    .O      LDR  r7,[pc,#88] ; [0xa0] = 0x40021c00
               0x00000046:    4669        iF      MOV      r1,sp
               0x00000048:    f0000008    ....    AND      r0,r0,#8
               0x0000004c:    9005        ..      STR      r0,[sp,#0x14]
               0x0000004e:    2001        .       MOVS     r0,#1
               0x00000050:    9002        ..      STR      r0,[sp,#8]
               0x00000052:    e9cd5000    ...P    STRD     r5,r0,[sp,#0]
               0x00000056:    2003        .       MOVS     r0,#3
               0x00000058:    9003        ..      STR      r0,[sp,#0xc]
               0x0000005a:    4638        8F      MOV      r0,r7
               0x0000005c:    f7fffffe    ....    BL       HAL_GPIO_Init
               0x00000060:    006c        l.      LSLS     r4,r5,#1
      /*....以下省略**/

可看到,由于这是*.o文件,它的节区地址还是没有分配的,基地址为0x00000000,接着在LED_GPIO_Config标号之后,列出了一个表,表中包含了地址偏移、相应地址中的内容以及根据内容反汇编得到的指令。细看汇编指令,还可看到它包含了跳转到HAL_GPIO_Init标号的语句,而且这个跳转语句原来的内容都是“f7fffffe”,这是因为还*.o文件中并没有HAL_GPIO_Init标号的具体地址索引,在*.axf文件中,这是不一样的。

接下来我们打开“多彩流水灯_axf_elfInfo_c.txt”文件,查看*.axf文件中,ER_IROM1节区中对应LED_GPIO_Config的内容,见 代码清单49_6

代码清单 49‑6 *.axf文件的LED_GPIO_Config反汇编代码(多彩流水灯_axf_elfInfo_c.txt文件)

i.LED_GPIO_Config
LED_GPIO_Config
0x08000a64:    4826        &H      LDR      r0,[pc,#152] ; [0x8000b00] = 0x40023830
      0x08000a66:    b5f0        ..      PUSH     {r4-r7,lr}
      0x08000a68:    6801        .h      LDR      r1,[r0,#0]
      0x08000a6a:    b087        ..      SUB      sp,sp,#0x1c
      0x08000a6c:    f0410180    A...    ORR      r1,r1,#0x80
      0x08000a70:    6001        .       STR      r1,[r0,#0]
      0x08000a72:    6801        .h      LDR      r1,[r0,#0]
      0x08000a74:    f0010180    ....    AND      r1,r1,#0x80
      0x08000a78:    9105        ..      STR      r1,[sp,#0x14]
      0x08000a7a:    6801        .h      LDR      r1,[r0,#0]
      0x08000a7c:    f0410180    A...    ORR      r1,r1,#0x80
      0x08000a80:    6001        .       STR      r1,[r0,#0]
      0x08000a82:    6801        .h      LDR      r1,[r0,#0]
      0x08000a84:    f0010180    ....    AND      r1,r1,#0x80
      0x08000a88:    9105        ..      STR      r1,[sp,#0x14]
      0x08000a8a:    6801        .h      LDR      r1,[r0,#0]
      0x08000a8c:    f0410180    A...    ORR      r1,r1,#0x80
      0x08000a90:    6001        .       STR      r1,[r0,#0]
      0x08000a92:    6801        .h      LDR      r1,[r0,#0]
      0x08000a94:    f0010180    ....    AND      r1,r1,#0x80
      0x08000a98:    9105        ..      STR      r1,[sp,#0x14]
      0x08000a9a:    6801        .h      LDR      r1,[r0,#0]
      0x08000a9c:    f041090    A...    ORR      r1,r1,#8
      0x08000aa0:    6001        .       STR      r1,[r0,#0]
      0x08000aa2:    6800        .h      LDR      r0,[r0,#0]
      0x08000aa4:    f44f6580    O..e    MOV      r5,#0x400
      0x08000aa8:    4f16        .O      LDR      r7,[pc,#88] ; [0x8000b04] = 0x40021c00
               0x08000aaa:    4669        iF      MOV      r1,sp
               0x08000aac:    f0000008    ....    AND      r0,r0,#8
               0x08000ab0:    9005        ..      STR      r0,[sp,#0x14]
               0x08000ab2:    2001        .       MOVS     r0,#1
               0x08000ab4:    9002        ..      STR      r0,[sp,#8]
               0x08000ab6:    e9cd5000    ...P    STRD     r5,r0,[sp,#0]
               0x08000aba:    2003        .       MOVS     r0,#3
               0x08000abc:    9003        ..      STR      r0,[sp,#0xc]
               0x08000abe:    4638        8F      MOV      r0,r7
               0x08000ac0:    f7fffbd6    ....    BL       HAL_GPIO_Init ; 0x8000270
               0x08000ac4:    006c        l.      LSLS     r4,r5,#1
      /*....以下省略**/

可看到,除了基地址以及跳转地址不同之外,LED_GPIO_Config中的内容跟*.o文件中的一样。另外,由于*.o是独立的文件,而*.axf是整个工程汇总的文件,所以在*.axf中包含了所有调用到*.o文件节区的内容。例如,在“bsp_led_o_elfInfo_c.txt”(bsp_led.o文件的反汇编信息)中不包含HAL_GPIO_Init的内容,而在“多彩流水灯_axf_elfInfo_c.txt” (多彩流水灯.axf文件的反汇编信息)中则可找到它们的具体信息,且它们也有具体的地址空间。

在*.axf文件中,跳转到HAL_GPIO_Init标号的这两个指令后都有注释,分别是“; 0x8000270”,这个标号所在的具体地址,而且这个跳转语句的跟*.o中的也有区别,内容为“f7fffbd6” (.o中的均为f7fffffe)。这就是链接器链接的含义,它把不同.o中的内容链接起来了。

49.4.3.4.7. 分散加载代码

学习至此,还有一个疑问,前面提到程序有存储态及运行态,它们之间应有一个转化过程,把存储在FLASH中的RW-data数据拷贝至SRAM。然而我们的工程中并没有编写这样的代码,在汇编文件中也查不到该过程,芯片是如何知道FLASH的哪些数据应拷贝到SRAM的哪些区域呢?

通过查看“多彩流水灯_axf_elfInfo_c.txt”的反汇编信息,了解到程序中具有一段名为“__scatterload”的分散加载代码,见 代码清单49_7,它是由armlink链接器自动生成的。

代码清单 49‑7 分散加载代码(多彩流水灯_axf_elfInfo_c.txt文件)

.text
__scatterload
__scatterload_rt2
0x08000230:    4c06        .L      LDR      r4,[pc,#24] ; [0x800024c] = 0x8000d24
0x08000232:    4d07        .M      LDR      r5,[pc,#28] ; [0x8000250] = 0x8000d44
0x08000234:    e006        ..      B       0x8000244 ; __scatterload + 20
0x08000236:    68e0        .h      LDR      r0,[r4,#0xc]
0x08000238:    f0400301    @...    ORR      r3,r0,#1
0x0800023c:    e8940007    ....    LDM      r4, {r0-r2}
0x08000240:    4798        .G      BLX      r3
0x08000242:    3410        .4      ADDS     r4,r4,#0x10
0x08000244:    42ac        .B      CMP      r4,r5
0x08000246:    d3f6        ..      BCC      0x8000236 ; __scatterload + 6
0x08000248:    f7ffffda    ....    BL       __main_after_scatterload ; 0x8000200
$d
0x0800024c:    08000d24    $...    DCD    134221092
0x08000250:    08000d44    D...    DCD    134221124

这段分散加载代码包含了拷贝过程(LDM复制指令),而LDM指令的操作数中包含了加载的源地址, 这些地址中包含了内部FLASH存储的RW-data数据。而 “__scatterload ”的代码会被“__main”函数调用,见 代码清单49_8, __main在启动文件中的“Reset_Handler”会被调用,因而,在主体程序执行前,已经完成了分散加载过程。

代码清单 49‑8 __main的反汇编代码(部分,多彩流水灯_axf_elfInfo_c.txt文件)

__main
_main_stk
0x080001f8:
f8dfd00c    ....    LDR      sp,__lit__00000000 ;
[0x8000208] = 0x20020408
            .ARM.Collect$$$$00000004
            _main_scatterload
            0x080001fc:
   f000f818    ....    BL       __scatterload ; 0x8000230

49.4.3.5. hex文件及bin文件

若编译过程无误,即可把工程生成前面对应的*.axf文件,而在MDK中使用下载器(DAP/JLINK/ULINK等)下载程序或仿真的时候,MDK调用的就是*.axf文件,它解释该文件,然后控制下载器把*.axf中的代码内容下载到STM32芯片对应的存储空间,然后复位后芯片就开始执行代码了。

然而,脱离了MDK或IAR等工具,下载器就无法直接使用*.axf文件下载代码了,它们一般仅支持hex和bin格式的代码数据文件。默认情况下MDK都不会生成hex及bin文件,需要配置工程选项或使用fromelf命令。

49.4.3.5.1. 生成hex文件

生成hex文件的配置比较简单,在“Options for Target->Output->Create Hex File”中勾选该选项,然后编译工程即可,见 图49_35

图 49‑35 生成hex文件的配置

图 49‑35 生成hex文件的配置

49.4.3.5.2. 生成bin文件

使用MDK生成bin文件需要使用fromelf命令,在MDK的“Options For Target->Users”中加入 图49_36 中的命令。

图 49‑36 使用fromelf指令生成bin文件

图 49‑36 使用fromelf指令生成bin文件

图中的指令内容为:

“fromelf –bin –output ..\..\Output\多彩流水灯.bin ..\..\Output\多彩流水灯.axf”

该指令是根据本机及工程的配置而写的,在不同的系统环境或不同的工程中,指令内容都不一样,我们需要理解它,才能为自己的工程定制指令,首先看看fromelf的帮助,见 图49_37

图 49‑37 fromelf的帮助

图 49‑37 fromelf的帮助

我们在MDK输入的指令格式是遵守fromelf帮助里的指令格式说明的,其格式为:

“fromelf [options] input_file”

其中optinos是指令选项,一个指令支持输入多个选项,每个选项之间使用空格隔开,我们的实例中使用“–bin”选项设置输出bin文件,使用“–output file”选项设置输出文件的名字为“....Output多彩流水灯.bin”,这个名字是一个相对路径格式,如果不了解如何使用“..”表示路径,可使用MDK命令输入框后面的文件夹图标打开文件浏览器选择文件,在命令的最后使用“....Output多彩流水灯.axf”作为命令的输入文件。具体的格式分解见 图49_38

图 49‑38 fromelf命令格式分解

图 49‑38 fromelf命令格式分解

fromelf需要根据工程的*.axf文件输入来转换得到bin文件,所以在命令的输入文件参数中要选择本工程对应的*.axf文件,在MDK命令输入栏中,我们把fromelf指令放置在“After Build/Rebuild”(工程构建完成后执行)一栏也是基于这个考虑,这样设置后,工程构建完成生成了最新的*.axf文件,MDK再执行fromelf指令,从而得到最新的bin文件。

设置完成生成hex的选项或添加了生成bin的用户指令后,点击工程的编译(build)按钮,重新编译工程,成功后可看到 图49_39 中的输出。打开相应的目录即可找到文件, 若找不到bin文件,请查看提示输出栏执行指令的信息,根据信息改正fromelf指令。

图 49‑39 fromelf生成hxe及bin文件的提示

图 49‑39 fromelf生成hxe及bin文件的提示

其中bin文件是纯二进制数据,无特殊格式,接下来我们了解一下hex文件格式。

49.4.3.5.3. hex文件格式

hex是Intel公司制定的一种使用ASCII文本记录机器码或常量数据的文件格式,这种文件常常用来记录将要存储到ROM中的数据,绝大多数下载器支持该格式。

一个hex文件由多条记录组成,而每条记录由五个部分组成,格式形如“:llaaaatt[dd…]cc”, 例如本“多彩流水灯”工程生成的hex文件前几条记录见 代码清单49_9

代码清单 49‑9 Hex文件实例(多彩流水灯.hex文件,可直接用记事本打开)

:020000040800F2
:10000000080402200D0200080F0B0008610A000816
:100010000D0B0008550200088D0B000800000000C1
:10002000000000000000000000000000330B00088A
:100030005702000800000000310B0008350B0008D3
:1000400027020008270200082702000827020008EC

记录的各个部分介绍如下:

  • :” :每条记录的开头都使用冒号来表示一条记录的开始;

  • ll :以16进制数表示这条记录的主体数据区的长度(即后面[dd…]的长度);

  • aaaa:表示这条记录中的内容应存放到FLASH中的起始地址;

  • tt:表示这条记录的类型,它包含中的各种类型;

    表 49‑5 tt值所代表的类型说明

tt的值

代表的类型

00

数据记录

01

本文件结束记录

02

扩展地址记录

04

扩展线性地址记录(表示后面的记录按个这地址递增)

05

表示一个线性地址记录的起始(只适用于ARM)

  • dd:表示一个字节的数据,一条记录中可以有多个字节数据,ll区表示了它有多少个字节的数据;

  • cc:表示本条记录的校验和,它是前面所有16进制数据 (除冒号外,两个为一组)的和对256取模运算的结果的补码。

例如,代码清单 49‑9中的第一条记录解释如下:

  1. 02:表示这条记录数据区的长度为2字节;

  2. 0000:表示这条记录要存储到的地址;

  3. 04:表示这是一条扩展线性地址记录;

  4. 0800:由于这是一条扩展线性地址记录,所以这部分表示地址的高16位,与前面的“0000”结合在一起,表示要扩展的线性地址为“0x0800 0000”,这正好是STM32内部FLASH的首地址;

  5. F2:表示校验和,它的值为(0x02+0x00+0x00+0x04+0x08+0x00)%256的值再取补码。

    再来看第二条记录:

  1. 10:表示这条记录数据区的长度为16字节;

  2. 0000:表示这条记录所在的地址,与前面的扩展记录结合,表示这条记录要存储的FLASH首地址为(0x0800 0000+0x0000);

  3. 00:表示这是一条数据记录,数据区的是地址;

  4. 080402200D0200080F0B0008610A0008:这是要按地址存储的数据;

  5. 16:校验和

为了更清楚地对比bin、hex及axf文件的差异,我们来查看这些文件内部记录的信息来进行对比。

49.4.3.5.4. hex、bin及axf文件的区别与联系

bin、hex及axf文件都包含了指令代码,但它们的信息丰富程度是不一样的。

  • bin文件是最直接的代码映像,它记录的内容就是要存储到FLASH的二进制数据(机器码本质上就是二进制数据),在FLASH中是什么形式它就是什么形式, 没有任何辅助信息,包括大小端格式也没有,因此下载器需要有针对芯片FLASH平台的辅助文件才能正常下载(一般下载器程序会有匹配的这些信息);

  • hex文件是一种使用十六进制符号表示的代码记录,记录了代码应该存储到FLASH的哪个地址,下载器可以根据这些信息辅助下载;

  • axf文件在前文已经解释,它不仅包含代码数据,还包含了工程的各种信息,因此它也是三个文件中最大的。

同一个工程生成的bin、hex及axf文件的大小见 图49_40

图 49‑40 同一个工程的bin、bex及axf文件大小

图 49‑40 同一个工程的bin、bex及axf文件大小

实际上,这个工程要烧写到FLASH的内容总大小为3404字节,然而在Windows中查看的bin文件却比它大( bin文件是FLASH的代码映像,大小应一致),这是因为Windows文件显示单位的原因,使用右键查看文件的属性,可以查看它实际记录内容的大小, 见 图49_41

图 49‑41 bin文件大小

图 49‑41 bin文件大小

接下来我们打开本工程的“多彩流水灯.bin”、“多彩流水灯.hex”及由“多彩流水灯.axf”使用fromelf工具输出的反汇编文件“多彩流水灯_axf_elfInfo_c.txt” 文件,清晰地对比它们的差异,见 图49_42。 如果您想要亲自阅读自己电脑上的bin文件,推荐使用sublime软件打开,它可以把二进制数以ASCII码呈现出来,便于阅读。

图 49‑42 同一个工程的bin、hex及axf文件对代码的记录

图 49‑42 同一个工程的bin、hex及axf文件对代码的记录

在“多彩流水灯_axf_elfInfo_c.txt”文件中不仅可以看到代码数据,还有具体的标号、地址以及反汇编得到的代码,虽然它不是*.axf文件的原始内容,但因为它是通过*.axf文件fromelf工具生成的,我们可认为*.axf文件本身记录了大量这些信息,它的内容非常丰富,熟悉汇编语言的人可轻松阅读。

在hex文件中包含了地址信息以及地址中的内容,而在bin文件中仅包含了内容,连存储的地址信息都没有。观察可知,bin、hex及axf文件中的数据内容都是相同的,它们存储的都是机器码。这就是它们三都之间的区别与联系。

由于文件中存储的都是机器码,见 图49_43,该图是我根据axf文件的HAL_GPIO_Init函数的机器码, 在bin及hex中找到的对应位置。所以经验丰富的人是有可能从bin或hex文件中恢复出汇编代码的,只是成本较高,但不是不可能。

图 49‑43 HAL_GPIO_Init函数的代码数据在三个文件中的表示

图 49‑43 HAL_GPIO_Init函数的代码数据在三个文件中的表示

如果芯片没有做任何加密措施,使用下载器可以直接从芯片读回它存储在FLASH中的数据,从而得到bin映像文件,根据芯片型号还原出部分代码即可进行修改,甚至不用修改代码,直接根据目标产品的硬件PCB,抄出一样的板子,再把bin映像下载芯片,直接山寨出目标产品,所以在实际的生产中,一定要注意做好加密措施。由于axf文件中含有大量的信息,且直接使用fromelf即可反汇编代码,所以更不要随便泄露axf文件。lib文件也能反使用fromelf文件反汇编代码,不过它不能还原出C代码,由于lib文件的主要目的是为了保护C源代码,也算是达到了它的要求。

49.4.3.6. htm静态调用图文件

在Output目录下,有一个以工程文件命名的后缀为*.bulid_log.htm及*.htm文件,如“多彩流水灯.bulid_log.htm”及“多彩流水灯.htm”,它们都可以使用浏览器打开。其中*.build_log.htm是工程的构建过程日志,而*.htm是链接器生成的静态调用图文件。

在静态调用图文件中包含了整个工程各种函数之间互相调用的关系图,而且它还给出了静态占用最深的栈空间数量以及它对应的调用关系链。

例如 图49_44 是“多彩流水灯.htm”文件顶部的说明。

图 49‑44“多彩流水灯.htm”中的静态占用最深的栈空间说明

图 49‑44“多彩流水灯.htm”中的静态占用最深的栈空间说明

该文件说明了本工程的静态栈空间最大占用160字节(Maximum Stack Usage:160bytes),这个占用最深的静态调用为“main->LED_GPIO_Config->HAL_GPIO_Init”。注意这里给出的空间只是静态的栈使用统计,链接器无法统计动态使用情况,例如链接器无法知道递归函数的递归深度。在本文件的后面还可查询到其它函数的调用情况及其它细节。

利用这些信息,我们可以大致了解工程中应该分配多少空间给栈,有空间余量的情况下,一般会设置比这个静态最深栈使用量大一倍,在STM32中可修改启动文件改变堆栈的大小;如果空间不足,可从该文件中了解到调用深度的信息,然后优化该代码。

注意

查看了各个工程的静态调用图文件统计后,我们发现本书提供的一些比较大规模的工程例子,静态栈调用最大深度都已超出STM32启动文件默认的栈空间大小0x00000400,即1024字节,但在当时的调试过程中却没有发现错误,因此我们也没有修改栈的默认大小(有一些工程调试时已发现问题,它们的栈空间就已经被我们改大了),虽然这些工程实际运行并没有错误,但这可能只是因为它使用的栈溢出RAM空间恰好没被程序其它部分修改而已。所以,建议您在实际的大型工程应用中(特别是使用了各种外部库时,如Lwip/emWin/Fatfs等),要查看本静态调用图文件,了解程序的栈使用情况,给程序分配合适的栈空间。

49.4.4. Listing目录下的文件

在Listing目录下包含了*.map及*.lst文件,它们都是文本格式的,可使用Windows的记事本软件打开。其中lst文件仅包含了一些汇编符号的链接信息,我们重点分析map文件。

49.4.4.1. map文件说明

map文件是由链接器生成的,它主要包含交叉链接信息,查看该文件可以了解工程中各种符号之间的引用以及整个工程的Code、RO-data、RW-data以及ZI-data的详细及汇总信息。它的内容中主要包含了“节区的跨文件引用”、“删除无用节区”、“符号映像表”、“存储器映像索引”以及“映像组件大小”,各部分介绍如下:

49.4.4.1.1. 节区的跨文件引用

打开“多彩流水灯.map”文件,可看到它的第一部分——节区的跨文件引用(Section Cross References),见 代码清单49_10

代码清单 49‑10 节区的跨文件引用(部分,多彩流水灯.map文件)

==========================================================================

Section Cross References

startup_stm32F767xx.o(RESET) refers to startup_stm32F767xx.o(STACK) for __initial_sp
startup_stm32F767xx.o(RESET) refers to startup_stm32F767xx.o(.text) for Reset_Handler
startup_stm32F767xx.o(RESET) refers to stm32f7xx_it.o(i.NMI_Handler) for NMI_Handler
/**...以下部分省略****/

main.o(i.main) refers to STM32f7xx_hal_rcc.o(i.HAL_RCC_OscConfig) for HAL_RCC_OscConfig
main.o(i.main) refers to STM32f7xx_hal_pwr_ex.o(i.HAL_PWREx_EnableOverDrive)
for HAL_PWREx_EnableOverDrive
main.o(i.main) refers to STM32f7xx_hal_rcc.o(i.HAL_RCC_ClockConfig)
for HAL_RCC_ClockConfig
main.o(i.main) refers to bsp_led.o(i.LED_GPIO_Config) for LED_GPIO_Config
main.o(i.main) refers to STM32f7xx_hal_gpio.o(i.HAL_GPIO_WritePin) for HAL_GPIO_WritePin
main.o(i.main) refers to STM32f7xx_hal.o(i.HAL_Delay) for HAL_Delay
stm32f7xx_it.o(i.SysTick_Handler) refers to STM32f7xx_hal.o(i.HAL_IncTick) for
HAL_IncTick
bsp_led.o(i.LED_GPIO_Config) refers to STM32f7xx_hal_gpio.o(i.HAL_GPIO_Init) for
HAL_GPIO_Init
bsp_led.o(i.LED_GPIO_Config) refers to STM32f7xx_hal_gpio.o(i.HAL_GPIO_WritePin)
for HAL_GPIO_WritePin
/**...以下部分省略****/

============================================================

在这部分中,详细列出了各个*.o文件之间的符号引用。由于*.o文件是由asm或c/c++源文件编译后生成的,各个文件及文件内的节区间互相独立,链接器根据它们之间的互相引用链接起来,链接的详细信息在这个“Section Cross References”一一列出。

例如,开头部分说明的是startup_STM32F767xx.o文件中的“RESET”节区分为它使用的“__initial_sp” 符号引用了同文件“STACK”节区。

也许我们对启动文件不熟悉,不清楚这究竟是什么,那我们继续浏览,可看到main.o文件的引用说明,如说明main.o文件的i.main节区为它使用的LED_GPIO_Config符号引用了bsp_led.o文件的i.LED_GPIO_Config节区。

同样地,下面还有bsp_led.o文件的引用说明,如说明了bsp_led.o文件的i.LED_GPIO_Config节区为它使用的GPIO_Init符号引用了STM32f7xx_hal_gpio.o文件的i.HAL_GPIO_Init节区。

可以了解到,这些跨文件引用的符号其实就是源文件中的函数名、变量名。有时在构建工程的时候,编译器会输出 “Undefined symbol xxx (referred from xxx.o)” 这样的提示,该提示的原因就是在链接过程中,某个文件无法在外部找到它引用的标号,因而产生链接错误。例如,见 图49_45,我们把bsp_led.c文件中定义的函数LED_GPIO_Config改名为LED_GPIO_ConfigABCD,而不修改main.c文件中的调用,就会出现main文件无法找到LED_GPIO_Config符号的提示。

图 49‑45 找不到符号的错误提示

图 49‑45 找不到符号的错误提示

49.4.4.1.2. 删除无用节区

map文件的第二部分是删除无用节区的说明(Removing Unused input sections from the image.),见 代码清单49_11

代码清单 49‑11 删除无用节区(部分,多彩流水灯.map文件)

=========================================================================
Removing Unused input sections from the image.
Removing startup_stm32f767xx.o(HEAP), (512 bytes).

Removing system_stm32f7xx.o(.rev16_text), (4 bytes).
Removing system_stm32f7xx.o(.revsh_text), (4 bytes).
Removing system_stm32f7xx.o(.rrx_text), (6 bytes).
Removing system_stm32f7xx.o(i.SystemCoreClockUpdate), (124 bytes).
Removing system_stm32f7xx.o(.constdata), (8 bytes).
/**...以下部分省略****/
Removing stm32f7xx_hal_rcc_ex.o(i.HAL_RCCEx_PeriphCLKConfig), (1740 bytes).
Removing main.o(.rev16_text), (4 bytes).
Removing main.o(.revsh_text), (4 bytes).
Removing main.o(.rrx_text), (6 bytes).
Removing stm32f7xx_it.o(.rev16_text), (4 bytes).
Removing stm32f7xx_it.o(.revsh_text), (4 bytes).
Removing stm32f7xx_it.o(.rrx_text), (6 bytes).
Removing bsp_led.o(.rev16_text), (4 bytes).
Removing bsp_led.o(.revsh_text), (4 bytes).
Removing bsp_led.o(.rrx_text), (6 bytes).
Removing bsp_led.o(i.LED_GPIO_ConfigABCD), (168 bytes).

124 unused section(s) (total 6970 bytes) removed from the image.

====================================================================

这部分列出了在链接过程它发现工程中未被引用的节区,这些未被引用的节区将会被删除(指不加入到*.axf文件,不是指在*.o文件删除),这样可以防止这些无用数据占用程序空间。

例如,上面的信息中说明startup_STM32F767xx.o中的HEAP(在启动文件中定义的用于动态分配的“堆”区)以及STM32f7xx_hal_rcc_ex.o的各个节区都被删除了,因为在我们这个工程中没有使用动态内存分配,也没有引用任何STM32f7xx_hal_rcc_ex.c中的内容。由此也可以知道,虽然我们把STM32 HAL库的各个外设对应的c库文件都添加到了工程,但不必担心这会使工程变得臃肿,因为未被引用的节区内容不会被加入到最终的机器码文件中。

49.4.4.1.3. 符号映像表

map文件的第三部分是符号映像表(Image Symbol Table),见 代码清单49_12

代码清单 49‑12 符号映像表(部分,多彩流水灯.map文件)

==============================================================================

Image Symbol Table

Local Symbols

Symbol Name                              Value     Ov Type        Size  Object(Section)

../clib/microlib/init/entry.s            0x00000000   Number         0  entry10b.o ABSOLUTE
../clib/microlib/init/entry.s            0x00000000   Number         0  entry10a.o ABSOLUTE
../clib/microlib/init/entry.s            0x00000000   Number         0  entry9b.o ABSOLUTE
/*...省略部分*/
LED_GPIO_Config                          0x08000a65   Thumb Code   156  bsp_led.o(i.LED_GPIO_Config)
MemManage_Handler        0x08000b0d   Thumb Code     2  stm32f7xx_it.o(i.MemManage_Handler)
NMI_Handler                              0x08000b0f   Thumb Code     2  stm32f7xx_it.o(i.NMI_Handler)
PendSV_Handler                           0x08000b31   Thumb Code     2  stm32f7xx_it.o(i.PendSV_Handler)
SVC_Handler                              0x08000b33   Thumb Code     2  stm32f7xx_it.o(i.SVC_Handler)
SysTick_Handler          0x08000b35   Thumb Code     4  stm32f7xx_it.o(i.SysTick_Handler)
SystemInit                               0x08000b39   Thumb Code    66  system_STM32f7xx.o(i.SystemInit)
UsageFault_Handler       0x08000b8d   Thumb Code     2  stm32f7xx_it.o(i.UsageFault_Handler)
__scatterload_copy                       0x08000b8f   Thumb Code    14  handlers.o(i.__scatterload_copy)
__scatterload_null                       0x08000b9d   Thumb Code     2  handlers.o(i.__scatterload_null)
__scatterload_zeroinit   0x08000b9f   Thumb Code    14  handlers.o(i.__scatterload_zeroinit)
main                                     0x08000bad   Thumb Code   352  main.o(i.main)
   /*...省略部分*/
==============================================================================

这个表列出了被引用的各个符号在存储器中的具体地址、占据的空间大小等信息。如我们可以查到LED_GPIO_Config符号存储在0x08000a65地址,它属于Thumb Code类型,大小为156字节,它所在的节区为bsp_led.o文件的i.LED_GPIO_Config节区。

49.4.4.1.4. 存储器映像索引

map文件的第四部分是存储器映像索引(Memory Map of the image),见 代码清单49_13

代码清单 49‑13 存储器映像索引(部分,多彩流水灯.map文件)

==============================================================================

Memory Map of the image

Image Entry point : 0x080001f9

Load Region LR_IROM1 (Base: 0x08000000, Size: 0x00000d4c, Max: 0x00100000, ABSOLUTE)

Execution Region ER_IROM1 (Base: 0x08000000, Size: 0x00000d44, Max: 0x00100000, ABSOLUTE)

Base Addr    Size         Type   Attr      Idx    E Section Name        Object

0x08000000   0x000001f8   Data   RO            3    RESET               startup_stm32F767xx.o
0x0800020c   0x00000024   Code   RO            4    .text               startup_stm32F767xx.o

0x08000258   0x00000016   Code   RO          286    i.HAL_Delay         STM32f7xx_hal.o
0x0800026e   0x00000002   PAD
0x08000270   0x000001dc   Code   RO          595    i.HAL_GPIO_Init     STM32f7xx_hal_gpio.o
0x0800044c   0x0000000a   Code   RO          599    i.HAL_GPIO_WritePin  STM32f7xx_hal_gpio.o
0x08000a64   0x000000a8   Code   RO         1117    i.LED_GPIO_Config   bsp_led.o

0x08000b34   0x00000004   Code   RO         1049    i.SysTick_Handler   stm32f7xx_it.o
0x08000b38   0x00000045   Code   RO           14    i.SystemInit        system_STM32f7xx.o
0x08000b8c   0x00000002   Code   RO         1050    i.UsageFault_Handler  stm32f7xx_it.o

0x08000bac   0x00000168   Code   RO         1012    i.main              main.o
0x08000d14   0x00000010   Data   RO           15    .constdata          system_STM32f7xx.o
0x08000d24   0x00000020   Data   RO         1157    Region$$Table       anon$$obj.o


Execution Region RW_IRAM1 (Base: 0x20020000, Size: 0x00000408, Max: 0x00060000, ABSOLUTE)

Base Addr    Size         Type   Attr      Idx    E Section Name        Object

0x20020000   0x00000004   Data   RW           17    .data               system_STM32f7xx.o
0x20020004   0x00000004   Data   RW          304    .data               STM32f7xx_hal.o
0x20020008   0x00000400   Zero   RW            1    STACK               startup_stm32F767xx.o


==============================================================================

本工程的存储器映像索引分为ER_IROM1及RW_IRAM1部分,它们分别对应STM32内部FLASH及SRAM的空间。相对于符号映像表,这个索引表描述的单位是节区,而且它描述的主要信息中包含了节区的类型及属性,由此可以区分Code、RO-data、RW-data及ZI-data。

例如,从上面的表中我们可以看到i.HAL_GPIO_Init节区存储在内部FLASH的0x08000270地址,大小为0x000001dc,类型为Code,属性为RO。而程序的STACK节区(栈空间)存储在SRAM的0x20020000地址,大小为0x00000408,类型为Zero,属性为RW(即RW-data)。

49.4.4.1.5. 映像组件大小

map文件的最后一部分是包含映像组件大小的信息(Image component sizes),这也是最常查询的内容,见 代码清单49_14

代码清单 49‑14 映像组件大小(部分,多彩流水灯.map文件)

==============================================================================

Image component sizes


Code (inc. data)   RO Data    RW Data    ZI Data      Debug   Object Name

168         12          0          0          0       1242   bsp_led.o
360          8          0          0          0       1387   main.o
36          8        504          0       1024       1036   startup_stm32F767xx.o
90         18          0          4          0       3884   STM32f7xx_hal.o
136          4          0          0          0      34491   STM32f7xx_hal_cortex.o
486         45          0          0          0       2992   STM32f7xx_hal_gpio.o
90         10          0          0          0       1524   STM32f7xx_hal_pwr_ex.o
1264         36          0          0          0       4534   STM32f7xx_hal_rcc.o
20          0          0          0          0       5086   stm32f7xx_it.o
84         18         16          4          0     362035   system_STM32f7xx.o


Code (inc. data)   RO Data    RW Data    ZI Data      Debug

2844        184        552          8       1024     416483   Grand Totals
2844        184        552          8       1024     416483   ELF Image Totals
2844        184        552          8          0          0   ROM Totals

==============================================================================

Total RO  Size (Code + RO Data)                 3396 (   3.32kB)
Total RW  Size (RW Data + ZI Data)              1032 (   1.01kB)
Total ROM Size (Code + RO Data + RW Data)       3404 (   3.32kB)

==============================================================================

这部分包含了各个使用到的*.o文件的空间汇总信息、整个工程的空间汇总信息以及占用不同类型存储器的空间汇总信息,它们分类描述了具体占据的Code、RO-data、RW-data及ZI-data的大小,并根据这些大小统计出占据的ROM总空间。

我们仅分析最后两部分信息,如Grand Totals一项,它表示整个代码占据的所有空间信息,其中Code类型的数据大小为2844字节,这部分包含了184字节的指令数据(inc .data)已算在内,另外RO-data占552字节,RW-data占8字节,ZI-data占1024字节。在它的下面两行有一项ROM Totals信息,它列出了各个段所占据的ROM空间,除了ZI-data不占ROM空间外,其余项都与Grand Totals中相等(RW-data也占据ROM空间,只是本工程中没有RW-data类型的数据而已)。

最后一部分列出了只读数据(RO)、可读写数据(RW)及占据的ROM大小。其中只读数据大小为3396字节,它包含Code段及RO-data段; 可读写数据大小为1024字节,它包含RW-data及ZI-data段;占据的ROM大小为3396字节,它除了Code段和RO-data段,还包含了运行时需要从ROM加载到RAM的RW-data数据。

综合整个map文件的信息,可以分析出,当程序下载到STM32的内部FLASH时,需要使用的内部FLASH是从0x0800 0000地址开始的大小为3396字节的空间;当程序运行时,需要使用的内部SRAM是从0x20020000地址开始的大小为1024字节的空间。

粗略一看,发现这个小程序竟然需要1024字节的SRAM,实在说不过去,但仔细分析map文件后,可了解到这1024字节都是STACK节区的空间(即栈空间),栈空间大小是在启动文件中定义的,这1024字节是默认值(0x00000400)。它是提供给C语言程序局部变量申请使用的空间,若我们确认自己的应用程序不需要这么大的栈,完全可以修改启动文件,把它改小一点,查看前面讲解的htm静态调用图文件可了解静态的栈调用情况,可以用它作为参考。

49.4.5. sct分散加载文件的格式与应用

49.4.5.1. sct分散加载文件简介

当工程按默认配置构建时,MDK会根据我们选择的芯片型号,获知芯片的内部FLASH及内部SRAM存储器概况,生成一个以工程名命名的后缀为*.sct的分散加载文件(Linker Control File,scatter loading),链接器根据该文件的配置分配各个节区地址,生成分散加载代码,因此我们通过修改该文件可以定制具体节区的存储位置。

例如可以设置源文件中定义的所有变量自动按地址分配到外部SDRAM,这样就不需要再使用关键字“__attribute__”按具体地址来指定了;利用它还可以控制代码的加载区与执行区的位置,例如可以把程序代码存储到单位容量价格便宜的NAND-FLASH中,但在NAND-FLASH中的代码是不能像内部FLASH的代码那样直接提供给内核运行的,这时可通过修改分散加载文件,把代码加载区设定为NAND-FLASH的程序位置,而程序的执行区设定为SDRAM中的位置,这样链接器就会生成一个配套的分散加载代码,该代码会把NAND-FLASH中的代码加载到SDRAM中,内核再从SDRAM中运行主体代码,大部分运行Linux系统的代码都是这样加载的。

49.4.5.2. 分散加载文件的格式

下面先来看看MDK默认使用的sct文件,在Output目录下可找到“多彩流水灯.sct”,该文件记录的内容见 代码清单49_15

代码清单 49‑15 默认的分散加载文件内容(“多彩流水灯.sct”)

; *************************************************************
; *** Scatter-Loading Description File generated by uVision ***
; *************************************************************

LR_IROM1 0x08000000 0x00100000  {   ; 注释:加载域,基地址 空间大小
ER_IROM1 0x08000000 0x00100000  { ; 注释:加载地址 = 执行地址
   *.o (RESET, +First)
   *(InRoot$$Sections)
   .ANY (+RO)
}
RW_IRAM1 0x20020000 0x00060000  {  ; 注释:可读写数据
   .ANY (+RW +ZI)
}
}

在默认的sct文件配置中仅分配了Code、RO-data、RW-data及ZI-data这些大区域的地址,链接时各个节区(函数、变量等)直接根据属性排列到具体的地址空间。

sct文件中主要包含描述加载域及执行域的部分,一个文件中可包含有多个加载域,而一个加载域可由多个部分的执行域组成。 同等级的域之间使用花括号“{}”分隔开,最外层的是加载域,第二层“{}”内的是执行域,其整体结构见 图49_46

图 49‑46 分散加载文件的整体结构

图 49‑46 分散加载文件的整体结构

49.4.5.2.1. 加载域

sct文件的加载域格式见 代码清单49_16

代码清单 49‑16 加载域格式

//方括号中的为选填内容
加载域名 (基地址 | ("+" 地址偏移)) [属性列表] [最大容量]
"{"
   执行区域描述+
"}"

配合前面代码清单 49‑15中的分散加载文件内容,各部分介绍如下:

  • 加载域名:名称,在map文件中的描述会使用该名称来标识空间。如本例中只有一个加载域,该域名为LR_IROM1。

  • 基地址+地址偏移:这部分说明了本加载域的基地址,可以使用+号连接一个地址偏移,算进基地址中,整个加载域以它们的结果为基地址。 如本例中的加载域基地址为0x08000000,刚好是STM32内部FLASH的基地址。

  • 属性列表:属性列表说明了加载域的是否为绝对地址、N字节对齐等属性,该配置是可选的。本例中没有描述加载域的属性。

  • 最大容量:最大容量说明了这个加载域可使用的最大空间,该配置也是可选的,如果加上这个配置后,当链接器发现工程要分配到该区域的空间比容量还大, 它会在工程构建过程给出提示。本例中的加载域最大容量为0x00100000,即1MB,正是本型号STM32内部FLASH的空间大小。

49.4.5.2.2. 执行域

sct文件的执行域格式见 代码清单49_17

代码清单 49‑17 执行域格式

//方括号中的为选填内容
执行域名 (基地址 | "+" 地址偏移) [属性列表] [最大容量 ]
"{"
   输入节区描述
"}"

执行域的格式与加载域是类似的,区别只是输入节区的描述有所不同,在 代码清单49_15 的例子中包含了ER_IROM1及RW_IRAM两个执行域, 它们分别对应描述了STM32的内部FLASH及内部SRAM的基地址及空间大小。而它们内部的“输入节区描述”说明了哪些节区要存储到这些空间,链接器会根据它来处理编排这些节区。

49.4.5.2.3. 输入节区描述

配合加载域及执行域的配置,在相应的域配置“输入节区描述”即可控制该节区存储到域中,其格式见 代码清单49_18

代码清单 49‑18 输入节区描述的几种格式

//除模块选择样式部分外,其余部分都可选选填
模块选择样式"("输入节区样式",""+"输入节区属性")"
模块选择样式"("输入节区样式",""+"节区特性")"

模块选择样式"("输入符号样式",""+"节区特性")"
模块选择样式"("输入符号样式",""+"输入节区属性")"

配合前面代码清单 49‑15中的分散加载文件内容,各部分介绍如下:

  • 模块选择样式:模块选择样式可用于选择o及lib目标文件作为输入节区,它可以直接使用目标文件名或“*”通配符, 也可以使用“.ANY”。例如,使用语句“bsp_led.o”可以选择bsp_led.o文件,使用语句“.o”可以选择所有o文件,使用“.lib”可以选择所有lib文件, 使用“*”或“.ANY”可以选择所有的o文件及lib文件。其中“.ANY”选择语句的优先级是最低的,所有其它选择语句选择完剩下的数据才会被“.ANY”语句选中。

  • 输入节区样式:我们知道在目标文件中会包含多个节区或符号,通过输入节区样式可以选择要控制的节区。

    示例文件中“(RESET,+First)”语句的RESET就是输入节区样式,它选择了名为RESET的节区,并使用后面介绍的节区特性控制字“+First”表示它要存储到本区域的第一个地址。示例文件中的“(InRoot$$Sections)”是一个链接器支持的特殊选择符号,它可以选择所有HAL库里要求存储到root区域的节区,如__main.o、__scatter.o等内容。

  • 输入符号样式:同样地,使用输入符号样式可以选择要控制的符号,符号样式需要使用“:gdef:”来修饰。 例如可以使用“*(:gdef:Value_Test)”来控制选择符号“Value_Test”。

  • 输入节区属性:通过在模块选择样式后面加入输入节区属性,可以选择样式中不同的内容, 每个节区属性描述符前要写一个“+”号,使用空格或“,”号分隔开,可以使用的节区属性描述符见表 49‑6。

表 49‑6 属性描述符及其意义

节区属性描述符

说明

RO-CODE及CODE

只读代码段

RO-DATA及CONST

只读数据段

RO及TEXT

包括RO-CODE及RO-DATA

RW-DATA

可读写数据段

RW-CODE

可读写代码段

RW及DATA

包括RW-DATA及RW-CODE

ZI及BSS

初始化为0的可读写数据段

XO

只可执行的区域

ENTRY

节区的入口点

例如,示例文件中使用“.ANY(+RO)”选择剩余所有节区RO属性的内容都分配到执行域ER_IROM1中,使用“.ANY(+RW +ZI)”选择剩余所有节区RW及ZI属性的内容都分配到执行域RW_IRAM1中。

  • 节区特性:节区特性可以使用“+FIRST”或“+LAST”选项配置它要存储到的位置,FIRST存储到区域的头部, LAST存储到尾部。通常重要的节区会放在头部,而CheckSum(校验和)之类的数据会放在尾部。

    例如示例文件中使用“(RESET,+First)”选择了RESET节区,并要求把它放置到本区域第一个位置,而RESET是工程启动代码中定义的向量表,见 代码清单49_19,该向量表中定义的堆栈顶和复位向量指针必须要存储在内部FLASH的前两个地址,这样STM32才能正常启动,所以必须使用FIRST控制它们存储到首地址。

代码清单 49‑19 startup_STM32F767xx.s文件中定义的RESET区(部分)

; Vector Table Mapped to Address 0 at Reset
               AREA    RESET, DATA, READONLY
               EXPORT  __Vectors
               EXPORT  __Vectors_End
               EXPORT  __Vectors_Size

__Vectors     DCD     __initial_sp               ; Top of Stack
               DCD     Reset_Handler              ; Reset Handler
               DCD     NMI_Handler                ; NMI Handler

总的来说,我们的sct示例文件配置如下:程序的加载域为内部FLASH的0x08000000,最大空间为0x00100000;程序的执行基地址与加载基地址相同,其中RESET节区定义的向量表要存储在内部FLASH的首地址,且所有o文件及lib文件的RO属性内容都存储在内部FLASH中;程序执行时RW及ZI区域都存储在以0x20020000为基地址,大小为0x00060000的空间(384KB)。

链接器根据sct文件链接,链接后各个节区、符号的具体地址信息可以在map文件中查看。

49.4.5.3. 通过MDK配置选项来修改sct文件

了解sct文件的格式后,可以手动编辑该文件控制整个工程的分散加载配置,但sct文件格式比较复杂,所以MDK提供了相应的配置选项可以方便地修改该文件,这些选项配置能满足基本的使用需求,本小节将对这些选项进行说明。

49.4.5.3.1. 选择sct文件的产生方式

首先需要选择sct文件产生的方式,选择使用MDK生成还是使用用户自定义的sct文件。在MDK的“Options for Target->Linker->Use Memory Layout from Target Dialog”选项即可配置该选择,见 图49_47

图 49‑47 选择使用MDK生成的sct文件

图 49‑47 选择使用MDK生成的sct文件

该选项的译文为“是否使用Target对话框中的存储器分布配置”,勾选后,它会根据“Options for Target”对话框中的选项生成sct文件,这种情况下,即使我们手动打开它生成的sct文件编辑也是无效的,因为每次构建工程的时候,MDK都会生成新的sct文件覆盖旧文件。该选项在MDK中是默认勾选的,若希望MDK使用我们手动编辑的sct文件构建工程,需要取消勾选,并通过Scatter File框中指定sct文件的路径,见 图49_48

图 49‑48 使用指定的sct文件构建工程

图 49‑48 使用指定的sct文件构建工程

49.4.5.3.2. 通过Target对话框控制存储器分配

若我们在Linker中勾选了“使用Target对话框的存储器布局”选项,那么“Options for Target”对话框中的存储器配置就生效了。主要配置是在Device标签页中选择芯片的类型,设定芯片基本的内部存储器信息以及在Target标签页中细化具体的存储器配置(包括外部存储器),见 图49_49图49_50

图 49‑49 选择芯片类型

图 49‑49 选择芯片类型

图中Device标签页中选定了芯片的型号为STM32F767IGTx,选中后,在Target标签页中的存储器信息会根据芯片更新。

图 49‑50 Target对话框中的存储器分配

图 49‑50 Target对话框中的存储器分配

在Target标签页中存储器信息分成只读存储器(Read/Only Memory Areas)和可读写存储器(Read/Write Memory Areas)两类,即ROM和RAM,而且它们又细分成了片外存储器(off-chip)和片内存储器(on-chip)两类。

例如,由于我们已经选定了芯片的型号,MDK会自动根据芯片型号填充片内的ROM及RAM信息,其中的IROM1起始地址为0x80000000,大小为0x100000,正是该STM32型号的内部FLASH地址及大小;而IRAM1起始地址为0x20020000,大小为0x60000,而STM32F767内部SRAM1的大小实际为0x7C000(368KB)。图中的IROM1及IRAM1前面都打上了勾,表示这个配置信息会被采用,若取消勾选,则该存储配置信息是不会被使用的。

在标签页中的IRAM2一栏默认也填写了配置信息,它的地址为0x20000000,大小为0x20000,这是STM32F767系列特有的内部128KB高速SRAM(被称为DTCM)。当我们希望使用这部分存储空间的时候需要勾选该配置,另外要注意这部分高速SRAM仅支持CPU总线的访问,不能通过外设访问。

下面我们尝试修改Target标签页中的这些存储信息,例如,按照 图49_51 中的1配置,把IRAM1的基地址改为0x20021000,然后编译工程,查看到工程的sct文件如 代码清单49_20 所示;当按照 图49_51 中的2配置时,同时使用IRAM1和IRAM2,然后编译工程,可查看到工程的sct文件如 代码清单49_21 所示。

图 49‑51 修改IRAM1的基地址及仅使用IRAM2的配置

图 49‑51 修改IRAM1的基地址及仅使用IRAM2的配置

代码清单 49‑20 修改了IRAM1基地址后的sct文件内容

LR_IROM1 0x08000000 0x00100000  {    ; load region size_region
ER_IROM1 0x08000000 0x00100000  {  ; load address = execution address
   *.o (RESET, +First)
   *(InRoot$$Sections)
   .ANY (+RO)
}
RW_IRAM1 0x20021000 0x00060000  {  ; RW data
   .ANY (+RW +ZI)
}
}

代码清单 49‑21 仅使用IRAM2时的sct文件内容

LR_IROM1 0x08000000 0x00100000  {    ; load region size_region
   ER_IROM1 0x08000000 0x00100000  {  ; load address = execution address
   *.o (RESET, +First)
   *(InRoot$$Sections)
   .ANY (+RO)
   }
   RW_IRAM1 0x20020000 0x00060000  {  ; RW data
   .ANY (+RW +ZI)
   }
   RW_IRAM2 0x20000000 0x00020000  {
   .ANY (+RW +ZI)
   }
}

可以发现,sct文件都根据Target标签页做出了相应的改变,除了这种修改外,在Target标签页上还控制同时使用IRAM1和IRAM2、加入外部RAM(如外接的SDRAM),外部FLASH等。

49.4.5.3.3. 控制文件分配到指定的存储空间

设定好存储器的信息后,可以控制各个源文件定制到哪个部分存储器,在MDK的工程文件栏中,选中要配置的文件,右键,并在弹出的菜单中选择“Options for File xxxx”即可弹出一个文件配置对话框,在该对话框中进行存储器定制,见 图49_52

图 49‑52 使用右键打开文件配置并把它的RW区配置成使用IRAM2

图 49‑52 使用右键打开文件配置并把它的RW区配置成使用IRAM2

在弹出的对话框中有一个“Memory Assignment”区域(存储器分配),在该区域中可以针对文件的各种属性内容进行分配,如Code/Const内容(RO)、Zero Initialized Data内容(ZI-data)以及Other Data内容(RW-data),点击下拉菜单可以找到在前面Target页面配置的IROM1、IRAM1、IRAM2等存储器。例如图中我们把这个bsp_led.c文件的Other Data属性的内容分配到了IRAM2存储器(在Target标签页中我们勾选了IRAM1及IRAM2),当在bsp_led.c文件定义了一些RW-data内容时(如初值非0的全局变量),该变量将会被分配到IRAM2空间,配置完成后点击OK,然后编译工程,查看到的sct文件内容见 代码清单49_22

代码清单 49‑22 修改bsp_led.c配置后的sct文件

LR_IROM1 0x08000000 0x00100000  {    ; load region size_region
ER_IROM1 0x08000000 0x00100000  {  ; load address = execution address
   *.o (RESET, +First)
   *(InRoot$$Sections)
   .ANY (+RO)
   }
RW_IRAM1 0x20020000 0x00060000  {  ; RW data
   .ANY (+RW +ZI)
   }
RW_IRAM2 0x20000000 0x00020000  {
   bsp_led.o (+RW)
   .ANY (+RW +ZI)
   }
}

可以看到在sct文件中的RW_IRAM2执行域中增加了一个选择bsp_led.o中RW内容的语句。

类似地,我们还可以设置某些文件的代码段被存储到特定的ROM中,或者设置某些文件使用的ZI-data或RW-data存储到外部SDRAM中(控制ZI-data到SDRAM时注意还需要修改启动文件设置堆栈对应的地址,原启动文件中的地址是指向内部SRAM的)。

虽然MDK的这些存储器配置选项很方便,但有很多高级的配置还是需要手动编写sct文件实现的,例如MDK选项中的内部ROM选项最多只可以填充两个选项位置,若想把内部ROM分成多片地址管理就无法实现了;另外MDK配置可控的最小粒度为文件,若想控制特定的节区也需要直接编辑sct文件。

接下来我们将讲解几个实验,通过编写sct文件定制存储空间。

49.5. 实验:自动分配变量到外部SDRAM空间

由于内存管理对应用程序非常重要,若修改sct文件,不使用默认配置,对工程影响非常大,容易导致出错,所以我们使用两个实验配置来讲解sct文件的应用细节,希望您学习后不仅知其然而且知其所以然,清楚地了解修改后对应用程序的影响,还可以举一反三根据自己的需求进行存储器定制。

在本书前面的SDRAM实验中,当我们需要读写SDRAM存储的内容时,需要使用指针或者__attribute__((at(具体地址)))来指定变量的位置,当有多个这样的变量时,就需要手动计算地址空间了,非常麻烦。在本实验中我们将修改sct文件,让链接器自动分配全局变量到SDRAM的地址并进行管理,使得利用SDRAM的空间就跟内部SRAM一样简单。

49.5.1. 硬件设计

本小节中使用到的硬件跟“扩展外部SDRAM”实验中的一致,若不了解,请参考该章节的原理图说明。

49.5.2. 软件设计

本小节中提供的例程名为“SCT文件应用—自动分配变量到SDRAM”,学习时请打开该工程来理解,该工程是基于“扩展外部SDRAM”实验改写而来的。

为方便讲解,本实验直接使用手动编写的sct文件,所以在MDK的“Options for Target->Linker->Use Memory Layout from Target Dialog”选项被取消勾选,取消勾选后可直接点击“Edit”按钮编辑工程的sct文件,也可到工程目录下打开编辑,见 图49_53

图 49‑53 使用手动编写的sct文件

图 49‑53 使用手动编写的sct文件

取消了这个勾选后,在MDK的Target对话框及文件配置的存储器分布选项都会失效,仅以sct文件中的为准,更改对话框及文件配置选项都不会影响sct文件的内容。

49.5.2.1. 编程要点

  1. 修改启动文件,在__main执行之前初始化SDRAM;

  2. 在sct文件中增加外部SDRAM空间对应的执行域;

  3. 使用节区选择语句选择要分配到SDRAM的内容;

  4. 编写测试程序,编译正常后,查看map文件的空间分配情况。

49.5.2.2. 代码分析

49.5.2.2.1. 在__main之前初始化SDRAM

在前面讲解ELF文件格式的小节中我们了解到,芯片启动后,会通过__main函数调用分散加载代码__scatterload,分散加载代码会把存储在FLASH中的RW-data复制到RAM中,然后在RAM区开辟一块ZI-data的空间,并将其初始化为0值。因此,为了保证在程序中定义到SDRAM中的变量能被正常初始化,我们需要在系统执行分散加载代码之前使SDRAM存储器正常运转,使它能够正常保存数据。

在本来的“扩展外部SDRAM”工程中,我们使用SDRAM_Init函数初始化SDRAM,且该函数在main函数里才被调用,所以在SDRAM正常运转之前,分散加载过程复制到SDRAM中的数据都丢失了,因而需要在初始化SDRAM之后,需要重新给变量赋值才能正常使用(即定义变量时的初值无效,在调用SDRAM_Init函数之后的赋值才有效)。

为了解决这个问题,可修改工程的startup_stm32f767xx.s文件,见

../../_images/import.png

还需要修改SDRAM初始化函数为使用配置寄存器的方式进行初始化,见 代码清单49_23

代码清单 49 23 修改SDRAM_Init函数(bsp_sdram.c文件)

/**
* @brief  初始化配置使用SDRAM的FMC及GPIO接口,
*         本函数在SDRAM读写操作前需要被调用
* @param  None
* @retval None
*/
void SDRAM_Init(void)
{
   //使能HSE
   RCC->CR |= RCC_CR_HSEON;
   while (!(RCC->CR&(1<<17))) {
      ;
   }
   //使能PLL
   RCC->CR |= RCC_CR_PLLON;
   while (!(RCC->CR&(1<<25))) {
      ;
   }
   //选择HSE作为PLL时钟源
   RCC->PLLCFGR |= (1 << 22);
   //设置分频系数 PLLCLK = HSE/M*N/P = 25M / 25 *432 / 2 = 216M
   RCC->PLLCFGR |= (25 << 0);//PLLM
   RCC->PLLCFGR |= (432 << 6);//PLLN
   RCC->PLLCFGR |= (2 << 16);//PLLP
   RCC->PLLCFGR |= (9 << 24);//PLLQ
   /* 激活 OverDrive 模式以达到216M频率  */
   HAL_PWREx_EnableOverDrive();

   /* 配置FMC接口相关的 GPIO*/
   SDRAM_GPIO_Config();
   /* 使能 FMC 时钟 */
   __HAL_RCC_FMC_CLK_ENABLE();

   /** Perform the SDRAM1 memory initialization sequence
   */
   FMC_Bank5_6->SDCR[FMC_SDRAM_BANK1] = 0x000039D0;
   FMC_Bank5_6->SDCR[FMC_SDRAM_BANK2] = 0x000001D8;

   FMC_Bank5_6->SDTR[FMC_SDRAM_BANK1] = 0x0F1F7FFF;
   FMC_Bank5_6->SDTR[FMC_SDRAM_BANK2] = 0x01010471;

   /* FMC SDRAM device initialization sequence */
   SDRAM_InitSequence();
}

在原来的文件中我们增加了上述初始化SDRAM的代码,实现在执行__main函数前先调用了我们自定义的SDRAM_Init函数,从而为分散加载代码准备好正常的硬件工作环境。

49.5.2.2.2. sct文件初步应用

接下来修改sct文件,控制使得在C源文件中定义的全局变量都自动由链接器分配到外部SDRAM中,见 代码清单49_24

代码清单 49‑24 配置sct文件(SDRAM.sct文件)

; *************************************************************
; *** Scatter-Loading Description File generated by uVision ***
; *************************************************************

LR_IROM1 0x08000000 0x00100000  {    ; 加载域
ER_IROM1 0x08000000 0x00100000  {  ; 加载地址 = 执行地址
   *.o (RESET, +First)
   *(InRoot$$Sections)
   .ANY (+RO)
}

RW_IRAM1 0x20020000 0x00060000  {  ; 内部SRAM
*.o(STACK)       ;选择STACK节区,栈

.ANY (+RW +ZI)                  ;其余的RW/ZI-data都分配到这里
}

RW_ERAM1 0xD0000000 0x02000000 {  ; 外部SDRAM

   .ANY (+RW +ZI)                   ;其余的RW/ZI-data都分配到这里
}
}

加粗部分是本例子中增加的代码,我们从后面开始,先分析比较简单的SDRAM执行域部分。

  • RW_ERAM1 0xD0000000 0x02000000{}

    RW_ERAM1是我们配置的SDRAM执行域。该执行域的名字是可以随便取的,最重要的是它的基地址及空间大小,这两个值与我们实验板配置的SDRAM基地址及空间大小一致,所以该执行域会被映射到SDRAM的空间。在RW_ERAM1执行域内部,它使用“.ANY(+RW +ZI)”语句,选择了所有的RW/ZI类型的数据都分配到这个SDRAM区域,所以我们在工程中的C文件定义全局变量时,它都会被分配到这个SDRAM区域。

  • RW_IRAM1执行域

    RW_IRAM1是STM32内部SRAM的执行域。我们在默认配置中增加了“*.o(STACK)语句。本来上面配置SDRAM执行域后已经达到使全局变量分配的目的,为何还要修改原内部SRAM的执行域呢?

    这是由于我们在__main之前调用的SystemInit函数和SystemInit_ExtMemCtl函数内部定义了一些局部变量,而函数内的局部变量是需要分配到“栈”空间(STACK),见 图49_54,查看静态调用图文件“SDRAM.htm”可了解它使用了多少栈空间以及调用了哪些函数。

图 49‑54 SystemInit和SystemInit_ExtMemCtl的调用说明(SDRAM.htm文件)

图 49‑54 SystemInit和SystemInit_ExtMemCtl的调用说明(SDRAM.htm文件)

从文件中可了解到SystemInit和SystemInit_ExtMemCtl的STACK的大小都为4字节。由于它使用了栈空间,所以在SystemInit_ExtMemCtl函数执行之前,栈空间必须要被准备好,然而在SystemInit_ExtMemCtl函数执行之前,SDRAM芯片却并未正常工作,这样的矛盾导致栈空间不能被分配到SDRAM。

虽然内部SRAM的执行域RW_IRAM1及SDRAM执行域RW_ERAM1中都使用“.ANY(+RW +ZI)”语句选择了所有RW及ZI属性的内容,但对于符合两个相同选择语句的内容,链接器会优先选择使用空间较大的执行域,即这种情况下只有当SDRAM执行域的空间使用完了,RW/ZI属性的内容才会被分配到内部SRAM。

所以在大部分情况下,内部SRAM执行域中的“.ANY(+RW +ZI)”语句是不起作用的(),而栈节区(STACK)又属于ZI-data类,如果我们的内部SRAM执行域还是按原来的默认配置的话,栈节区会被分配到外部SDRAM,导致出错。为了避免这个问题,我们把栈节区使用“*.o(STACK)”语句分配到内部SRAM的执行域。

49.5.2.2.3. 变量分配测试及结果

接下来查看本工程中的main文件,它定义了各种变量测试空间分配,见 代码清单49_25

代码清单 49‑25 main文件

//定义变量到SDRAM
uint32_t testValue  =7 ;
//定义变量到SDRAM
uint32_t testValue2  =0;

//定义数组到SDRAM
uint8_t testGrup[100]  ={0};
//定义数组到SDRAM
uint8_t testGrup2[100] ={1,2,3};

/**
   * @brief  主函数
   * @param  无
   * @retval 无
   */
int main(void)
{
   uint32_t inerTestValue =10;
/* 系统时钟初始化成216 MHz */
   SystemClock_Config();

   /* LED 端口初始化 */
   LED_GPIO_Config();

   /* 初始化串口 */
   DEBUG_USART_Config();

   printf("\r\nSCT文件应用——自动分配变量到SDRAM实验\r\n");

   printf("\r\n使用“ uint32_t inerTestValue =10; ”语句定义的局部变量:\r\n");
   printf("结果:它的地址为:0x%x,变量值为:%d\r\n",(uint32_t)&inerTestValue,inerTestValue);

   printf("\r\n使用“uint32_t testValue  =7 ;”语句定义的全局变量:\r\n");
   printf("结果:它的地址为:0x%x,变量值为:%d\r\n",(uint32_t)&testValue,testValue);

   printf("\r\n使用“uint32_t testValue2  =0 ; ”语句定义的全局变量:\r\n");
   printf("结果:它的地址为:0x%x,变量值为:%d\r\n",(uint32_t)&testValue2,testValue2);

   printf("\r\n使用“uint8_t testGrup[100]  ={0};”语句定义的全局数组:\r\n");
   printf("结果:它的地址为:0x%x,变量值为:%d,%d,%d\r\n",(uint32_t)&testGrup,testGrup[0],testGrup[1],testGrup[2]);

   printf("\r\n使用“uint8_t testGrup2[100] ={1,2,3};”语句定义的全局数组:\r\n");
   printf("结果:它的地址为:0x%x,变量值为:%d,%d,%d\r\n",(uint32_t)&testGrup2,testGrup2[0],testGrup2[1],testGrup2[2]);

   uint32_t * pointer = (uint32_t*)malloc(sizeof(uint32_t)*3);
   if(pointer != NULL)
   {
   *(pointer)=1;
   *(++pointer)=2;
   *(++pointer)=3;

   printf("\r\n使用“ uint32_t *pointer = (uint32_t*)malloc(sizeof(uint32_t)*3); ”动态分配的变量\r\n");
   printf("\r\n定义后的操作为:\r\n*(pointer++)=1;\r\n*(pointer++)=2;\r\n*pointer=3;");
   printf("结果:操作后它的地址为:0x%x,查看变量值操作:\r\n",(uint32_t)pointer);
   printf("*(pointer--)=%d, \r\n",*(pointer--));
   printf("*(pointer--)=%d, \r\n",*(pointer--));
   printf("*(pointer)=%d, \r\n",*(pointer));
   }
   else
   {
   printf("\r\n使用malloc动态分配变量出错!!!\r\n");
   }
   /*蓝灯亮*/
   LED_BLUE;
   while(1);
}

代码中定义了局部变量、初值非0的全局变量及数组、初值为0的全局变量及数组以及动态分配内存,并把它们的值和地址通过串口打印到上位机,通过这些变量,我们可以测试栈、ZI/RW-data及堆区的变量是否能正常分配。构建工程后,首先查看工程的map文件观察变量的分配情况,见 图49_55图49_56

图 49‑55在map文件中查看工程的存储分布1(SDRAM.map文件)

图 49‑55在map文件中查看工程的存储分布1(SDRAM.map文件)

图 49‑56 在map文件中查看工程的存储分布2(SDRAM.map文件)

图 49‑56 在map文件中查看工程的存储分布2(SDRAM.map文件)

从map文件中,可看到startup_stm32F767xx.s的RW-data及栈空间节区(STACK)都被分配到了RW_IRAM1区域,即STM32的内部SRAM空间中;而main文件中定义的RW-data、ZI-data以及堆空间节区(HEAP)都被分配到了RW_ERAM1区域,即我们扩展的SDRAM空间中,看起来一切都与我们的sct文件配置一致了。(堆空间属于ZI-data,由于没有像控制栈节区那样指定到内部SRAM,所以它被默认分配到SDRAM空间了;在main文件中我们定义了一个初值为0的全局变量testValue2及初值为0的数组testGrup[100],它们本应占用的是104字节的ZI-data空间,但在map文件中却查看到它仅使用了100字节的RW-data空间,这是因为链接器把testValue2分配为RW-data类型的变量了,这是链接器本身的特性,它对像testGrup[100]这样的数组才优化作为ZI-data分配,这不是我们sct文件导致的空间分配错误。)

接下来把程序下载到实验板进行测试,串口打印的调试信息如 图49_57

图 49‑57 空间分配实验实测结果

图 49‑57 空间分配实验实测结果

49.6. 实验:优先使用内部SRAM并把堆区分配到SDRAM空间

本实验使用另一种方案配置sct文件,使得默认情况下优先使用内部SRAM空间,在需要的时候使用一个关键字指定变量存储到外部SDRAM,另外,我们还把系统默认的堆空间(HEAP)映射到外部SDRAM,从而可以使用C语言HAL库的malloc函数动态从SDRAM中分配空间,利用HAL库进行SDRAM的空间内存管理。

49.6.1. 硬件设计

本小节中使用到的硬件跟“扩展外部SDRAM”实验中的一致,若不了解,请参考该章节的原理图说明。

49.6.2. 软件设计

本小节中提供的例程名为“SCT文件应用—优先使用内部SRAM并把堆分配到SDRAM空间”,学习时请打开该工程来理解,该工程从上一小节的实验改写而来的,同样地,本工程只使用手动编辑的sct文件配置,不使用MDK选项配置,在“Options for Target->linker”的选项见 图49_58

图 49‑58 使用手动编写的sct文件

图 49‑58 使用手动编写的sct文件

取消了这个默认的“Use Memory Layout from Target Dialog”勾选后,在MDK的Target对话框及文件配置的存储器分布选项都会失效,仅以sct文件中的为准,更改对话框及文件配置选项都不会影响sct文件的内容。

49.6.2.1. 编程要点

  1. 修改启动文件,在__main执行之前初始化SDRAM;

  2. 在sct文件中增加外部SDRAM空间对应的执行域;

  3. 在SDRAM中的执行域中选择一个自定义节区“EXRAM”;

  4. 使用__attribute__关键字指定变量分配到节区“EXRAM”;

  5. 使用宏封装__attribute__关键字,简化变量定义;

  6. 根据需要,把堆区分配到内部SRAM或外部SDRAM中;

  7. 编写测试程序,编译正常后,查看map文件的空间分配情况。

49.6.2.2. 代码分析

49.6.2.2.1. 在__main之前初始化SDRAM

同样地,为了使定义到外部SDRAM的变量能被正常初始化,需要修改工程system_STM32F7xx.c文件中的SystemInit函数, 在__main函数之前调用SystemInit_ExtMemCtl函数使SDRAM硬件正常运转,见 代码清单49_23

49.6.2.2.2. sct文件配置

接下来分析本实验中的sct文件配置与上一小节有什么差异,见 代码清单49_26

代码清单 49‑26 本实验的sct文件内容(SDRAM.sct)

; *************************************************************
; *** Scatter-Loading Description File generated by uVision ***
; *************************************************************
LR_IROM1 0x08000000 0x00100000  {    ; load region size_region
ER_IROM1 0x08000000 0x00100000  {  ; load address = execution address
   *.o (RESET, +First)
   *(InRoot$$Sections)
   .ANY (+RO)
}

RW_IRAM1 0x20000000 0x00030000  {  ; 内部SRAM
.ANY (+RW +ZI)      ;其余的RW/ZI-data都分配到这里
}

RW_ERAM1 0xD0000000 0x02000000 {  ; 外部SDRAM
*.o(HEAP)            ;选择堆区
   .ANY (EXRAM)       ;选择EXRAM节区
}
}

本实验的sct文件中对内部SRAM的执行域保留了默认配置,没有作任何改动,新增了一个外部SDRAM的执行域, 并且使用了“*.o(HEAP)”语句把堆区分配到了SDRAM空间,使用“.ANY(EXRAM)”语句把名为“EXRAM”的节区分配到SDRAM空间。

这个“EXRAM”节区是由我们自定义的,在语法上就跟在C文件中定义全局变量类似,只要它跟工程中的其它原有节区名不一样即可。有了这个节区选择配置,当我们需要定义变量到外部SDRAM时,只需要指定该变量分配到该节区,它就会被分配到SDRAM空间。

本实验中的sct配置就是这么简单,接下来直接使用就可以了。

49.6.2.2.3. 指定变量分配到节区

当我们需要把变量分配到外部SDRAM时,需要使用__attribute__关键字指定节区,它的语法见 代码清单49_27

代码清单 49‑27 指定变量定义到某节区的语法

//使用 __attribute__ 关键字定义指定变量定义到某节区
//语法: 变量定义 __attribute__ ((section ("节区名"))) = 变量值;
uint32_t testValue  __attribute__ ((section ("EXRAM"))) =7 ;

//使用宏封装
//设置变量定义到“EXRAM”节区的宏
#define __EXRAM  __attribute__ ((section ("EXRAM")))

//使用该宏定义变量到SDRAM
uint32_t testValue __EXRAM =7 ;

上述代码介绍了基本的指定节区语法:“变量定义 __attribute__ ((section (“节区名”))) = 变量值;”,它的主体跟普通的C语言变量定义语法无异,在赋值“=”号前(可以不赋初值),加了个“__attribute__ ((section (“节区名”)))”描述它要分配到的节区。本例中的节区名为“EXRAM”,即我们在sct文件中选择分配到SDRAM执行域的节区,所以该变量就被分配到SDRAM中了。

由于“__attribute__”关键字写起来比较繁琐,我们可以使用宏定义把它封装起来,简化代码。本例中我们把指定到“EXRAM”的描述语句“__attribute__ ((section (“EXRAM”)))”封装成了宏“__EXRAM”,应用时只需要使用宏的名字替换原来“__attribute__”关键字的位置即可,如“uint32_t testValue __EXRAM =7 ;”。有51单片机使用经验的读者会发现,这种变量定义方法就跟使用keil 51特有的关键字“xdata”定义变量到外部RAM空间差不多。

类似地,如果工程中还使用了其它存储器也可以用这样的方法实现变量分配,例如STM32的高速内部SRAM(CCM),可以在sct文件增加该高速SRAM的执行域,然后在执行域中选择一个自定义节区,在工程源文件中使用“__attribute__”关键字指定变量到该节区,就可以可把变量分配到高速内部SRAM了。

根据我们sct文件的配置,如果定义变量时没有指定节区,它会默认优先使用内部SRAM,把变量定义到内部SRAM空间,而且由于局部变量是属于栈节区(STACK),它不能使用“__attribute__”关键字指定节区。在本例中的栈节区被分配到内部SRAM空间。

49.6.2.2.4. 变量分配测试及结果

接下来查看本工程中的main文件,它定义了各种变量测试空间分配,见 代码清单49_28

代码清单 49‑28 main文件

//设置变量定义到“EXRAM”节区的宏
#define __EXRAM  __attribute__ ((section ("EXRAM")))

//定义变量到SDRAM
uint32_t testValue __EXRAM =7 ;
//上述语句等效于:
//uint32_t testValue  __attribute__ ((section ("EXRAM"))) =7 ;

//定义变量到SRAM
uint32_t testValue2  =7 ;

//定义数组到SDRAM
uint8_t testGrup[3] __EXRAM ={1,2,3};
//定义数组到SRAM
uint8_t testGrup2[3] ={1,2,3};

/**
* @brief  主函数
* @param  无
* @retval 无
*/
int main(void)
{
uint32_t inerTestValue =10;
/* 系统时钟初始化成216 MHz */
SystemClock_Config();

/* LED 端口初始化 */
LED_GPIO_Config();

/* 初始化串口 */
DEBUG_USART_Config();

printf("\r\nSCT文件应用——自动分配变量到SDRAM实验\r\n");

printf("\r\n使用“ uint32_t inerTestValue =10; ”语句定义的局部变量:\r\n");
printf("结果:它的地址为:0x%x,变量值为:%d\r\n",(uint32_t)&inerTestValue,inerTestValue);

printf("\r\n使用“uint32_t testValue __EXRAM =7 ;”语句定义的全局变量:\r\n");
printf("结果:它的地址为:0x%x,变量值为:%d\r\n",(uint32_t)&testValue,testValue);

printf("\r\n使用“uint32_t testValue2  =7 ; ”语句定义的全局变量:\r\n");
printf("结果:它的地址为:0x%x,变量值为:%d\r\n",(uint32_t)&testValue2,testValue2);

printf("\r\n使用“uint8_t testGrup[3] __EXRAM ={1,2,3};”语句定义的全局数组:\r\n");
printf("结果:它的地址为:0x%x,变量值为:%d,%d,%d\r\n",(uint32_t)&testGrup,testGrup[0],testGrup[1],testGrup[2]);

printf("\r\n使用“uint8_t testGrup2[3] ={1,2,3};”语句定义的全局数组:\r\n");
printf("结果:它的地址为:0x%x,变量值为:%d,%d,%d\r\n", (uint32_t)&testGrup2,testGrup2[0],testGrup2[1],testGrup2[2]);

uint32_t *pointer = (uint32_t*)malloc(sizeof(uint32_t)*3);

if(pointer != NULL)
{
   *(pointer)=1;
   *(++pointer)=2;
   *(++pointer)=3;

   printf("\r\n使用“ uint32_t *pointer = (uint32_t*)malloc(sizeof(uint32_t)*3); ”动态分配的变量\r\n");
   printf("\r\n定义后的操作为:\r\n*(pointer++)=1;\r\n*(pointer++)=2;\r\n*pointer=3;\r\n\r\n");
   printf("结果:操作后它的地址为:0x%x,查看变量值操作:\r\n",(uint32_t)pointer);
   printf("*(pointer--)=%d, \r\n",*(pointer--));
   printf("*(pointer--)=%d, \r\n",*(pointer--));
   printf("*(pointer)=%d, \r\n",*(pointer));
   free(pointer);
}
else
{
   printf("\r\n使用malloc动态分配变量出错!!!\r\n");
}
/*蓝灯亮*/
LED_BLUE;
while(1);
}

代码中定义了普通变量、指定到EXRAM节区的变量并使用动态分配内存,还把它们的值和地址通过串口打印到上位机,通过这些变量,我们可以检查变量是否能正常分配。

构建工程后,查看工程的map文件观察变量的分配情况,见 图49_59

图 49‑59 在map文件中查看工程的存储分布(SDRAM.map文件)

图 49‑59 在map文件中查看工程的存储分布(SDRAM.map文件)

从map文件中可看到普通变量及栈节区都被分配到了内部SRAM的地址区域,而指定到EXRAM节区的变量及堆空间都被分配到了外部SDRAM的地址区域,与我们的要求一致。

再把程序下载到实验板进行测试,串口打印的调试信息如 图49_60

图 49‑60 空间分配实验实测结果

图 49‑60 空间分配实验实测结果

从调试信息中可发现,实际运行结果也完全正常,本实验中的sct文件配置达到了优先分配变量到内部SRAM的目的,而且堆区也能使用malloc函数正常分配空间。

本实验中的sct文件配置方案完全可以应用到您的实际工程项目中,下面再进一步强调其它应用细节。

49.6.2.2.5. 使用malloc和free管理SDRAM的空间

SDRAM的内存空间非常大,为了管理这些空间,一些工程师会自己定义内存分配函数来管理SDRAM空间, 这些分配过程本质上就是从SDRAM中动态分配内存。从本实验中可了解到我们完全可以直接使用CHAL库的malloc从SDRAM中分配空间, 只要在前面配置的基础上修改启动文件中的堆顶地址限制即可,见 代码清单49_29

代码清单 49‑29 修改启动文件的堆顶地址(startup_STM32F767xx.s文件)

Heap_Size       EQU     0x00000200

               AREA    HEAP, NOINIT, READWRITE, ALIGN=3

__heap_base
Heap_Mem        SPACE   Heap_Size
__heap_limit    EQU   0xd2000000    ;设置堆空间的极限地址(SDRAM),
;0xd0000000+0x02000000

               PRESERVE8
               THUMB

CHAL库的malloc函数是根据__heap_base及__heap_limit地址限制分配空间的,在以上的代码定义中,堆基地址__heap_base的由链接器自动分配未使用的基地址, 而堆顶地址__heap_limit则被定义为外部SDRAM的最高地址0xD0000000+0x02000000(使用这种定义方式定义的__heap_limit值与Heap_Size定义的大小无关), 经过这样配置之后,SDRAM内除EXRAM节区外的空间都被分配为堆区,所以malloc函数可以管理剩余的所有SDRAM空间。 修改后,它生成的map文件信息见 图49_61

图 49‑61 使用malloc管理剩余SDRAM空间

图 49‑61 使用malloc管理剩余SDRAM空间

可看到__heap_base的地址紧跟在EXRAM之后,__heap_limit指向了SDRAM的最高地址,因此malloc函数就能利用所有SDRAM的剩余空间了。注意图中显示的HEAP节区大小为0x00000200字节,修改启动文件中的Heap_Size大小可以改变该值,它的大小是不会影响malloc函数使用的,malloc实际可用的就是__heap_base与__heap_limit之间的空间。至于如何使Heap_Size的值能自动根据__heap_limit与__heap_base的值自动生成,我还没找到方法,若您了解,请告知。

49.6.2.2.6. 把堆区分配到内部SRAM空间。

若您希望堆区(HEAP)按照默认配置,使它还是分配到内部SRAM空间,只要把“*.o(HEAP)”选择语句从SDRAM的执行域删除掉即可, 堆节区就会默认分配到内部SRAM,外部SDRAM仅选择EXRAM节区的内容进行分配,见 代码清单49_30,若您更改了启动文件中堆的默认配置,主注意空间地址的匹配。

代码清单 49‑30 按默认配置分配堆区到内部SRAM的sct文件范例

LR_IROM1 0x08000000 0x00100000  {    ; load region size_region
ER_IROM1 0x08000000 0x00100000  {  ; load address = execution address
   *.o (RESET, +First)
   *(InRoot$$Sections)
   .ANY (+RO)
}
RW_IRAM1 0x20020000 0x00060000  {  ; 内部SRAM
.ANY (+RW +ZI)      ;其余的RW/ZI-data都分配到这里
}

RW_ERAM1 0xD0000000 0x02000000 {  ; 外部SDRAM
   .ANY (EXRAM)       ;选择EXRAM节区
}
}
49.6.2.2.7. 屏蔽链接过程的warning

在我们的实验配置的sct文件中使用了“*.o(HEAP)”语句选择堆区,但有时我们的工程完全没有使用堆(如整个工程都没有使用malloc), 这时链接器会把堆占用的空间删除,构建工程后会输出警告提示该语句仅匹配到无用节区,见 图49_62

图 49‑62 仅匹配到无用节区的warning

图 49‑62 仅匹配到无用节区的warning

这并无什么大碍,但强迫症患者不希望看到warning,可以在“Options for Target->Linker->disable Warnings”中输入warning号屏蔽它。warning号可在提示信息中找到,如上图提示信息中“warning:L6329W”表示它的warning号为6329,把它输入到 图49_63 中的对话框中即可。

图 49‑63 屏蔽链接过程的warning

图 49‑63 屏蔽链接过程的warning

49.6.2.2.8. 注意SDRAM用于显存的改变

根据本实验的sct文件配置,链接器会自动分配SDRAM的空间,而本书以前的一些章节讲解的实验使用SDRAM空间的方式非常简单粗暴,如果把这个sct文件配置直接应用到这些实验中可能会引起错误,例如我们的液晶驱动,见 代码清单49_31

代码清单 49‑31 原液晶显示驱动使用的显存地址

/* LCD Size (Width and Height) */
#define  LCD_PIXEL_WIDTH    ((uint16_t)800)
#define  LCD_PIXEL_HEIGHT   ((uint16_t)480)

#define LCD_FB_START_ADDRESS       ((uint32_t)0xD0000000)   //第一层首地址

/**
* @brief 初始化LTD的 层 参数
*           - 设置显存空间
*           - 设置分辨率
* @param  None
* @retval None
*/
void LCD_LayerInit(uint16_t LayerIndex, uint32_t FB_Address,uint32_t PixelFormat)
{
   /*其它部分省略*/
/* 配置本层的显存首地址 */
layer_cfg. CFBStartAdress = FB_Address;
/*其它部分省略*/
}

在这段液晶驱动代码中,我们直接使用一个宏定义了SDRAM的地址,然后把它作为显存空间告诉LTDC外设(从0xD0000000地址开始的大小为800*480*4的内存空间),然而这样的内存配置链接器是无法跟踪的,链接器在自动分配变量到SDRAM时,极有可能使用这些空间,导致出错。

解决方案之一是使用__EXRAM定义一个数组空间作为显存,由链接器自动分配空间地址,最后把数组地址作为显存地址告诉LTDC外设即可,其它类似的应用都可以使用这种方案解决。

代码清单 49‑32 由链接器自动分配显存空间

#define BUFFER_OFFSET          ((uint32_t)800*480*3)     //一层液晶的数据量
#define LCD_PIXCELS            ((uint32_t)800*480)

uint8_t LCD_FRAME_BUFFER[BUFFER_OFFSET] __EXRAM;

/**
* @brief 初始化LTD的 层 参数
*           - 设置显存空间
*           - 设置分辨率
* @param  None
* @retval None
*/
void LCD_LayerInit(uint16_t LayerIndex, uint32_t FB_Address,uint32_t PixelFormat)
{
   /*其它部分省略*/
/* 配置本层的显存首地址 */
layer_cfg. CFBStartAdress = FB_Address;
/*其它部分省略*/
}

总而言之,当不再使用默认的sct文件配置时,一定要注意修改后会引起内存空间发生什么变化,小心这些变化导致的存储器问题。