WebAssembly 的由来

Javascript ，也叫Ecma script, 是这家伙用了 10 天时间赶出来的。。

因此，各位程序猿们，若是你以为老板 10 天要大家上线一个 App 是一个丧心病狂的事情，那么能够多想一想这位哥。

Youtube 上有位哥的采访，你能够听听大神当年的故事。

https://www.youtube.com/watch?v=IPx…固然，码农和大神的区别在于：遇到这种事情，10 天之后码农死掉了，而大神成功了。

只是但凡这种极速上线的事情，都会留下一堆的坑，大神和码农的的区别，也就是水洼和天坑的区别。

这个是坑列表：

• Javascript 从最开始设计，就是一种解释型语言，由于大神以为让 Javascript 的目标用户－ “非专业编程人员和设计师”，了解什么是编译器是一件很残忍的事情。

• 类型天然也是没有的，由于学习类型就要学习 CPU 工做原理， 学习 CPU 工做原理就要学习组成原理， 大神以为，让 “非专业编程人和设计师” 去了解 1 和 1.0 一个是 CPU 上处理， 一个是 FPU 上面处理这种显而易见的现象是一件很残忍的事情。

• 对象模型是惊人的奇葩，那是由于不想设计得和 Java 同样强大, Netscape 当初想法是主要工做都是 Java 来完成，只有轻量级的简单操做留给 Java script, 作为一种胶水语言( glue langurage). 如今知道为何叫 Java script了吧？ 一个是Java, 一个是和Java 配合的 Script (脚本）。 以前还叫过Live script, 由于脚本和 Java 互动的技术叫 Live connect.

• 对于泛型， 缺省参数，操做符重载， 异常 等等这些黑科技， 大神的回答统统是：

好吧，异常后来加上去了。

若是故事到此为止，其实不算一个悲伤故事，大神 10 天时间完成预约目的，东西也发布了，市场反应也不错。

可是问题是，市场反应实在是太好了，好得 Javascript 一路窜红，红得各大浏览器厂商纷纷支持， 成为浏览器里面事实上的官方语言。 在这个过程当中， 还顺手干掉了 VB script,

因而这个当初为 “非专业编程人员和设计师” 的解释型语言如今竟然变成互联网上面最重要的语言之一，被用来作各类以前想也不敢想的东西，甚至还有人不顾死活的拿他来作WebOS.

因而这个时候，以前全部的小水洼都变成了天坑。以后很长段时间 JS 领域的发展史，均可以说是填坑史。

其中最大的一个坑，就是性能。

性能填坑阶段一

Javascript 一开始就是解释性语言，解释性语言的一大特色就是慢， 而网页应用愈来愈复杂，若是点个按钮要等几秒钟，那淘宝的秒杀就要变成10秒杀了。这个固然不能忍。 因而聪明的人类想到一个办法，虽然你是解释型语言，可是我能够偷偷的编译你啊。 这个也不须要让这帮 “非专业编程人员和设计师” 们知道， 我只要在程序运行前的一刹那，编译即将运行的代码就好。你看我机不机智。

因而 Google 在 2009 年在 V8 中引入了 JIT 技术 (Just in time compiling 江湖人称即时编译)。 有了这个buff, Javascript 瞬间提高了 20 － 40 倍的速度。直接致使一大波大型网页应用的出现。今后 Javascript 一骑绝尘， 飞黄腾。。呃， 好像哪里不对嘛？

人类的性能的指望是无穷无尽的，JIT 的带来的性能提高很快就榨干了。实际上 JIT 有如下问题：

• JIT 基于运行期分析编译，而 Javascript 是一个没有类型的语言，因而， 大部分时间，JIT 编译器实际上是在猜想 Javascript 中的类型，举个例子：

JIT 看到这里， 以为好开心， 立刻把 add 编译成

但是你随后又干了这样一个事情

JIT 编译器的表情确定是

怎么办， 已经编译成机器码了啊。

• 这种状况下，JIT 编译器只能推倒重来。JIT 带来的性能提高，有时候尚未这个重编的开销大。
  有不少的状况下面， JIT 编译器都没法生成代码，好比异常， 好比 for in , 这个基本上是实现难度引发的，具体能够参考： Optimization killers · petkaantonov/bluebird Wiki · GitHub

• 事实上，大部分时间 JIT 都不会生成优化代码，有字节码的，直接字节码，没有字节码的，粗粗编译下就结了，由于 JIT 本身也须要时间，除非是一个函数被使用过不少遍，不然不会被编译成机器码，由于编译花的时间可能比直接跑字节码还多。

因而，总体上 Javascript JIT 提升的性能到达的天花板仍是不高的，虽然是提升了 20 - 50倍，那只是由于以前解释执行实在是太慢了。。

性能填坑阶段二。

既然 JIT 遇到的问题是类型不肯定问题和有一些语言功能，好比异常，for in ， JIT 起来很麻烦， 我可不能够搞个方法让用户不去用这些功能，同时让他们把用的类型都标注出来啊。

按照这个思路， 催生了两种实现路径：

• 一种是 Typescript, Dart, JSX 为表明的，基本思想是， 我搞个其余的语言，这个语言是强类型的，因此程序猿们须要指定类型，而后我把它编译成 Javacript 不就好了嘛。强类型的语言编译成弱类型还不容易，什么，不知道怎么编？ 把类型去掉就好了嘛。

• 另外一种是火狐的 Asm.js 为表明的， 作一个 javascript 子集， 同时试图利用标注的方法，加上变量类型， 若是以为好难理解，这就是个典型的例子：

加上一堆没有什么卵用提示 x 实际上是个 int， 而后有一个可以识别这些符号的JS引擎，你就能够不用猜类型了哦， 事实上，因为有了类型，连传统的 AOT 都成为了可能

(Ahead of time, 不懂的话，想象一下，就是和 C/C++ 那种编译方式就行了）。

若是你没有注意到，第二种的速度提高潜力比第一种要大很是多。由于第一种，不管如何，也是就是让JIT (即时编译) 快一点, 第二种那可直接就编译了啊 (AOT).

这个是 Asm.js 相对于 JIT 和原生的性能对比

同时你们有没后注意到，这个不是原生代码哦， 性能堪比原生代码， 安全性和传统 Javascript 彻底同样。 (尼玛，你让插件们怎么活）。Web Assembly 就是第二种方式，说到底，Mozilla, Google, Microsoft, and Apple 以为 Asm.js 这个方法有前途，想标准化一下，你们都能用。

有了大佬们的支持，Web Assembly 比 asm.js 要激进不少。 Web Assembly 连标注 Js 这种事情都懒得作了，不是要 AOT 吗？ 我直接给字节码好很差？（后来改为 AST 树）。对于不支持 Web Assembly 的浏览器， 会有一段 Javascript 把 Web Assembly 从新翻译为 Javascript 运行， 这个技术叫 polyfill, HTML5 刚出来的时候很经常使用的一个技术。

使用 AST 的缘由是由于 AST 比字节码更容易压缩，也更容易翻译。

不了解 AST 能够看下面这张图， 说明 Javascript 引擎的执行过程。 Javascript 先编译为 AST， 而后到 Bytecode. AST 的抽象程度比 Bytecode 要高一级。

总结来讲， Web Assembly 的工做方式以下：

好处是：

• 大幅度提升 Javascript 的性能，但愿能把性能这个坑填完，同时也不损失安全性。Webapp 和 原生 App 的性能差距变得很小。

• 基本以前须要插件来提升速度这种技术已经没有必要了， 网页应用的移植性会变得更好。

• 感谢@easing 提醒， WebAssembly 其实容许任何语言编译到它制定的AST tree， 这样子，各位就能够开开脑洞了， 由于，你能够用C/C++写网页了。。

PS: 这个技术我大 Opera 竟然没有参与，今天去申请了进入这个 W3C 讨论组，有消息再放给你们。 

---- 转载自罗同窗的知乎回答，感受写的超棒就节选了，如下是做者信息：

做者：罗志宇

连接：www.zhihu.com/question/31…

来源：知乎