编译器

 

编译器，是将便于我们编写，阅读，维护的高级计算机语言翻译为计算机能识别，运行的低级机器语言的程序。编译器将源程序（ Source program ）作为输入，翻译产生使用目标语言（ Target language ）的等价程序。源程序一般为高级语言（ High-level language ），如 Pascal ， C++ 等，而目标语言则是汇编语言或目标机器的目标代码（ Object code ），有时也称作机器代码（ Machine code ）。

一个现代编译器的主要工作流程如下：
源程序（ source code ）→预处理器（ preprocessor ）→编译器（ compiler ）→汇编程序（ assembler ）→目标程序（ object code ）→连接器（链接器， 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 ）进行。很明显，函数间的分析，优化更准确，但需要更长的时间来完成。

  编译器分析（ compiler analysis ）的对象是前端生成并传递过来的中间代码，现代的优化型编译器（ optimizing compiler ）常常用好几种层次的中间代码来表示程序，高层的中间代码（ high level IR ）接近输入的源程序的格式，与输入语言相关（ language dependent ），包含更多的全局性的信息，和源程序的结构；中层的中间代码（ middle level IR ）与输入语言无关，低层的中间代码 (Low level IR) 与机器语言类似。 不同的分析，优化发生在最适合的那一层中间代码上。

  常见的编译分析有函数调用树（ call tree ），控制流程图（ Control flow graph ），以及在此基础上的 变量定义－使用，使用－定义链（ define-use/use-define or u-d/d-u chain ），变量别名分析（ alias analysis ），指针分析（ pointer analysis ），数据依赖分析（ data dependence analysis ）等等。

  上述的程序分析结果是编译器优化（ compiler optimization ）和程序变形（ compiler transformation ）的前提条件。常见的优化和变新有：函数内嵌（ inlining ），无用代码删除（ Dead code elimination ），标准化循环结构（ loop normalization ），循环体展开（ loop unrolling ），循环体合并，分裂（ loop fusion ， loop fission ），数组填充（ array padding ），等等。 优化和变形的目的是减少代码的长度，提高内存（ memory ），缓存（ cache ）的使用率，减少读写磁盘，访问网络数据的频率。更高级的优化甚至可以把序列化的代码（ serial code ）变成并行运算，多线程的代码（ parallelized ， multi-threaded code ）。

  机器代码的生成是优化变型后的中间代码转换成机器指令的过程。现代编译器主要采用生成汇编代码（ assembly code ）的策略，而不直接生成二进制的目标代码（ binary object code ）。即使在代码生成阶段，高级编译器仍然要做很多分析，优化，变形的工作。例如如何分配寄存器（ register allocatioin ），如何选择合适的机器指令（ instruction selection ），如何合并几句代码成一句等等。


编译语言与解释语言对比
  许多人将高级程序语言分为两类 : 编译型语言 和 解释型语言 。然而，实际上，这些语言中的大多数既可用编译型实现也可用解释型实现，分类实际上反映的是那种语言常见的实现方式。（但是，某些解释型语言，很难用编译型实现。比如那些允许 在线代码更改 的解释型语言。）