Question

WebAssembly的二进制格式是被设计成可在不同操作系统与指令集上高效执行的，无论在Web或非Web环境中。

对高效执行的设想

尽管执行环境是有条件的，本地的，不确定的，也不要向WebAssembly提供下述特性。有些情况下为了WebAssembly模块执行，也许不得不模拟一些宿主硬件或操作系统不提供的特性，让它们似乎被支持。这种情况将会导致糟糕的性能。

随着WebAssembly的标准化推进，我们期望将这些需求也能被固定下来。WebAssembly在设计之初就应该适配未来的平台。

WebAssembly可移植性假定执行环境提供下列特性：

• 8位字节。
• 内存可按字节维度寻址。
• 支持未对齐的内存访问或因软件仿真导致的已知缺陷。
• 32位有符号整数有两个补码，64位可选。
• IEEE 754-2008 32位和64位浮点数，除了一些例外。
• 小端字节序。
• 可使用32位指针或索引有效处理内存区域。
• WebAssembly64 使用64位指针或索引额外支持大于4GB的线性内存。
• 执行在同一机器上的WebAssembly模块与其他模块或进程强制安全隔离
• 提供一个进程担保所有线程的执行的执行环境（即便它们以非并行方式执行）
• 访问8、16、32位自然对齐内存时，可用无锁原子运算符。至少也要包含一个原子级的比较和交换运算符（或同等的加载连接/条件存储）。
• WebAssembly64 访问64位自然对齐内存时，额外需要无锁原子运算符。

API

WebAssembly没有指定任何API或系统调用，只有一个导入机制，需宿主环境定义一组可导入对象。Web环境中，方法通过由开放Web平台制定的Web APIs访问。非Web环境中可以执行一些基础的Web APIs，基础的非Web APIs（例如POSIX），或者自己发明一个。

源码级别

C/C++级别的可移植性可用过面向一个基础API（例如POSIX）编码达成，也可以依赖编译时（通过#ifdef）或运行时（通过 功能发现）和动态加载/链接）编译器和/或库向宿主环境的可用导入们提供的基础接口达成。