BT

如何利用碎片时间提升技术认知与能力? 点击获取答案

关于WebAssembly你需要了解的7件事

| 作者 刘振涛 关注 22 他的粉丝 发布于 2015年10月23日. 估计阅读时间: 9 分钟 | Google、Facebook、Pinterest、阿里、腾讯 等顶尖技术团队的上百个可供参考的架构实例!

Auth0是一家企业级网络认证服务提供商,致力于为用户提供流畅可扩展的认证解决方案。近日,该公司的工程师Seba Peyrott在文章中为我们介绍了关于WebAssembly技术你需要了解的7件事情

WebAssembly是一项由Mozilla、谷歌、微软及苹果联合开发的项目,致力于为各种语言定义一种二进制形式的编译目标格式,并设计一种可与当前的Web平台集成并在Web环境中执行的方案,最终实现在各类平台上以接近原生的速度调用常见的硬件功能。如果你尚未接触过WebAssembly,可以阅读发表于InfoQ的译文《WebAssembly:面向Web的通用二进制和文本格式》稍作了解,也可查看WebAssembly团队发布于Github的相关设计文档进行深入探究。

Seba Peyrott首先定义了五个与WebAssembly有关的词:源代码、编译器、汇编、字节码、机器码,其中字节码是一种可运行于其它应用中的低阶二进制代码表示,机器码是可直接运行于硬件之上的二进制代码表示。而WebAssembly所做的正是为Web打造一套专用的字节码,这项标准在未来应用场景可能是这样的:

  1. 开发应用,但使用任何一门可被编译为WebAssembly的语言编写源代码。
  2. 用编译器将源代码转换为WebAssembly字节码,也可按需转换为汇编代码。
  3. 在浏览器中加载字节码并运行。

而你需要了解的这七个事实分别是:

  1. WebAssembly不会替代JavaScript。Sebastián认为,越来越多的语言和平台想在Web上大展手脚,这会迫使JavaScript和浏览器厂商不得不加快步伐来补充缺失的功能,其中某些功能通过复杂的JavaScript语义来实现并不合适,所以WebAssembly可以作为JavaScript的补集加入到Web阵营中来。WebAssembly最一开始的设计初衷就是作为不依赖于JavaScript的编译目标而存在,进而获得了主流浏览器厂商的广泛支持。
  2. WebAssembly由参与组建asm.js和(P)NaCl的团队共同开发。Mozilla的asm.js项目初始目标是制定一套JavaScript子集作为编译目标,然而Google的(P)NaCl((Portable) Native Client)则选择为基于LLVM的Web平台提供一套二进制格式。Web平台不由某一厂商独立控制,理应由大家共同参与维护,所以这些团队目前正共同开发一套跨浏览器的编译目标。
  3. WebAssembly向后兼容。团队会针对老版本浏览器提供polyfill支持,目前已经构建出初始原型,也可以通过demo1和demo2体验最新的技术(注:高能预警,请提前保存所有重要文档,打开demo后会非常卡)。
  4. WebAssembly比CPU汇编代码更简单易懂。WebAssembly所以描述的结构是抽象语法树(abstract syntax tree,简称AST),它同时也提供一些高阶结构,例如:循环和分支。如果了解语法规则,你可以手写WebAssembly结构,将编译后的二进制文件反编译的结果也是可读的,WebAssembly甚至支持在已编译文件中添加调试信息。下面有两段WebAssembly示例可以参考:

    1. s-表达式AST,完整示例

      ;; Iterative factorial named
      (func $fac-iter (param $n i64) (result i64)
          (local $i i64)
              (local $res i64)
          (set_local $i (get_local $n))
          (set_local $res (i64.const 1))
              (label $done
              (loop
                  (if
                      (i64.eq (get_local $i) (i64.const 0))
                          (break $done)
                      (block
                          (set_local $res (i64.mul (get_local $i) (get_local $res)))
                              (set_local $i (i64.sub (get_local $i) (i64.const 1)))
                          )
                      )
                  )
              )
              (return (get_local $res))
      )
    2. 另一种表示方法,完整示例

      export func main() i32 {
          storeI32(temp, 0);
          var i i32 = 0;
          done: while (i < 10) {
              i = i + 1;
              if (i >= 7) {
                  break done;
              }
          }
          return (i + ifelse(0, 1, 2) * 2) * loadI32(temp) + loadI32(scale);
      }
  5. WebAssembly将超出JavaScript所需的功能进行扩展。根据项目文档中的最小可行产品(MVP)原则,WebAssembly初期将实现asm.js的所有功能,但是会将其文字表达形式转换为二进制格式,以此来进一步优化加载时间。在未来的版本中,可能有如下几方面的突破:
    • 完整的线程支持
    • 单指令多数据(SIMD)类型与内联函数
    • 零成本异常(堆栈检查与展开)
    • 协同程序
    • 动态连接
    • DOM集成
    • 集成垃圾回收
    • 尾调用优化
    • 多进程支持
  6. 支持在浏览器中开启Source-maps功能调试编译后代码。通过添加Source-maps的支持,可以在调试字节码的过程中有效避免“调试地狱”,WebAssembly也支持在二进制格式文件中直接添加调试信息,简化调试过程是其标准中定义的内容之一。
  7. 即刻行动,无须等待。WebAssembly集asm.js与NaCl二者之精华,如果你想马上体验这些新兴的技术,建议选择asm.js进行体验,Emscripten可以帮助你把其它代码转换成asm.js。由于WebAssembly尚处于孕育期,开发者们仍然会继续维护asm.js,通过它在Github上的仓库你仍可得到相应的支持。

无论在官方文档还是在其它文章中,我们一直关注如何在Web平台上应用WebAssembly技术,往往忽略了通过这个平台同时也实现了JavaScript与其它语言互相调用的可能性。总而言之,WebAssembly刚刚起步,同时它是多个主流厂商共同支持的解决方案,念念不忘,必有回响,我们继续期待着。


感谢徐川对本文的审校。

给InfoQ中文站投稿或者参与内容翻译工作,请邮件至editors@cn.infoq.com。也欢迎大家通过新浪微博(@InfoQ@丁晓昀),微信(微信号:InfoQChina)关注我们,并与我们的编辑和其他读者朋友交流(欢迎加入InfoQ读者交流群InfoQ好读者)。

评价本文

专业度
风格

您好,朋友!

您需要 注册一个InfoQ账号 或者 才能进行评论。在您完成注册后还需要进行一些设置。

获得来自InfoQ的更多体验。

告诉我们您的想法

允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p

当有人回复此评论时请E-mail通知我
社区评论

允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p

当有人回复此评论时请E-mail通知我

允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p

当有人回复此评论时请E-mail通知我

讨论

登陆InfoQ,与你最关心的话题互动。


找回密码....

Follow

关注你最喜爱的话题和作者

快速浏览网站内你所感兴趣话题的精选内容。

Like

内容自由定制

选择想要阅读的主题和喜爱的作者定制自己的新闻源。

Notifications

获取更新

设置通知机制以获取内容更新对您而言是否重要

BT