WebAssembly

WebAssembly，简称Wasm，是一个低级编程语言。WebAssembly是可移植性的抽象语法树^[2]，被设计来提供比JavaScript更快速的编译及执行^[3]。WebAssembly将让开发者能运用自己熟悉的编程语言（最初以C/C++作为实现目标）编译，再藉虚拟机引擎在浏览器内执行^[4]。WebAssembly的开发团队分别来自Mozilla、Google、Microsoft、Apple，代表着四大网络浏览器Firefox、Chrome、Microsoft Edge、Safari^[5]。2017年11月，以上四个浏览器都开始实验性的支持WebAssembly^[6][7]。2019年12月5日，在W3C制定《WebAssembly核心规范^[8]》后，WebAssembly正式被认证为Web的标准之一^[9]。

WebAssembly

编程范型	结构化堆栈机器
设计者	W3C
实现者	W3C Mozilla Microsoft Google Apple
发行时间	2017年3月，​8年前​（2017-03）
当前版本	2.0（2022年6月1日）[1]
类型系统	静态
系统平台	跨平台
许可证	Apache许可证2.0
文件扩展名	.wat （纯文字格式，人类可读） .wasm（二进制文件）
网站	webassembly.org
受影响于
Asm.js PNaCl
影响语言
AssemblyScript（英语：AssemblyScript）

设计

最高指导目标

在官方的一个github页面^[10]与帮助文档^[11]中，阐述了WebAssembly的设计与实现原则，包含：

1. 定义一个可移植，具有大小与加载高效率的二进制格式，作为编译标的。这个编译标的必须可以被编译至常见的平台，包含移动端与物联网，并且可以善用硬件资源、有原生执行码的执行速度。
2. 规格与实现：
   • 最初的MVP(Minimum Viable Product)与Asm.js有大略相等的功能，并以C/C++语言为优先；
   • 其他额外的特性最初集中在线程，零消耗的异常，和SIMD。这些额外的特性先以反馈和实验为主，包含C/C++以外其他语言的支持。
3. 设计可以执行在现有的网络平台之内以及与之集成：
   • 保持无版本问题、特色测试、向后兼容的网络平台
   • 在与Javascript相同的环境中执行
   • 允许从Javascript中同步调用
   • 强化同源（Same-origin）和安全性权限政策
   • 允许浏览器访问相同功能的Javascript API
   • 定义一个可人工读取，能和二进制格式互换的纯文字格式，以支持查看源代码
4. 设计也可以用于非浏览器的嵌入式系统
5. 制作大平台
   • 为WebAssembly建置新的LLVM后端与伴随的Clang接口
   • 推动其他WebAssembly的编译器与工具
   • 激活更多有用的工具

下一阶段要实现的特色

在2017年推出第一个版本后，同时也列出了下一阶段将实现的特色^[12][13]

• 制定规格
• 线程
• 固定长度的SIMD
• 异常处理
• 垃圾回收
• 存储器区块操作
• 网页内容安全性政策
• ECMAScript 模块集成
• 尾端调用
• Non-trapping浮点数-整数转换
• 多值函数
• Host bindings

官方的宣传

Ending定律

Ending定律也称为终结者定律， 它是Ending在2016年Emscripten技术交流会上给出的断言^[14]：

所有可以用WebAssembly实现的终将会用WebAssembly实现。

现在这个定律除了 WebAssembly 的支持者用做宣传之外看不到任何实现的迹象。

参见

• JavaScript / ECMAScript / Ajax
• Dart
• TypeScript
• V8
• SpiderMonkey
• Qt for WebAssembly

其他逐渐被舍弃的网页客户端技术与RIA

• ActiveX
• VBScript
• Flash / ActionScript
• Microsoft Silverlight
• Java Applet / JavaFX
• asm.js
• Native Client

其他字节码

• Java bytecode
• 通用中间语言 (CIL)