WebAssembly（Wasm）并不是一门编程语言，而是一种面向多宿主环境的虚拟指令集架构（Virtual ISA, V-ISA）。
对应物理世界中的 ISA（如 x86 / ARM），Wasm 作用于虚拟执行体系
JVM 与 Wasm 同属 V-ISA，但设计目标不同：
第一性原理：
Wasm 的核心目标不是"替代 JavaScript"，而是提供一种 跨语言、跨平台、可沙箱化执行的最小通用计算抽象。
┌────────────────────────────┐
│ 应用 / 语言层 │ C / C++ / Rust / Go / …
├────────────────────────────┤
│ 编译与 IR 层 │ LLVM IR → WASM Binary
├────────────────────────────┤
│ WebAssembly 指令集 │ Stack VM / Binary Format
├────────────────────────────┤
│ 系统抽象层（WASI） │ Capability-based API
├────────────────────────────┤
│ Wasm 运行时 │ Wasmtime / Wasmer / WAMR
├────────────────────────────┤
│ 宿主环境 │ Browser / OS / Cloud / Edge
└────────────────────────────┘
该分层模型体现了 Wasm 的核心设计思想：强边界、弱假设、最小抽象。
Wasm 模块是一种自描述、可验证、与平台无关的二进制单元。其内部结构由一组 Section 组成，但 Section 的本质并非“文件格式”，而是系统能力的声明集合。
| 能力维度 | 对应 Section | 设计意图 |
|---|---|---|
| 类型系统 | Type | 行为签名的前置声明 |
| 行为映射 | Function / Code | 类型与实现的分离 |
| 状态模型 | Global / Memory / Data | 显式状态与线性内存 |
| 动态分发 | Table / Element | 间接调用与多态 |
| 生命周期 | Start | 模块初始化钩子 |
| 边界接口 | Import / Export | 能力与依赖显式化 |
| 元数据 | Custom | 调试与工具支持 |
意义：确保模块在加载前即可被快速识别与验证。
Wasm 采用栈式虚拟机模型，其设计权衡包括：
设计哲学：以编码复杂度换取传输与存储效率。
WebAssembly Text Format（WAT）是 Wasm 二进制的语义等价文本表示，主要用于：
每个 Wasm 模块实例：
核心思想：
无指针共享、无隐式对象、无宿主内存污染。
WASI（WebAssembly System Interface）是 Wasm 在 Web 之外可运行的关键。
对比传统 OS：
在 Wasm 语义下：
模块实例 = 最小隔离执行单元
特征：
权限规则：
该模型天然适配：
| 运行时 | 特点 | 适用场景 |
|---|---|---|
| Wasmtime | 标准友好、性能稳定 | 云 / Server |
| Wasmer | 多语言绑定 | 平台集成 |
| WAMR | 轻量、C 实现 | IoT / Embedded |
| WasmEdge | 云原生导向 | Edge / AI |
本质：
Wasm 是 LLVM 生态的可执行终点之一。
这是 Wasm 强隔离换取安全与可移植性 的必然代价。
WebAssembly 是一种：
以安全、可验证、最小能力集为核心的通用执行抽象。
它不是某一语言的替代品，而是未来多计算环境的公共底座。