编译器工作原理.docVIP

【转】编译器工作原理 编译器，是将便于人编写，阅读，维护的高级计算机语言翻译为计算机能识别，运行的低级机器语言的程序。编译器将源程序(Source program)作为输入，翻译产生使用目标语言(Target language)的等价程序。源程序一般为高级语言(High-level language)，如Pascal，C++等，而目标语言则是汇编语言或目标机器的目标代码(Object code)，有时也称作机器代码(Machine code)。 一个现代编译器的主要工作流程如下： 源代码(sourcecode)→预处理器(preprocessor)→编译器(compiler)→汇编程序(assembler)→目标代码(objectcode)→连接器(Linker)→可执行程序(executables) 编译语言与解释语言对比： 许多人将高级程序语言分为两类：编译型语言和解释型语言。然而，实际上，这些语言中的大多数既可用编译型实现也可用解释型实现，分类实际上反映的是那种语言常见的实现方式。(但是，某些解释型语言，很难用编译型实现。比如那些允许在线代码更改的解释型语言。) 编译器是一种特殊的程序，它可以把以特定编程语言写成的程序变为机器可以运行的机器码。把一个程序写好，这时利用的环境是文本编辑器。这时我程序把程序称为源程序。在此以后程序员可以运行相应的编译器，通过指定需要编译的文件的名称就可以把相应的源文件(通过一个复杂的过程)转化为机器码了。 编译器-工作原理 编译器 翻译是从源代码(通常为高级语言)到能直接被计算机或虚拟机执行的目标代码(通常为低级语言或机器言)。然而，也存在从低级语言到高级语言的编译器，这类编译器中用来从由高级语言生成的低级语言代码重新生成高级语言代码的又被叫做反编译器。也有从一种高级语言生成另一种高级语言的编译器，或者生成一种需要进一步处理的的中间代码的编译器(又叫级联)。 典型的编译器输出是由包含入口点的名字和地址以及外部调用(到不在这个目标文件中的函数调用)的机器代码所组成的目标文件。一组目标文件，不必是同一编译器产生，但使用的编译器必需采用同样的输出格式，可以链接在一起并生成可以由用户直接执行的可执行程序。 编译器-种类概述 编译器 编译器可以生成用来在与编译器本身所在的计算机和操作系统(平台)相同的环境下运行的目标代码，这种编译器又叫做本地编译器。另外，编译器也可以生成用来在其它平台上运行的目标代码，这种编译器又叫做交叉编译器。交叉编译器在生成新的硬件平台时非常有用。源码到源码编译器是指用一种高级语言作为输入，输出也是高级语言的编译器。例如：自动并行化编译器经常采用一种高级语言作为输入，转换其中的代码，并用并行代码注释对它进行注释(如OpenMP)或者用语言构造进行注释(如FORTRAN的DOALL指令)。 预处理器：预处理器(preprocessor)作用是通过代入预定义等程序段将源程序补充完整。 编译器前端：编译器前端(frontend)，前端主要负责解析(parse)输入的源程序，由词法分析器和语法分析器协同工作。词法分析器负责把源程序中的单词(Token)找出来，语法分析器把这些分散的单词按预先定义好的语法组装成有意义的表达式，语句，函数等等。例如a=b+c；前端词法分析器看到的是a=b；+c；，语法分析器按定义的语法，先把他们组装成表达式b+c，再组装成a=b+c的语句。前端还负责语义(semantic checking)的检查，例如检测参与运算的变量是否是同一类型的，简单的错误处理。最终的结果常常是一个抽象的语法树(abstract syntax tree，或AST)，这样后端可以在此基础上进一步优化，处理。 编译器后端：编译器后端(backend)编译器后端主要负责分析，优化中间代码(Intermediate representation)以及生成机器代码(Code Generation)。 编译器分析，优化，变型都可以分成两大类：函数内(intraprocedural)还是函数之间(interprocedural)进行。很明显，函数间的分析，优化更准确，但需要更长的时间来完成。对于函数内的优化，有可以根据优化施加的范围分为，全局的(global)和局部的(local)。其中全局的优化是指该优化需要使用到全局的数据流和控制流信息。而局部的优化是指指导优化的信息来自基本快。 编译器-代码分析 编译器 编译器分析(compiler analysis)的对象是前端生成并传递过来的中间代码，现代的优化型编译器(optimizing compiler)常常用好几种层次的中间代码来表示程序，高层的中间代码(high level IR)接近输入的源程序的格式，与输入语言相关(language de