从V8 JS引擎学到的优化经验

V8是谷歌开源的一个高性能JavaScript引擎，用 C++ 实现，并用在谷歌的开源浏览器Chrome里。

为什么V8非常快，哪种方案让V8达到这种速度？发现其中秘密是一件有趣的事情。

面向对象、设计模式与性能

有些C/C++开发者有些奇怪的观念。他们认为使用面向对象和设计模式会降低程序的性能。但V8证明了这种观念是错误的。V8的实现使用了许多设计模式，但依然非常高效。

下面列出V8中使用的两个模式：

工厂模式

当Javascript引擎执行一个脚本时，引擎为遇到的每个变量、函数或数组都创建一个实例。JSObject是所有这些对象的父对象。

下面列出了所有继承自JSObject的类：

V8实现了一个工厂类来创建这些对象，该类中的Factory::NewJsObject就是用来创建这些对象的。

下面列出了所有使用该类/方法的方法。

V8引擎中的类并没有直接使用这个工厂类，而是添加了另一层封装，通过Heap类调用该工厂类。

访问者模式：

*上这样解释观察者模式：

观察者设计模式是将算法和算法处理的对象分开的一种方式。这种分离可以在不修改结构本身的情况下，将新的操作添加到已有的对象结构上。这是一条遵循open/closed准则的方式。

与工厂模式相似，访问者模式也为实现添加了封装层。这样让其代码更加可读且可维护。

V8源码中许多类都实现了访问者模式。

即使V8开发者必须优化执行效率，他们也不在乎添加到代码中的封装层。使用设计模式和添加一些C++的机制会增加一些封装，所以的确会对效率有影响。但这对效率的影响仅占一小部分，更多的影响来自该应用使用的设计决策。

V8中针对执行效率方面的设计决策

1. 隐藏类和快速属性访问。

JavaScript是一种动态编程语言：可以在对象运行时为对象添加或删除熟悉。这意味着很容易改变对象的属性。

JSFunction和JSValue的父类都是JSObject，JSFunction用来表示一个javascript函数，JSValue用来表示一个javascript值。但没有继承自JSObject的类，用以表示Function或Value这样的Class。许多JavaScript引擎使用词典类型的数据结构来存储这些对象的熟悉，访问每个属性都需要动态查找并解析属性在内存中的位置。

这种方式导致JavaScript在访问对象变量的属性时，比在Java或Smalltalk中要慢。在这些语言中，实列变量分配的位置是固定的，即由编译器根据对象的类定义中的布局，在该对象在内存中的位置加上固定的偏移位置。因此访问这些属性仅仅是内存上的读取或存储，而这种操作通常只需一条指令。

V8使用隐藏类概念来降低访问JavaScript属性所消耗的时间。V8不使用动态查询来访问属性，而是在幕后创建隐藏类。

2. 动态生产机器码

在首次执行时，V8就将JavaScript源码直接编译成机器码，没有中间字节码，没有解释器。属性访问由内联的缓存代码处理，V8执行时可能会有其他机器指令修改这些缓存代码。

3. 高效的垃圾收集器

在执行过程中，V8会重新获得废弃对象的内存，即垃圾回收。为了保证拥有较快的对象分类、较短的垃圾回收停顿，以及没有内存碎片。V8使用了停顿、分代、精确垃圾回收器。这意味着V8使用了：

• 在垃圾回收循环期间停止程序的执行。
• 在大多数垃圾循环中，只处理对象堆的一部分。这最大化降低了停顿对应用的影响。
• 记录所有对象和指针在内存中的位置，避免了将对象作为指针识别而导致的内存泄漏。

结论：

出于效率因素而不使用面向对象或设计模式，这是一个错误的观念。这样只会获得数毫秒的优化，却失去了代码的可读性和可维护性。

英文出处：www.codergears.com