V8使用C++开发,并在谷歌浏览器中使用。在运行JavaScript之前,相比其它的JavaScript的引擎转换成字节码(包含执行程序的二进制文件)或解释执行,V8将其编译成原生机器码(IA-32, x86-64, ARM, or MIPS CPUs),并且使用了如内联缓存(inline caching)等方法来提高性能。有了这些功能,JavaScript程序在V8引擎下的运行速度媲美二进制程序。
二、详解
1. 字节码(Bytecode):一种包含执行程序、由一序列op代码、数据对组成的二进制文件,是一种中间码,编译器将源码编译成字节码,特定平台上的虚拟机器将字节码转译为可以直接执行的机器码。
原生机器码(machine code):也被称为原生码(Native Code),是电脑的CPU可直接解读的数据,机器码是计算机可以直接执行,并且执行速度最快的代码。编出的程序全部是0和1组成的指令代码
字节码装换成原生机器码:首先编译器将源码编译成字节码,特定平台上 的虚拟机(如:Java虚拟机)器将字节码转译成可以直接执行的指令。字节码的典型应用为Java bytecode
2. javascript引擎
语言编译过程:
现在其他的js引擎的执行过程大致:源代码 -> 抽象语法树 -> 字节码 -> JIT -> 本地代码
(如:苹果的JavascriptCore引擎,08年引入SquirrelFish,实现了一个字节码寄存器Register Machine;Mozilla公司的SpiderMonkey;微软的Chakra等)
抽象语法树
V8引擎中没有中间字节码,直接将抽象语法树通过JIT技术转换成本地代码,后通过Profiler采集一些信息,优化本地代码,虽然少了这一阶段的性能优化,但极大减少了转换时间
但是在V8的5.9版本,新增了Ignition字节码解释器,默认启动,原因是减轻机器码占用的内存空间,提高代码的启动速度,重构V8的代码并降低代码复杂度。
3. V8引擎
3.1 5.9之前的版本:直译成原生机器码,并使用如内联缓存等方法提高性能
3.1.1 数据表示
javascript是一种无类型语言,在编译时不能确定变量的类型,只能在执行时确定;而像c++、java等静态类型语言在编译时就能知道变量类型,确定变量存取地址。在运行时计算和决定类型是会降低运行效率的原因。
变量的存取在代码执行过程中是非常普遍和平凡的,js的对象需要通过属性名匹配找到相应的值,需要更多的操作和内存空间。V8使用了一种特殊的方法:数据的内部表示由数据的实际内容和数据的句柄构成。
数据的实际内容长度可变,类型可变;数据的句柄固定大小,包含指向数据的指针。变量存取时通过查找、修改句柄中的指针即可。V8一个句柄对象的大小是4字节(32位设备)和8字节(64位设备),javascriptCore中是8字节。
V8中的指针包含三类:隐藏类指针,是V8为js对象创建的隐藏类;属性值表指针,指向该对象包含的属性值;元素表指针,指向该对象包含的属性。
3.1.2工作过程
V8中,js代码是在需要执行时才进行编译,而不是一次性全部编译;这也就提高了响应时间。源代码先被解析器转成抽象语法树(AST),然后使用JIT编译器的全代码生成器将其直接生成本地客执行代码。为了提升性能,V8在生成本地代码后,使用数据分析器(profiler)采集一些信息,然后根据这些信息优化本地代码,如果优化后代码性能更差,就会优化回滚。
在执行编译前,V8会构建众多全局对象,并加载一些内置的库(如math库),来构建运行环境。
3.1.3优化回滚
V8没有经过中间表示层的优化,即先编译确定变量类型等,所以引入Crankshaft编译器对热点函数,基于javascript源代码,进行优化分析。Crankshaft为了性能考虑,默认代码稳定且变量类型不变,生成高效的本地代码;但若遇到变量类型在执行过程中改变的情况,V8会将该编译器做的优化进行回滚,即重新从源码开始再次编译。
var counter =
0;
function
test(x, y) {
counter++;
if (counter < 1000000)
{
// do something
return 'jeri';
}
var unknown = new Date();
console.log(unknown);
}复制代码
在未执行到new Date()之前,并不确定unknown变量的类型,执行到时,V8只能将这部分代码进行回滚。优化回滚是很耗时的操作。
3.1.4隐藏类
使用point构造了两个对象p和q,这两个对象有相同的属性名,V8将他们归为同一隐藏类,具有相同的偏移位置信息,p和q共享这一信息,进行属性访问时,只需根据隐藏类的偏移信息即可。但假如,代码执行后,对象q执行了q.z = 5,则p和q不在具有相同的隐藏类,q是一个新的隐藏类。
隐藏类转换取决于将属性添加到对象的顺序:
function Point(x, y) {
this.x = x;
this.y = y;
}
var p = new Point(1, 2);
p.a = 5;
p.b = 6;
var q = new Point(3, 4);
q.b = 7;
q.a = 8;复制代码
而在该函数中,p和q添加属性的顺序不同,隐藏类的偏移量不同,也是两个不同的隐藏类。
3.1.5内联缓存
正常访问对象的过程:首先获取隐藏类的地址,然后根据属性名查找偏移量,然后计算该属性的地址。多次变量存取,就要重复执行这一过程,也较耗时。因此,V8提供了内嵌缓存,即将初次查找的隐藏类和偏移量保存起来,当下次查找相同对象时,可以省略计算地址的过程。但是如果一个对象有多个属性,缓存失误的概率就会提高,因为某个属性的类型变化后,对象的隐藏类也会发生变化,就与之前的缓存不一致,需要重新计算。
3.1.6内存管理
V8垃圾回收机制限制js使用的内存(如果可使用内存太大,垃圾回收时需要耗费更多的资源和时间),因此对内存进行管理:分配和回收。
内存的管理组要由分配和回收两个部分构成。V8的内存划分如下:
Zone:管理小块内存。其先自己申请一块内存,然后管理和分配一些小内存,当一块小内存被分配之后,不能被Zone回收,只能一次性回收Zone分配的所有小内存。当一个过程需要很多内存,Zone将需要分配大量的内存,却又不能及时回收,会导致内存不足情况。
堆:管理JavaScript使用的数据、生成的代码、哈希表等。为方便实现垃圾回收,堆被分为三个部分:
年轻分代:为新创建的对象分配内存空间,经常需要进行垃圾回收。为方便年轻分代中的内容回收,可再将年轻分代分为两半,一半用来分配,另一半在回收时负责将之前还需要保留的对象复制过来。
年老分代:根据需要将年老的对象、指针、代码等数据保存起来,较少地进行垃圾回收。
大对象:为那些需要使用较多内存对象分配内存,当然同样可能包含数据和代码等分配的内存,一个页面只分配一个对象。
3.2 5.9版本
3.2.1引入Ignition字节码解释器的原因
1).V8对代码的编译是在该段代码被执行时,因此代码需要被解析多次--绿色代码(总的)先解析一次,当new Person被调用时黄色代码再解析一次,当doWork被调用时红色代码再解析一次。因此,如果闭包嵌套了n层,在Crankshaft预算正确的情况下,代码至少要被V8解析n次。
2).机器码占空间大,如果要将所有js直译的机器码缓存,占用的内存、磁盘空间很大,而退出浏览器再重新打开,执行使用缓存的时间也会很长。如此,Chrome的缓存之作用在js代码的最外层,真正的执行逻辑并没有被缓存,这也是导致内存资源被占用被浪费的原因。
字节码比机器码紧凑更多,可以降低代码内存的占有率
(来源: docs.google.com/presentatio…)
同样的内存分配下,内存占用减少,启动速度加快,使得V8可以期望提前编译所有js代码,并把字节码缓存,二次打开网站时速度就会更快。也就不再需要Cranshaft这个旧的编译器,引用新的Turbofan直接从字节码优化,并当需要进行反优化的时候,直接反优化到字节码,而不是将机器码反优化到js源码。
(原文出处: docs.google.com/presentatio…)
三、总结
从上述V8引擎的设计特征总结来看,在编码过程中应注意:
- 类型。因为JS是动态类型语言,JavaScriptCore和V8都使用隐藏类和内嵌缓存来提高性能。为了降低反优化概率,一个函数应该使用较少的数据类型;对于对象,应尽量存放相同类型的数据。
- 内存。及时回收不用的内存,不再使用的对象设置为null。
- 优化回滚。闭包嵌套层数不要过多,且执行多次后,尽量不修改对象类型。
- 动态属性。多次New 一个相同的对象时,最好以相同的顺序初始化动态属性,以便隐藏类可以被复用。