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程序时有一些可以遵循的规则,用以加快执行效率,参见链接

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
【社区内容提示】社区部分内容疑似由AI辅助生成,浏览时请结合常识与多方信息审慎甄别。
平台声明:文章内容(如有图片或视频亦包括在内)由作者上传并发布,文章内容仅代表作者本人观点,简书系信息发布平台,仅提供信息存储服务。

推荐阅读更多精彩内容

  • https://nodejs.org/api/documentation.html 工具模块 Assert 测试 ...
    KeKeMars阅读 11,516评论 0 6
  • 转至元数据结尾创建: 董潇伟,最新修改于: 十二月 23, 2016 转至元数据起始第一章:isa和Class一....
    40c0490e5268阅读 5,861评论 0 9
  • Spring Cloud为开发人员提供了快速构建分布式系统中一些常见模式的工具(例如配置管理,服务发现,断路器,智...
    卡卡罗2017阅读 135,773评论 19 139
  • 在线阅读 http://interview.poetries.top[http://interview.poetr...
    前端进阶之旅阅读 115,179评论 24 450
  • error code(错误代码)=0是操作成功完成。error code(错误代码)=1是功能错误。error c...
    Heikki_阅读 8,733评论 1 9