WASM 嵌入式与物联网：WAMR 运行时、资源约束与设备部署

1. 业务逻辑与系统解耦：固件稳定，逻辑可热更
2. 多租户（多厂商插件）：一个设备跑多个隔离模块
3. 安全：不可信第三方模块在沙箱内执行
4. 资源轻量：WAMR 仅需几十 KB 至几百 KB 内存
5. 开发效率：Rust/C 编译到 wasm，跨平台复用

适合：类 Linux/带 MMU 的 MCU、有足够 RAM（≥64KB）的
      智能设备、网关、模组（WiFi/BLE 模组跑业务逻辑）
不适合：超小 8 位 MCU（几 KB RAM）——放不下运行时

WAMR（WebAssembly Micro Runtime）：
  Bytecode Alliance 的嵌入式 WASM 运行时
  设计目标：极小内存（几十 KB）、无 OS 依赖、多架构
  支持：Interpreter / AOT / JIT 三种执行模式

典型选择：
  <64KB RAM → Interpreter
  64-256KB  → AOT（性能优先）或 JIT（灵活）
  >256KB    → AOT/JIT + 多模块

# 编译 WAMR（Linux 类主机 + 目标板）
cmake -B build \
  -DWAMR_BUILD_INTERP=1 \
  -DWAMR_BUILD_AOT=1 \
  -DWAMR_BUILD_LIBC_BUILTIN=1 \
  -DWAMR_BUILD_FAST_INTERP=1 \
  -DCMAKE_CROSSCOMPILE=ON \
  -DCMAKE_TOOLCHAIN_FILE=../toolchain/riscv.cmake

嵌入式内存规划（以 128KB RAM 设备为例）：
  系统 + 运行时内核    ：40KB
  WASM 模块代码+堆栈   ：40KB（小业务模块）
  数据/缓冲           ：30KB
  预留               ：18KB
WAMR 用 interpreter 模式时仅需 20-40KB 运行时

1. wasm-opt -Oz：激进体积优化（去重、合并）
2. 裁剪导入：只导入确实用到的 WASI/宿主函数
3. 小整数类型：用 i32 而非 i64（Rust 注意 usize）
4. 避免 std：Rust 用 #![no_std]（无 OS 依赖）
5. 压缩传输：下发时 gzip/差分，解压后执行

1. 快速解释器（fast-interp）：速度接近 JIT 的轻实现
2. 内存池复用：WAMR 分配器替换为设备专用（避免碎片）
3. 关闭不需要特性：多线程/GC 等按需裁剪
4. 编译期移除：WAMR 模块化裁剪（只编用到的特性）

传统 OTA：整包固件刷写（易变砖、需回滚、体积大）
WASM OTA：只下发 .wasm 业务模块
  - 体积小（KB 级，可差分）
  - 原子切换（新模块加载失败自动回退旧模块）
  - 风险可控（不碰固件，设备不会变砖）

1. 云端构建新 .wasm（CI 流水线产物）
2. 设备从 OTA 服务器拉取（HTTPS/CoAP）
3. 校验签名 + 哈希（拒绝被篡改模块）
4. 新模块独立加载（与旧模块并存验证）
5. 运行测试期（shadow/灰度过半）
6. 确认无误 → 切换默认模块；失败 → 回滚

差分更新：基于旧模块生成补丁（bsdiff/xdelta），只传差异
带宽节省：KB 级模块本身已比 MB 级固件省数个量级
失败处理：下载中断续传、校验失败不落地、双槽位交替

1. 限制线性内存上限（wasm-runtime 配额）
2. 关闭不需要的导入（最小权限）
3. 每模块独立 instance（多厂商隔离）
4. 启用栈边界保护
5. 关键设备再加 TEE（TrustZone）/ 安全元素

智能设备（如网关）常需要「第三方插件」：
  每插件一个 wasm 模块 + 独立 instance
  插件只能访问宿主显式注入的 API（传感器/网络句柄）
  插件崩溃 → 只重启该模块，网关主逻辑不受影响

# 在 Zephyr 工程引入 WAMR
cmake -B build \
  -DBOARD=nrf52840dk/nrf52840 \
  -DWAMR_BUILD_ZEPHYR=1 \
  -DWAMR_BUILD_INTERP=1 \
  -DWAMR_BUILD_LIBC_BUILTIN=1

# 应用层：创建 WAMR 实例、加载模块

/* Zephyr 上启动 WAMR 解释器 */
#include "bh_platform.h"
#include "wasm_export.h"

int main(void) {
  /* 加载 flash 中的 wasm 模块 */
  uint8_t *wasm = load_module_from_flash();
  WASMModule *mod = wasm_runtime_load(wasm, size, error_buf, 128);
  WASMInstance *inst = wasm_runtime_instantiate(mod, 16 * 1024, 4096, error_buf);
  /* 调用导出的业务函数 */
  wasm_runtime_call_wasm_a(inst, "on_event", NULL, 0, 1, sensor_val);
}

主流 RTOS 集成路径：
  Zephyr   ：官方 sample（wasm-micro-runtime/zephyr）
  NuttX    ：WAMR 支持，POSIX 子集可用
  FreeRTOS ：wamr-free-rtos 移植
  RT-Thread：国内常用，有 WASM 软件包
要点：宿主需提供小文件系统（LittleFS）与时钟接口

极简设备：WAMR 提供裸机模式（无 OS 依赖）
  - 自管理内存分配
  - 时钟/串口通过宿主注入
  - 适合单任务控制逻辑

嵌入式 AI（TinyML）+ WASM：
  传感器数据 → 预处理 → WASM 推理 → 决策
模型：TinyML 量化后 <100KB（如 TFLite 微模型）
运行时：WAMR interpreter 即可跑（或 AOT 提速）

// no_std 下用 wasm 跑量化推理
#[no_mangle]
pub extern "C" fn infer(features: *const f32, n: u32, out: *mut u8) {
    let feat = unsafe { core::slice::from_raw_parts(features, n as usize) };
    let pred = simple_model::predict(feat);   // 量化 INT8 推理
    unsafe { *out = pred };
}

宿主为 wasm 模块注入的典型 API：
  sensor_read(temp/imu/co2) → 设备传感器读取
  control(pin/actuator)     → GPIO/执行器
  network_send(metric)      → 上报遥测
  log(level, msg)           → 本地日志
→ 模块只经注入 API 触达硬件，隔离且可审计

开发 → 构建 → 下发：
  1. Rust/C → wasm32-wasip1 目标
  2. wasm-opt -Oz 优化
  3. 签名 + 差分压缩
  4. 上传 OTA 服务器
  5. 设备校验加载执行

rustup target add wasm32-wasip1

# Cargo.toml
[profile.release]
opt-level = "z"
lto = true
codegen-units = 1
panic = "abort"          # 省栈省体积
strip = true

#![no_std]                 // 无 std，适配裸机
#[panic_handler]
fn panic(_: &core::panic::PanicInfo) -> ! { loop {} }

1. CI 构建产物唯一版本号 + 签名
2. 灰度：小批量设备先更新（shadow 验证）
3. 监控：设备遥测跟踪模块运行状态/崩溃率
4. 回滚：保留上一版本，失败自动切换
5. 证书/密钥管理：OTA 签名的私钥存 HSM/TEE

替代方案对比：
  JS 解释器（JerryScript）：语法更熟但更慢更重
  原生固件模块            ：快但不可热更、易碎片化
  WASM（WAMR）            ：可热更 + 隔离 + 轻量 + 跨平台