第六章 增补舱位：高级特性与扩展提案

章节摘要：MVP 之后的 Wasm 靠提案体系持续加装：多线程解锁并行、SIMD 解锁向量吞吐、垃圾回收解锁托管语言、WASI 解锁系统能力、组件模型解锁跨语言拼箱。本章按"解决什么痛点、如今能不能用、代价是什么"的统一口径巡检这批增补舱位，读完你应当能为自己的项目画出一张清晰的采用时间表。

一条主线：一版规范如何长成操作系统级平台

把 MVP 的能力清单摊开看，它离"通用计算平台"还缺什么？缺并行（只有单线程）、缺向量吞吐（逐标量运算）、缺托管语言的栖身之所（没有 GC 协作）、缺系统能力（没有文件与网络）、缺跨语言契约（只有裸函数签名）。扩展提案体系正是按这份缺货清单逐项补舱的——每一项提案背后都站着一批等米下锅的应用场景。

提案从构想到落地要走完标准化的流水线：社区提案进入阶段清单，经过参考实现、引擎验证、多引擎落地，最终并入规范。不同提案的进度差异巨大，这直接决定了工程上的采用姿态：已并入规范的多线程与 SIMD 可以放心上生产；垃圾回收与组件模型已有关键引擎落地但生态仍在磨合，适合双轨并行；更超前的提案保持关注即可。本章五节就按这份进度表安排笔墨——能用的讲透用法，将能用的讲清边界。

沿途站点：五个舱位的巡检单

6.1 多线程支持给字节带来真正的并行：共享线性内存加原子指令，配合宿主线程池执行。浏览器侧落地为 SharedArrayBuffer 加 Worker（上一章已提前打过照面），服务端直接映射原生线程。本节讲共享内存的语义、原子操作的纪律与死锁预防，以及"哪些算法值得并行"的判断。

6.2 SIMD 与性能扩展把 128 位向量指令带进规范：一条指令处理四路整数或两路双精度浮点。编解码、图像处理、密码学是它的主场；编译器自动向量化与手写内在函数两条使用路线都会展开。附带把批量内存操作、宽松 SIMD 等性能家族一并归拢。

6.3 垃圾回收集成改写的是类型系统：结构体、数组、引用等托管类型进入规范，Java、Kotlin、Dart 这类带 GC 的语言不再被迫把对象塞进线性内存自建堆。本节讲双堆协同的架构、与宿主对象的直通交互，以及"为什么手写内存的语言反而暂时用不上它"这个反直觉的现状。

6.4 系统接口与 WASI处理"字节出了浏览器怎么办"：把文件、时钟、环境变量、套接字抽象成可授予的能力接口。本节走完从编译到运行的一条完整服务端会话，剖析能力模型的安全哲学，并交代预览版本之间的兼容性坑。

6.5 组件模型是提案体系的地平线：WIT 接口描述语言定义世界（world），组件化字节携带接口元数据，跨语言调用从手工绑定变成标准协议。本节用一份 WIT 文件走完 Rust 到 JavaScript 的完整拼箱流程。

拐点与结论

本章的拐点是采用策略的分层思维。"全部等标准定稿再动手"会错过当下的收益窗口——SIMD 带来的吞吐提升已经可以兑现；"什么新用什么"则会在兼容性上撞得头破血流——组件模型的接口形态仍在演进，押注单一版本会背上一身迁移债。成熟的姿态是按能力矩阵分层：核心路径用已定稿特性，边缘场景试水准标准特性，前瞻特性只在预研分支出现。

第二个结论关于能力边界：这批增补舱位正在把 Wasm 从"字节码格式"推向"平台标准"。多线程加共享内存是操作系统的心智，WASI 是系统接口的心智，组件模型是包管理器的心智——三者合起来，等于在定义一个不依赖任何内核的"最小操作系统"。理解了这个走向，第七章的应用实践与第八章的生态展望就不再是零散案例，而是同一张蓝图上的已建与在建。

读完你应该

• 能画出提案从社区提案到并入规范的生命周期，并据此判断一个特性现在能否上生产；
• 能写出使用共享内存与原子操作的并行模块，说清数据竞争的成因与预防；
• 能用向量指令改写一段标量热点循环，并用基准数据验证收益；
• 能解释 GC 类型系统与线性内存的关系，判断自己的语言能否从中受益；
• 能读懂一份 WIT 接口文件，走通组件从构建到跨语言调用的全流程。

下一章的接力

舱位装好，该跑真实航线了。下一章把前六章的全部装备拉进实战：Web 端的完整集成案例、服务端与边缘的部署形态、性能优化的系统方法——特性清单在那里变成交付成果。