Vx——一种语言，赋能每颗芯片

Vx——一种语言，赋能每颗芯片
Vx – One Language, Every Chip

大多数编译器都会硬编码一套成本模型。Vx 会读取该模型。机器文件描述真实器件的内存层级和互连结构，编译器据此决定是否接受相应的放置。单位采用精确的整数转换，绝不使用浮点数：SI 前缀使用十进制（GB = 10⁹），IEC 前缀使用二进制（GiB = 2³⁰）。从厂商资料表复制而来的数值，应保持资料表原本的含义。仓库提供 H100、H200、B200、A100、MI300X、Apple M4 以及多 GPU 节点的机器文件——每个文件都注明来源，并将未经验证的数值标记为未验证。 ```text 内存 HBM { 容量: 80 GiB, 带宽: 3.35 TB/s, 管理方式: 显式, 作用域: 设备 } 内存 L2 { 位于: 内存::HBM, 容量: 50 MiB, 带宽: 12 TB/s, 管理方式: 缓存 } 内存 SMEM { 位于: 内存::L2, 容量: 228 KiB, 带宽: 128 B/cyc, 时钟: 1.98 GHz, 副本数: 132, 粒度: 1 KiB, 作用域: sm } 拓扑设备 { 架构: nvptx64, 内存: 内存::HBM, 传输内存::CPU_DRAM -> 内存::HBM : 63 GB/s } ```

Hacker News 上的一篇讨论帖探讨了 **Vx**，这是一种用于在 CPU、GPU、NPU 及其他异构硬件上编写高性能、可靠代码的语言。它的核心理念包括：在类型系统中表示内存放置位置和硬件拓扑；使用机器描述文件验证数据放置位置；以及通过 LLVM/MLIR 针对特定硬件配置编译程序。支持者称赞 Vx 聚焦于特定范围——专注于优化已有工作负载，而不是试图满足所有使用场景——并将其视为系统编程领域一个自洽的替代方案。质疑者则质疑是否真的需要一门新语言。他们指出，Vx 与 Rust、Mojo 和其他系统语言存在相似之处，同时担忧其复杂性、有限的硬件支持、不清晰的文档，以及由 AI 生成的名称或网站。更广泛的争论涉及静态分析：重要不变量究竟应该通过高级类型系统和编译器来保障，还是通过独立的分析工具来检查。参与者还讨论了健全性、FFI 边界、工具支持，以及编译器集成验证的实际优势。

Most compilers hard-code a cost model. Vx reads one. A machine file describes the memory hierarchy and interconnect of a real part, and the compiler admits or rejects placements against it.

Units are exact integer conversions, never floats: SI prefixes are decimal (GB = 10⁹), IEC are binary (GiB = 2³⁰). A figure copied off a vendor sheet means what the sheet meant.

The repository ships machine files for H100, H200, B200, A100, MI300X, Apple M4 and multi-GPU nodes — each citing its sources, and marking unverified figures as unverified.

Memory HBM  { capacity: 80 GiB, bandwidth: 3.35 TB/s,
              managed: explicit, scope: device }

Memory L2   { within: Memory::HBM, capacity: 50 MiB,
              bandwidth: 12 TB/s, managed: cached }

Memory SMEM { within: Memory::L2, capacity: 228 KiB,
              bandwidth: 128 B/cyc, clock: 1.98 GHz,
              replicas: 132, granule: 1 KiB, scope: sm }

Topology Device {
    arch: nvptx64,
    memory: Memory::HBM,
    transfer Memory::CPU_DRAM -> Memory::HBM : 63 GB/s,
}

Vx——一种语言，赋能每颗芯片 Vx – One Language, Every Chip

Vx——一种语言，赋能每颗芯片
Vx – One Language, Every Chip