我对解释器的实现方式的理解

2013-03-19

解释器的实现大概分为如下几个方式：

1.  栈解释器
2.  寄存器解释器
3.  元语言解释器

栈解释器，如名所示， 通过各种数据结构，当然，使用栈最多，来实现一部抽象的机器。如JVM，CPython，都是栈解释器。建立在这个抽象层面上，我们可以简化机器模型，了解程序到底是如何工作的。

寄存器解释器呢，比栈解释器要高级一些。要实现一个栈解释器，就要对相关平台架构有一定的认识，如你最常见的x86，arm等架构，要对它们的CPU，寄存器要熟悉。总的来说，寄存器解释器只是企图对栈解释器进行改造，使其加速，原理上倒是没有很大的改变。

元语言解释器这个看起来就有点别扭了，也就比如说Python解释器就是由Python实现的。类似蛋生鸡，鸡生蛋的问题呢在计算机学科中还有不少其他例子。例如，程序都是经编译器编译才能运行的，那第一个编译器是怎么出来的呢？如，我们在操作系统上做程序–也包括系统，那第一个系统是怎么出来的呢？我们或多或少都接触过一个词：bootstrap，如Linux系统启动过程中有。 前面说过Python的一个实现Cpython是寄存器解释器，由C语言实现，但是还有一个非官方的PyPy的元语言解释器，它是由一种受限的Python语言实现。元语言实现解释器来应该是比较简单的。大多情况下，和栈解释器一样，只是用来 实现模型和教学用的。

p.s.   本来是想在学习编译原理之前，学习一下解释器来打点基础的。但是，奇怪的是在网上很难找到完整的教程，不管是国内的还是国外的。个人觉得，解释器这个东西要求的基础低，原理也简单，在走向语言创新，编译器的实现上，这是一个非常重要的节点，还是非常有必要在这方面多做些工作的。

 

[ 主页]