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)