何良-lyComponent+Model+构建一个跨语言的新生态.pdfVIP

构造一个跨语言跨平 台的新生态 Component Model of WebAssembly He, Liang Intel 议题 • Component Model 解决的问题 • Component Model 方案介绍 • 新 WASI Component Model 解决的问题 回顾 Wasm App 开发流程 • 使用开发者熟悉的语言编写 • 使用工具链生成 Wasm Module • 完成胶水代码 （Glue code）。包括 Runtime 初始化，Module 加载，实例 化，运行 当 Wasm App 规模变大 • 模块化 • 分离通用功能 • 基础库 （WASI）。基于能力的安全模型的潜在要求 可复用的 Wasm Module • 实现 Wasm Modules 时： • 如何使用不同语言的类型系统表达相同的逻辑概念，比如复合类型，语言 特有的类型 （Optional），编程的概念 （Async） • 如何确保经过不同的工具链的转换，解决了第一个问题的代码能产生符合 import/export 要求的 Wasm 代码 • 运行 Wasm Modules 时： • 胶水代码。定义实例化顺序，满足实例化条件 （import） • 链接 （link）的形态 链接形态 • 静态 • 自包含但扩大了不必要的冗余 • 动态 • Shared-everything。模拟 native linking （.dll, .so）的过程，所有的 modules 共享一个内存空间 • Shared-nothing。充分隔离 • 根据场景制定最适合的方案 Component Model 方案介绍 Component Model 解决什么问 题 • 实现跨语言条件下的跨模块的通讯 • Host - Module • Module - Module • 实现多 Module 之间的隔离性，并使其可配置 Component type • IDL。 .WIT • 丰富的类型。record,list,tuple,option,resource 等 • 需要由 Core Wasm Type 来表示 • Canonical ABI. 实现 Component Type 和 Core Wasm Type 之间的转 换 • Bindgen (Optional)。在 Canonical ABI 的约束下，实现不同语言对 Component type 的表示 基于 component type 的接口 • 参数和返回值需符合一致性兼容性原 则 • 参数和返回值按值传递 • Runtime 负责在不同 component 间 搬运数据 Parametric linking • 代码单元 （静态）和代码实例 （动态） • 代码单元声明的 import 必须在实例化过程中满足 • 一个代码单元可以成为另一个代码单元的 import • 优势 ：隔离和虚拟化 可配置的链接形式 • 举例 ： • component instance 之间 不共享线性空间 • component instance 内部 共享线性空间 简化胶水代码 • 将大部分实例化过程 （完成链接）从胶水代码中转移到 component model section 中 • (instance), (instantiate) • dummy module。重新组合来 自于不同 Module instance 和 host 的 export •