Skip to content

SYX 后端 Parity(VM · MIR/WASM · LLVM) ​

English

后端特性 parity 的文档入口(行为以 crates/syx-driver/tests 与 CI 为准)。

主 CI(.github/workflows/ci.yml)大致运行:

bash
cargo test -p syx-driver \
  --test evergreen --test lang --test concurrency --test stdlib \
  --test observability --test security --test backends \
  -- --test-threads=1
cargo test -p syx-lsp
# + capability freshness / tip-leak gates(见 workflow)

Evergreen 内含 parity_native 等;历史独立 parity_vm / parity_wasm 套件名以仓库当前 tests/ 布局为准。

三后端矩阵 ​

维度VM(syx-vm)WASM(syx-wasm-run)Native LLVM(syx-llvm + syx-rt)
入口syx runsyx run --wasm / syx build --wasmsyx build --native
角色语义基准 / 日常开发沙箱部署(CLI 近完整 stdlib)唯一原生 AOT
中端统一 MIR统一 MIR统一 MIR

Native 后端(LLVM only) ​

  • syx build --native → LLVM AOT;无 Cranelift AOT(syx-cranelift 已退役)。
  • 实验 JIT:syx-cranelift-jit + SYX_JIT_TIER2=1(Suite-1;默认关;≠ 生产默认)。
  • Object / 链接:--object、--release、full-native 见 9_UsageGuide.md。
  • ObjectRef / Host / 插件边界见 docs/adr/architecture-decisions.md。

审计与 fixture 策略 ​

  • 行为套件:crates/syx-driver/tests/{lang,stdlib,native,concurrency,evergreen,backends,…}
  • 共享 fixture:crates/syx-driver/tests/fixtures/(若存在)
  • 能力表:books/shared/capabilities-generated.md

相关文档 ​

SYX · Apache-2.0