Nodejs V8 property fast lookup

前言

之所以会研究这个东西，是我在网上找了一下各个语言的执行效率比较。好吧，我承认这是个无聊的东西，不过看看总是无妨，然而我惊讶的发现，有些测试声称Java，C，Nodejs是处在同一个效率级别参见链接。这个让我很是惊讶，因为在我的理解中，像nodejs这种解释语言，每一个对象应该都是一个key-value字典结构，那么每一个属性查找的速度就会被C这种编译语言甩开一条街。
那么，nodejs的属性查找是怎么实现的？

附

我有很多定义说的不太准确的，大家理解意思就行。。别揪着一两个名词不放，求高抬贵手。

property lookup

property lookup，就是指找到程序中某一个对象的属性的具体内存位置以完成读写，根据我的理解，根据是否支持动态属性，编程语言的property lookup一般会有两个方案。

• 静态属性语言
  这种语言基本都是编译语言，比如C，C++，Java。编译语言其实是不存在property lookup这个事的，或者说，他的property lookup已经在编译阶段完成了，例如下面的code：

  a.b = 24
  

  在编译后会直接变成对内存位置的写入操作，根本不需要lookup

  set pos[offset] 24         
  // 原谅我汇编稀烂，明白意思就行
  

• 动态属性语言
  动态属性语言指的是对象的属性是可以随时动态存取的，动态属性带来了极大的灵活性，但同时也对效率带来了较大影响。
  通常动态类型语言的对象模型就是一个字典，每一次property lookup，都需要一个字典的查询过程，那么就包含了hash值的计算，然后key的字符串比较，成功后才能返回属性对应值，比如同样的一个命令：

  a['b'] = 24       //支持以字符串来动态更新属性
  

  往往会变成以下过程：

  hash_code = hash('b')
  if(a.dict[hash_code] == null) return null
  if(a.dict[hash_code].key == 'b') return a.dict[hash_code].value
  hash_code = rehash(hash_code)...      
  

  不用想也知道，每一次property lookup都这么麻烦，执行效率必然会比第一种语言低很多了。
  那么nodejs的对象模型有什么不同之处，可以弥补这条鸿沟？

V8所做的优化

这里我们拎出nodejs的执行引擎中效率最好的佼佼者--- V8引擎，看看它的特别之处。在V8的官方文档中给出了说明。V8采取了一种类似编译语言的机制:hidden class.
V8会给每一个创建的对象都创建一个hidden class，比如下面这段代码:

    funciton Person(x, y){
            this.x = x;
        this.y = y;
    }

V8会创建出三个hidden_class分别对应于 Person{}, Person {x: }, Person {x: y:}，具体过程可以参见官方说明。
那么这三个hidden_class有啥作用？这个必须跟V8的Inline Cache结合起来才行。

inline cache

V8解释完js脚本后生成的不是中间语言，而是直接的机器语言。而且v8使用了inline cache技术。
inline cache具体是什么？简单的说，就是试图通过观察程序执行过程，动态的去调整代码以提高效率。
一个简单的例子

    x.a = 25

在通常的动态类型语言中会翻译成一个字典查找，不过在V8的第一次执行中，它会找到x对应的hidden_class，然后找到a在x实例中的偏移。而在以后的执行中，它会将这段代码优化成以下形式：

if(x.hidden_class == "supposed hidden class"){
    x[offset_a_in_hidden_class] = 25
}else{
    //dictionary lookup "a"
    ...
}

与其每次都去做一个基于属性的字典查询，不如试着根据上次执行的结果，猜测下，如果还是相同的class，那就可以复用执行时已经得到的offset结果。虽然JavaScript是一个动态类型语言，但是大部分时候我们的代码并没有用到这么多动态特性，因此本来一个字典操作变成了一个直接的地址比较。从而达到了静态类型语言的执行速度。
正因为这个特点，写nodejs程序时有一些可以遵循的规则，用以加快执行效率，参见链接。