Vx：一种语言，适配所有芯片

Vx – One Language, Every Chip

Vx 是一种专为异构计算设计的系统编程语言，它将 CPU、GPU、NPU 及加速器内存直接纳入类型系统。在 Vx 中，主机线程错误地解引用设备指针会在编译阶段报错，而非在凌晨三点引发段错误。数据驻留位置成为类型的一部分，跨设备传输必须显式声明，即使硬件边界免费，代码中仍需体现，确保数据局部性可通过源码验证。编译器通过机器文件精确描述硬件拓扑，拒绝不合理的内存放置，利用线性类型和 SMT 证明器在编译期排除运行时崩溃、静默数据损坏等隐患。Vx 适合需要跨多种硅基硬件保证正确性与性能的场景，但不适合仍在探索阶段的动态架构开发。