《从HelloWorld说程序运行机制剖析》由会员分享，可在线阅读，更多相关《从HelloWorld说程序运行机制剖析（13页珍藏版）》请在金锄头文库上搜索。
1、从Hello World说程序运行机制学习任何一门编程语言，都会从Hello World 开始。对于一门从未接触过的语言，在短时间内我们都能用这种语言写出它的hello world。然而，对于hello world 这个简单程序的内部运行机制，我相信还有很多人都不是很清楚。作者：Geek_Ling来源：Geek_Ling|2016-12-14 14:41收藏 分享 开篇学习任何一门编程语言，都会从Hello World 开始。对于一门从未接触过的语言，在短时间内我们都能用这种语言写出它的hello world。然而，对于hello world 这个简单程序的内部运行机制，我相信还有很多人都不是
2、很清楚。hello world 这些信息是如何通显示器过显示的？cpu执行的代码和程序中我们写的的代码肯定不一样，她是什么样子的？又是如何从我们写的代码变成cpu能执行的代码的？程序运行时代码是在什么地方？她们是如何组织的？程序中的变量存储在什么地方？函数调用是怎样是现的？这篇文章将简单的讨论程序的运行机制开发平台隐藏的过程每一种语言都有自己的开发平台，我们的程序大多是也都是在这里诞生的。从程序源代码到可执行文件的转化过程其实是分很多步而且是很复杂的，只是而现在的开发平台把所有的这些事情都自己承担了，给我们带来方便的同时她也影藏了大量的实现细节。所以大多程序员只负责编写代码，其它的复杂的转换工
3、作则由开发平台默默完成。按照我的理解，简单 的说从源代码到可执行文件的过程可分为以下几个阶段:1、从源代码到机器语言并将产生的机器语言按照一定的规律组织起来。我们暂且称为文件A。2、把文件A和运行A需要的文件B（如库函数）链接起来，形成文件A+3、把文件A+装载进入内存，运行文件（其实如果是看参考书或者其他资料的话可能不止这几步，只是这里为了简化我把它归纳为3步）这些事形成可执行文件的关键步骤，缺一不可。现在看到被开发平台“蒙蔽”了吧。下面的部分将拨开迷雾，还你开发平台的真面目。目标文件在计算机领域有过一句经典的话：“any problem in computer science can be
4、 sloved by another layer of indirecition”“计算机科学领域的任何问题都可以通过增加一个中间层来解决”比如说要实现从A到B的转换，可以先把A转换为文件A+，再把文件A+转换为我们需要的文件B。（其实在波利亚的how to slove it里面对这种方法也有叙述。在解题的时候可以通过增加中间层来简化问题）那么从源代码到可执行文件的过程可以这样理解。从源代码到可执行文件也是一样的， 通过（不断的）在他们之间增加中间层，来解决问题。和上文说的， 先把源程序转化为中间文件A，再把中间文件转化为我们需要的目标文件。在处理文件的时候就是按照这种思路来的。其实上面说的文
5、件A更专业的说法是：目标文件。她不是可执行程序，需要和其它的目标文件进行链接、装载后才能执行。对于一个源程序， 开发平台首先要做的就是把源程序翻译成机器语言。其中很重要的一部就是编译。相信很多人都知道，就是把源代码翻译成机器语言（其实就是一堆二进制代码）。编译知识很重要，却不是本文的重点，有兴趣的可自行google。目标文件格式：现在来看一下上面说的目标文件是如何组织的（也就是存放结构）。起源：想象一下如果是你来设计会如何组织这些二进制代码？就像书桌上的物品要分类放置才整洁一样，为了便于管理翻译出来的二进制代码也分类存放，把表示代码的放在一起，表示数据的放在一起。这样，二进制代码就分为了不同的
6、块来存放。这样的一个区域就是被称为段（segment）的东西。标准：和计算机科学中的很多东西一样，为了方便人们的交流、程序的兼容等问题。也为这种二进制的存放方式制订了标准，于是COFF（common object file format）就诞生了。现在的windows、Linux、等主流操作系统下的目标文件格式和COFF大同小异，都可以认为是它的变种。a.out：a.out是目标文件的默认名字。也就是说，当编译一个文件的时候，如果不对编译后的目标文件重命名，编译后就会产生一个名字为a.out的文件。具体的为什么会用这个名字这里就不在深究了。有兴趣的可以自己google。下面的图可以让你更直观的
7、了解目标文件:上图是目标文件的典型结构，实际的情况可能会有所差别，但都是在这个基础上衍生出来的。ELF文件头：即上图中的第一个段。其中的header是目标文件的头部，里面包含了这个目标文件的一些基本信息。如该文件的版本、目标机器型号、程序入口地址等等。文本段：里面的数据主要是程序中的代码部分。数据段：程序中的数据部分，比如说变量。重定位段：重定位段包括了文本重定位和数据重定位，里面包含了重定位信息。一般来说，代码中都会存在引用了外部的函数，或者变量的情况。既然是引用，那么这些函数、变量并没存在该目标文件内。在使用他们的时候， 就要给出他们的实际地址（这个过程发生在链接的时候）。正是这些重定位表
8、，提供了寻找这些实际地址的信息。理解了上面之后，文本重定位和数据重定位也就不难理解了。符号表：符号表包含了源代码中所有的符号信息 。 包括每个变量名、函数名等等。里面记录了每个符号的信息，比如说代码中有“student”这个符号，对应的在符号表中就包括这个符号的信息。包括这个符号所在的段、它的属性（读写权限）等相关信息。其实符号表最初的来源可以说是在编译的词法分析阶段。在做词法分析的时候，就把代码中的每个符号及其属性都记录在符号表中。字符串表：和符号表差不多的功能，存放了一些字符串信息。其中还有一点要说吗的是：目标文件都是以二进制来存储的，它本身就是二进制文件。现实中的目标文件会比这个模型要复
9、杂些，但是它的思路都是一样的，就是按照类型来存储，再加上一些描述目标文件信息的段和链接中需要的信息。a.out剖分Hello World空口无凭，我们现在就来研究一下hello world编译后形成的目标文件，这里用 C 来描述。简单的hellow world 源码：1. /*hello.c*/2. #include3. intmain()4. 5. inta=5;6. printf(hellowworldn);7. 为了在数据段中也有数据可放，这里增加了“int a=5”。如果在VC上的话，点击运行便能看到结果。为了能看清楚内部到底是如何处理的，我们使用GCC来编译。运行gcc hello.
10、c再看我们的目录下，就多了目标文件a.out。现在我们想做的是看看a.out里到底有什么，可能有童鞋回想到用vim文本查看，当时我也是这么天真的认为。但a.out是何等东西，怎能这么简单就暴露出来呢 。是的，vim不行。“我们遇到的问题大多是前人就已经遇到并且已经解决的”，对，其中有一个很强悍的工具叫做objdump。有了它，我们就能彻底的去了解目标文件的各种细节，当然还有一个叫做readelf也很有用，这个在后面介绍。这两个工具一般Linux里面都会自带有有，可以自行google注：这里的代码主要是在Linux下用GCC编译，查看目标文件用的是Objdump、readelf。但是我会把所有的
11、运行结果都上图，所以之前没有接触过Linux的童鞋来看下面的内容也完全没问题哦。我用的是ubuntu，感觉挺好下面是a.out的组织结构：（每段的起始地址、大小等等）查看目标文件的命令是 objdump -h a.out就和上文中描述的目标文件的格式一样，可以看出是分类存储的。目标文件被分为了6段。从左到右，第一列（Idx Name）是段的名字，第二列（Size）是大小 ，VMA为虚拟地址，LMA为物理地址，File off是文件内的偏移。也就是这段相对于段中某一参考（一般是段起始）的距离。最后的Algn是对段属性的说明，暂时不用理会“text”段：代码段。“data”段：也就是上面说的数据段
12、，保存了源代码中的数据，一般是以初始化的数据。“bss”段：也是数据段，存放那些未初始化的数据，因为这些数据还未分配空间，所以单独存放。“rodata”段：只读数据段，里面存放的数据是只读的。“cmment”存放的是编译器版本信息。剩下的两段对我们的讨论没有实际意义，就不再介绍。认为他们包含了一些链接、编译、装在的信息就可。注：这里的目标文件格式只是列出实际情况中主要部分。实际情况还有一些表未列出。如果你也在用Linux，可以用objdump -X 列出更详细的段内容。深入a.out上面部分通过实例说了目标文件中的典型的段，主要是段的信息，如大小 等相关的属性。那么这些段里面究竟有些什么东西呢
13、，“text”段里到底存了什么东西，还是用我们的objdump。objdump -s a.out 通过-s选项就可以查看目标文件的十六进制格式。查看结果如下：如上图所示，列出了各段的十六进制表示形式。可以看出图中共分为两栏，左边的一栏是十六进制的表示，右边则显示相应的信息。比较明显的如“rodata”只读数据段中就有 “hello world”。汗，好像程序里的“hello”打错了，后面多加了一个“w”，截图麻烦。原谅下哈。你也可以查看“hellow world”的ASCII值，对应的十六进制就是里面的内容了。“comment”上文中说的这个段包含了一些编译器的版本信息，这个段后面的内容就是了
14、：GCC编译器，后面的是版本号。a.out反汇编编译的过程总是先把源文先变为汇编形式，再翻译为机器语言。（添加中间层嘛）看了这么多的a.out，再研究一下他的汇编形式是恨必要的objdump -d a.out可以列出文件的汇编形式。不过这里只列出了主要部分，即main函数部分，其实在main函数执行的开始和main函数执行以后都还有多工作要做。即初始化函数执行环境以及释放函数占用的空间等。上面的图中，左边是代码的十六进制形式，左边是汇编形式。对汇编熟悉的童鞋应该能看懂大部分，这里就不在多述。a.out头文件在介绍目标文件格式的时候，提到过头文件这个概念，里面包含了这个目标文件的一些基本信息。如
15、该文件的版本、目标机器型号、程序入口地址等等。下图是文件头的形式：可以用readelf -h 来查看。(下图中查看的是 hello.o，它是源文件hello.c编译但未链接的文件。这个和查看a.out 大部分是一样的)图中分为两栏，左边一栏表示的是属性，右边是属性值。第一行常被称为魔数。后面是一连串的数字，其中的具体含义就不多说了，可以自己去google。接下来的是一些和目标文件相关的信息。由于和我们要讨论的问题关系不大，这里就不展开讨论了。上面是内容用具体的实例说了目标文件内部的组织形式，目标文件只是产生可执行文件过程中的一个中间过程，对于程序是如何运行的还没做讨论，目标文件是如何转变为可执行文件以及可执行文件是如何执行的将在下面的部分中讨论对链接的简单认识链接通俗的说就是把几个可执行文件。如果程序A中引用了文件B中定义的函数，为了A中的函数能正常执行，就需要把B中的函数部分也放在A的源代码中，那么将A和B合并成一个文件的过程就是链接了。有专门的过程用来链接程序，称为链接器。他将一些输入的目标文件加工后合成一个输出文件。这些目标文件中往往有相互的数据、函数引用。上文中我们看过了hello world的反汇编形式，是一个还没有经过链接的文件，也就是说当引用外部函数的时候是不知道其地址的，如下图
