Chinaunix首页 | 论坛 | 博客
  • 博客访问: 37205
  • 博文数量: 20
  • 博客积分: 0
  • 博客等级: 民兵
  • 技术积分: 22
  • 用 户 组: 普通用户
  • 注册时间: 2013-11-01 10:40
文章分类

全部博文(20)

文章存档

2014年(20)

我的朋友

分类: C/C++

2014-02-22 14:14:19

我们做C语言中这么多年,都知道这样一句话,C语言代码形成可执行程序,需要经过编译->汇编->链接三个阶段。背都背熟了,但是到底啥意思,每一步都会产生一些什么东西,很多人都不是太了解。今天就详细的来说说这个问题:

   先看下图,在这个图中,我详细的描述了,整个过程及中间的一些步骤:

     代码段,只读数据段,读写数据段,未初始化数据段属于静态区域。栈和堆属于动态区域。代码段,只读数据段和读写数据段将在连接之后产生,未初始化数据段将在程序初始化的时候开辟,而堆和栈将在程序的运行中分配和释放。

    C语言程序分为映像和运行两种状态。在编译连接后形成的映像中,将只包含代码段,只读数据段和读写数据段。在程序运行之前,将动态生成未初始化数据段,在程序的运行时还将动态形成堆和栈区域。

在嵌入式系统中,程序最终是要放置在内存中运行的, 程序的几个段,最终会转化为内存中的几个区域。C语言可执行程序的内存布局如图13-5所示。

图13-5  C语言可执行程序的内存布局

在内存中,从低地址到高地址,依次是只读段、读写段、未初始化数据段、堆段、栈段。

映像文件中将包含代码段(Code)、只读数据段(RO Data)以及读写数据段(RW Data),未初始化数据段(BSS)将在程序的初始化阶段中开辟,堆栈在程序运行时动态开辟。

只读区(RO)包括了代码和只读数据,在内存区域中,代码段(Code)和只读数据段(Ro Data)的存放形式上基本没有区别。

对于程序运行时的内存使用,堆和栈一般是相向扩展的。堆的分配由程序决定,栈由编译器管理。

在以上概念中,只是一种内存分布,并没有考虑实际系统的情况。在实际的系统中,程序有载入和运行两个概念。嵌 入式系统由两种内存,一种是可以固化只读的内存(如:ROM,Nor Flash),另一种是易失的可读写的内存(如:SRAM和SDRAM)。程序中的各个段也有需要固化和需要读写的。程序中的各段必须载入到内存的恰当位 置,程序才可以运行。C语言各部分的需要固化和可写的情况如表13-2所示。

表13-2  C语言各部分的需要支持固化和可写的情况

需要固化

需要可写

代码(Code)

只读数据(RO data)

读写数据(RW data)

未初始化数据(BSS)

堆(heap)

栈(stack)

在嵌入式系统中,经过编译的C语言程序可以通过操作系统运行,也可 以在没有操作系统的情况下运行。程序存放的位置和运行的位置通常是不一样的。

一般情况下,经过编译后的程序存储在Flash或者硬盘中,在运行时需要将程序加载到RAM中。嵌入式系统的 Nor Flash和硬盘还有一定的差别,在硬盘的程序必须加载到RAM中才可以运行,但是在Nor Flash中的程序可以通过XIP(eXcutive In Place)的方式运行。

在嵌入式系统中,C语言程序的运行包括3种类型:第 一种是调试阶段的程序运行,这个阶段程序存放的位置和运行的位置是相同的;第二种是程序直接在Flash中运行(XIP);第三种是将Flash或者硬盘 中的程序完全加载到RAM中运行。

在C语言程序的运行中,存在着两个基本的内存空间, 一个是程序的存储空间,另一个是程序的运行空间。程序的存储空间必须包括代码段、只读数据段和读写数据段,程序的加载区域必须包括读写数据段和未初始化数 据段如表13-3所示。

表13-3  C语言各部分使用的存储空间

代码

只读数据

读写数据

未初始化数据

程序的存储空间(ROM)

需要

不需要

程序的加载空间(RAM)

不需要

需要

由于程序放入系统后,必须包括所有需要的信息,代码表示要运行的机 器代码,只读数据和读写数据包含程序中预先设置好的数据值,这些都是需要固化存储的,但是未初始化数据没有初值,因此只需要标示它的大小,而不需要存储区 域。

在程序运行的初始化阶段,将进行加载动作,其中读写 数据和未初始化数据都是要在程序中进行“写”操作,因此不可能放在只读的区域内,必须放入RAM中。当然,程序也可以将代码和只读数据放入RAM。

在程序运行后,堆和栈将在程序运行过程中动态地分配 和释放。

13.4.1  RAM调试运行

本节介绍程序的一种特殊的运行方式,即在程序的调试 阶段将主机的映像文件直接放置到目标系统的RAM中。在这种应用中,RAM既是程序的存储空间,也是程序的运行空间。

在嵌入式系统中,这是一种常用的调试方式,而不是通常的运行方式。在通常的运行方式下,程序运行的起始地址一 般不可能是RAM。RAM在掉电之后内容会丢失,因此系统上电的时候,RAM中一般不会有有效的程序。但是在程序的调试阶段,可以将程序直接载入RAM, 然后在RAM的程序载入地址处运行程序。

嵌入式系统RAM中的调试程序的内存布局如图13-6所示。

图13-6  RAM中的调试程序的内存布局

这是一种相对简单的形式,因为代码段的存储地址和运行地址是相同的,都是RAM(SDRAM或者SRAM)中 的地址。在这种情况下,程序没有运行初始化阶段加载的问题。

从主机向目标机载入程序的时候,程序映像文件中代码段(code或text)、只读数据段、读写数据段依次载 入目标系统RAM(SDRAM或者SRAM)的空间中。

程序载入到目标机之后,将从代码区的地址开始运行,在运行的初始化阶段,将开辟未初始化数据区,并将其初始化 为0,在运行时将动态开辟堆区和栈区。

在没有操作系统的情况下,开辟内存的工作都是由编译器生成的代码完成的,实现的原理是在映像文件中加入这些代 码。主要工作包括:在程序运行时根据实际大小开辟未初始化的数据段;初始化栈区的指针,这个指针和物理内存的实际大小有关;在调用相关函数 (malloc、free)时使用堆区,这些函数一般由调用库函数实现。表13-4列出了C语言程序在RAM中的调试过程。

表13-4  C语言程序在RAM中的调试过程

阶段

涉及的部分

主要工作

程序的映像

代码段(Code)

只读数据段(RO Data)

读写数据段(RW Data)

将程序放置在RAM中

初始化阶段

未初始化数据段(BSS)

开辟BSS段 并且清零

运行阶段

代码段(Code)

只读数据段(RO Data)

读写数据段(RW Data)

未初始化数据段(BSS)

堆(heap)

栈(stack)

运行RAM代 码段中的程序,动态地在RAM中开辟堆和栈

知识点:程序直接载入RAM运行时,程序的加载位置和运行位置是一致的,因此不存在段复制的问题,需要在初始化阶段开辟未初始化区 域,在运行时使用堆栈。

13.4.2  固化程序的XIP运行

固化应用是一种嵌入式系统常用的运行方式,其前提是目标代码位于目标系统ROM(Flash)中。ROM中的 区域包括映像文件的代码段(code或text)、只读数据段(RO Data)、读写数据段(RW Data)。

以XIP(在位置执行)方式运行程序时内存布局如图13-7所示。

代码的运行也是在ROM(Flash)中,因此,在编译过程中代码的存储地址和运行地址是相同的,由于上电时 需要启动,因此该代码的位置一般是(0x0)。

在这种应用中,一件重要的事情就是将已初始化读写段的数据从Flash中复制到SDRAM中,由于已初始化读 写段既需要固化,也需要在运行时修改,因此这一步是必须有的,在程序的初始化阶段需要完成这一步。

图13-7  XIP运行程序时的内存布局

一般来说,在编译过程中需要定义读写段和未初始化段的地址。在程序中可获取这些地址,然后就可以在程序的中加 入复制的代码,实现读写段的转移。表13-5列出了C语言程序的XIP运行过程。

表13-5  C语言程序的XIP运行过程

阶    段

涉及的部分

主要工作

程序的映像

代码段(Code)

只读数据段(RO Data)

读写数据段(RW Data)

程序 放置在Flash中

初始化阶段

读写数据段(RW Data)

未初始化数据段(BSS)

复制 读写数据段到RAM中

开辟 未初始化段并且清零

运行阶段

代码段(Code)

只读数据段(RO Data)

读写数据段(RW Data)

未初始化数据段(BSS)

堆(heap)

栈(stack)

运行Flash代 码段中的程序,动态地在RAM中开辟堆和栈

知识点:程序在ROM或者Flash中以XIP形式运行的时候,不需要复制代码段和只读数据段,但是需要在RAM中复制读写数据 段,并另辟未初始化数据段。

13.4.3  固化程序的加载运行

在某些时候,在存放程序的位置是不能运行程序的,例如程序存储在不能以XIP方式运行的Nand-Flash 或者硬盘中,在这种情况下,必须将程序完全加载到RAM中才可以运行。固化程序加载运行的内存布局如图13-8所示:

 


图13-8  固化程序加载运行的内存布局

依照这种方式运行程序,需要将Flash中所有的内容全部复制到SDRAM或者SRAM中。在一般情况 下,SDRAM或者SRAM的速度要快于Flash。这样做的另外一个好处是可以加快程序的运行速度。也就是说,即使Flash可以运行程序,将程序加载 到RAM中运行也还有一定的优势。

这样做也产生了另外一个问题:代码段的载入地址和运行地址是不相同的,载入地址是在ROM(Flash)中, 但是运行的地址是在RAM(SDRAM或者SRAM)中。对于这个问题,不同的系统在加载程序的时候有不同的解决方式。

C语言固化程序的加载运行过程如表13-6所示。

表13-6  C语言固化程序的加载运行时各段的情况

阶    段

涉及的部分

主要工作

代码的映像

代码段(Code)

只读数据段(RO Data)

读写数据段(RW Data)

将程 序放置在Flash中

初始化阶段

代码段(Code)

只读数据段(RO Data)

读写数据段(RW Data)

未初始化数据段(BSS)

加载 代码段和只读数据段到RAM中

复制 读写数据段到RAM中

开辟 未初始化段并且清零

运行阶段

代码段(Code)

只读数据段(RO Data)

读写数据段(RW Data)

未初始化数据段(BSS)

堆(heap)

栈(stack)

运行RAM代 码段中的程序,动态地在RAM中开辟堆和栈

知识点:固化程序在加载运行时,需要复制代码段、只读数据段和读写数据段到RAM中,并另辟未初始化数据段,然后在RAM中运行程 序(执行代码段)。

以这种加载方式的运行程序,另外一个重要的问题 是:如何把代码移到RAM中。在有操作系统的情况下,代码的复制工作是由操作系统完成的,在没有操作系统的情况下,处理方式相对复杂,程序需要自我复制。 显然,这种方式实现的前提是代码最初放置在可以以XIP方式执行的内存中。

程序本身复制的过程也是需要通过程序代码完成 的,这时需要程序中的代码根据将包含自己的程序从ROM或者Flash中复制到RAM中。这是一个比较复杂的过程,程序的最前面部分是具有复制功能的代 码。系统上电后,从ROM或者Flash起始地址运行,具有复制功能的代码将全部代码段和其他需要复制的部分复制到RAM中,然后跳转到RAM中重新运行 程序。

固化程序加载复制和跳转过程如图13-9所示。



图13-9  固化程序加载复制和跳转过程

在代码的前面一小部分是初始化的内容,这部分内 容中有一部分是复制程序,这段复制程序将代码段复制至RAM中,当这段初始化程序运行完成后,将跳转到RAM中的某个地址运行。

13.4.4  C语言程序的运行总结

在上面几节,主要介绍了C语言运行时内存的使用 情况。其关注点是程序中主要的段,事实上,程序可能不仅包括了上述主要段,还可能包括一些头信息。程序实际的运行也分为在操作系统下运行和直接运行等情 况。在具有操作系统的情况下,程序由操作系统加载运行,加载的时候可执行程序可以是一个文件,这个文件将包含程序的主要段以及头信息。

对于Linux操作系统,目标程序是可执行的 ELF(Executable and linking Format)格式;对于uCLinux操作系统,目标程序是Flat格式;对于需要在系统直接运行的程序,目标程序应该是纯粹的二进制代码,载入系统 后,直接转到代码区地址执行。

事实上,无论运行环境如何,C语言程序在运行时 所进行的动作都是类似的。程序在准备开始运行的时候,以下几个条件都是必不可少的:

1.代码段必须位于可运行的存储区。

2.读写数据段必须在可以读写的内存中,而且必 须经过初始化。

3.未初始化数据段必须在可以读写的内存中开 辟,并被清空。

对于第1点,代码段如果位于可以运行的存储区域 中(例如Nor Flash或者RAM),它就不需要加载,可以直接运行;如果代码段位于不能运行的存储区域中(例如:Nand Flash或者硬盘)中,它就必须被加载到RAM运行。

阅读(1122) | 评论(0) | 转发(0) |
给主人留下些什么吧!~~