转载

[译] 关于 WebAssembly 你应该知道的 7 件事

粗略翻译, 推荐看原文

https://auth0.com/blog/2015/10/14/7-things-you-should-know-about-web-assembly/

了解 WebAssembly, 了解 Web 的将来

介绍

如果你不熟悉 WebAssembly 后面的概念, 可以读一下:

ArsTechnica 的 Peter Bright 写的优秀的论文 ,

或者是 Brendan Eich 在他的个人博客上写的公告文章

考虑到本文的目标, 这里加上个简短的术语表:

源码(Source code): 开发者写的.
编译器(Compiler): 一个应用程序, 用于把源码转换为汇编,字节码或者机器码(任何其他的应用程序或者硬件可以运行的)
汇编(Assembly): 低级的类似源码的语言, 针对特定机器或特定应用程序
字节码(Bytecode): 低级的二进制的代码形式, 可以被其他应用程序执行
机器码(Machine code): 代码的二进制形式, 可以由硬件直接执行

WebAssembly 的目标是 Web 的字节码. 未来的开发者会这样使用 WebAssembly:

开发一个应用(源码用任何可以编译到 WebAssembly 的语言)
用编译器把源码转换到 WebAssembly 字节码(可能只要的话转化成汇编)
在浏览器加载字节码并执行

[译] 关于 WebAssembly 你应该知道的 7 件事

真相 1: WebAssembly 不是 JavaScript 的末日

已经说过的再说一次: JavaScript 依然会继续

得益于 Web 平台的增长, JavaScript 已经成为开发者和工具链的通用语言

WebAssembly 不会改变这一点

WebAssembly 想要替代的是目前 JavaScript 被强行用来占据的地方:

可以用作编译目标的底层的代码表示形式

As more and more languages and platforms begin to target the web,

随着越来越多语言和平台以 Web 为目标, JavaScript 有着更多的压力

浏览器提供商为此尽可能加入缺失的功能

其中一些功能在已经很复杂的 JavaScript 语义当中不能运作地很好

WebAssembly 就是为这个问题提供答案:

它从一开始就被设计为编译目标
它将得到所有主流浏览器提供商的支持
它可以根据需要任意地偏离 JavaScript 原有的语义

WebAssembly 对于 Web 来说是对 JavaScript 很有必要的补充

真相 2: WebAssembly 由 ASM.js 和 (P)NaCl 背后的团队开发

如果你过去几年跟进了 Web 的发展你就知道 WebAssembly 目标很有难度:

为不能轻易映射到 JavaScript 的语言提供一套统一的编译目标.

不仅仅从技术方面来说目标很艰难, 而且从标准方面来说也是困难的

Web 并不是由单一的提供商控制, 每一个改变都一定是联合的努力

幸运的是, WebAssembly 背后的团队知道这一点.

在 Mozilla, 一群专家开发者尝试通过 ASM.js 的形式提供答案:

用一个套 JavaScript 的子集作为编译目标

另一方面, Google 致力于 Native Client(NaCl) 和 Portable Native Client(PNaCl):

一套基于 LLVM 的 Web 的二进制格式

尽管每个方案某种程度上取得了效果, 但他们没有能的方所有问题提供满意答案

基于这个经验 WebAssembly 才浮现出来: 联合努力来提供跨浏览器的编译目标

WebAssembly 的未来看起来一篇光明

Fact 3: WebAssembly 会向后兼容

Web 的一个基础特性就是向后兼容性, WebAssembly 也不例外:

对于就浏览器将会有一套 polyfill. 而且, 它的原型已经有了

你可以在这里和这里看到它们已经在使用

Fact 4: WebAssembly 看起来不像 CPU 汇编

当听到"汇编"这个词你也许马上在脑子里听到"可读性差"这句话

幸运的是, WebAssembly 不是这样. 相对于其他底层代码表示形式,

或者大多数的二进制码, WebAssembly 描述的是抽象语法树(AST)

是的, WebAssembly 提供了高级的结构, 比如循环和分支

意味着可以直接写 WebAssembly, 或者反编译二进制文件

从而得到可读性比较好的 opcodes 或者指令

你可能会想"变量名怎么办?" WebAssembly 将支持编译后文件增加调试信息

这里举了例子 WebAssembly 的文本形式看起来怎么样例子使用了 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)) )

这里看完整的例子

那么, S 表达式是最终的格式吗? 不是的, 目前没有 WebAssembly 的官方版本还有另一个例子, 完全不用的语法, 你可能会更熟悉

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); }

可以在这里看到