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

  • 相关阅读:
    mysql 数据库字符集问题
    适配器模式
    thinkphp学习笔记
    StarDict
    dereferencing pointer to incomplete type
    转载的一篇 关于git的
    策略模式
    让你的Ubuntu看的更顺眼些
    vim 配置
    .NET WEB SERVICE 学习记录
  • 原文地址:https://www.cnblogs.com/lkiversonlk/p/5213993.html
Copyright © 2020-2023  润新知