【译】Ruby2.6的JIT功能，编译和解释型语言的相关说明

时间 2019-11-08

标签 ruby2.6 ruby jit 功能编译解释语言相关说明栏目 Ruby 繁體版

原文原文链接

一篇阐述编译以及解释相关概念的文章，对于理解计算机语言的编译以及解释的过程有必定的好处，同时还会了解到JIT究竟是个什么东西。原文连接: medium.com/@mich_berr/…程序员

Ruby2.6在几个星期以前发布了，新特性是一个崭新的Just-In-Time(JIT)编译器. 你能够点击这里读到关于关于新特性的更多细节，但若是你在寻找更多的背景知识，那么我想一个阐述编译型语言，解释型语言，以及JIT是如何工做的相关指引会对你有所帮助。编程

首先，什么是编程语言？全部的编程语言都是机器代码的抽象。机器代码是由位(许多的0和1)组成的,能够经过你机器的硬件进行存储和执行。让人类去阅读和编写二进制是很是低效的事情，这也是咱们发明编程语言的理由。windows

解释和编译的不一样之处主要在于人类编写的程序是怎么转换成机器能够执行的指令集的。有的时候编程语言并不能明确地划分为是究竟是编译型的仍是解释型的；编译和解释是把你写的代码转换成机器可读代码的两种不一样的策略。咱们会在讨论JIT的时候了解到编译和解释之间的界线变得愈加模糊。缓存

编译

简单来讲，编译就是把高级的编程语言转换成机器可以识别的语言。ruby

让咱们拿C语言来作个例子，它是一门有表明性的编译型语言。为了运行C语言写的程序，必须使用像gcc或者clang这样的编译器，把C语言的源代码编译成能适应你计算机的机器码。须要重点指出，不一样的电脑可能会有不一样的CPU架构，意味着一台电脑处理0和1序列的方式跟另外一台电脑是不同。一个编译器会把源代码转换成特定架构的机器代码。一旦你的代码被编译完，它能够按你但愿的那样运行在任何具备相同架构的系统上。不过若是你更新了源代码，或者想要把你的程序运行在具备不一样架构的机器上的时候，你就须要对代码进行从新编译了。数据结构

编译器的一个很好的类比就是人类的翻译人员。跟翻译人员把西班牙语的书翻译成英文书籍那样，一个编译器就是把人类编写的源代码翻译成机器代码。一旦一本书被翻译完，任何懂英语的读者都可以阅读它。然而若是原来西班牙语版本的书籍有所改动，英文版将须要从新翻译相关的部分并再次发布。架构

解释

不像编译器能够在程序运行以前预先把源代码翻译成机器码，解释器是一行接着一行，一边翻译一边执行。继续以前的类比，计算机解释器就像一个口译人员。他们充当西班牙语以及英语谈话者交流的桥梁，一句句实时地翻译出来。编程语言

咱们用Ruby做为“解释型”语言的一个例子。Ruby1.8以及更早的版本，那个时候的Ruby解释器(MRI), 它的行为就像上面描述的那样。它读取每一行Ruby代码，解析并token化，而后使用一个树型的数据结构来执行它。而从版本1.9开始，Ruby切换到一个包含YARV(Yet Another Ruby Virtual Machine)的实现。在这个实现里，Ruby会被预编译成字节码，这样命名是由于它们会占用一个字节的内存空间。一个很是简单的例子，2+3 将会把加法运算转换成字节码的形式，而且接收2和3做为参数，一旦Ruby代码被转换成字节码，这些字节码将会由虚拟机一行一行地执行。把源代码转换成字节码对提高运行速度有重大意义。函数

Python固然也会利用字节码，你能够直接在Python程序产生的.pyc文件里面看到它。这些文件的做用就像是一个缓存；若是Python代码再次运行，却没有做任何修改，能够跳过编译的步骤直接执行相关的字节码文件。当Ruby编程成字节码以后，它的字节码只是存储在内存中而不是持久化到文件。性能

Just-In-Time编译

我刚刚描述了一些当代的一些解释型语言现在是怎么包含字节码编译这一步骤的，但还有另外一种方式，它会使编译与解释之间的界线开始模糊起来，被称为Just-In-Time编译。

最流行的Just-In-Time编译器就是Java虚拟机(JVM)了。Java是一门静态类型的编程语言，它能够直接被编译成机器代码，可是这一般都会经过JVM来完成转换。在近期的案例中，Java代码会被Javac编译器编译成Java字节码，这些字节码会由JVM来翻译并执行。然而JVM并不会一句句地去翻译字节码。相反，在这个时候它会尝试去组合像函数那样的有意义的代码块。而要决定怎么去组合这些代码块将会稍微有点耗时，不过最终会使执行更加高效。这个过程被称之为Just-In-Time编译，由于它的行为就像是一个编译器，区别就是它会在运行时进行编译。使用JVM的好处是它既保留了编译型语言的性能特征又让Java能够像解释型语言那样移植到不一样的机器上。Java是世界上最流行的编程语言，很大一部分缘由要归功于它的JVM。

除了JVM以外，已经有其余的VM项目采用了JIT编译。PyPy是一个包含JIT功能的Python解释器，固然如今的Ruby也有可选的JIT功能了。

折衷

如今你已经对编译型以及解释型语言有个大概的了解了，那么他们各自是如何权衡的呢？

速度

编译型语言一般会比解释型语言快许多。一个编译好的C程序可能要比Python，Ruby这样的解释型语言快上好几个量级。然而Java的JIT解决方案也是很是高效的，它的运行速度能够几乎能够媲美C语言所写的程序。

可移植性

为了在不一样架构的机器上运行你编译好的程序，你须要从新编译它。当一门语言被解释以后，它的指令集能够在具备不一样架构的机器上运行(固然要有相关的虚拟机)。JVM就是很好的例子，它结合了解释以及编译两门技术，最大程度地兼顾了速度以及可移植性。

动态类型 VS 静态类型

编译器必需要把应用程序转换并组合成机器指令，这是很是死板的。当声明一个变量的时候，编译器须要明确地知道是什么类型的变量以及须要为它分配多少内存空间。这就是为何编译一般都要求静态类型。做为对比，解释器一行行地执行相关的程序，所以他们的行为更灵活。

在Ruby里面，咱们能够写出像2 + 3 或者"a" + "b"这样的代码，解释器会在运行时肯定对象的类型，不论是整数的相加，仍是字符串的拼接，都会为它们调用正确的方法。

Bugs/调试

解释型语言一般更容易调试，由于程序在赶上错误以前会一直执行。解释器将会告知用户具体是哪一行引起的运行时错误，反之，在编译好的程序里面bug比较难以发现。

FAQS

为何把一门语言当作是“编译型语言”或者“解释型语言”是用词不当的？

一门语言是根据他们的语法以及数据结构来肯定的。编译及解释是把语言的语法转换成能够在硬件上运行的形式的两种不一样的实现方式。“编译”或者“解释”并非语言的天性；同一门语言可能会同时包含这两种实现方式。

为何人们把Python看做是解释型语言把C看做是编译型语言？

他们都是参考了该语言最通用的实现或者是发行版本。然而Python也可以被编译，C语言固然也能够被解释。

什么是虚拟机？

一个虚拟机就是一切行为像计算机那样的抽象，意味着它可以接收一系列的指令，与硬件的实现方式不一样，它是经过软件来实现的。虚拟机一般用于在计算机的一个操做系统上运行其余的操做系统。举个例子，你有一个windows的笔记本，可是想要仿真一个Linux的操做系统。你会利用一个软件，它隐蔽在你物理机的操做系统跟你想要运行的操做系统之间。这被称为一个“系统虚拟机”。

不要跟以前的例子混淆，那些是“程序虚拟机”。好比，Java的虚拟机(JVM)或者Ruby的虚拟机(YARV)。这些都会被看做是虚拟机，由于它们能够接收指令集并运行相关的字节码。虚拟机的好处是对硬件进行抽象并提供了一个平台独立的编程环境。

为何人们一般认为Python和Ruby有解释器，而Java有虚拟机？解释器是否也符合虚拟机的定义？

解释器和虚拟机的更可能是语义上的区别，或者像这我的所阐述的是“社会构建”上的区别。我以为解释器是符合虚拟机的定义的。严格意义上，Ruby和Python的解释器都包含可以处理相关字节码的虚拟机。而另外一方面，JVM本质上跟Ruby或者Python的解释器有所不一样。我已经在这篇文章中触及了一小部分的缘由，不过剩下的知识已超出这篇文章的范围。

为何解释一门语言以前先把它编译成字节码能使速度加快？

字节码会比源码耗费更少的内存空间，而且更容易被解释器执行。当一门语言要被编译成字节码，解释器必需要解析全部的语句，把他们转换成字节码，而后解析字节码并执行它们。对一个简单的代码片断而言，这个中间的步骤会小幅度地增长了执行的时间。然而，对那些须要重复执行的代码，好比，循环或者是可复用的方法等，字节码的步骤可以大幅度提高速度。